Ideas.Common.Strategy.Abstract
data Strategy a
data LabeledStrategy a
label
unlabel
class IsStrategy f
liftS
liftS2
liftSn
emptyPrefix
replayPath
replayPaths
replayStrategy
rulesInStrategy
mapRules
mapRulesS
cleanUpStrategy
cleanUpStrategyAfter
derivationList
toStrategyTree
onStrategyTree
useDecl
decl0
decl1
decl2
declN