tpdb-2.2.2: Data Type for Rewriting Systems
Safe HaskellNone
LanguageHaskell2010

TPDB.CPF.Proof.Write

Description

from internal representation to XML, and back

Documentation

tox :: CertificationProblem -> Document Source #

symbolize :: Functor f => RS Identifier (f Identifier) -> RS Symbol (f Symbol) Source #

Orphan instances

XmlContent Rational Source # 
Instance details

Methods

toContents :: Rational -> [Node] Source #

parseContents :: Cursor -> [Rational] Source #

XmlContent ArgumentFilterEntry Source # 
Instance details

Methods

toContents :: ArgumentFilterEntry -> [Node] Source #

parseContents :: Cursor -> [ArgumentFilterEntry] Source #

XmlContent PrecedenceEntry Source # 
Instance details

Methods

toContents :: PrecedenceEntry -> [Node] Source #

parseContents :: Cursor -> [PrecedenceEntry] Source #

XmlContent PathOrder Source # 
Instance details

Methods

toContents :: PathOrder -> [Node] Source #

parseContents :: Cursor -> [PathOrder] Source #

XmlContent Exotic Source # 
Instance details

Methods

toContents :: Exotic -> [Node] Source #

parseContents :: Cursor -> [Exotic] Source #

XmlContent Coefficient Source # 
Instance details

Methods

toContents :: Coefficient -> [Node] Source #

parseContents :: Cursor -> [Coefficient] Source #

XmlContent Label Source # 
Instance details

Methods

toContents :: Label -> [Node] Source #

parseContents :: Cursor -> [Label] Source #

XmlContent Symbol Source # 
Instance details

Methods

toContents :: Symbol -> [Node] Source #

parseContents :: Cursor -> [Symbol] Source #

XmlContent ArithFunction Source # 
Instance details

Methods

toContents :: ArithFunction -> [Node] Source #

parseContents :: Cursor -> [ArithFunction] Source #

XmlContent Polynomial Source # 
Instance details

Methods

toContents :: Polynomial -> [Node] Source #

parseContents :: Cursor -> [Polynomial] Source #

XmlContent Value Source # 
Instance details

Methods

toContents :: Value -> [Node] Source #

parseContents :: Cursor -> [Value] Source #

XmlContent Interpret Source # 
Instance details

Methods

toContents :: Interpret -> [Node] Source #

parseContents :: Cursor -> [Interpret] Source #

XmlContent Domain Source # 
Instance details

Methods

toContents :: Domain -> [Node] Source #

parseContents :: Cursor -> [Domain] Source #

XmlContent Interpretation_Type Source # 
Instance details

Methods

toContents :: Interpretation_Type -> [Node] Source #

parseContents :: Cursor -> [Interpretation_Type] Source #

XmlContent Interpretation Source # 
Instance details

Methods

toContents :: Interpretation -> [Node] Source #

parseContents :: Cursor -> [Interpretation] Source #

XmlContent RedPair Source # 
Instance details

Methods

toContents :: RedPair -> [Node] Source #

parseContents :: Cursor -> [RedPair] Source #

XmlContent OrderingConstraintProof Source # 
Instance details

Methods

toContents :: OrderingConstraintProof -> [Node] Source #

parseContents :: Cursor -> [OrderingConstraintProof] Source #

XmlContent DepGraphComponent Source # 
Instance details

Methods

toContents :: DepGraphComponent -> [Node] Source #

parseContents :: Cursor -> [DepGraphComponent] Source #

XmlContent DpProof Source # 
Instance details

Methods

toContents :: DpProof -> [Node] Source #

parseContents :: Cursor -> [DpProof] Source #

XmlContent Model Source # 
Instance details

Methods

toContents :: Model -> [Node] Source #

parseContents :: Cursor -> [Model] Source #

XmlContent Transition_Lhs Source # 
Instance details

Methods

toContents :: Transition_Lhs -> [Node] Source #

parseContents :: Cursor -> [Transition_Lhs] Source #

XmlContent Transition Source # 
Instance details

Methods

toContents :: Transition -> [Node] Source #

parseContents :: Cursor -> [Transition] Source #

XmlContent State Source # 
Instance details

Methods

toContents :: State -> [Node] Source #

parseContents :: Cursor -> [State] Source #

XmlContent TreeAutomaton Source # 
Instance details

Methods

toContents :: TreeAutomaton -> [Node] Source #

parseContents :: Cursor -> [TreeAutomaton] Source #

XmlContent Criterion Source # 
Instance details

Methods

toContents :: Criterion -> [Node] Source #

parseContents :: Cursor -> [Criterion] Source #

XmlContent ClosedTreeAutomaton Source # 
Instance details

Methods

toContents :: ClosedTreeAutomaton -> [Node] Source #

parseContents :: Cursor -> [ClosedTreeAutomaton] Source #

XmlContent Bounds_Type Source # 
Instance details

Methods

toContents :: Bounds_Type -> [Node] Source #

parseContents :: Cursor -> [Bounds_Type] Source #

XmlContent TrsTerminationProof Source # 
Instance details

Methods

toContents :: TrsTerminationProof -> [Node] Source #

parseContents :: Cursor -> [TrsTerminationProof] Source #

XmlContent DPS Source # 
Instance details

Methods

toContents :: DPS -> [Node] Source #

parseContents :: Cursor -> [DPS] Source #

XmlContent Proof Source # 
Instance details

Methods

toContents :: Proof -> [Node] Source #

parseContents :: Cursor -> [Proof] Source #

XmlContent CertificationProblemInput Source # 
Instance details

Methods

toContents :: CertificationProblemInput -> [Node] Source #

parseContents :: Cursor -> [CertificationProblemInput] Source #

XmlContent Tool Source # 
Instance details

Methods

toContents :: Tool -> [Node] Source #

parseContents :: Cursor -> [Tool] Source #

XmlContent Origin Source # 
Instance details

Methods

toContents :: Origin -> [Node] Source #

parseContents :: Cursor -> [Origin] Source #

XmlContent CertificationProblem Source # 
Instance details

Methods

toContents :: CertificationProblem -> [Node] Source #

parseContents :: Cursor -> [CertificationProblem] Source #

(Typeable t, XmlContent t) => XmlContent (Rule t) Source # 
Instance details

Methods

toContents :: Rule t -> [Node] Source #

parseContents :: Cursor -> [Rule t] Source #

XmlContent (TRS Identifier Symbol) Source # 
Instance details

Methods

toContents :: TRS Identifier Symbol -> [Node] Source #

parseContents :: Cursor -> [TRS Identifier Symbol] Source #