| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Text.XML.HXT.RelaxNG.DataTypes
- relaxSchemaFile :: String
- relaxSchemaGrammarFile :: String
- a_numberOfErrors :: String
- defineOrigName :: String
- a_output_changes :: String
- a_relaxSimplificationChanges :: String
- type Env = [(String, XmlTree)]
- type PatternEnv = [(String, Pattern)]
- contextAttributes :: String
- contextAttributesDefault :: 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
- = NotAllowed ErrMessage
- | Empty
- | Text
- | Element NameClass Pattern
- | Attribute NameClass Pattern
- | Choice Pattern Pattern
- | Interleave Pattern Pattern
- | Group Pattern Pattern
- | After Pattern Pattern
- | OneOrMore Pattern
- | Data Datatype ParamList
- | DataExcept Datatype ParamList Pattern
- | List Pattern
- | Value Datatype String Context
- data Pattern'
- = NotAllowed'
- | Empty'
- | Text'
- | Element'
- | Attribute'
- | Data'
- | DataExcept'
- | List'
- | Value'
- | OneOrMore'
- | Interleave'
- | Group'
- | After'
- | Choice'
- ord' :: Pattern -> Pattern'
- equiv :: Pattern -> Pattern -> Bool
- gt :: Pattern -> Pattern -> Bool
- 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
type PatternEnv = [(String, Pattern)] Source
contextAttributes :: String Source
Start of a context attribute value
(see also: simplificationStep1)
The value is always followed by the original attribute name and value
contextBaseAttr :: String Source
Start of base uri attribute value
(see also: simplificationStep1 in Text.XML.HXT.RelaxNG.Simplification)
type DatatypeEqual = DatatypeName -> String -> Context -> String -> Context -> Maybe String Source
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 Source
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 = String Source
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.
Constructors
| DTC | |
Fields
| |
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 -> String Source
Represents a name class
Represents a pattern after simplification
Constructors
notAllowed :: String -> Pattern Source
smart constructor for NotAllowed
notAllowed1 :: String -> Pattern Source
notAllowed2 :: String -> Pattern Source
notAllowedN :: ErrLevel -> String -> Pattern Source
mergeNotAllowed :: Pattern -> Pattern -> Pattern Source
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 Source
smart constructor for Choice
nexted choices are transformed into a sorted list
interleave :: Pattern -> Pattern -> Pattern Source
smart constructor for Interleave
nested interleaves are transformed into a sorted list
data ContentType Source
Possible content types of a Relax NG pattern. (see also chapter 7.2 in Relax NG specification)
Instances