Data.Comp.Multi.Strategic
type RewriteM m f l
type Rewrite f l
type GRewriteM m f
type GRewrite f
addFail
tryR
promoteR
promoteRF
allR
(>+>)
(+>)
anyR
oneR
alltdR
allbuR
anytdR
anybuR
prunetdR
onetdR
onebuR
type Translate f l t
type TranslateM m f l t
type GTranslateM m f t
promoteTF
mtryM
onetdT
foldtdT
crushtdT