Wit | |
1 (Type/Class) | Data.Type.Predicate |
2 (Data Constructor) | Data.Type.Predicate |
WitAll | |
1 (Type/Class) | Data.Type.Universe, Data.Type.Predicate.Quantification |
2 (Data Constructor) | Data.Type.Universe, Data.Type.Predicate.Quantification |
WitAny | |
1 (Type/Class) | Data.Type.Universe, Data.Type.Predicate.Quantification |
2 (Data Constructor) | Data.Type.Universe, Data.Type.Predicate.Quantification |
WitSubset | |
1 (Type/Class) | Data.Type.Universe.Subset |
2 (Data Constructor) | Data.Type.Universe.Subset |