| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
TPDB.Plain.Write
Description
the "old" TPDB format cf. http://www.lri.fr/~marche/tpdb/format.html
Documentation
class PrettyTerm a where Source
Methods
prettyTerm :: a -> Doc Source
Instances
| Pretty s => PrettyTerm [s] | |
| (Pretty v, Pretty s) => PrettyTerm (Term v s) |