Safe Haskell	Safe-Inferred
Language	Haskell98

Text.XML.HaXml.Schema.XSDTypeModel

Documentation

data Schema Source

Constructors

Schema
Fields schema_elementFormDefault :: QForm schema_attributeFormDefault :: QForm schema_finalDefault :: Maybe Final schema_blockDefault :: Maybe Block schema_targetNamespace :: Maybe TargetNamespace schema_version :: Maybe String schema_namespaces :: [Namespace] schema_items :: [SchemaItem]

Instances

Eq Schema
Show Schema
Monoid Schema

data SimpleType Source

Constructors

Primitive
Fields simple_primitive :: PrimitiveType
Restricted
Fields simple_annotation :: Annotation simple_name :: Maybe Name simple_final :: Maybe Final simple_restriction :: Restriction
ListOf
Fields simple_annotation :: Annotation simple_name :: Maybe Name simple_final :: Maybe Final simple_type :: Either SimpleType QName
UnionOf
Fields simple_annotation :: Annotation simple_name :: Maybe Name simple_final :: Maybe Final simple_union :: [SimpleType] simple_members :: [QName]

Instances

Eq SimpleType
Show SimpleType

data Restriction Source

Constructors

RestrictSim1
Fields restrict_annotation :: Annotation restrict_base :: Maybe QName restrict_r1 :: Restriction1
RestrictType
Fields restrict_annotation :: Annotation restrict_base :: Maybe QName restrict_type :: Maybe SimpleType restrict_facets :: [Facet]

Instances

Eq Restriction
Show Restriction

data Facet Source

Constructors

Facet
Fields facet_facetType :: FacetType facet_annotation :: Annotation facet_facetValue :: String facet_fixed :: Bool

data FacetType Source

Constructors

OrderedBoundsMinIncl
OrderedBoundsMinExcl
OrderedBoundsMaxIncl
OrderedBoundsMaxExcl
OrderedNumericTotalDigits
OrderedNumericFractionDigits
UnorderedPattern
UnorderedEnumeration
UnorderedWhitespace
UnorderedLength
UnorderedMaxLength
UnorderedMinLength

Instances

Eq FacetType
Show FacetType

data ComplexType Source

Constructors

ComplexType
Fields complex_annotation :: Annotation complex_name :: Maybe Name complex_abstract :: Bool complex_final :: Maybe Final complex_block :: Maybe Block complex_mixed :: Bool complex_content :: ComplexItem

Instances

Eq ComplexType
Show ComplexType

data ComplexItem Source

Constructors

SimpleContent
Fields ci_annotation :: Annotation ci_stuff :: Either Restriction1 Extension
ComplexContent
Fields ci_annotation :: Annotation ci_mixed :: Bool ci_stuff :: Either Restriction1 Extension
ThisType
Fields ci_thistype :: ParticleAttrs

Instances

Eq ComplexItem
Show ComplexItem

data Restriction1 Source

Constructors

Restriction1 Particle

Instances

Eq Restriction1
Show Restriction1

data Extension Source

Constructors

Extension
Fields extension_annotation :: Annotation extension_base :: QName extension_newstuff :: ParticleAttrs

Instances

Eq Extension
Show Extension

type Particle = Maybe (Either ChoiceOrSeq Group) Source

data ParticleAttrs Source

Constructors

PA Particle [Either AttributeDecl AttrGroup] (Maybe AnyAttr)

Instances

Eq ParticleAttrs
Show ParticleAttrs

data Group Source

Constructors

Group
Fields group_annotation :: Annotation group_nameOrRef :: Either Name QName group_occurs :: Occurs group_stuff :: Maybe ChoiceOrSeq

Instances

Eq Group
Show Group

data ChoiceOrSeq Source

Constructors

All Annotation [ElementDecl]
Choice Annotation Occurs [ElementEtc]
Sequence Annotation Occurs [ElementEtc]

Instances

Eq ChoiceOrSeq
Show ChoiceOrSeq

data ElementEtc Source

Constructors

HasElement ElementDecl
HasGroup Group
HasCS ChoiceOrSeq
HasAny Any

Instances

Eq ElementEtc
Show ElementEtc

data Any Source

Constructors

Any
Fields any_annotation :: Annotation any_namespace :: URI any_processContents :: ProcessContents any_occurs :: Occurs

Instances

Eq Any
Show Any

data AnyAttr Source

Constructors

AnyAttr
Fields anyattr_annotation :: Annotation anyattr_namespace :: URI anyattr_processContents :: ProcessContents

Instances

Eq AnyAttr
Show AnyAttr

data AttrGroup Source

Constructors

AttrGroup
Fields attrgroup_annotation :: Annotation attrgroup_nameOrRef :: Either Name QName attrgroup_stuff :: [Either AttributeDecl AttrGroup]

Instances

Eq AttrGroup
Show AttrGroup

data ElementDecl Source

Constructors

ElementDecl
Fields elem_annotation :: Annotation elem_nameOrRef :: Either NameAndType QName elem_occurs :: Occurs elem_nillable :: Nillable elem_substGroup :: Maybe QName elem_abstract :: Bool elem_final :: Maybe Final elem_block :: Maybe Block elem_form :: QForm elem_content :: Maybe (Either SimpleType ComplexType) elem_stuff :: [UniqueKeyOrKeyRef]

Instances

Eq ElementDecl
Show ElementDecl

data NameAndType Source

Constructors

NT
Fields theName :: Name theType :: Maybe QName

Instances

Eq NameAndType
Show NameAndType

data AttributeDecl Source

Constructors

AttributeDecl
Fields attr_annotation :: Annotation attr_nameOrRef :: Either NameAndType QName attr_use :: Use attr_defFixed :: Maybe (Either DefaultValue FixedValue) attr_form :: QForm attr_simpleType :: Maybe SimpleType

Instances

Eq AttributeDecl
Show AttributeDecl

data UniqueKeyOrKeyRef Source

Constructors

U Unique
K Key
KR KeyRef

Instances

Eq UniqueKeyOrKeyRef
Show UniqueKeyOrKeyRef

data Unique Source

Constructors

Unique
Fields unique_annotation :: Annotation unique_name :: Name unique_selector :: Selector unique_fields :: [Field]

Instances

Eq Unique
Show Unique

data Key Source

Constructors

Key
Fields key_annotation :: Annotation key_name :: Name key_selector :: Selector key_fields :: [Field]

Instances

Eq Key
Show Key

data KeyRef Source

Constructors

KeyRef
Fields keyref_annotation :: Annotation keyref_name :: Name keyref_refer :: QName keyref_selector :: Selector keyref_fields :: [Field]

Instances

Eq KeyRef
Show KeyRef

data Selector Source

Constructors

Selector
Fields selector_annotation :: Annotation selector_xpath :: String

Instances

Eq Selector
Show Selector

data Field Source

Constructors

Field
Fields field_annotation :: Annotation field_xpath :: String

Instances

Eq Field
Show Field

data Occurs Source

Constructors

Occurs (Maybe Int) (Maybe Int)

Instances

Eq Occurs
Show Occurs

data Use Source

Constructors

Required
Optional
Prohibited

Instances

Eq Use
Show Use

data PrimitiveType Source

Constructors

String
Boolean
Decimal
Float
Double
Duration
DateTime
Time
Date
GYearMonth
GYear
GMonthDay
GDay
GMonth
Base64Binary
HexBinary
AnyURI
QName
Notation

Instances

Eq PrimitiveType
Show PrimitiveType

data MyRestriction Source

Constructors

Range Occurs
Pattern Regexp
Enumeration [String]

Instances

Eq MyRestriction
Show MyRestriction

type Mixed = Bool Source

type Nillable = Bool Source

type Fixed = Bool Source

data Annotation Source

Constructors

Documentation String
AppInfo String
NoAnnotation String

Instances

Eq Annotation
Show Annotation
Monoid Annotation

data QForm Source

Constructors

Qualified
Unqualified

Instances

Eq QForm
Show QForm

type TargetNamespace = URI Source

data Final Source

Constructors

NoExtension
NoRestriction
AllFinal

Instances

Eq Final
Show Final

type Block = Final Source

data ProcessContents Source

Constructors

Skip
Lax
Strict

Instances

Eq ProcessContents
Show ProcessContents

type SchemaLocation = String Source

type DefaultValue = String Source

type FixedValue = String Source

type Regexp = String Source

type URI = String Source

type TypeName = String Source

Include SchemaLocation Annotation
Import URI SchemaLocation Annotation
Redefine SchemaLocation [SchemaItem]
Annotation Annotation
Simple SimpleType
Complex ComplexType
SchemaElement ElementDecl
SchemaAttribute AttributeDecl
AttributeGroup AttrGroup
SchemaGroup Group