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

TPDB.CPF.Proof.Write

Description

from internal representation to XML, and back

Documentation

tox :: CertificationProblem -> Document Source #

standard :: RS s r2 -> RS s r2 Source #

relative :: RS s r2 -> RS s r2 Source #

symbolize :: RS Identifier (Term v Identifier) -> RS Symbol (Term v 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 ArithFunction Source # 
Instance details

Methods

toContents :: ArithFunction -> [Node] Source #

parseContents :: Cursor -> [ArithFunction] Source #

XmlContent Bounds_Type Source # 
Instance details

Methods

toContents :: Bounds_Type -> [Node] Source #

parseContents :: Cursor -> [Bounds_Type] Source #

XmlContent CertificationProblem Source # 
Instance details

Methods

toContents :: CertificationProblem -> [Node] Source #

parseContents :: Cursor -> [CertificationProblem] Source #

XmlContent CertificationProblemInput Source # 
Instance details

Methods

toContents :: CertificationProblemInput -> [Node] Source #

parseContents :: Cursor -> [CertificationProblemInput] Source #

XmlContent Coefficient Source # 
Instance details

Methods

toContents :: Coefficient -> [Node] Source #

parseContents :: Cursor -> [Coefficient] Source #

XmlContent Context Source # 
Instance details

Methods

toContents :: Context -> [Node] Source #

parseContents :: Cursor -> [Context] Source #

XmlContent Criterion Source # 
Instance details

Methods

toContents :: Criterion -> [Node] Source #

parseContents :: Cursor -> [Criterion] Source #

XmlContent DPS Source # 
Instance details

Methods

toContents :: DPS -> [Node] Source #

parseContents :: Cursor -> [DPS] Source #

XmlContent DepGraphComponent Source # 
Instance details

Methods

toContents :: DepGraphComponent -> [Node] Source #

parseContents :: Cursor -> [DepGraphComponent] Source #

XmlContent Domain Source # 
Instance details

Methods

toContents :: Domain -> [Node] Source #

parseContents :: Cursor -> [Domain] Source #

XmlContent DpProof Source # 
Instance details

Methods

toContents :: DpProof -> [Node] Source #

parseContents :: Cursor -> [DpProof] Source #

XmlContent Exotic Source # 
Instance details

Methods

toContents :: Exotic -> [Node] Source #

parseContents :: Cursor -> [Exotic] Source #

XmlContent Interpret Source # 
Instance details

Methods

toContents :: Interpret -> [Node] Source #

parseContents :: Cursor -> [Interpret] Source #

XmlContent Interpretation Source # 
Instance details

Methods

toContents :: Interpretation -> [Node] Source #

parseContents :: Cursor -> [Interpretation] Source #

XmlContent Interpretation_Type Source # 
Instance details

Methods

toContents :: Interpretation_Type -> [Node] Source #

parseContents :: Cursor -> [Interpretation_Type] Source #

XmlContent Label Source # 
Instance details

Methods

toContents :: Label -> [Node] Source #

parseContents :: Cursor -> [Label] Source #

XmlContent Model Source # 
Instance details

Methods

toContents :: Model -> [Node] Source #

parseContents :: Cursor -> [Model] Source #

XmlContent OrderingConstraintProof Source # 
Instance details

Methods

toContents :: OrderingConstraintProof -> [Node] Source #

parseContents :: Cursor -> [OrderingConstraintProof] Source #

XmlContent Origin Source # 
Instance details

Methods

toContents :: Origin -> [Node] Source #

parseContents :: Cursor -> [Origin] Source #

XmlContent PathOrder Source # 
Instance details

Methods

toContents :: PathOrder -> [Node] Source #

parseContents :: Cursor -> [PathOrder] Source #

XmlContent Polynomial Source # 
Instance details

Methods

toContents :: Polynomial -> [Node] Source #

parseContents :: Cursor -> [Polynomial] Source #

XmlContent PrecedenceEntry Source # 
Instance details

Methods

toContents :: PrecedenceEntry -> [Node] Source #

parseContents :: Cursor -> [PrecedenceEntry] Source #

XmlContent Proof Source # 
Instance details

Methods

toContents :: Proof -> [Node] Source #

parseContents :: Cursor -> [Proof] Source #

XmlContent RedPair Source # 
Instance details

Methods

toContents :: RedPair -> [Node] Source #

parseContents :: Cursor -> [RedPair] Source #

XmlContent RewriteSequence Source # 
Instance details

Methods

toContents :: RewriteSequence -> [Node] Source #

parseContents :: Cursor -> [RewriteSequence] Source #

XmlContent RewriteStep Source # 
Instance details

Methods

toContents :: RewriteStep -> [Node] Source #

parseContents :: Cursor -> [RewriteStep] Source #

XmlContent State Source # 
Instance details

Methods

toContents :: State -> [Node] Source #

parseContents :: Cursor -> [State] Source #

XmlContent SubstEntry Source # 
Instance details

Methods

toContents :: SubstEntry -> [Node] Source #

parseContents :: Cursor -> [SubstEntry] Source #

XmlContent Substitution Source # 
Instance details

Methods

toContents :: Substitution -> [Node] Source #

parseContents :: Cursor -> [Substitution] Source #

XmlContent Symbol Source # 
Instance details

Methods

toContents :: Symbol -> [Node] Source #

parseContents :: Cursor -> [Symbol] Source #

XmlContent Tool Source # 
Instance details

Methods

toContents :: Tool -> [Node] Source #

parseContents :: Cursor -> [Tool] Source #

XmlContent Transition Source # 
Instance details

Methods

toContents :: Transition -> [Node] Source #

parseContents :: Cursor -> [Transition] Source #

XmlContent Transition_Lhs Source # 
Instance details

Methods

toContents :: Transition_Lhs -> [Node] Source #

parseContents :: Cursor -> [Transition_Lhs] Source #

XmlContent TreeAutomaton Source # 
Instance details

Methods

toContents :: TreeAutomaton -> [Node] Source #

parseContents :: Cursor -> [TreeAutomaton] Source #

XmlContent Value Source # 
Instance details

Methods

toContents :: Value -> [Node] Source #

parseContents :: Cursor -> [Value] Source #

XmlContent (TrsNonterminationProof 'Relative) Source # 
Instance details

Methods

toContents :: TrsNonterminationProof 'Relative -> [Node] Source #

parseContents :: Cursor -> [TrsNonterminationProof 'Relative] Source #

XmlContent (TrsNonterminationProof 'Standard) Source # 
Instance details

Methods

toContents :: TrsNonterminationProof 'Standard -> [Node] Source #

parseContents :: Cursor -> [TrsNonterminationProof 'Standard] Source #

XmlContent (TrsTerminationProof 'Relative) Source # 
Instance details

Methods

toContents :: TrsTerminationProof 'Relative -> [Node] Source #

parseContents :: Cursor -> [TrsTerminationProof 'Relative] Source #

XmlContent (TrsTerminationProof 'Standard) Source # 
Instance details

Methods

toContents :: TrsTerminationProof 'Standard -> [Node] Source #

parseContents :: Cursor -> [TrsTerminationProof 'Standard] 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 #