Text.XML.HXT.RelaxNG.Validation

hxt-relaxng-9.1.5.5: The HXT RelaxNG validator

Copyright | Copyright (C) 2008 Torben Kuseler Uwe Schmidt
License | MIT
Maintainer | Uwe Schmidt (uwe@fh-wedel.de)
Stability | stable
Portability | portable
Safe Haskell | None
Language | Haskell98

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 #

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

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 #

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 #

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 #

normalizeForRelaxValidation :: ArrowXml a => a XmlTree XmlTree #

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 #

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