Fact | Type.Logic |
Falsity | |
1 (Type/Class) | Type.Logic |
2 (Data Constructor) | Type.Logic |
Finite | Type.Logic |
FractionalType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
fromTCG | Type.Function |
Fst | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
fstIsFun | Type.Function |
fstPrf | Type.Set |
fst_tupling | Type.Function |
fullImageOfInclusion | Type.Function |
FunctionType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
functionType | Type.Set |
FunctorType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
funEq | Type.Function |
funEq' | Type.Function |