TPDB.Data.Term

Documentation

data Term v s

Constructors

Var v

Node s [Term v s]

Instances

Functor (Term v)

(HTypeable (Rule (Term v c)), XmlContent (Term v c)) => XmlContent (Rule (Term v c))

HTypeable (Rule (Term v c))

(Eq v, Eq s) => Eq (Term v s)

(Ord v, Ord s) => Ord (Term v s)

(Show v, Show s) => Show (Term v s)

(Typeable * (Term v c), XmlContent v, XmlContent c) => XmlContent (Term v c)

XmlContent (TRS Identifier Symbol)

(Pretty v, Pretty s) => Pretty (Term v s)

(Pretty v, Pretty s) => PrettyTerm (Term v s)

Reader v => Reader (Term v Identifier)

Reader (TRS Identifier Identifier)

Typeable (* -> * -> *) Term

vmap :: (v -> u) -> Term v s -> Term u s

type Position = [Int]

positions :: Term v c -> [(Position, Term v c)]

pos :: Term v c -> [Position]

all positions

sympos :: Term v c -> [Position]

non-variable positions

varpos :: Term v c -> [Position]

variable positions

leafpos :: Term v c -> [Position]

leaf positions (= nullary symbols)

subterms :: Term v c -> [Term v c]

strict_subterms :: Term v c -> [Term v c]

isSubtermOf :: (Eq v, Eq c) => Term v c -> Term v c -> Bool

isStrictSubtermOf :: (Eq v, Eq c) => Term v c -> Term v c -> Bool

pmap :: (Position -> c -> d) -> Term v c -> Term v d

compute new symbol at position, giving the position

rpmap :: (Position -> c -> d) -> Term v c -> Term v d

compute new symbol from *reverse* position and previous symbol this is more efficient (no reverse needed)

peek :: Term v c -> Position -> Term v c

peek_symbol :: Term v c -> Position -> c

poke_symbol :: Term v c -> (Position, c) -> Term v c

warning: don't check arity

poke :: Term v c -> (Position, Term v c) -> Term v c

pokes :: Term v c -> [(Position, Term v c)] -> Term v c

symsl :: Term v c -> [c]

in preorder

syms :: Ord c => Term v c -> Set c

lsyms :: Ord c => Term v c -> [c]

vars :: Ord v => Term v c -> Set v

isvar :: Term v c -> Bool

lvars :: Ord v => Term v c -> [v]

list of variables (each occurs once, unspecified ordering)

voccs :: Term v c -> [v]

list of variables (in pre-order, with duplicates)