Ideas.Common.Strategy.Abstract
data Strategy a
class IsStrategy f
data LabeledStrategy a
label
unlabel
derivationList
emptyPrefix
replayPath
replayPaths
replayStrategy
rulesInStrategy
mapRules
mapRulesS
cleanUpStrategy
cleanUpStrategyAfter
toCore
fromCore
liftCore
liftCore2
noInterleaving