| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
data Pattern | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
data 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 | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
Produced by Haddock version 2.1.0 |