The expanded name of the `xml:base` attribute.


base

string

The expanded name of the `xml:lang` attribute.


lang

The expanded name of the `xml:space` attribute.


space

The namespace URI bound to the `xml` prefix.


XML_NAMESPACE_URI

The namespace URI bound to the `xmlns` prefix.


XMLNS_NAMESPACE_URI

## Module Overview

The `lang.xml` module corresponds to basic type xml.

Applies a function to each item in an xml sequence, and returns an xml sequence of the results.

Each item is represented as a singleton value.



'map

a function to apply to each child or parameter `item`


func

ItemType

XmlType

new xml value containing result of applying function `func` to each child or parameter `item`


Returns the children of elements in an xml value.

When parameter `x` is of type `Element`, it is equivalent to function `getChildren`.
This is equivalent to `elements(x).map(getChildren)`.



children

xml sequence containing the children of each element x concatenated in order


concat

an xml sequence that is the concatenation of all the parameter `xs`;
an empty xml sequence if the parameter `xs` is empty


createComment

the content of the comment to be constructed.


content

an xml sequence consisting of a comment with parameter  `content` as the content


Comment

createElement

name

attributes

an xml sequence consisting of only a new xml element with name `name`,
attributes `attributes`, and children `children`
The element's attribute map is a newly created map, into which any attributes specified
by the `attributes` map are copied.


Element

Creates a new xml processing instruction item.



createProcessingInstruction

the target part of the processing instruction to be constructed


target

the content part of the processing instruction to be constructed


an xml sequence consisting of a processing instruction with parameter `target` as the target 
and parameter `content` as the content


ProcessingInstruction

Constructs an xml value of type Text.

The constructed sequence will be empty when the length of parameter `data` is zero.



createText

data

an xml sequence that is either empty or consists of one text item


Text

Returns a string with the character data of an xml value.

The character data of an xml value is as follows:
* the character data of a text item is a string with one character for each
character information item represented by the text item;
* the character data of an element item is the character data of its children;
* the character data of a comment item is the empty string;
* the character data of a processing instruction item is the empty string;
* the character data of an empty xml sequence is the empty string;
* the character data of the concatenation of two xml sequences x1 and x2 is the
concatenation of the character data of x1 and the character data of x2.



a string consisting of all the character data of parameter `x`


Selects element children of an xml value.

This is equivalent to `children(x).elements(nm)`.



elementChildren

the expanded name of the elements to be selected, or `()` for all elements


an xml sequence consisting of child elements of elements in parameter `x`; if parameter `nm`
is `()`, returns a sequence of all such elements;
otherwise, include only elements whose expanded name is parameter `nm`


Selects elements from an xml value.

If parameter `nm` is `()`, selects all elements;
otherwise, selects only elements whose expanded name is parameter `nm`.



elements

an xml sequence consisting of all the element items in parameter `x` whose expanded name is parameter `nm`,
or, if parameter `nm` is `()`, all element items in parameter `x`


Selects the items from an xml sequence for which a function returns true.

Each item is represented as a singleton value.



filter

a predicate to apply to each item to test whether it should be selected


boolean

new xml sequence containing items in parameter `x` for which function `func` evaluates to true


Applies a function to each item in an xml sequence.

Each item is represented as a singleton value.



forEach

a function to apply to each item in parameter `x`


Constructs an xml value from a string.

This parses the string using the `content` production of the
XML 1.0 Recommendation.



fromString

xml value resulting from parsing parameter `s`, or an error


error

Returns the item of an xml sequence with given index.

This differs from `x[i]` in that it panics if
parameter `x` does not have an item with index parameter `i`.



the item with index parameter `i` in parameter `x`


Returns the map representing the attributes of an xml element.

This includes namespace attributes.
The keys in the map are the expanded names of the attributes.



getAttributes

Returns the children of an xml element.



getChildren

elem

Returns the content of a processing instruction or comment item.



getContent

Returns the descendants of an xml element.

The descendants of an element are the children of the element
together with, for each of those children that is an element,
the descendants of that element, ordered so that
each element immediately precedes all its descendants.
The order of the items in the returned sequence will thus correspond
to the order in which the first character of the representation
of the item would occur in the representation of the element in XML syntax.



getDescendants

Returns a string giving the expanded name of an xml element.



getName

Returns the target part of the processing instruction.



getTarget

Returns an iterator over the xml items of an xml sequence.

# Each item is represented by an xml singleton.



iterator

object {
    public isolated function next() returns record {| ItemType value; |}?;
} 

Returns number of xml items in an xml value.



length

Sets the children of an xml element.

This panics if it would result in the element structure
becoming cyclic.



setChildren

setName

xName

slice

startIndex

endIndex

a subsequence of parameter `x` consisting of items with index >= parameter `startIndex` and < parameter `endIndex`


Strips the insignificant parts of the an xml value.

Comment items, processing instruction items are considered insignificant.
After removal of comments and processing instructions, the text is grouped into
the biggest possible chunks (i.e., only elements cause division into multiple chunks)
and a chunk is considered insignificant if the entire chunk is whitespace.



strip

Selects all the items in a sequence that are of type `xml:Text`.



text

an xml sequence consisting of selected text items


The `lang.xml` module corresponds to basic type xml.

Type for singleton comments.
Built-in subtype of xml.


Type for singleton elements.
Built-in subtype of xml.


A type parameter that is a subtype of any singleton or empty xml sequence.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.


Type for singleton processing instructions.
Built-in subtype of xml.


Type for zero or more text characters.
Built-in subtype of xml.
Adjacent xml text items are automatically concatenated,
so an xml sequence belongs to this type if it is a singleton test sequence
or the empty sequence.


A type parameter that is a subtype of `xml`.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.


Constants