|
Text.XML.HXT.RelaxNG.DataTypes |
|
|
|
|
|
Synopsis |
|
|
|
Documentation |
|
relaxSchemaFile :: String |
|
relaxSchemaGrammarFile :: String |
|
a_numberOfErrors :: String |
|
a_relaxSimplificationChanges :: String |
|
defineOrigName :: String |
|
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 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 | | 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.
|
|
data NameClass |
Represents a name class
| Constructors | | Instances | |
|
|
data Pattern |
Represents a pattern after simplification
| Constructors | | Instances | |
|
|
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 | |
|
|
Produced by Haddock version 0.7 |