-
Notifications
You must be signed in to change notification settings - Fork 15
/
Copy pathlattices.cabal
125 lines (111 loc) · 3.34 KB
/
lattices.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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
cabal-version: 1.18
name: lattices
version: 2.2.1
x-revision: 2
category: Math
license: BSD3
license-file: LICENSE
author:
Maximilian Bolingbroke <[email protected]>, Oleg Grenrus <[email protected]>
maintainer: Oleg Grenrus <[email protected]>
homepage: http://github.com/phadej/lattices/
bug-reports: http://github.com/phadej/lattices/issues
copyright:
(C) 2010-2015 Maximilian Bolingbroke, 2016-2019 Oleg Grenrus
build-type: Simple
extra-source-files: CHANGELOG.md
extra-doc-files:
m2.png
m3.png
n5.png
wide.png
tested-with:
GHC ==8.6.5
|| ==8.8.3
|| ==8.10.4
|| ==9.0.2
|| ==9.2.8
|| ==9.4.8
|| ==9.6.6
|| ==9.8.4
|| ==9.10.1
|| ==9.12.1
synopsis:
Fine-grained library for constructing and manipulating lattices
description:
In mathematics, a lattice is a partially ordered set in which every two
elements @x@ and @y@ have a unique supremum (also called a least upper bound, join, or @x /\\ y@)
and a unique infimum (also called a greatest lower bound, meet, or @x \\/ y@).
.
This package provide type-classes for different lattice types, as well
as a class for the partial order.
source-repository head
type: git
location: https://github.com/phadej/lattices.git
library
default-language: Haskell2010
hs-source-dirs: src
ghc-options: -Wall
exposed-modules:
Algebra.Lattice
Algebra.Lattice.Divisibility
Algebra.Lattice.Dropped
Algebra.Lattice.Free
Algebra.Lattice.Free.Final
Algebra.Lattice.Levitated
Algebra.Lattice.Lexicographic
Algebra.Lattice.Lifted
Algebra.Lattice.M2
Algebra.Lattice.M3
Algebra.Lattice.N5
Algebra.Lattice.Op
Algebra.Lattice.Ordered
Algebra.Lattice.Unicode
Algebra.Lattice.Wide
Algebra.Lattice.ZeroHalfOne
exposed-modules:
Algebra.Heyting
Algebra.Heyting.Free
Algebra.Heyting.Free.Expr
exposed-modules:
Algebra.PartialOrd
Algebra.PartialOrd.Instances
build-depends:
base >=4.12 && <4.22
, containers >=0.5.0.0 && <0.8
, deepseq >=1.3.0.0 && <1.6
, hashable >=1.2.7.0 && <1.6
, integer-logarithms >=1.0.3 && <1.1
, QuickCheck >=2.12.6.1 && <2.16
, tagged >=0.8.6 && <0.9
, transformers >=0.3.0.0 && <0.7
, universe-base >=1.1 && <1.2
, universe-reverse-instances >=1.1 && <1.2
, unordered-containers >=0.2.8.0 && <0.3
if !impl(ghc >=9.6)
build-depends: foldable1-classes-compat >=0.1 && <0.2
if !impl(ghc >=9.2)
if impl(ghc >=9.0)
build-depends: ghc-prim
else
build-depends: OneTuple >=0.4 && <0.5
test-suite test
type: exitcode-stdio-1.0
main-is: Tests.hs
hs-source-dirs: test
ghc-options: -Wall
default-language: Haskell2010
build-depends:
base
, containers
, lattices
, QuickCheck
, quickcheck-instances >=0.3.19 && <0.4
, tasty >=1.2.1 && <1.6
, tasty-quickcheck >=0.10 && <0.11
, transformers
, universe-base
, universe-reverse-instances
, unordered-containers
if !impl(ghc >=8.0)
build-depends: semigroups