TPDB.Plain.Write

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

Documentation

class PrettyTerm a where

Methods

prettyTerm :: a -> Doc ann

Instances

Pretty s => PrettyTerm [s]

Defined in TPDB.Plain.Write

Methods

prettyTerm :: [s] -> Doc ann

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

Defined in TPDB.Plain.Write

Methods

prettyTerm :: Term v s -> Doc ann

Orphan instances

Pretty Identifier

Methods

pretty :: Identifier -> Doc ann

prettyList :: [Identifier] -> Doc ann

PrettyTerm a => Pretty (Rule a)

Methods

pretty :: Rule a -> Doc ann

prettyList :: [Rule a] -> Doc ann

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

Methods

pretty :: Term v s -> Doc ann

prettyList :: [Term v s] -> Doc ann

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

Methods

pretty :: Problem s r -> Doc ann

prettyList :: [Problem s r] -> Doc ann

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

Methods

pretty :: RS s r -> Doc ann

prettyList :: [RS s r] -> Doc ann