Safe Haskell	Safe-Inferred
Language	Haskell98

Text.XML.HaXml.Schema.XSDTypeModel

Documentation

type TypeName = String Source #

type URI = String Source #

type Regexp = String Source #

type FixedValue = String Source #

type DefaultValue = String Source #

type SchemaLocation = String Source #

data ProcessContents Source #

Constructors

Skip
Lax
Strict

Instances

Instances details

Eq ProcessContents Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ProcessContents -> ProcessContents -> Bool (/=) :: ProcessContents -> ProcessContents -> Bool
Show ProcessContents Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ProcessContents -> ShowS show :: ProcessContents -> String showList :: [ProcessContents] -> ShowS

type Block = Final Source #

data Final Source #

Constructors

NoExtension
NoRestriction
AllFinal

Instances

Instances details

Eq Final Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Final -> Final -> Bool (/=) :: Final -> Final -> Bool
Show Final Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Final -> ShowS show :: Final -> String showList :: [Final] -> ShowS

type TargetNamespace = URI Source #

data QForm Source #

Constructors

Qualified
Unqualified

Instances

Instances details

Eq QForm Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: QForm -> QForm -> Bool (/=) :: QForm -> QForm -> Bool
Show QForm Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> QForm -> ShowS show :: QForm -> String showList :: [QForm] -> ShowS

data Annotation Source #

Constructors

Documentation String
AppInfo String
NoAnnotation String

Instances

Instances details

Eq Annotation Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Annotation -> Annotation -> Bool (/=) :: Annotation -> Annotation -> Bool
Show Annotation Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Annotation -> ShowS show :: Annotation -> String showList :: [Annotation] -> ShowS
Semigroup Annotation Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (<>) :: Annotation -> Annotation -> Annotation sconcat :: NonEmpty Annotation -> Annotation stimes :: Integral b => b -> Annotation -> Annotation
Monoid Annotation Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods mempty :: Annotation mappend :: Annotation -> Annotation -> Annotation mconcat :: [Annotation] -> Annotation

type Fixed = Bool Source #

type Nillable = Bool Source #

type Mixed = Bool Source #

data MyRestriction Source #

Constructors

Range Occurs
Pattern Regexp
Enumeration [String]

Instances

Instances details

Eq MyRestriction Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: MyRestriction -> MyRestriction -> Bool (/=) :: MyRestriction -> MyRestriction -> Bool
Show MyRestriction Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> MyRestriction -> ShowS show :: MyRestriction -> String showList :: [MyRestriction] -> 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

Instances details

Eq PrimitiveType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: PrimitiveType -> PrimitiveType -> Bool (/=) :: PrimitiveType -> PrimitiveType -> Bool
Show PrimitiveType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> PrimitiveType -> ShowS show :: PrimitiveType -> String showList :: [PrimitiveType] -> ShowS

data Use Source #

Constructors

Required
Optional
Prohibited

Instances

Instances details

Eq Use Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Use -> Use -> Bool (/=) :: Use -> Use -> Bool
Show Use Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Use -> ShowS show :: Use -> String showList :: [Use] -> ShowS

data Occurs Source #

Constructors

Occurs (Maybe Int) (Maybe Int)

Instances

Instances details

Eq Occurs Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Occurs -> Occurs -> Bool (/=) :: Occurs -> Occurs -> Bool
Show Occurs Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Occurs -> ShowS show :: Occurs -> String showList :: [Occurs] -> ShowS
Semigroup Occurs
Instance details Defined in Text.XML.HaXml.Schema.TypeConversion Methods (<>) :: Occurs -> Occurs -> Occurs sconcat :: NonEmpty Occurs -> Occurs stimes :: Integral b => b -> Occurs -> Occurs
Monoid Occurs
Instance details Defined in Text.XML.HaXml.Schema.TypeConversion Methods mempty :: Occurs mappend :: Occurs -> Occurs -> Occurs mconcat :: [Occurs] -> Occurs

data Field Source #

Constructors

Field
Fields field_annotation :: Annotation field_xpath :: String

Instances

Instances details

Eq Field Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Field -> Field -> Bool (/=) :: Field -> Field -> Bool
Show Field Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Field -> ShowS show :: Field -> String showList :: [Field] -> ShowS

data Selector Source #

Constructors

Selector
Fields selector_annotation :: Annotation selector_xpath :: String

Instances

Instances details

Eq Selector Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Selector -> Selector -> Bool (/=) :: Selector -> Selector -> Bool
Show Selector Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Selector -> ShowS show :: Selector -> String showList :: [Selector] -> ShowS

data KeyRef Source #

Constructors

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

Instances

Instances details

Eq KeyRef Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: KeyRef -> KeyRef -> Bool (/=) :: KeyRef -> KeyRef -> Bool
Show KeyRef Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> KeyRef -> ShowS show :: KeyRef -> String showList :: [KeyRef] -> ShowS

data Key Source #

Constructors

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

Instances

Instances details

Eq Key Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Key -> Key -> Bool (/=) :: Key -> Key -> Bool
Show Key Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Key -> ShowS show :: Key -> String showList :: [Key] -> ShowS

data Unique Source #

Constructors

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

Instances

Instances details

Eq Unique Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Unique -> Unique -> Bool (/=) :: Unique -> Unique -> Bool
Show Unique Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Unique -> ShowS show :: Unique -> String showList :: [Unique] -> ShowS

data UniqueKeyOrKeyRef Source #

Constructors

U Unique
K Key
KR KeyRef

Instances

Instances details

Eq UniqueKeyOrKeyRef Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: UniqueKeyOrKeyRef -> UniqueKeyOrKeyRef -> Bool (/=) :: UniqueKeyOrKeyRef -> UniqueKeyOrKeyRef -> Bool
Show UniqueKeyOrKeyRef Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> UniqueKeyOrKeyRef -> ShowS show :: UniqueKeyOrKeyRef -> String showList :: [UniqueKeyOrKeyRef] -> 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

Instances details

Eq AttributeDecl Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: AttributeDecl -> AttributeDecl -> Bool (/=) :: AttributeDecl -> AttributeDecl -> Bool
Show AttributeDecl Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> AttributeDecl -> ShowS show :: AttributeDecl -> String showList :: [AttributeDecl] -> ShowS

data NameAndType Source #

Constructors

NT
Fields theName :: Name theType :: Maybe QName

Instances

Instances details

Eq NameAndType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: NameAndType -> NameAndType -> Bool (/=) :: NameAndType -> NameAndType -> Bool
Show NameAndType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> NameAndType -> ShowS show :: NameAndType -> String showList :: [NameAndType] -> 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

Instances details

Eq ElementDecl Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ElementDecl -> ElementDecl -> Bool (/=) :: ElementDecl -> ElementDecl -> Bool
Show ElementDecl Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ElementDecl -> ShowS show :: ElementDecl -> String showList :: [ElementDecl] -> ShowS

data AttrGroup Source #

Constructors

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

Instances

Instances details

Eq AttrGroup Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: AttrGroup -> AttrGroup -> Bool (/=) :: AttrGroup -> AttrGroup -> Bool
Show AttrGroup Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> AttrGroup -> ShowS show :: AttrGroup -> String showList :: [AttrGroup] -> ShowS

data AnyAttr Source #

Constructors

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

Instances

Instances details

Eq AnyAttr Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: AnyAttr -> AnyAttr -> Bool (/=) :: AnyAttr -> AnyAttr -> Bool
Show AnyAttr Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> AnyAttr -> ShowS show :: AnyAttr -> String showList :: [AnyAttr] -> ShowS

data Any Source #

Constructors

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

Instances

Instances details

Eq Any Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Any -> Any -> Bool (/=) :: Any -> Any -> Bool
Show Any Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Any -> ShowS show :: Any -> String showList :: [Any] -> ShowS

data ElementEtc Source #

Constructors

HasElement ElementDecl
HasGroup Group
HasCS ChoiceOrSeq
HasAny Any

Instances

Instances details

Eq ElementEtc Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ElementEtc -> ElementEtc -> Bool (/=) :: ElementEtc -> ElementEtc -> Bool
Show ElementEtc Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ElementEtc -> ShowS show :: ElementEtc -> String showList :: [ElementEtc] -> ShowS

data ChoiceOrSeq Source #

Constructors

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

Instances

Instances details

Eq ChoiceOrSeq Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ChoiceOrSeq -> ChoiceOrSeq -> Bool (/=) :: ChoiceOrSeq -> ChoiceOrSeq -> Bool
Show ChoiceOrSeq Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ChoiceOrSeq -> ShowS show :: ChoiceOrSeq -> String showList :: [ChoiceOrSeq] -> ShowS

data Group Source #

Constructors

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

Instances

Instances details

Eq Group Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Group -> Group -> Bool (/=) :: Group -> Group -> Bool
Show Group Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Group -> ShowS show :: Group -> String showList :: [Group] -> ShowS

data ParticleAttrs Source #

Constructors

PA Particle [Either AttributeDecl AttrGroup] (Maybe AnyAttr)

Instances

Instances details

Eq ParticleAttrs Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ParticleAttrs -> ParticleAttrs -> Bool (/=) :: ParticleAttrs -> ParticleAttrs -> Bool
Show ParticleAttrs Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ParticleAttrs -> ShowS show :: ParticleAttrs -> String showList :: [ParticleAttrs] -> ShowS

type Particle = Maybe (Either ChoiceOrSeq Group) Source #

data Extension Source #

Constructors

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

Instances

Instances details

Eq Extension Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Extension -> Extension -> Bool (/=) :: Extension -> Extension -> Bool
Show Extension Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Extension -> ShowS show :: Extension -> String showList :: [Extension] -> ShowS

data Restriction1 Source #

Constructors

Restriction1 Particle

Instances

Instances details

Eq Restriction1 Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Restriction1 -> Restriction1 -> Bool (/=) :: Restriction1 -> Restriction1 -> Bool
Show Restriction1 Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Restriction1 -> ShowS show :: Restriction1 -> String showList :: [Restriction1] -> 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

Instances details

Eq ComplexItem Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ComplexItem -> ComplexItem -> Bool (/=) :: ComplexItem -> ComplexItem -> Bool
Show ComplexItem Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ComplexItem -> ShowS show :: ComplexItem -> String showList :: [ComplexItem] -> 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

Instances details

Eq ComplexType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: ComplexType -> ComplexType -> Bool (/=) :: ComplexType -> ComplexType -> Bool
Show ComplexType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> ComplexType -> ShowS show :: ComplexType -> String showList :: [ComplexType] -> ShowS

data FacetType Source #

Constructors

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

Instances

Instances details

Eq FacetType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: FacetType -> FacetType -> Bool (/=) :: FacetType -> FacetType -> Bool
Show FacetType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> FacetType -> ShowS show :: FacetType -> String showList :: [FacetType] -> ShowS

data Facet Source #

Constructors

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

Instances

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

Instances details

Eq Restriction Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Restriction -> Restriction -> Bool (/=) :: Restriction -> Restriction -> Bool
Show Restriction Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Restriction -> ShowS show :: Restriction -> String showList :: [Restriction] -> 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

Instances details

Eq SimpleType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: SimpleType -> SimpleType -> Bool (/=) :: SimpleType -> SimpleType -> Bool
Show SimpleType Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> SimpleType -> ShowS show :: SimpleType -> String showList :: [SimpleType] -> ShowS

data SchemaItem Source #

Instances

Instances details

Eq SchemaItem Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: SchemaItem -> SchemaItem -> Bool (/=) :: SchemaItem -> SchemaItem -> Bool
Show SchemaItem Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> SchemaItem -> ShowS show :: SchemaItem -> String showList :: [SchemaItem] -> ShowS

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

Instances details

Eq Schema Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Schema -> Schema -> Bool (/=) :: Schema -> Schema -> Bool
Show Schema Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Schema -> ShowS show :: Schema -> String showList :: [Schema] -> ShowS
Semigroup Schema Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (<>) :: Schema -> Schema -> Schema sconcat :: NonEmpty Schema -> Schema stimes :: Integral b => b -> Schema -> Schema
Monoid Schema Source #	This instance is pretty unsatisfactory, and is useful only for building environments involving recursive modules. The mappend method is left-biased, and the mempty value contains lots of undefined values.
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods mempty :: Schema mappend :: Schema -> Schema -> Schema mconcat :: [Schema] -> Schema

Eq Facet Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods (==) :: Facet -> Facet -> Bool (/=) :: Facet -> Facet -> Bool
Show Facet Source #
Instance details Defined in Text.XML.HaXml.Schema.XSDTypeModel Methods showsPrec :: Int -> Facet -> ShowS show :: Facet -> String showList :: [Facet] -> ShowS

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