hxt-relaxng-9.1.4: The HXT RelaxNG validator

Portability | portable
Stability | stable
Maintainer | Uwe Schmidt (uwe@fh-wedel.de)
Safe Haskell | None

Text.XML.HXT.RelaxNG.Validation

Description

Validation of a XML document with respect to a valid Relax NG schema in simple form. Copied and modified from "An algorithm for RELAX NG validation" by James Clark (http://www.thaiopensource.com/relaxng/derivative.html).

Synopsis

- validateWithRelax :: IOSArrow XmlTree XmlTree -> IOSArrow XmlTree XmlTree
- validateDocWithRelax :: IOSArrow XmlTree XmlTree -> SysConfigList -> String -> IOSArrow XmlTree XmlTree
- validateRelax :: XmlTree -> IOSArrow XmlTree XmlTree
- validateRelax' :: XmlTree -> LA XmlTree XmlTree
- readForRelax :: String -> IOSArrow b XmlTree
- normalizeForRelaxValidation :: ArrowXml a => a XmlTree XmlTree
- contains :: NameClass -> QName -> Bool

# Documentation

validateWithRelax :: IOSArrow XmlTree XmlTree -> IOSArrow XmlTree XmlTree Source

validateDocWithRelax :: IOSArrow XmlTree XmlTree -> SysConfigList -> String -> IOSArrow XmlTree XmlTree Source

Validates a xml document with respect to a Relax NG schema

- 1.parameter : the arrow for computing the Relax NG schema
- 2.parameter : list of configuration options for reading and validating
- 3.parameter : XML document URI
- arrow-input : ignored
- arrow-output : list of errors or `none`

validateRelax :: XmlTree -> IOSArrow XmlTree XmlTree Source

Validates an XML document with respect to a Relax NG schema and issues error messages.

See also: `validateRelax'`

- 1.parameter : Relax NG schema
- arrow-input : XML document
- arrow-output : the document or in case of errors none

validateRelax' :: XmlTree -> LA XmlTree XmlTree Source

Validates an XML document with respect to a Relax NG schema This arrow is pure. It does not need IO or any configuration parameters.

- 1.parameter : Relax NG schema
- arrow-input : XML document
- arrow-output : the unchanged document or an error message

readForRelax :: String -> IOSArrow b XmlTree Source

normalizeForRelaxValidation :: ArrowXml a => a XmlTree XmlTree Source

normalize a document for validation with Relax NG: remove all namespace declaration attributes, remove all processing instructions and merge all sequences of text nodes into a single text node

contains :: NameClass -> QName -> Bool Source

tests whether a `NameClass` contains a particular `QName`