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