Ideas.Common.Strategy.Abstract

Strategy data type

data Strategy a

Labeled strategies

data LabeledStrategy a

label

unlabel

Lifting to strategies

class IsStrategy f

liftS

liftS2

liftSn

Prefixes

emptyPrefix

replayPath

replayPaths

replayStrategy

Rules

rulesInStrategy

mapRules

mapRulesS

cleanUpStrategy

cleanUpStrategyAfter

derivationList

Access to underlying representation

toStrategyTree

onStrategyTree

Strategy declarations

useDecl

decl0

decl1

decl2

declN