termlib-0.9: Term Rewriting Library

Safe Haskell	Safe-Infered

Termlib.Term

Documentation

data Term

Constructors

Var Variable	term is a variable
Fun Symbol [Term]	'Fun f ts' denotes term with root symbol `f` and arguments `ts`

Instances

Eq Term
Ord Term
Show Term
PrettyPrintable Term
WithTerms Term
PrettyPrintable (Term, Signature, Variables)

variables :: Term -> Set Variable

functionSymbols :: Term -> Set Symbol

depth :: Term -> Int

root :: Term -> Either Variable Symbol

size :: Term -> Int

fsize :: Term -> Int

varDepth :: Term -> Maybe Int

isFlat :: Term -> Bool

isShallow :: Term -> Bool

isLinear :: Term -> Bool

isGround :: Term -> Bool

immediateSubterms :: Term -> [Term]

nonVariableSubterms :: Term -> [Term]

properNonVariableSubterms :: Term -> [Term]

subterms :: Term -> [Term]

properSubterms :: Term -> [Term]

genSubterms :: Bool -> Term -> [Term]

genProperSubterms :: Bool -> Term -> [Term]

isProperSubtermOf :: Term -> Term -> Bool

isSubtermOf :: Term -> Term -> Bool

isSupertermOf :: Term -> Term -> Bool

isProperSupertermOf :: Term -> Term -> Bool

isVariable :: Term -> Bool

cardinality :: Either Variable Symbol -> Term -> Int

varCardinality :: Variable -> Term -> Int

funCardinality :: Symbol -> Term -> Int

type Renaming = Map Variable Variable

canonise :: Term -> Renaming -> (Term, Renaming)