m3Desc | Refined3 |
m3Long | Refined3 |
m3Short | Refined3 |
MakeR3 | Refined3 |
MakeRR | Predicate |
MakeRR1 | Predicate |
MakeRR2 | Predicate |
MakeRR3 | Predicate |
Map | Predicate |
MapMaybe | Predicate |
MapT | UtilP, Predicate |
Max | Predicate |
Max' | Predicate |
MaybeB | Predicate |
MaybeIn | Predicate |
MaybeX | Predicate |
MaybeXP | Predicate |
MaybeXPT | Predicate |
MConcat | Predicate |
MEmptyP | Predicate |
MEmptyProxy | Predicate |
MEmptyT | Predicate |
MEmptyT' | Predicate |
MEmptyT2 | Predicate |
MEmptyT2' | Predicate |
Min | Predicate |
Min' | Predicate |
MkDay | Predicate |
MkDay' | Predicate |
MkJust | Predicate |
MkLeft | Predicate |
MkLeft' | Predicate |
mkNode | UtilP, Predicate |
mkNodeB | UtilP, Predicate |
MkNothing | Predicate |
MkNothing' | Predicate |
MkProxy | Predicate |
mkProxy3 | Refined3 |
mkProxy3P | Refined3 |
MkProxy3T | Refined3 |
MkRight | Predicate |
MkRight' | Predicate |
MkThat | Predicate |
MkThat' | Predicate |
MkThese | Predicate |
MkThis | Predicate |
MkThis' | Predicate |
Mod | Predicate |
Mod' | Predicate |
MonadEval | UtilP, Predicate |
Msg | PredicateCore, Predicate |
Msg' | Predicate |
Msg3 | |
1 (Type/Class) | Refined3 |
2 (Data Constructor) | Refined3 |
Mult | Predicate |
Multiline | UtilP, Predicate |