ecoerce | Type.Set |
ecoerceFlip | Type.Set |
elimBOOL | Type.Dummies |
elimComplement | Type.Set |
elimCor | Type.Logic |
elimDiff | Type.Set |
elimEmpty | Type.Set |
elimFalsity | Type.Logic |
elimInter | Type.Set |
elimInters | Type.Set |
elimToTyCon | Type.Function |
elimUnion | Type.Set |
elimUnions | Type.Set |
Empty | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
emptySubset | Type.Set |
enum | Type.Logic |
EnumType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
EqType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
Equaliser | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
EqualiserIncl | Type.Function |
equaliserIsFun | Type.Function |
equaliserSubset | Type.Function |
equaliserUni | Type.Function |
equal_f | Type.Function |
equal_f_coerce | Type.Function |
Ex | |
1 (Type/Class) | Type.Logic |
2 (Data Constructor) | Type.Logic |
ExampleSet | Type.Set.Example |
exElim | Type.Logic |
ExSnd | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
extendCod | Type.Function |
ExUniq | |
1 (Type/Class) | Type.Logic |
2 (Data Constructor) | Type.Logic |
ExUniq1 | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |