TPDB.Plain.Write

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

Documentation

class Pretty a where

Methods

pretty :: a -> Doc

Instances

Pretty Identifier

Pretty s => Pretty [s]

Pretty a => Pretty (Rule a)

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

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

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