Ideas.Common.Rewriting.Term

Symbols

data Symbol

newSymbol

isAssociative

makeAssociative

Terms

data Term

class IsTerm a

termView

fromTermM

fromTermWith

Functions and symbols

class WithFunctions a

isSymbol

isFunction

unary

binary

ternary

isUnary

isBinary

Variables

class WithVars a

isVariable

vars

varSet

hasVar

withoutVar

hasSomeVar

hasNoVar

variableView

Meta variables

class WithMetaVars a

isMetaVar

metaVars

metaVarSet

hasMetaVar

nextMetaVar