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