lattices-2.1: Fine-grained library for constructing and manipulating lattices

Index

/\Algebra.Lattice
:/\: 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Lattice.Free
3 (Data Constructor)Algebra.Heyting.Free
:=>: 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Heyting.Free
:\/: 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Lattice.Free
3 (Data Constructor)Algebra.Heyting.Free
<=>Algebra.Heyting
==>Algebra.Heyting
Bottom 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Lattice.Wide
3 (Data Constructor)Algebra.Lattice.Lifted
4 (Data Constructor)Algebra.Lattice.Levitated
5 (Data Constructor)Algebra.Heyting.Free
bottomAlgebra.Lattice
BoundedJoinSemiLatticeAlgebra.Lattice
BoundedLatticeAlgebra.Lattice
BoundedMeetSemiLatticeAlgebra.Lattice
comparableAlgebra.PartialOrd
Divisibility 
1 (Type/Class)Algebra.Lattice.Divisibility
2 (Data Constructor)Algebra.Lattice.Divisibility
DropAlgebra.Lattice.Dropped
DroppedAlgebra.Lattice.Dropped
ExprAlgebra.Heyting.Free.Expr
FBoundedLatticeAlgebra.Lattice.Free.Final
FLatticeAlgebra.Lattice.Free.Final
foldDroppedAlgebra.Lattice.Dropped
foldLevitatedAlgebra.Lattice.Levitated
foldLiftedAlgebra.Lattice.Lifted
Free 
1 (Type/Class)Algebra.Lattice.Free
2 (Type/Class)Algebra.Heyting.Free
fromBoolAlgebra.Lattice
fromSetBoolAlgebra.Lattice.M2
getDivisibilityAlgebra.Lattice.Divisibility
getJoinAlgebra.Lattice
getMeetAlgebra.Lattice
getOpAlgebra.Lattice.Op
getOrderedAlgebra.Lattice.Ordered
gfpAlgebra.Lattice
gfpFrom 
1 (Function)Algebra.PartialOrd
2 (Function)Algebra.Lattice
HalfAlgebra.Lattice.ZeroHalfOne
HeytingAlgebra.Heyting
Join 
1 (Type/Class)Algebra.Lattice
2 (Data Constructor)Algebra.Lattice
joinLeqAlgebra.Lattice
joinsAlgebra.Lattice
joins1Algebra.Lattice
LatticeAlgebra.Lattice
leqAlgebra.PartialOrd
LevitateAlgebra.Lattice.Levitated
LevitatedAlgebra.Lattice.Levitated
Lexicographic 
1 (Type/Class)Algebra.Lattice.Lexicographic
2 (Data Constructor)Algebra.Lattice.Lexicographic
lfpAlgebra.Lattice
lfpFrom 
1 (Function)Algebra.PartialOrd
2 (Function)Algebra.Lattice
LiftAlgebra.Lattice.Lifted
LiftedAlgebra.Lattice.Lifted
liftFBoundedLatticeAlgebra.Lattice.Free.Final
liftFLatticeAlgebra.Lattice.Free.Final
liftFree 
1 (Function)Algebra.Lattice.Free
2 (Function)Algebra.Heyting.Free
lowerFBoundedLatticeAlgebra.Lattice.Free.Final
lowerFLatticeAlgebra.Lattice.Free.Final
lowerFree 
1 (Function)Algebra.Lattice.Free
2 (Function)Algebra.Heyting.Free
M2Algebra.Lattice.M2
M2aAlgebra.Lattice.M2
M2bAlgebra.Lattice.M2
M2iAlgebra.Lattice.M2
M2oAlgebra.Lattice.M2
M3Algebra.Lattice.M3
M3aAlgebra.Lattice.M3
M3bAlgebra.Lattice.M3
M3cAlgebra.Lattice.M3
M3iAlgebra.Lattice.M3
M3oAlgebra.Lattice.M3
Meet 
1 (Type/Class)Algebra.Lattice
2 (Data Constructor)Algebra.Lattice
meetLeqAlgebra.Lattice
meetsAlgebra.Lattice
meets1Algebra.Lattice
MiddleAlgebra.Lattice.Wide
N5Algebra.Lattice.N5
N5aAlgebra.Lattice.N5
N5bAlgebra.Lattice.N5
N5cAlgebra.Lattice.N5
N5iAlgebra.Lattice.N5
N5oAlgebra.Lattice.N5
negAlgebra.Heyting
OneAlgebra.Lattice.ZeroHalfOne
Op 
1 (Type/Class)Algebra.Lattice.Op
2 (Data Constructor)Algebra.Lattice.Op
Ordered 
1 (Type/Class)Algebra.Lattice.Ordered
2 (Data Constructor)Algebra.Lattice.Ordered
PartialOrdAlgebra.PartialOrd
partialOrdEqAlgebra.PartialOrd
proofSearchAlgebra.Heyting.Free.Expr
retractDroppedAlgebra.Lattice.Dropped
retractFBoundedLatticeAlgebra.Lattice.Free.Final
retractFLatticeAlgebra.Lattice.Free.Final
retractFree 
1 (Function)Algebra.Lattice.Free
2 (Function)Algebra.Heyting.Free
retractLevitatedAlgebra.Lattice.Levitated
retractLiftedAlgebra.Lattice.Lifted
substFree 
1 (Function)Algebra.Lattice.Free
2 (Function)Algebra.Heyting.Free
toExpr 
1 (Function)Algebra.Lattice.Free
2 (Function)Algebra.Heyting.Free
Top 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Lattice.Wide
3 (Data Constructor)Algebra.Lattice.Levitated
4 (Data Constructor)Algebra.Lattice.Dropped
5 (Data Constructor)Algebra.Heyting.Free
topAlgebra.Lattice
toSetBoolAlgebra.Lattice.M2
unsafeGfpAlgebra.Lattice
unsafeGfpFromAlgebra.PartialOrd
unsafeLfpAlgebra.Lattice
unsafeLfpFromAlgebra.PartialOrd
Var 
1 (Data Constructor)Algebra.Heyting.Free.Expr
2 (Data Constructor)Algebra.Lattice.Free
3 (Data Constructor)Algebra.Heyting.Free
WideAlgebra.Lattice.Wide
ZeroAlgebra.Lattice.ZeroHalfOne
ZeroHalfOneAlgebra.Lattice.ZeroHalfOne
\/Algebra.Lattice
∧Algebra.Lattice.Unicode
∨Algebra.Lattice.Unicode
⟹Algebra.Lattice.Unicode
⟺Algebra.Lattice.Unicode