TPDB.Plain.Write

the "old" TPDB format cf. http://www.lri.fr/~marche/tpdb/format.html

Documentation

class PrettyTerm a where

Minimal complete definition

prettyTerm

Methods

prettyTerm :: a -> Doc

Instances

Pretty s => PrettyTerm [s]

Methods

prettyTerm :: [s] -> Doc

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

Methods

prettyTerm :: Term v s -> Doc

Orphan instances

Pretty Identifier

Methods

pretty :: Identifier -> Doc

prettyList :: [Identifier] -> Doc

PrettyTerm a => Pretty (Rule a)

Methods

pretty :: Rule a -> Doc

prettyList :: [Rule a] -> Doc

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

Methods

pretty :: Term v s -> Doc

prettyList :: [Term v s] -> Doc

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

Methods

pretty :: Problem s r -> Doc

prettyList :: [Problem s r] -> Doc

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

Methods

pretty :: RS s r -> Doc

prettyList :: [RS s r] -> Doc