- 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 {}
- 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
- 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
Documentation
contextAttributes :: StringSource
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 :: StringSource
Start of base uri attribute value
(see also: simplificationStep1
in Text.XML.HXT.RelaxNG.Simplification)
type DatatypeEqual = DatatypeName -> String -> Context -> String -> Context -> Maybe StringSource
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 StringSource
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 = StringSource
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.
DTC | |
|
type ParamList = [(LocalName, String)]Source
List of parameters; each parameter is a pair consisting of a local name and a value.
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 -> StringSource
Represents a name class
Represents a pattern after simplification
notAllowed :: String -> PatternSource
smart constructor for NotAllowed
notAllowed1 :: String -> PatternSource
notAllowed2 :: String -> PatternSource
notAllowedN :: ErrLevel -> String -> PatternSource
mergeNotAllowed :: Pattern -> Pattern -> PatternSource
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
interleave :: Pattern -> Pattern -> PatternSource
smart constructor for Interleave
data ContentType Source
Possible content types of a Relax NG pattern. (see also chapter 7.2 in Relax NG specification)