Safe Haskell	None
Language	Haskell98

TPDB.CPF.Proof.Write

Contents

Orphan instances

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 #
Methods toContents :: Rational -> [Node] Source # parseContents :: Cursor -> [Rational] Source #
XmlContent ArgumentFilterEntry Source #
Methods toContents :: ArgumentFilterEntry -> [Node] Source # parseContents :: Cursor -> [ArgumentFilterEntry] Source #
XmlContent PrecedenceEntry Source #
Methods toContents :: PrecedenceEntry -> [Node] Source # parseContents :: Cursor -> [PrecedenceEntry] Source #
XmlContent PathOrder Source #
Methods toContents :: PathOrder -> [Node] Source # parseContents :: Cursor -> [PathOrder] Source #
XmlContent Exotic Source #
Methods toContents :: Exotic -> [Node] Source # parseContents :: Cursor -> [Exotic] Source #
XmlContent Coefficient Source #
Methods toContents :: Coefficient -> [Node] Source # parseContents :: Cursor -> [Coefficient] Source #
XmlContent Label Source #
Methods toContents :: Label -> [Node] Source # parseContents :: Cursor -> [Label] Source #
XmlContent Symbol Source #
Methods toContents :: Symbol -> [Node] Source # parseContents :: Cursor -> [Symbol] Source #
XmlContent ArithFunction Source #
Methods toContents :: ArithFunction -> [Node] Source # parseContents :: Cursor -> [ArithFunction] Source #
XmlContent Polynomial Source #
Methods toContents :: Polynomial -> [Node] Source # parseContents :: Cursor -> [Polynomial] Source #
XmlContent Value Source #
Methods toContents :: Value -> [Node] Source # parseContents :: Cursor -> [Value] Source #
XmlContent Interpret Source #
Methods toContents :: Interpret -> [Node] Source # parseContents :: Cursor -> [Interpret] Source #
XmlContent Domain Source #
Methods toContents :: Domain -> [Node] Source # parseContents :: Cursor -> [Domain] Source #
XmlContent Interpretation_Type Source #
Methods toContents :: Interpretation_Type -> [Node] Source # parseContents :: Cursor -> [Interpretation_Type] Source #
XmlContent Interpretation Source #
Methods toContents :: Interpretation -> [Node] Source # parseContents :: Cursor -> [Interpretation] Source #
XmlContent RedPair Source #
Methods toContents :: RedPair -> [Node] Source # parseContents :: Cursor -> [RedPair] Source #
XmlContent OrderingConstraintProof Source #
Methods toContents :: OrderingConstraintProof -> [Node] Source # parseContents :: Cursor -> [OrderingConstraintProof] Source #
XmlContent DepGraphComponent Source #
Methods toContents :: DepGraphComponent -> [Node] Source # parseContents :: Cursor -> [DepGraphComponent] Source #
XmlContent DpProof Source #
Methods toContents :: DpProof -> [Node] Source # parseContents :: Cursor -> [DpProof] Source #
XmlContent Model Source #
Methods toContents :: Model -> [Node] Source # parseContents :: Cursor -> [Model] Source #
XmlContent Transition_Lhs Source #
Methods toContents :: Transition_Lhs -> [Node] Source # parseContents :: Cursor -> [Transition_Lhs] Source #
XmlContent Transition Source #
Methods toContents :: Transition -> [Node] Source # parseContents :: Cursor -> [Transition] Source #
XmlContent State Source #
Methods toContents :: State -> [Node] Source # parseContents :: Cursor -> [State] Source #
XmlContent TreeAutomaton Source #
Methods toContents :: TreeAutomaton -> [Node] Source # parseContents :: Cursor -> [TreeAutomaton] Source #
XmlContent Criterion Source #
Methods toContents :: Criterion -> [Node] Source # parseContents :: Cursor -> [Criterion] Source #
XmlContent ClosedTreeAutomaton Source #
Methods toContents :: ClosedTreeAutomaton -> [Node] Source # parseContents :: Cursor -> [ClosedTreeAutomaton] Source #
XmlContent Bounds_Type Source #
Methods toContents :: Bounds_Type -> [Node] Source # parseContents :: Cursor -> [Bounds_Type] Source #
XmlContent TrsTerminationProof Source #
Methods toContents :: TrsTerminationProof -> [Node] Source # parseContents :: Cursor -> [TrsTerminationProof] Source #
XmlContent DPS Source #
Methods toContents :: DPS -> [Node] Source # parseContents :: Cursor -> [DPS] Source #
XmlContent Proof Source #
Methods toContents :: Proof -> [Node] Source # parseContents :: Cursor -> [Proof] Source #
XmlContent CertificationProblemInput Source #
Methods toContents :: CertificationProblemInput -> [Node] Source # parseContents :: Cursor -> [CertificationProblemInput] Source #
XmlContent Tool Source #
Methods toContents :: Tool -> [Node] Source # parseContents :: Cursor -> [Tool] Source #
XmlContent Origin Source #
Methods toContents :: Origin -> [Node] Source # parseContents :: Cursor -> [Origin] Source #
XmlContent CertificationProblem Source #
Methods toContents :: CertificationProblem -> [Node] Source # parseContents :: Cursor -> [CertificationProblem] Source #
(Typeable * t, XmlContent t) => XmlContent (Rule t) Source #
Methods toContents :: Rule t -> [Node] Source # parseContents :: Cursor -> [Rule t] Source #
XmlContent (TRS Identifier Symbol) Source #
Methods toContents :: TRS Identifier Symbol -> [Node] Source # parseContents :: Cursor -> [TRS Identifier Symbol] Source #