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

Index - D

DecidableData.Type.Predicate
DecidableTCData.Type.Predicate
DecideData.Type.Predicate
decideData.Type.Predicate
decideAllData.Type.Universe, Data.Type.Predicate.Quantification
decideAndData.Type.Predicate.Logic
decideAnyData.Type.Universe, Data.Type.Predicate.Quantification
decideEntailAllData.Type.Predicate.Quantification
decideNoneData.Type.Predicate.Quantification
decideNotData.Type.Predicate, Data.Type.Predicate.Logic
decideOrData.Type.Predicate.Logic
decideTCData.Type.Predicate
decideXorData.Type.Predicate.Logic
DecisionData.Type.Predicate
DFunctorData.Type.Predicate
DisprovableData.Type.Predicate
disproveData.Type.Predicate
DisprovedData.Type.Predicate
dmapData.Type.Predicate
doubleNegationData.Type.Predicate.Logic