Language.Maude.Syntax

Types representing Maude syntax and terms

Documentation

data Term

Constructors

Term

Generic representation of terms in Maude

Fields

termSort :: String

termOp :: String

termChildren :: [Term]

IterTerm

Term constructed from an iterated (iter) operator, for example, the s_ constructor for Nats

Fields

termSort :: String

termOp :: String

termChildren :: [Term]

iterations :: Integer

Instances

Eq Term

Data Term

Ord Term

Show Term

Typeable Term