Data.Rewriting.Rules.Rewrite

data Reduct f v v'

type Strategy f v v'

fullRewrite

outerRewrite

innerRewrite

rootRewrite

utilities not reexported from Data.Rewriting.Rules

nested

listContexts