| hxt-8.5.2: A collection of tools for processing XML with Haskell. | Source code | Contents | Index

Text.XML.HXT.RelaxNG.DataTypes

Synopsis

relaxSchemaFile :: String
relaxSchemaGrammarFile :: String
a_relaxSimplificationChanges :: String
defineOrigName :: String
a_numberOfErrors :: String
type Env = [(String, XmlTree)]
contextAttributes :: String
contextBaseAttr :: String
type OldName = String
type NewName = String
type NamePair = (OldName, NewName)
type RefList = [NamePair]
type DatatypeEqual = DatatypeName -> String -> Context -> String -> Context -> Maybe String
type DatatypeAllows = DatatypeName -> ParamList -> String -> Context -> Maybe String
type DatatypeLibraries = [DatatypeLibrary]
type DatatypeLibrary = (Uri, DatatypeCheck)
type DatatypeName = String
type ParamName = String
type AllowedParams = [ParamName]
type AllowedDatatypes = [(DatatypeName, AllowedParams)]

data DatatypeCheck = DTC {

dtAllowsFct :: DatatypeAllows
dtEqualFct :: DatatypeEqual
dtAllowedTypes :: AllowedDatatypes

}

type Uri = String
type LocalName = String
type ParamList = [(LocalName, String)]
type Prefix = String
type Context = (Uri, [(Prefix, Uri)])
type Datatype = (Uri, LocalName)
showDatatype :: Datatype -> String

data NameClass

= AnyName
| AnyNameExcept NameClass
| Name Uri LocalName
| NsName Uri
| NsNameExcept Uri NameClass
| NameClassChoice NameClass NameClass
| NCError String

data Pattern

= 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

data ErrMessage = ErrMsg ErrLevel [String]
type ErrLevel = Int
notAllowed :: String -> Pattern
notAllowed1 :: String -> Pattern
notAllowed2 :: String -> Pattern
notAllowedN :: ErrLevel -> String -> Pattern
mergeNotAllowed :: Pattern -> Pattern -> Pattern
choice :: Pattern -> Pattern -> Pattern
group :: Pattern -> Pattern -> Pattern
oneOrMore :: Pattern -> Pattern
interleave :: Pattern -> Pattern -> Pattern
after :: Pattern -> Pattern -> Pattern

data ContentType

= CTEmpty
| CTComplex
| CTSimple
| CTNone

Documentation

relaxSchemaFile :: String | Source

relaxSchemaGrammarFile :: String | Source

a_relaxSimplificationChanges :: String | Source

defineOrigName :: String | Source

a_numberOfErrors :: String | Source

type Env = [(String, XmlTree)] | Source

contextAttributes :: String | Source

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 | Source

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

type OldName = String | Source

type NewName = String | Source

type NamePair = (OldName, NewName) | Source

type RefList = [NamePair] | Source

type DatatypeEqual = DatatypeName -> String -> Context -> String -> Context -> Maybe String | Source

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 | Source

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] | Source

List of all supported datatype libraries

type DatatypeLibrary = (Uri, DatatypeCheck) | Source

Each datatype library is identified by a URI.

type DatatypeName = String | Source

type ParamName = String | Source

type AllowedParams = [ParamName] | Source

List of all supported params for a datatype

type AllowedDatatypes = [(DatatypeName, AllowedParams)] | Source

List of all supported datatypes and there allowed params

data DatatypeCheck | Source

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 |

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 | Source

type LocalName = String | Source

type ParamList = [(LocalName, String)] | Source

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

type Prefix = String | Source

type Context = (Uri, [(Prefix, Uri)]) | Source

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) | Source

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

showDatatype :: Datatype -> String | Source

data NameClass | Source

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 | Source

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 | Source

Constructors

ErrMsg ErrLevel [String] |

Instances

Show ErrMessage

type ErrLevel = Int | Source

notAllowed :: String -> Pattern | Source

smart constructor for NotAllowed

notAllowed1 :: String -> Pattern | Source

notAllowed2 :: String -> Pattern | Source

notAllowedN :: ErrLevel -> String -> Pattern | Source

mergeNotAllowed :: Pattern -> Pattern -> Pattern | Source

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 | Source

smart constructor for Choice

group :: Pattern -> Pattern -> Pattern | Source

smart constructor for Group

oneOrMore :: Pattern -> Pattern | Source

smart constructor for OneOrMore

interleave :: Pattern -> Pattern -> Pattern | Source

smart constructor for Interleave

after :: Pattern -> Pattern -> Pattern | Source

smart constructor for After

data ContentType | Source

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

Produced by Haddock version 2.4.2