tpdb-2.7.3: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 ann Source #

Instances

Instances details
Pretty s => PrettyTerm [s] Source # 
Instance details

Defined in TPDB.Plain.Write

Methods

prettyTerm :: [s] -> Doc ann Source #

(TermC v s, Pretty v, Pretty s) => PrettyTerm (Term v s) Source # 
Instance details

Defined in TPDB.Plain.Write

Methods

prettyTerm :: Term v s -> Doc ann Source #

Orphan instances

Pretty Identifier Source # 
Instance details

Methods

pretty :: Identifier -> Doc ann #

prettyList :: [Identifier] -> Doc ann #

PrettyTerm a => Pretty (Rule a) Source # 
Instance details

Methods

pretty :: Rule a -> Doc ann #

prettyList :: [Rule a] -> Doc ann #

(TermC s r, Pretty s, Pretty r, Variables (Term s r)) => Pretty (Problem s r) Source # 
Instance details

Methods

pretty :: Problem s r -> Doc ann #

prettyList :: [Problem s r] -> Doc ann #

(Pretty s, PrettyTerm r, Variables (RS s r), Pretty (Var (RS s r))) => Pretty (RS s r) Source # 
Instance details

Methods

pretty :: RS s r -> Doc ann #

prettyList :: [RS s r] -> Doc ann #

(TermC v s, Pretty v, Pretty s) => Pretty (Term v s) Source # 
Instance details

Methods

pretty :: Term v s -> Doc ann #

prettyList :: [Term v s] -> Doc ann #