Safe Haskell	Safe
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 Source #
Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Show Schema Source #
Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
Monoid Schema Source #
Methods mempty :: Schema # mappend :: Schema -> Schema -> Schema # mconcat :: [Schema] -> Schema #

data SchemaItem Source #

Instances

Eq SchemaItem Source #
Methods (==) :: SchemaItem -> SchemaItem -> Bool # (/=) :: SchemaItem -> SchemaItem -> Bool #
Show SchemaItem Source #
Methods showsPrec :: Int -> SchemaItem -> ShowS # show :: SchemaItem -> String # showList :: [SchemaItem] -> ShowS #

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 Source #
Methods (==) :: SimpleType -> SimpleType -> Bool # (/=) :: SimpleType -> SimpleType -> Bool #
Show SimpleType Source #
Methods showsPrec :: Int -> SimpleType -> ShowS # show :: SimpleType -> String # showList :: [SimpleType] -> ShowS #

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 Source #
Methods (==) :: Restriction -> Restriction -> Bool # (/=) :: Restriction -> Restriction -> Bool #
Show Restriction Source #
Methods showsPrec :: Int -> Restriction -> ShowS # show :: Restriction -> String # showList :: [Restriction] -> ShowS #

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 Source #
Methods (==) :: FacetType -> FacetType -> Bool # (/=) :: FacetType -> FacetType -> Bool #
Show FacetType Source #
Methods showsPrec :: Int -> FacetType -> ShowS # show :: FacetType -> String # showList :: [FacetType] -> ShowS #

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 Source #
Methods (==) :: ComplexType -> ComplexType -> Bool # (/=) :: ComplexType -> ComplexType -> Bool #
Show ComplexType Source #
Methods showsPrec :: Int -> ComplexType -> ShowS # show :: ComplexType -> String # showList :: [ComplexType] -> ShowS #

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 Source #
Methods (==) :: ComplexItem -> ComplexItem -> Bool # (/=) :: ComplexItem -> ComplexItem -> Bool #
Show ComplexItem Source #
Methods showsPrec :: Int -> ComplexItem -> ShowS # show :: ComplexItem -> String # showList :: [ComplexItem] -> ShowS #

data Restriction1 Source #

Constructors

Restriction1 Particle

Instances

Eq Restriction1 Source #
Methods (==) :: Restriction1 -> Restriction1 -> Bool # (/=) :: Restriction1 -> Restriction1 -> Bool #
Show Restriction1 Source #
Methods showsPrec :: Int -> Restriction1 -> ShowS # show :: Restriction1 -> String # showList :: [Restriction1] -> ShowS #

data Extension Source #

Constructors

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

Instances

Eq Extension Source #
Methods (==) :: Extension -> Extension -> Bool # (/=) :: Extension -> Extension -> Bool #
Show Extension Source #
Methods showsPrec :: Int -> Extension -> ShowS # show :: Extension -> String # showList :: [Extension] -> ShowS #

type Particle = Maybe (Either ChoiceOrSeq Group) Source #

data ParticleAttrs Source #

Constructors

PA Particle [Either AttributeDecl AttrGroup] (Maybe AnyAttr)

Instances

Eq ParticleAttrs Source #
Methods (==) :: ParticleAttrs -> ParticleAttrs -> Bool # (/=) :: ParticleAttrs -> ParticleAttrs -> Bool #
Show ParticleAttrs Source #
Methods showsPrec :: Int -> ParticleAttrs -> ShowS # show :: ParticleAttrs -> String # showList :: [ParticleAttrs] -> ShowS #

data Group Source #

Constructors

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

Instances

Eq Group Source #
Methods (==) :: Group -> Group -> Bool # (/=) :: Group -> Group -> Bool #
Show Group Source #
Methods showsPrec :: Int -> Group -> ShowS # show :: Group -> String # showList :: [Group] -> ShowS #

data ChoiceOrSeq Source #

Constructors

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

Instances

Eq ChoiceOrSeq Source #
Methods (==) :: ChoiceOrSeq -> ChoiceOrSeq -> Bool # (/=) :: ChoiceOrSeq -> ChoiceOrSeq -> Bool #
Show ChoiceOrSeq Source #
Methods showsPrec :: Int -> ChoiceOrSeq -> ShowS # show :: ChoiceOrSeq -> String # showList :: [ChoiceOrSeq] -> ShowS #

data ElementEtc Source #

Constructors

HasElement ElementDecl
HasGroup Group
HasCS ChoiceOrSeq
HasAny Any

Instances

Eq ElementEtc Source #
Methods (==) :: ElementEtc -> ElementEtc -> Bool # (/=) :: ElementEtc -> ElementEtc -> Bool #
Show ElementEtc Source #
Methods showsPrec :: Int -> ElementEtc -> ShowS # show :: ElementEtc -> String # showList :: [ElementEtc] -> ShowS #

data Any Source #

Constructors

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

Instances

Eq Any Source #
Methods (==) :: Any -> Any -> Bool # (/=) :: Any -> Any -> Bool #
Show Any Source #
Methods showsPrec :: Int -> Any -> ShowS # show :: Any -> String # showList :: [Any] -> ShowS #

data AnyAttr Source #

Constructors

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

Instances

Eq AnyAttr Source #
Methods (==) :: AnyAttr -> AnyAttr -> Bool # (/=) :: AnyAttr -> AnyAttr -> Bool #
Show AnyAttr Source #
Methods showsPrec :: Int -> AnyAttr -> ShowS # show :: AnyAttr -> String # showList :: [AnyAttr] -> ShowS #

data AttrGroup Source #

Constructors

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

Instances

Eq AttrGroup Source #
Methods (==) :: AttrGroup -> AttrGroup -> Bool # (/=) :: AttrGroup -> AttrGroup -> Bool #
Show AttrGroup Source #
Methods showsPrec :: Int -> AttrGroup -> ShowS # show :: AttrGroup -> String # showList :: [AttrGroup] -> ShowS #

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 Source #
Methods (==) :: ElementDecl -> ElementDecl -> Bool # (/=) :: ElementDecl -> ElementDecl -> Bool #
Show ElementDecl Source #
Methods showsPrec :: Int -> ElementDecl -> ShowS # show :: ElementDecl -> String # showList :: [ElementDecl] -> ShowS #

data NameAndType Source #

Constructors

NT
Fields theName :: Name theType :: Maybe QName

Instances

Eq NameAndType Source #
Methods (==) :: NameAndType -> NameAndType -> Bool # (/=) :: NameAndType -> NameAndType -> Bool #
Show NameAndType Source #
Methods showsPrec :: Int -> NameAndType -> ShowS # show :: NameAndType -> String # showList :: [NameAndType] -> ShowS #

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 Source #
Methods (==) :: AttributeDecl -> AttributeDecl -> Bool # (/=) :: AttributeDecl -> AttributeDecl -> Bool #
Show AttributeDecl Source #
Methods showsPrec :: Int -> AttributeDecl -> ShowS # show :: AttributeDecl -> String # showList :: [AttributeDecl] -> ShowS #

data UniqueKeyOrKeyRef Source #

Constructors

U Unique
K Key
KR KeyRef

Instances

Eq UniqueKeyOrKeyRef Source #
Methods (==) :: UniqueKeyOrKeyRef -> UniqueKeyOrKeyRef -> Bool # (/=) :: UniqueKeyOrKeyRef -> UniqueKeyOrKeyRef -> Bool #
Show UniqueKeyOrKeyRef Source #
Methods showsPrec :: Int -> UniqueKeyOrKeyRef -> ShowS # show :: UniqueKeyOrKeyRef -> String # showList :: [UniqueKeyOrKeyRef] -> ShowS #

data Unique Source #

Constructors

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

Instances

Eq Unique Source #
Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #
Show Unique Source #
Methods showsPrec :: Int -> Unique -> ShowS # show :: Unique -> String # showList :: [Unique] -> ShowS #

data Key Source #

Constructors

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

Instances

Eq Key Source #
Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Show Key Source #
Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #

data KeyRef Source #

Constructors

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

Instances

Eq KeyRef Source #
Methods (==) :: KeyRef -> KeyRef -> Bool # (/=) :: KeyRef -> KeyRef -> Bool #
Show KeyRef Source #
Methods showsPrec :: Int -> KeyRef -> ShowS # show :: KeyRef -> String # showList :: [KeyRef] -> ShowS #

data Selector Source #

Constructors

Selector
Fields selector_annotation :: Annotation selector_xpath :: String

Instances

Eq Selector Source #
Methods (==) :: Selector -> Selector -> Bool # (/=) :: Selector -> Selector -> Bool #
Show Selector Source #
Methods showsPrec :: Int -> Selector -> ShowS # show :: Selector -> String # showList :: [Selector] -> ShowS #

data Field Source #

Constructors

Field
Fields field_annotation :: Annotation field_xpath :: String

Instances

Eq Field Source #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

data Occurs Source #

Constructors

Occurs (Maybe Int) (Maybe Int)

Instances

Eq Occurs Source #
Methods (==) :: Occurs -> Occurs -> Bool # (/=) :: Occurs -> Occurs -> Bool #
Show Occurs Source #
Methods showsPrec :: Int -> Occurs -> ShowS # show :: Occurs -> String # showList :: [Occurs] -> ShowS #

data Use Source #

Constructors

Required
Optional
Prohibited

Instances

Eq Use Source #
Methods (==) :: Use -> Use -> Bool # (/=) :: Use -> Use -> Bool #
Show Use Source #
Methods showsPrec :: Int -> Use -> ShowS # show :: Use -> String # showList :: [Use] -> ShowS #

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 Source #
Methods (==) :: PrimitiveType -> PrimitiveType -> Bool # (/=) :: PrimitiveType -> PrimitiveType -> Bool #
Show PrimitiveType Source #
Methods showsPrec :: Int -> PrimitiveType -> ShowS # show :: PrimitiveType -> String # showList :: [PrimitiveType] -> ShowS #

data MyRestriction Source #

Constructors

Range Occurs
Pattern Regexp
Enumeration [String]

Instances

Eq MyRestriction Source #
Methods (==) :: MyRestriction -> MyRestriction -> Bool # (/=) :: MyRestriction -> MyRestriction -> Bool #
Show MyRestriction Source #
Methods showsPrec :: Int -> MyRestriction -> ShowS # show :: MyRestriction -> String # showList :: [MyRestriction] -> ShowS #

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 Source #
Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Show Annotation Source #
Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Monoid Annotation Source #
Methods mempty :: Annotation # mappend :: Annotation -> Annotation -> Annotation # mconcat :: [Annotation] -> Annotation #

data QForm Source #

Constructors

Qualified
Unqualified

Instances

Eq QForm Source #
Methods (==) :: QForm -> QForm -> Bool # (/=) :: QForm -> QForm -> Bool #
Show QForm Source #
Methods showsPrec :: Int -> QForm -> ShowS # show :: QForm -> String # showList :: [QForm] -> ShowS #

type TargetNamespace = URI Source #

data Final Source #

Constructors

NoExtension
NoRestriction
AllFinal

Instances

Eq Final Source #
Methods (==) :: Final -> Final -> Bool # (/=) :: Final -> Final -> Bool #
Show Final Source #
Methods showsPrec :: Int -> Final -> ShowS # show :: Final -> String # showList :: [Final] -> ShowS #

type Block = Final Source #

data ProcessContents Source #

Constructors

Skip
Lax
Strict

Instances

Eq ProcessContents Source #
Methods (==) :: ProcessContents -> ProcessContents -> Bool # (/=) :: ProcessContents -> ProcessContents -> Bool #
Show ProcessContents Source #
Methods showsPrec :: Int -> ProcessContents -> ShowS # show :: ProcessContents -> String # showList :: [ProcessContents] -> ShowS #

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

Eq Facet Source #
Methods (==) :: Facet -> Facet -> Bool # (/=) :: Facet -> Facet -> Bool #
Show Facet Source #
Methods showsPrec :: Int -> Facet -> ShowS # show :: Facet -> String # showList :: [Facet] -> ShowS #