Data.Rewriting.Rules.Ops

Operations on Rules

funs

funsDL

vars

varsDL

lhss

rhss

restrictFuns

Predicates on Rules

isLinear

isLeftLinear

isRightLinear

isGround

isLeftGround

isRightGround

isErasing

isCreating

isDuplicating

isCollapsing

isValid