-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathconnections.cabal
97 lines (88 loc) · 2.47 KB
/
connections.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
name: connections
version: 0.3.2
synopsis: Orders, Galois connections, and lattices.
description: A library for working with Galois connections on various common preorders.
.
See the README for an overview.
homepage: https://github.com/cmk/connections
license: BSD3
license-file: LICENSE
author: Chris McKinlay
maintainer: [email protected]
category: Math, Numerical
stability: Experimental
build-type: Simple
extra-source-files:
ChangeLog.md
README.md
extra-doc-files:
img/*.png
cabal-version: 1.18
library
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -optc-std=c99
exposed-modules:
Data.Connection
, Data.Connection.Cast
, Data.Connection.Class
, Data.Connection.Fixed
, Data.Connection.Float
, Data.Connection.Int
, Data.Connection.Ratio
, Data.Connection.Time
, Data.Connection.Word
, Data.Connection.Property
, Data.Lattice
, Data.Lattice.Property
, Data.Order
, Data.Order.Interval
, Data.Order.Property
, Data.Order.Syntax
build-depends:
base >= 4.10 && < 5.0
, containers >= 0.4.0 && < 1.0
, extended-reals >= 0.2.0.0 && < 0.3
, time >= 1.8.0 && < 2.0
test-suite test
type: exitcode-stdio-1.0
other-modules:
Test.Data.Order
, Test.Data.Lattice
, Test.Data.Connection
, Test.Data.Connection.Int
, Test.Data.Connection.Word
, Test.Data.Connection.Fixed
, Test.Data.Connection.Float
, Test.Data.Connection.Ratio
, Test.Data.Connection.Time
build-depends:
base == 4.*
, connections -any
, hedgehog
, time >= 1.8.0 && < 2.0
default-extensions:
ScopedTypeVariables,
TypeApplications,
FlexibleContexts
main-is: test.hs
hs-source-dirs: test
default-language: Haskell2010
ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
executable doctest
main-is: doctest.hs
ghc-options: -Wall -threaded
hs-source-dirs: test
default-language: Haskell2010
x-doctest-options: --fast
build-depends:
base
, doctest >= 0.8
, connections -any
default-extensions:
ScopedTypeVariables
, TypeApplications
, MultiParamTypeClasses
, UndecidableInstances
, FlexibleInstances
, FlexibleContexts