Safe Haskell	None
Language	Haskell98

TPDB.Xml

Synopsis

class XmlContent a where
- toContents :: a -> [Node]
- parseContents :: Cursor -> [a]
mkel :: Name -> [Node] -> Node
rmkel :: Monad m => Name -> [Node] -> m Node
content :: Cursor -> [Text]
(&|) :: (Cursor node -> [a]) -> (a -> b) -> Cursor node -> [b]
escape :: [Char] -> [Char]
nospaceString :: Text -> Node

Documentation

class XmlContent a where Source #

Methods

toContents :: a -> [Node] Source #

parseContents :: Cursor -> [a] Source #

Instances

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 Integer Source #
Instance details Defined in TPDB.Xml Methods toContents :: Integer -> [Node] Source # parseContents :: Cursor -> [Integer] Source #
XmlContent Rational Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Rational -> [Node] Source # parseContents :: Cursor -> [Rational] 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 ArgumentFilterEntry Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: ArgumentFilterEntry -> [Node] Source # parseContents :: Cursor -> [ArgumentFilterEntry] Source #
XmlContent PrecedenceEntry Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: PrecedenceEntry -> [Node] Source # parseContents :: Cursor -> [PrecedenceEntry] Source #
XmlContent PathOrder Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: PathOrder -> [Node] Source # parseContents :: Cursor -> [PathOrder] Source #
XmlContent Exotic Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Exotic -> [Node] Source # parseContents :: Cursor -> [Exotic] Source #
XmlContent Coefficient Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Coefficient -> [Node] Source # parseContents :: Cursor -> [Coefficient] Source #
XmlContent Label Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Label -> [Node] Source # parseContents :: Cursor -> [Label] Source #
XmlContent Symbol Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Symbol -> [Node] Source # parseContents :: Cursor -> [Symbol] Source #
XmlContent ArithFunction Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: ArithFunction -> [Node] Source # parseContents :: Cursor -> [ArithFunction] Source #
XmlContent Polynomial Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Polynomial -> [Node] Source # parseContents :: Cursor -> [Polynomial] Source #
XmlContent Value Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Value -> [Node] Source # parseContents :: Cursor -> [Value] Source #
XmlContent Interpret Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Interpret -> [Node] Source # parseContents :: Cursor -> [Interpret] Source #
XmlContent Domain Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Domain -> [Node] Source # parseContents :: Cursor -> [Domain] 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 Interpretation Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Interpretation -> [Node] Source # parseContents :: Cursor -> [Interpretation] Source #
XmlContent RedPair Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: RedPair -> [Node] Source # parseContents :: Cursor -> [RedPair] Source #
XmlContent OrderingConstraintProof Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: OrderingConstraintProof -> [Node] Source # parseContents :: Cursor -> [OrderingConstraintProof] Source #
XmlContent DepGraphComponent Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: DepGraphComponent -> [Node] Source # parseContents :: Cursor -> [DepGraphComponent] Source #
XmlContent DpProof Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: DpProof -> [Node] Source # parseContents :: Cursor -> [DpProof] Source #
XmlContent Model Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Model -> [Node] Source # parseContents :: Cursor -> [Model] 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 Transition Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Transition -> [Node] Source # parseContents :: Cursor -> [Transition] Source #
XmlContent State Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: State -> [Node] Source # parseContents :: Cursor -> [State] Source #
XmlContent TreeAutomaton Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: TreeAutomaton -> [Node] Source # parseContents :: Cursor -> [TreeAutomaton] Source #
XmlContent Criterion Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Criterion -> [Node] Source # parseContents :: Cursor -> [Criterion] Source #
XmlContent ClosedTreeAutomaton Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: ClosedTreeAutomaton -> [Node] Source # parseContents :: Cursor -> [ClosedTreeAutomaton] 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 TrsTerminationProof Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: TrsTerminationProof -> [Node] Source # parseContents :: Cursor -> [TrsTerminationProof] Source #
XmlContent DPS Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: DPS -> [Node] Source # parseContents :: Cursor -> [DPS] Source #
XmlContent Proof Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Proof -> [Node] Source # parseContents :: Cursor -> [Proof] Source #
XmlContent CertificationProblemInput Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: CertificationProblemInput -> [Node] Source # parseContents :: Cursor -> [CertificationProblemInput] Source #
XmlContent Tool Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Tool -> [Node] Source # parseContents :: Cursor -> [Tool] Source #
XmlContent Origin Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Origin -> [Node] Source # parseContents :: Cursor -> [Origin] Source #
XmlContent CertificationProblem Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: CertificationProblem -> [Node] Source # parseContents :: Cursor -> [CertificationProblem] 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 (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 #
(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 #
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 #

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 #