| /\ | 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 |