Text.XML.HXT.RelaxNG.DataTypes

Documentation

relaxSchemaFile :: String

relaxSchemaGrammarFile :: String

a_relaxSimplificationChanges :: String

defineOrigName :: String

a_numberOfErrors :: String

type Env = [(String, XmlTree)]

contextAttributes :: String

Start of a context attribute value (see also: Text.XML.HXT.RelaxNG.Simplification.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 OldName = String

type NewName = String

type NamePair = (OldName, NewName)

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 DatatypeName = String

type ParamName = String

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

dtAllowsFct :: DatatypeAllows

function to test whether a value matches a data-pattern

dtEqualFct :: DatatypeEqual

function to test whether a value matches a value-pattern

dtAllowedTypes :: AllowedDatatypes

list of all supported params for a datatype

type Uri = String

type LocalName = 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.

showDatatype :: Datatype -> String

data NameClass

Represents a name class

Constructors

AnyName

AnyNameExcept NameClass

Name Uri LocalName

NsName Uri

NsNameExcept Uri NameClass

NameClassChoice NameClass NameClass

NCError String

Instances

Eq NameClass

Show NameClass

data Pattern

Represents a pattern after simplification

Constructors

Empty

NotAllowed ErrMessage

Text

Choice Pattern Pattern

Interleave Pattern Pattern

Group Pattern Pattern

OneOrMore Pattern

List Pattern

Data Datatype ParamList

DataExcept Datatype ParamList Pattern

Value Datatype String Context

Attribute NameClass Pattern

Element NameClass Pattern

After Pattern Pattern

Instances

Show Pattern

data ErrMessage

Constructors

ErrMsg ErrLevel [String]

Instances

Show ErrMessage

type ErrLevel = Int

notAllowed :: String -> Pattern

smart constructor for NotAllowed

notAllowed1 :: String -> Pattern

notAllowed2 :: String -> Pattern

notAllowedN :: ErrLevel -> String -> Pattern

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

group :: Pattern -> Pattern -> Pattern

smart constructor for Group

oneOrMore :: Pattern -> Pattern

smart constructor for OneOrMore

interleave :: Pattern -> Pattern -> Pattern

smart constructor for Interleave

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

Instances

Eq ContentType

Ord ContentType

Show ContentType