| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Rewriting.Rules
Description
Operations on lists of rules.
See also Data.Rewriting.CriticalPair
- fullRewrite :: (Ord v', Eq v, Eq f) => [Rule f v'] -> Strategy f v v'
- module Data.Rewriting.Rules.Rewrite
- module Data.Rewriting.Rules.Ops
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
module Data.Rewriting.Rules.Rewrite
module Data.Rewriting.Rules.Ops