Text.XML.HXT.Arrow.XmlArrow

test for text nodes

test for char reference, used during parsing

test for entity reference, used during parsing

test for comment

test for CDATA section, used during parsing

test for processing instruction

test for processing instruction <?xml ...>

test for element

test for DTD part, used during parsing

test for attribute tree

test for error message

test for root node (element with name "/")

test for text nodes with text, for which a predicate holds

example: hasText (all (`elem` " \t\n")) check for text nodes with only whitespace content

test for text nodes with only white space

implemented with hasTest

test whether a node (element, attribute, pi) has a name with a special property

test whether a node (element, attribute, pi) has a specific qualified name useful only after namespace propagation

test whether a node has a specific name (prefix:localPart or localPart), generally useful, even without namespace handling

test whether a node has a specific name as local part, useful only after namespace propagation

test whether a node has a specific name prefix, useful only after namespace propagation

test whether a node has a specific namespace URI useful only after namespace propagation

test whether an element node has an attribute node with a specific name

test whether an element node has an attribute node with a specific qualified name

test whether an element node has an attribute with a specific value

test whether an element node has an attribute with a qualified name and a specific value

text node construction arrow

blob node construction arrow

char reference construction arrow, useful for document output

entity reference construction arrow, useful for document output

comment node construction, useful for document output

CDATA construction, useful for document output

error node construction, useful only internally

element construction: | the attributes and the content of the element are computed by applying arrows to the input

attribute node construction: | the attribute value is computed by applying an arrow to the input

processing instruction construction: | the content of the processing instruction is computed by applying an arrow to the input

convenient arrow for element construction, more comfortable variant of mkElement

example for simplifying mkElement :

mkElement qn (a1 <+> ... <+> ai) (c1 <+> ... <+> cj)

equals

mkqelem qn [a1,...,ai] [c1,...,cj]

convenient arrow for element construction with strings instead of qualified names as element names, see also mkElement and mkelem

convenient arrow for element construction with attributes but without content, simple variant of mkelem and mkElement

convenient arrow for simple element construction without attributes, simple variant of mkelem and mkElement

convenient arrow for construction of empty elements without attributes, simple variant of mkelem and mkElement

construction of an element node with name "/" for document roots

alias for mkAttr

convenient arrow for attribute construction, simple variant of mkAttr

constant arrow for text nodes

constant arrow for blob nodes

constant arrow for char reference nodes

constant arrow for entity reference nodes

constant arrow for comment

constant arrow for warning

constant arrow for errors

constant arrow for fatal errors

constant arrow for simple processing instructions, see mkPi

constant arrow for attribute nodes, attribute name is a qualified name and value is a text, | see also mkAttr, qattr, attr

constant arrow for attribute nodes, attribute name and value are | given by parameters, see mkAttr

select the text of a text node

select the value of a char reference

select the name of a entity reference node

select the comment of a comment node

select the content of a CDATA node

select the name of a processing instruction

select the content of a processing instruction

select the name of an element node

select the attribute list of an element node

select the DTD type of a DTD node

select the DTD attributes of a DTD node

select the name of an attribute

select the error level (c_warn, c_err, c_fatal) from an error node

select the error message from an error node

select the qualified name from an element, attribute or pi

select the prefix:localPart or localPart from an element, attribute or pi

select the univeral name ({namespace URI} ++ localPart)

select the univeral name (namespace URI ++ localPart)

select the local part

select the name prefix

select the namespace URI

select the value of an attribute of an element node, always succeeds with empty string as default value ""

like getAttrValue, but fails if the attribute does not exist

like getAttrValue, but select the value of an attribute given by a qualified name, always succeeds with empty string as default value ""

like getQAttrValue, but fails if attribute does not exist

edit the string of a text node

edit the blob of a blob node

edit the comment string of a comment node

edit an element-, attribute- or pi- name

edit an element name

edit an attribute name

edit a pi name

edit an attribute value

edit an attribute list of an element node

replace an element, attribute or pi name

replace an element name

replace an attribute name

replace an element name

replace an atribute list of an element node

add a list of attributes to an element

add (or replace) an attribute

remove an attribute

remove an attribute with a qualified name

process the attributes of an element node with an arrow

process a whole tree inclusive attribute list of element nodes see also: processTopDown

convenient op for adding attributes or children to a node

usage: tf += cf

the tf arrow computes an element node, and all trees computed by cf are added to this node, if a tree is an attribute, it is inserted in the attribute list else it is appended to the content list.

attention: do not build long content list this way because += is implemented by ++

examples:

eelem "a"
  += sattr "href" "page.html"
  += sattr "name" "here"
  += txt "look here"

is the same as

mkelem [ sattr "href" "page.html"
       , sattr "name" "here"
       ]
       [ txt "look here" ]

and results in the XML fragment: <a href="page.html" name="here">look here</a>

advantage of the += operator is, that attributes and content can be added any time step by step. if tf computes a whole list of trees, e.g. a list of "td" or "tr" elements, the attributes or content is added to all trees. useful for adding "class" or "style" attributes to table elements.

apply an arrow to the input and convert the resulting XML trees into a string representation

apply an arrow to the input and convert the resulting XML trees into a string representation