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

Index - M

makeSubsetData.Type.Universe.Subset
mapDecisionData.Type.Predicate
mapRefutedData.Type.Predicate
mapSubsetData.Type.Universe.Subset
mergeSubsetData.Type.Universe.Subset