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

Index - K

kelimBOOLType.Dummies
KleisliHom 
1 (Type/Class)Type.Function
2 (Data Constructor)Type.Function
kleisliHomInjectiveType.Function
kleisliHomIsFunType.Function
KleisliType 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
kleisliTypeType.Set