TPDB.Data

Documentation

data Identifier

Constructors

Identifier

Fields

name :: String

arity :: Int

Instances

Eq Identifier

Ord Identifier

Show Identifier

Pretty Identifier

Reader Identifier

warning: by definition, {}[] may appear in identifiers

Reader (SRS Identifier)

Reader (TRS Identifier Identifier)

data Term v s

Constructors

Var v

Node s [Term v s]

Instances

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

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

Reader (TRS Identifier Identifier)

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

data Rule a

Constructors

Rule

Fields

lhs :: a

rhs :: a

strict :: Bool

top :: Bool

Instances

Show a => Show (Rule a)

Pretty a => Pretty (Rule a)

Reader u => Reader (Rule u)

data RS s r

Constructors

RS

Fields

signature :: [s]

better keep order in signature (?)

rules :: [Rule r]

separate :: Bool

if True, write comma between rules

Instances

Reader (SRS Identifier)

(Show s, Show r) => Show (RS s r)

(Pretty s, Pretty r) => Pretty (RS s r)

Reader (TRS Identifier Identifier)

type TRS v s = RS s (Term v s)

type SRS s = RS s [s]

data Problem v s

Constructors

Problem

Fields

trs :: TRS v s

strategy :: Strategy

type_ :: Type

Instances

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

(Pretty s, Pretty r) => Pretty (Problem s r)

data Type

Constructors

Termination

Complexity

Instances

Show Type

data Strategy

Constructors

Full

Innermost

Outermost

Instances

Show Strategy