Class of types which can be used to form a valid XPath expression. Library users should not create instances of this class.

Type family which associates an expression type with the type that will be returned by show' when it is dislayed in XPath syntax. This allows flexiblity to use different string-like types, such as String, Text, ByteString or even builders for these types.

XPath boolean data type, which can be showed as the string type s.

Bool' specialised so it can be shown as String.

XPath false() value.

XPath true() value.

XPath numeric data type, which can be showed as the string type s.

Number' specialised so it can be shown as String.

XPath textual (string) data type, which can be showed as the string type s.

Text' specialised so it can be shown as String.

The XPath text() function.

An XPath node which can be showed as the string type s.

Node' specialised so it can be shown as String.

The XPath node() function.

Create a node with the given name.

Type to represent the root of the document. Useful in forming an XPaths which must begin from the root.

The root of the document. There is no corresponding XPath expression for root but it can be used to indicate that an XPath must be begin from the root by using this as the first step in the path.

DocumentRoot' specialised so it can be used in paths to be shown as String.

Specialisation of root' so it can be used in paths to be shown as String.

Access the value of a node's attribute in text form (equivalent to XPath's @).

The XPath not(.) function.

The XPath and operator.

The XPath or operator.

The XPath contains() function.

The opposite of contains.

Type class of XPath types that can be compared for equality. Library users should not create instances of this class.

The XPath = operator.

The XPath != operator.

Type class of XPath types that can be ordered. Library users should not create instances of this class.

The XPath < operator.

The XPath <= operator.

The XPath > operator.

The XPath >= operator.

The XPath position() function.

Type to indicate the XPath begins from the current context.

Type to indicate the XPath begins from the document root.

Class of valid types for the type parameter c in Path'. Library users should not create instances of this class.

Type family which allows a context to be inferred. This allows for support of abbreviated syntax.

An XPath beginning from some context c (either the root context or the current context).

Path' specialised so it can be shown as String.

An XPath beginning from the document root.

AbsolutePath' specialised so it can be shown as String.

An XPath relative to the current context.

RelativePath' specialised so it can be shown as String.

Constraint for path-like types - i.e. either a Path' or otherwise a type that can be converted to one using abbreviated syntax rules.

Display an XPath expression. This is useful to sending the XPath expression to a separate XPath evaluator e.g. a web browser.

Specialisation of show' to only generate Strings.

The XPath ancestor:: axis.

The XPath child:: axis.

The XPath descendant:: axis.

The XPath descendant-or-self:: axis.

The XPath following:: axis.

The XPath following-sibling:: axis.

The XPath parent:: axis.

The XPath self:: axis.

Type class for the XPath / operator. It can operate on multiple types as the axes can be inferred based on XPath's abbreviated syntax. Library users should not create instances of this class.

Type class for the XPath // operator. It can operate on multiple types as the axes can be inferred based on XPath's abbreviated syntax. Library users should not create instances of this class.

Type class to allow filtering of node sets. Library users should not create instances of this class.

The XPath count() function.

The union of two node-sets.