Ideas.Common.Strategy.StrategyTree

StrategyTree type synonym

type StrategyTree a

data Leaf a

treeToProcess

mapRulesInTree

Declarations (named combinators)

data Decl f

type Combinator f

associative

isAssociative

combinator

(.=.)

applyDecl

Dynamic strategies

data Dynamic a

makeDynamic

dynamicToTerm

dynamicTree

dynamicFromTerm

Arities

class Arity f

data Nullary a

data Unary a

data Binary a

data Nary a