-
Notifications
You must be signed in to change notification settings - Fork 7
/
semilattices.cabal
76 lines (71 loc) · 2.11 KB
/
semilattices.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
name: semilattices
version: 0.0.0.7
synopsis: Semilattices
description: Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each.
homepage: https://github.com/robrix/semilattices
license: BSD3
license-file: LICENSE
author: Rob Rix
maintainer: rob.rix@me.com
copyright: 2017-2024 Rob Rix
category: Algebra, Data, Data Structures, Math
build-type: Simple
cabal-version: >=1.10
extra-source-files:
README.md
ChangeLog.md
tested-with:
GHC == 8.4.4
GHC == 8.6.5
GHC == 8.8.1
GHCJS == 8.4.0
library
exposed-modules:
Data.Semilattice.Bound
Data.Semilattice.Join
Data.Semilattice.Lower
Data.Semilattice.Meet
Data.Semilattice.Order
Data.Semilattice.Tumble
Data.Semilattice.Upper
build-depends:
base >=4.9 && <5
, containers >=0.5 && <0.7
, unordered-containers >=0.2.20 && <0.3
hs-source-dirs: src
default-language: Haskell2010
ghc-options:
-Weverything
-Wno-all-missed-specialisations
-Wno-implicit-prelude
-Wno-missed-specialisations
-Wno-missing-import-lists
-Wno-missing-local-signatures
-Wno-monomorphism-restriction
-Wno-name-shadowing
-Wno-safe
-Wno-unsafe
if (impl(ghc >= 8.6))
ghc-options: -Wno-star-is-type
if (impl(ghc >= 8.8))
ghc-options: -Wno-missing-deriving-strategies
if (impl(ghc >= 8.10))
ghc-options: -Wno-missing-safe-haskell-mode
if (impl(ghc >= 9.2))
ghc-options: -Wno-missing-kind-signatures
-- recent unordered-containers versions don't require Hashable for unionWith.
if (impl(ghc >= 9.4))
ghc-options: -Wno-redundant-constraints
test-suite doctests
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Doctests.hs
default-language: Haskell2010
build-depends:
base
, doctest >= 0.7 && < 1.0
, QuickCheck >= 2.7 && < 3
, quickcheck-instances == 0.3.*
source-repository head
type: git
location: https://github.com/robrix/semilattices