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

TPDB.Xml

Synopsis

Documentation

class XmlContent a where Source #

Methods

toContents :: a -> [Node] Source #

parseContents :: Cursor -> [a] Source #

Instances

Instances details
XmlContent Rational Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Rational -> [Node] Source #

parseContents :: Cursor -> [Rational] Source #

XmlContent ArgumentFilterEntry Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: ArgumentFilterEntry -> [Node] Source #

parseContents :: Cursor -> [ArgumentFilterEntry] Source #

XmlContent ArithFunction Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: ArithFunction -> [Node] Source #

parseContents :: Cursor -> [ArithFunction] Source #

XmlContent Bounds_Type Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Bounds_Type -> [Node] Source #

parseContents :: Cursor -> [Bounds_Type] Source #

XmlContent CertificationProblem Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: CertificationProblem -> [Node] Source #

parseContents :: Cursor -> [CertificationProblem] Source #

XmlContent CertificationProblemInput Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: CertificationProblemInput -> [Node] Source #

parseContents :: Cursor -> [CertificationProblemInput] Source #

XmlContent Coefficient Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Coefficient -> [Node] Source #

parseContents :: Cursor -> [Coefficient] Source #

XmlContent Context Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Context -> [Node] Source #

parseContents :: Cursor -> [Context] Source #

XmlContent Criterion Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Criterion -> [Node] Source #

parseContents :: Cursor -> [Criterion] Source #

XmlContent DPS Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: DPS -> [Node] Source #

parseContents :: Cursor -> [DPS] Source #

XmlContent DepGraphComponent Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: DepGraphComponent -> [Node] Source #

parseContents :: Cursor -> [DepGraphComponent] Source #

XmlContent Domain Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Domain -> [Node] Source #

parseContents :: Cursor -> [Domain] Source #

XmlContent DpProof Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: DpProof -> [Node] Source #

parseContents :: Cursor -> [DpProof] Source #

XmlContent Exotic Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Exotic -> [Node] Source #

parseContents :: Cursor -> [Exotic] Source #

XmlContent Interpret Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Interpret -> [Node] Source #

parseContents :: Cursor -> [Interpret] Source #

XmlContent Interpretation Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Interpretation -> [Node] Source #

parseContents :: Cursor -> [Interpretation] Source #

XmlContent Interpretation_Type Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Interpretation_Type -> [Node] Source #

parseContents :: Cursor -> [Interpretation_Type] Source #

XmlContent Label Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Label -> [Node] Source #

parseContents :: Cursor -> [Label] Source #

XmlContent Model Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Model -> [Node] Source #

parseContents :: Cursor -> [Model] Source #

XmlContent OrderingConstraintProof Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: OrderingConstraintProof -> [Node] Source #

parseContents :: Cursor -> [OrderingConstraintProof] Source #

XmlContent Origin Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Origin -> [Node] Source #

parseContents :: Cursor -> [Origin] Source #

XmlContent PathOrder Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: PathOrder -> [Node] Source #

parseContents :: Cursor -> [PathOrder] Source #

XmlContent Polynomial Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Polynomial -> [Node] Source #

parseContents :: Cursor -> [Polynomial] Source #

XmlContent PrecedenceEntry Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: PrecedenceEntry -> [Node] Source #

parseContents :: Cursor -> [PrecedenceEntry] Source #

XmlContent Proof Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Proof -> [Node] Source #

parseContents :: Cursor -> [Proof] Source #

XmlContent RedPair Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: RedPair -> [Node] Source #

parseContents :: Cursor -> [RedPair] Source #

XmlContent RewriteSequence Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: RewriteSequence -> [Node] Source #

parseContents :: Cursor -> [RewriteSequence] Source #

XmlContent RewriteStep Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: RewriteStep -> [Node] Source #

parseContents :: Cursor -> [RewriteStep] Source #

XmlContent State Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: State -> [Node] Source #

parseContents :: Cursor -> [State] Source #

XmlContent SubstEntry Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: SubstEntry -> [Node] Source #

parseContents :: Cursor -> [SubstEntry] Source #

XmlContent Substitution Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Substitution -> [Node] Source #

parseContents :: Cursor -> [Substitution] Source #

XmlContent Symbol Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Symbol -> [Node] Source #

parseContents :: Cursor -> [Symbol] Source #

XmlContent Tool Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Tool -> [Node] Source #

parseContents :: Cursor -> [Tool] Source #

XmlContent Transition Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Transition -> [Node] Source #

parseContents :: Cursor -> [Transition] Source #

XmlContent Transition_Lhs Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Transition_Lhs -> [Node] Source #

parseContents :: Cursor -> [Transition_Lhs] Source #

XmlContent TreeAutomaton Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: TreeAutomaton -> [Node] Source #

parseContents :: Cursor -> [TreeAutomaton] Source #

XmlContent Value Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Value -> [Node] Source #

parseContents :: Cursor -> [Value] Source #

XmlContent Identifier Source #

FIXME: move to separate module

Instance details

Defined in TPDB.Data.Xml

Methods

toContents :: Identifier -> [Node] Source #

parseContents :: Cursor -> [Identifier] Source #

XmlContent Integer Source # 
Instance details

Defined in TPDB.Xml

Methods

toContents :: Integer -> [Node] Source #

parseContents :: Cursor -> [Integer] Source #

XmlContent Bool Source # 
Instance details

Defined in TPDB.Xml

Methods

toContents :: Bool -> [Node] Source #

parseContents :: Cursor -> [Bool] Source #

XmlContent Int Source # 
Instance details

Defined in TPDB.Xml

Methods

toContents :: Int -> [Node] Source #

parseContents :: Cursor -> [Int] Source #

XmlContent (TrsNonterminationProof 'Relative) Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

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

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

XmlContent (TrsNonterminationProof 'Standard) Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

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

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

XmlContent (TrsTerminationProof 'Relative) Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

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

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

XmlContent (TrsTerminationProof 'Standard) Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

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

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

(TermC v c, XmlContent (Term v c)) => XmlContent (Rule (Term v c)) Source # 
Instance details

Defined in TPDB.Data.Xml

Methods

toContents :: Rule (Term v c) -> [Node] Source #

parseContents :: Cursor -> [Rule (Term v c)] Source #

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

Defined in TPDB.CPF.Proof.Write

Methods

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

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

XmlContent (TRS Identifier Symbol) Source # 
Instance details

Defined in TPDB.CPF.Proof.Write

Methods

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

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

(TermC v c, Show v, XmlContent v, XmlContent c) => XmlContent (Term v c) Source # 
Instance details

Defined in TPDB.Data.Xml

Methods

toContents :: Term v c -> [Node] Source #

parseContents :: Cursor -> [Term v c] Source #

mkel :: Name -> [Node] -> Node Source #

rmkel :: Monad m => Name -> [Node] -> m Node Source #

content :: Cursor -> [Text] #

Select only text nodes, and directly give the Content values. XPath: The node test text() is true for any text node.

Note that this is not strictly an Axis, but will work with most combinators.

(&|) :: (Cursor node -> [a]) -> (a -> b) -> Cursor node -> [b] infixr 1 #

Apply a function to the result of an axis.

escape :: [Char] -> [Char] Source #

nospaceString :: Text -> Node Source #