HaXml-1.24: Utilities for manipulating XML documents

Safe Haskell | Safe-Inferred

Text.XML.HaXml.Schema.XSDTypeModel

# Documentation

data Schema

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 SchemaItem

Constructors

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

Instances

Eq SchemaItem |
Show SchemaItem |

data SimpleType

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

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

Constructors

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

Instances

Eq Facet |
Show Facet |

data FacetType

Constructors

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

Instances

Eq FacetType |
Show FacetType |

data ComplexType

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

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

Constructors

Restriction1 Particle |

Instances

Eq Restriction1 |
Show Restriction1 |

data Extension

Constructors

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

Instances

Eq Extension |
Show Extension |

type Particle = Maybe (Either ChoiceOrSeq Group)

data ParticleAttrs

Constructors

PA Particle [Either AttributeDecl AttrGroup] (Maybe AnyAttr) |

Instances

Eq ParticleAttrs |
Show ParticleAttrs |

data Group

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

Constructors

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

Instances

Eq ChoiceOrSeq |
Show ChoiceOrSeq |

data ElementEtc

Constructors

HasElement ElementDecl |
HasGroup Group |
HasCS ChoiceOrSeq |
HasAny Any |

Instances

Eq ElementEtc |
Show ElementEtc |

data Any

Constructors

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

Instances

Eq Any |
Show Any |

data AnyAttr

Constructors

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

Instances

Eq AnyAttr |
Show AnyAttr |

data AttrGroup

Constructors

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

Instances

Eq AttrGroup |
Show AttrGroup |

data ElementDecl

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

Constructors

NT |
Fields theName :: Name theType :: Maybe QName

Instances

Eq NameAndType |
Show NameAndType |

data AttributeDecl

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

Constructors

U Unique |
K Key |
KR KeyRef |

Instances

Eq UniqueKeyOrKeyRef |
Show UniqueKeyOrKeyRef |

data Unique

Constructors

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

Instances

Eq Unique |
Show Unique |

data Key

Constructors

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

Instances

Eq Key |
Show Key |

data KeyRef

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

Constructors

Selector |
Fields selector_annotation :: Annotation selector_xpath :: String

Instances

Eq Selector |
Show Selector |

data Field

Constructors

Field |
Fields field_annotation :: Annotation field_xpath :: String

Instances

Eq Field |
Show Field |

data Occurs

Constructors

Occurs (Maybe Int) (Maybe Int) |

Instances

Eq Occurs |
Show Occurs |

data Use

Constructors

Required |
Optional |
Prohibited |

Instances

Eq Use |
Show Use |

data PrimitiveType

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

Constructors

Range Occurs |
Pattern Regexp |
Enumeration [String] |

Instances

Eq MyRestriction |
Show MyRestriction |

type Mixed = Bool

type Nillable = Bool

type Fixed = Bool

data Annotation

Constructors

Documentation String |
AppInfo String |
NoAnnotation String |

Instances

Eq Annotation |
Show Annotation |
Monoid Annotation |

data QForm

Constructors

Qualified |
Unqualified |

Instances

Eq QForm |
Show QForm |

type TargetNamespace = URI

data Final

Constructors

NoExtension |
NoRestriction |
AllFinal |

Instances

Eq Final |
Show Final |

type Block = Final

data ProcessContents

Constructors

Skip |
Lax |
Strict |

Instances

Eq ProcessContents |
Show ProcessContents |

type SchemaLocation = String

type DefaultValue = String

type FixedValue = String

type Regexp = String

type URI = String

type TypeName = String