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