Safe Haskell	None

Data.Rewriting.Rules

Contents

Description

Operations on lists of rules.

Important operations

fullRewrite :: (Ord v', Eq v, Eq f) => [Rule f v'] -> Strategy f v v'Source

Full rewriting: Apply rules anywhere in the term.

Reducts are returned in pre-order: the first is a leftmost, outermost redex.

Reexported modules