Index - G
getCompare | Type.Set |
getEq | Type.Set |
getFmap | Type.Set |
getShow | Type.Set |
Graph | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
graphCPS | Type.Function |
graphInjective | Type.Function |
graphIsFun | Type.Function |
type-settheory-0.1.3.1: Sets and functions-as-relations in the type system