| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Text.XML.HaXml.Schema.HaskellTypeModel
Description
A type model for Haskell datatypes that bears a reasonable correspondence to the XSD type model.
Synopsis
- data Restrict
- data Modifier
- data Attribute = Attribute {
- attr_name :: XName
- attr_type :: XName
- attr_required :: Bool
- attr_comment :: Comment
- data Element
- = Element {
- elem_name :: XName
- elem_type :: XName
- elem_modifier :: Modifier
- elem_byRef :: Bool
- elem_locals :: [Decl]
- elem_substs :: Maybe [XName]
- elem_comment :: Comment
- | OneOf {
- elem_oneOf :: [[Element]]
- elem_modifier :: Modifier
- elem_comment :: Comment
- | AnyElem { }
- | Text
- = Element {
- data Decl
- = NamedSimpleType XName XName Comment
- | RestrictSimpleType XName XName [Restrict] Comment
- | ExtendSimpleType XName XName [Attribute] Comment
- | UnionSimpleTypes XName [XName] Comment
- | EnumSimpleType XName [(XName, Comment)] Comment
- | ElementsAttrs XName [Element] [Attribute] Comment
- | ElementsAttrsAbstract XName [(XName, Maybe XName)] Comment
- | ElementOfType Element
- | ElementAbstractOfType XName XName [(XName, Maybe XName)] Comment
- | Choice XName [Element] Comment
- | Group XName [Element] Comment
- | RestrictComplexType XName XName Comment
- | ExtendComplexType XName XName [Element] [Attribute] [Element] [Attribute] (Maybe XName) Bool [XName] Comment
- | ExtendComplexTypeAbstract XName XName [(XName, Maybe XName)] (Maybe XName) [XName] Comment
- | XSDInclude XName Comment
- | XSDImport XName (Maybe XName) Comment
- | XSDComment Comment
- data Module = Module {
- module_name :: XName
- module_xsd_ns :: Maybe XName
- module_re_exports :: [Decl]
- module_import_only :: [Decl]
- module_decls :: [Decl]
- type Comment = Maybe String
- mkModule :: String -> Schema -> [Decl] -> Module
Documentation
Restrictions on simpleType
Constructors
| RangeR Occurs Comment | |
| Pattern String Comment | |
| Enumeration [(String, Comment)] | |
| StrLength Occurs Comment |
Constructors
| Attribute | |
Fields
| |
Constructors
| Element | |
Fields
| |
| OneOf | |
Fields
| |
| AnyElem | |
Fields | |
| Text | |
There are essentially simple types, and complex types, each of which can be either restricted or extended. There are four kinds of complex type: choices, sequences, named groups, or a simple element with content.
Constructors
Instances
The whole Haskell module.
Constructors
| Module | |
Fields
| |