|
| 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.
|
|
| showDatatype :: Datatype -> String |
|
| data NameClass |
| Represents a name class
| | Constructors | |  Instances | |
|
|
| data Pattern |
| Represents a pattern after simplification
| | Constructors | | | Instances | |
|
|
| data ErrMessage |
| Constructors | | | Instances | |
|
|
| 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 | |
|
|
| Produced by Haddock version 0.8 |
