DataType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
Decidable | Type.Logic |
Decidable1 | Type.Logic |
decide | Type.Logic |
decide1 | Type.Logic |
DependentSum | Type.Set |
Diff | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
Disjoint | Type.Set |
domUniq | Type.Function |
dynCompare | Data.Typeable.Extras |
dynEq | Data.Typeable.Extras |