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 # |
Orphan instances
Pretty Identifier Source # | |
pretty :: Identifier -> Doc ann # prettyList :: [Identifier] -> Doc ann # | |
PrettyTerm a => Pretty (Rule a) Source # | |
(Pretty v, Pretty s) => Pretty (Term v s) Source # | |
(Pretty s, Pretty r, Variables (Term s r)) => Pretty (Problem s r) Source # | |
(Pretty s, PrettyTerm r, Variables (RS s r), Pretty (Var (RS s r))) => Pretty (RS s r) Source # | |