==> | Algebra.Heyting, Algebra.Boolean |
Boolean | Algebra.Boolean |
boolean | Algebra.Boolean |
BooleanAlgebra | Algebra.Boolean |
FreeBoolean | |
1 (Type/Class) | Algebra.Boolean.Free |
2 (Data Constructor) | Algebra.Boolean.Free |
FreeHeyting | |
1 (Type/Class) | Algebra.Heyting.Free |
2 (Data Constructor) | Algebra.Heyting.Free |
HeytingAlgebra | Algebra.Heyting |
iff | Algebra.Heyting, Algebra.Boolean |
iff' | Algebra.Heyting, Algebra.Boolean |
layer | Algebra.Heyting.Layered |
Layered | Algebra.Heyting.Layered |
Lower | Algebra.Heyting.Layered |
not | Algebra.Heyting, Algebra.Boolean |
prop_BooleanAlgebra | Algebra.Boolean |
prop_BoundedJoinSemiLattice | Algebra.Heyting |
prop_BoundedMeetSemiLattice | Algebra.Heyting |
prop_HeytingAlgebra | Algebra.Heyting |
prop_implies | Algebra.Heyting |
prop_not | Algebra.Boolean |
runBoolean | Algebra.Boolean |
runFreeBoolean | Algebra.Boolean.Free |
runFreeHeyting | Algebra.Heyting.Free |
toBoolean | Algebra.Heyting |
Upper | Algebra.Heyting.Layered |