This modul exports the list of supported datatype libraries. It also exports the main functions to validate an XML instance value with respect to a datatype.
Documentation
datatypeLibraries :: DatatypeLibrariesSource
List of all supported datatype libraries which can be used within the Relax NG validator modul.
datatypeEqual :: Uri -> DatatypeEqualSource
Tests whether a XML instance value matches a value-pattern.
The following tests are performed:
- 1. : does the uri exist in the list of supported datatype libraries
- 2. : does the library support the datatype
- 3. : does the XML instance value match the value-pattern
The hard work is done by the specialized DatatypeEqual
function
(see also: DatatypeCheck
) of the datatype library.
datatypeAllows :: Uri -> DatatypeAllowsSource
Tests whether a XML instance value matches a data-pattern.
The following tests are performed:
- 1. : does the uri exist in the list of supported datatype libraries
- 2. : does the library support the datatype
- 3. : does the XML instance value match the data-pattern
- 4. : does the XML instance value match all params
The hard work is done by the specialized DatatypeAllows
function
(see also: DatatypeCheck
) of the datatype library.