tpdb-0.0: Data Type for Rewriting Systems

TPDB.Data

Documentation

data Identifier Source

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 Source

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 Source

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 Source

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)Source

type SRS s = RS s [s]Source

data Problem v s Source

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 Source

Constructors

Termination 
Complexity 

Instances

data Strategy Source

Constructors

Full 
Innermost 
Outermost 

Instances