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

Index - B

BiGraph 
1 (Type/Class)Type.Function
2 (Data Constructor)Type.Function
biGraphInjectiveType.Function
biGraphIsFunType.Function
biGraph_eq_HaskFunType.Function
BOOLType.Dummies
Bool0 
1 (Data Constructor)Type.Dummies
2 (Type/Class)Type.Dummies
Bool1 
1 (Data Constructor)Type.Dummies
2 (Type/Class)Type.Dummies
BoundedType 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set