&&& | Data.Type.Predicate.Logic |
--> | Data.Type.Predicate |
--># | Data.Type.Predicate |
-?> | Data.Type.Predicate |
-?># | Data.Type.Predicate |
<==> | Data.Type.Predicate.Logic |
==> | Data.Type.Predicate.Logic |
All | Data.Type.Universe, Data.Type.Predicate.Quantification |
Any | Data.Type.Universe, Data.Type.Predicate.Quantification |
AnyMatch | Data.Type.Predicate.Param |
atom | Data.Type.Predicate.Logic |
BoolPred | Data.Type.Predicate |
compImpl | Data.Type.Predicate, Data.Type.Predicate.Logic |
ConstPP | Data.Type.Predicate.Param |
contrapositive | Data.Type.Predicate.Logic |
contrapositive' | Data.Type.Predicate.Logic |
Decidable | Data.Type.Predicate |
Decide | Data.Type.Predicate |
decide | Data.Type.Predicate |
decideAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
decideAnd | Data.Type.Predicate.Logic |
decideAny | Data.Type.Universe, Data.Type.Predicate.Quantification |
decideEntailAll | Data.Type.Predicate.Quantification |
decideNone | Data.Type.Predicate.Quantification |
decideNot | Data.Type.Predicate, Data.Type.Predicate.Logic |
decideOr | Data.Type.Predicate.Logic |
decideXor | Data.Type.Predicate.Logic |
DFunctor | Data.Type.Predicate |
Disprovable | Data.Type.Predicate |
disprove | Data.Type.Predicate |
dmap | Data.Type.Predicate |
doubleNegation | Data.Type.Predicate.Logic |
Elem | Data.Type.Universe |
ElemSym0 | Data.Type.Universe |
ElemSym1 | Data.Type.Universe |
ElemSym2 | Data.Type.Universe |
emptySubset | Data.Type.Universe.Subset |
entailAll | Data.Type.Predicate.Quantification |
entailAllF | Data.Type.Predicate.Quantification |
entailAny | Data.Type.Predicate.Quantification |
entailAnyF | Data.Type.Predicate.Quantification |
EqualTo | Data.Type.Predicate |
Equiv | Data.Type.Predicate.Logic |
Evident | Data.Type.Predicate, Data.Type.Predicate.Logic |
excludedMiddle | Data.Type.Predicate.Logic |
explosion | Data.Type.Predicate.Logic |
FlipPP | Data.Type.Predicate.Param |
foldMapUni | Data.Type.Universe |
Found | Data.Type.Predicate.Param |
fullSubset | Data.Type.Universe.Subset |
genAll | Data.Type.Universe |
genAllA | Data.Type.Universe |
getWit | Data.Type.Predicate |
idecideAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
idecideAny | Data.Type.Universe, Data.Type.Predicate.Quantification |
idecideEntailAll | Data.Type.Predicate.Quantification |
idecideNone | Data.Type.Predicate.Quantification |
ientailAll | Data.Type.Predicate.Quantification |
ientailAllF | Data.Type.Predicate.Quantification |
ientailAny | Data.Type.Predicate.Quantification |
ientailAnyF | Data.Type.Predicate.Quantification |
ifoldMapUni | Data.Type.Universe |
igenAll | Data.Type.Universe |
igenAllA | Data.Type.Universe |
imapSubset | Data.Type.Universe.Subset |
imergeSubset | Data.Type.Universe.Subset |
Implies | Data.Type.Predicate.Logic |
Impossible | Data.Type.Predicate, Data.Type.Predicate.Logic |
In | Data.Type.Universe |
Index | Data.Type.Universe |
index | Data.Type.Universe |
injOrLeft | Data.Type.Predicate.Logic |
injOrRight | Data.Type.Predicate.Logic |
InP | Data.Type.Predicate.Param |
intersection | Data.Type.Universe.Subset |
IS | Data.Type.Universe |
IsJust | |
1 (Type/Class) | Data.Type.Universe |
2 (Data Constructor) | Data.Type.Universe |
IsRight | |
1 (Type/Class) | Data.Type.Universe |
2 (Data Constructor) | Data.Type.Universe |
IZ | Data.Type.Universe |
makeSubset | Data.Type.Universe.Subset |
mapDecision | Data.Type.Predicate |
mapSubset | Data.Type.Universe.Subset |
mergeSubset | Data.Type.Universe.Subset |
NEHead | Data.Type.Universe |
NEIndex | Data.Type.Universe |
NETail | Data.Type.Universe |
None | Data.Type.Universe, Data.Type.Predicate.Quantification |
Not | Data.Type.Predicate, Data.Type.Predicate.Logic |
NotNull | Data.Type.Universe |
Null | Data.Type.Universe |
ParamPred | Data.Type.Predicate.Param |
pickElem | Data.Type.Universe |
PMap | Data.Type.Predicate |
PPMap | Data.Type.Predicate.Param |
Predicate | Data.Type.Predicate |
projAndFst | Data.Type.Predicate.Logic |
projAndSnd | Data.Type.Predicate.Logic |
Provable | Data.Type.Predicate |
Prove | Data.Type.Predicate |
prove | Data.Type.Predicate |
proveImplies | Data.Type.Predicate.Logic |
runWitAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
runWitSubset | Data.Type.Universe.Subset |
search | Data.Type.Predicate.Param |
Searchable | Data.Type.Predicate.Param |
select | Data.Type.Predicate.Param |
Selectable | Data.Type.Predicate.Param |
Snd | |
1 (Type/Class) | Data.Type.Universe |
2 (Data Constructor) | Data.Type.Universe |
Subset | Data.Type.Universe.Subset |
subsetToAll | Data.Type.Universe.Subset |
subsetToAny | Data.Type.Universe.Subset |
subsetToList | Data.Type.Universe.Subset |
subsetToNone | Data.Type.Universe.Subset |
symDiff | Data.Type.Universe.Subset |
TFunctor | Data.Type.Predicate |
tmap | Data.Type.Predicate |
TyPred | Data.Type.Predicate |
union | Data.Type.Universe.Subset |
Universe | Data.Type.Universe |
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 |
^^^ | Data.Type.Predicate.Logic |
^|| | Data.Type.Predicate.Logic |
||^ | Data.Type.Predicate.Logic |
||| | Data.Type.Predicate.Logic |