Base | |
1 (Type/Class) | Data.Order |
2 (Data Constructor) | Data.Order |
Biheyting | Data.Lattice |
Boolean | Data.Lattice |
boolean | Data.Lattice |
boolean0 | Data.Lattice.Property |
boolean1 | Data.Lattice.Property |
boolean2 | Data.Lattice.Property |
boolean3 | Data.Lattice.Property |
boolean4 | Data.Lattice.Property |
boolean5 | Data.Lattice.Property |
boolean6 | Data.Lattice.Property |
booleanL | Data.Lattice |
booleanR | Data.Lattice |
Bottom | Data.Order.Extended |
bottom | Data.Lattice |
boundary | Data.Lattice |
bounded | Data.Lattice |