tpdb-0.0: Data Type for Rewriting Systems

TPDB.Plain.Write

Description

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

Documentation

class Pretty a whereSource

Methods

pretty :: a -> DocSource

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)