type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

Index - E

ecoerceType.Set
ecoerceFlipType.Set
elimBOOLType.Dummies
elimComplementType.Set
elimCorType.Logic
elimDiffType.Set
elimEmptyType.Set
elimFalsityType.Logic
elimInterType.Set
elimIntersType.Set
elimToTyConType.Function
elimUnionType.Set
elimUnionsType.Set
Empty 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
emptySubsetType.Set
enumType.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
EqualiserInclType.Function
equaliserIsFunType.Function
equaliserSubsetType.Function
equaliserUniType.Function
equal_fType.Function
equal_f_coerceType.Function
Ex 
1 (Type/Class)Type.Logic
2 (Data Constructor)Type.Logic
ExampleSetType.Set.Example
exElimType.Logic
ExSnd 
1 (Type/Class)Type.Function
2 (Data Constructor)Type.Function
extendCodType.Function
ExUniq 
1 (Type/Class)Type.Logic
2 (Data Constructor)Type.Logic
ExUniq1 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set