type-settheory-0.1.3.1: Sets and functions-as-relations in the type system (Index - E)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
:

Index - E

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