Documentation

data Rule

data Strictness

invert :: Rule -> Rule

fromPair :: (Term, Term) -> Rule

toPair :: Rule -> (Term, Term)

variables :: Rule -> Set Variable

functionSymbols :: Rule -> Set Symbol

canonise :: Rule -> Rule

rewrites :: Term -> Term -> Rule -> Bool

topRewrites :: Term -> Term -> Rule -> Bool

rewriteAnyRhs :: [Rule] -> [Rule] -> Maybe (Rule, Rule)

rewriteRhsAnyRule :: Rule -> [Rule] -> Maybe (Rule, Rule)

rewriteAny :: [Term] -> [Rule] -> Maybe (Term, Term)

rewriteAnyRule :: Term -> [Rule] -> Maybe (Term, Term)

rewrite :: Term -> Rule -> Maybe (Term, Term)

rewriteCandidates :: Term -> Rule -> [(Term, Term)]

topRewrite :: Term -> Rule -> Maybe (Term, Term)

reduced :: Term -> Rule -> Bool

topReduced :: Term -> Rule -> Bool

bothsides :: (Term -> Bool) -> Rule -> Bool

isRewriteRule :: Rule -> Bool

isErasing :: Rule -> Bool

isNonErasing :: Rule -> Bool

isDuplicating :: Rule -> Bool

isNonDuplicating :: Rule -> Bool

isFlat :: Rule -> Bool

isShallow :: Rule -> Bool

isLinear :: Rule -> Bool

isGround :: Rule -> Bool

isLeftFlat :: Rule -> Bool

isRightFlat :: Rule -> Bool

isLeftShallow :: Rule -> Bool

isRightShallow :: Rule -> Bool

isLeftLinear :: Rule -> Bool

isRightLinear :: Rule -> Bool

isLeftGround :: Rule -> Bool

isRightGround :: Rule -> Bool

isCollapsing :: Rule -> Bool

isSizeDecreasing :: Rule -> Bool

isNonSizeDecreasing :: Rule -> Bool

isSizeIncreasing :: Rule -> Bool

isNonSizeIncreasing :: Rule -> Bool

type Overlap = (Rule, [Int], Rule)

overlaps :: Rule -> Rule -> [Overlap]