Text.XML.HaXml.Schema.HaskellTypeModel

Description

Synopsis

• type Comment = Maybe String
• data Module = Module {
  • module_name :: XName
  • module_xsd_ns :: Maybe XName
  • module_re_exports :: [Decl]
  • module_import_only :: [Decl]
  • module_decls :: [Decl]
  }
• 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 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 {
    • elem_modifier :: Modifier
    • elem_comment :: Comment
    }
  • | Text
• data Attribute = Attribute {
  • attr_name :: XName
  • attr_type :: XName
  • attr_required :: Bool
  • attr_comment :: Comment
  }
• data Modifier
  • = Single
  • | Optional
  • | Range Occurs
• data Restrict
  • = RangeR Occurs Comment
  • | Pattern String Comment
  • | Enumeration [(String, Comment)]
  • | StrLength Occurs Comment
• mkModule :: String -> Schema -> [Decl] -> Module

Documentation