hxt-relaxng-9.1.5.5: The HXT RelaxNG validator
Safe HaskellNone
LanguageHaskell98

Text.XML.HXT.RelaxNG.DataTypes

Synopsis

Documentation

type Env = [(String, XmlTree)] #

contextAttributes :: String #

Start of a context attribute value (see also: simplificationStep1)

The value is always followed by the original attribute name and value

contextBaseAttr :: String #

Start of base uri attribute value (see also: simplificationStep1 in Text.XML.HXT.RelaxNG.Simplification)

type RefList = [NamePair] #

type DatatypeEqual = DatatypeName -> String -> Context -> String -> Context -> Maybe String #

Type of all datatype libraries functions that tests whether a XML instance value matches a value-pattern.

Returns Just "errorMessage" in case of an error else Nothing.

type DatatypeAllows = DatatypeName -> ParamList -> String -> Context -> Maybe String #

Type of all datatype libraries functions that tests whether a XML instance value matches a data-pattern.

Returns Just "errorMessage" in case of an error else Nothing.

type DatatypeLibraries = [DatatypeLibrary] #

List of all supported datatype libraries

type DatatypeLibrary = (Uri, DatatypeCheck) #

Each datatype library is identified by a URI.

type AllowedParams = [ParamName] #

List of all supported params for a datatype

type AllowedDatatypes = [(DatatypeName, AllowedParams)] #

List of all supported datatypes and there allowed params

data DatatypeCheck #

The Constructor exports the list of supported datatypes for a library. It also exports the specialized datatype library functions to validate a XML instance value with respect to a datatype.

Constructors

DTC 

Fields

type Uri = String #

type ParamList = [(LocalName, String)] #

List of parameters; each parameter is a pair consisting of a local name and a value.

type Prefix = String #

type Context = (Uri, [(Prefix, Uri)]) #

A Context represents the context of an XML element. It consists of a base URI and a mapping from prefixes to namespace URIs.

type Datatype = (Uri, LocalName) #

A Datatype identifies a datatype by a datatype library name and a local name.

data ErrMessage #

Constructors

ErrMsg ErrLevel [String] 

Instances

Instances details
Show ErrMessage # 
Instance details

Defined in Text.XML.HXT.RelaxNG.DataTypes

type ErrLevel = Int #

notAllowed :: String -> Pattern #

smart constructor for NotAllowed

mergeNotAllowed :: Pattern -> Pattern -> Pattern #

merge error messages

If error levels are different, the more important is taken, if level is 2 (max level) both error messages are taken else the 1. error mesage is taken

choice :: Pattern -> Pattern -> Pattern #

smart constructor for Choice

nexted choices are transformed into a sorted list

group :: Pattern -> Pattern -> Pattern #

smart constructor for Group

oneOrMore :: Pattern -> Pattern #

smart constructor for OneOrMore

interleave :: Pattern -> Pattern -> Pattern #

smart constructor for Interleave

nested interleaves are transformed into a sorted list

after :: Pattern -> Pattern -> Pattern #

smart constructor for After

data ContentType #

Possible content types of a Relax NG pattern. (see also chapter 7.2 in Relax NG specification)

Constructors

CTEmpty 
CTComplex 
CTSimple 
CTNone