decidable-0.3.1.0: Combinators for manipulating dependently-typed predicates.

Index - W

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