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
bottom	Algebra.Lattice
BoundedJoinSemiLattice	Algebra.Lattice
BoundedLattice	Algebra.Lattice
BoundedMeetSemiLattice	Algebra.Lattice
comparable	Algebra.PartialOrd
Divisibility
1 (Type/Class)	Algebra.Lattice.Divisibility
2 (Data Constructor)	Algebra.Lattice.Divisibility
Drop	Algebra.Lattice.Dropped
Dropped	Algebra.Lattice.Dropped
Expr	Algebra.Heyting.Free.Expr
FBoundedLattice	Algebra.Lattice.Free.Final
FLattice	Algebra.Lattice.Free.Final
foldDropped	Algebra.Lattice.Dropped
foldLevitated	Algebra.Lattice.Levitated
foldLifted	Algebra.Lattice.Lifted
Free
1 (Type/Class)	Algebra.Lattice.Free
2 (Type/Class)	Algebra.Heyting.Free
fromBool	Algebra.Lattice
fromSetBool	Algebra.Lattice.M2
getDivisibility	Algebra.Lattice.Divisibility
getJoin	Algebra.Lattice
getMeet	Algebra.Lattice
getOp	Algebra.Lattice.Op
getOrdered	Algebra.Lattice.Ordered
gfp	Algebra.Lattice
gfpFrom
1 (Function)	Algebra.PartialOrd
2 (Function)	Algebra.Lattice
Half	Algebra.Lattice.ZeroHalfOne
Heyting	Algebra.Heyting
Join
1 (Type/Class)	Algebra.Lattice
2 (Data Constructor)	Algebra.Lattice
joinLeq	Algebra.Lattice
joins	Algebra.Lattice
joins1	Algebra.Lattice
Lattice	Algebra.Lattice
leq	Algebra.PartialOrd
Levitate	Algebra.Lattice.Levitated
Levitated	Algebra.Lattice.Levitated
Lexicographic
1 (Type/Class)	Algebra.Lattice.Lexicographic
2 (Data Constructor)	Algebra.Lattice.Lexicographic
lfp	Algebra.Lattice
lfpFrom
1 (Function)	Algebra.PartialOrd
2 (Function)	Algebra.Lattice
Lift	Algebra.Lattice.Lifted
Lifted	Algebra.Lattice.Lifted
liftFBoundedLattice	Algebra.Lattice.Free.Final
liftFLattice	Algebra.Lattice.Free.Final
liftFree
1 (Function)	Algebra.Lattice.Free
2 (Function)	Algebra.Heyting.Free
lowerFBoundedLattice	Algebra.Lattice.Free.Final
lowerFLattice	Algebra.Lattice.Free.Final
lowerFree
1 (Function)	Algebra.Lattice.Free
2 (Function)	Algebra.Heyting.Free
M2	Algebra.Lattice.M2
M2a	Algebra.Lattice.M2
M2b	Algebra.Lattice.M2
M2i	Algebra.Lattice.M2
M2o	Algebra.Lattice.M2
M3	Algebra.Lattice.M3
M3a	Algebra.Lattice.M3
M3b	Algebra.Lattice.M3
M3c	Algebra.Lattice.M3
M3i	Algebra.Lattice.M3
M3o	Algebra.Lattice.M3
Meet
1 (Type/Class)	Algebra.Lattice
2 (Data Constructor)	Algebra.Lattice
meetLeq	Algebra.Lattice
meets	Algebra.Lattice
meets1	Algebra.Lattice
Middle	Algebra.Lattice.Wide
N5	Algebra.Lattice.N5
N5a	Algebra.Lattice.N5
N5b	Algebra.Lattice.N5
N5c	Algebra.Lattice.N5
N5i	Algebra.Lattice.N5
N5o	Algebra.Lattice.N5
neg	Algebra.Heyting
One	Algebra.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
PartialOrd	Algebra.PartialOrd
partialOrdEq	Algebra.PartialOrd
proofSearch	Algebra.Heyting.Free.Expr
retractDropped	Algebra.Lattice.Dropped
retractFBoundedLattice	Algebra.Lattice.Free.Final
retractFLattice	Algebra.Lattice.Free.Final
retractFree
1 (Function)	Algebra.Lattice.Free
2 (Function)	Algebra.Heyting.Free
retractLevitated	Algebra.Lattice.Levitated
retractLifted	Algebra.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
top	Algebra.Lattice
toSetBool	Algebra.Lattice.M2
unsafeGfp	Algebra.Lattice
unsafeGfpFrom	Algebra.PartialOrd
unsafeLfp	Algebra.Lattice
unsafeLfpFrom	Algebra.PartialOrd
Var
1 (Data Constructor)	Algebra.Heyting.Free.Expr
2 (Data Constructor)	Algebra.Lattice.Free
3 (Data Constructor)	Algebra.Heyting.Free
Wide	Algebra.Lattice.Wide
Zero	Algebra.Lattice.ZeroHalfOne
ZeroHalfOne	Algebra.Lattice.ZeroHalfOne
\/	Algebra.Lattice
∧	Algebra.Lattice.Unicode
∨	Algebra.Lattice.Unicode
⟹	Algebra.Lattice.Unicode
⟺	Algebra.Lattice.Unicode