Resolvable Group Source #
Methods resolve :: Schema -> Group -> Group Source #
Resolvable ComplexContent Source #
Methods resolve :: Schema -> ComplexContent -> ComplexContent Source #
Resolvable SimpleContent Source #
Methods resolve :: Schema -> SimpleContent -> SimpleContent Source #
Resolvable ComplexType Source #
Methods resolve :: Schema -> ComplexType -> ComplexType Source #
Resolvable Element Source #
Methods resolve :: Schema -> Element -> Element Source #
Resolvable AttributeGroup Source #
Methods resolve :: Schema -> AttributeGroup -> AttributeGroup Source #
Resolvable Attribute Source #
Methods resolve :: Schema -> Attribute -> Attribute Source #
Resolvable Union Source #
Methods resolve :: Schema -> Union -> Union Source #
Resolvable SimpleRestriction Source #
Methods resolve :: Schema -> SimpleRestriction -> SimpleRestriction Source #
Resolvable SimpleType Source #
Methods resolve :: Schema -> SimpleType -> SimpleType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) Source #
Resolvable (Ref Group) Source #
Methods resolve :: Schema -> Ref Group -> Ref Group Source #
Resolvable (Ref ComplexType) Source #
Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #
Resolvable (Ref Element) Source #
Methods resolve :: Schema -> Ref Element -> Ref Element Source #
Resolvable (Ref AttributeGroup) Source #
Methods resolve :: Schema -> Ref AttributeGroup -> Ref AttributeGroup Source #
Resolvable (Ref Attribute) Source #
Methods resolve :: Schema -> Ref Attribute -> Ref Attribute Source #
Resolvable (Ref SimpleType) Source #
Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #

refResolve :: Resolvable r => String -> Getting (Map QN r) Schema (Map QN r) -> Schema -> Ref r -> Ref r Source #

Resolve a Ref against a Schema.

Schema, QNs, Refs

data Ref a Source #

Model an outward XSD reference.

Constructors

Unresolved	Just type name.
Fields _unresolved :: !QN
Resolved	Type name and resolved value.
Fields _resolved :: !QN _refvalue :: !a
Final	Reserved for built-in types (string, etc)

Instances

Eq a => Eq (Ref a) Source #
Methods (==) :: Ref a -> Ref a -> Bool # (/=) :: Ref a -> Ref a -> Bool #
Data a => Data (Ref a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ref a -> c (Ref a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ref a) # toConstr :: Ref a -> Constr # dataTypeOf :: Ref a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Ref a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ref a)) # gmapT :: (forall b. Data b => b -> b) -> Ref a -> Ref a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ref a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ref a -> r # gmapQ :: (forall d. Data d => d -> u) -> Ref a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ref a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ref a -> m (Ref a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ref a -> m (Ref a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ref a -> m (Ref a) #
Show (Ref a) Source #
Methods showsPrec :: Int -> Ref a -> ShowS # show :: Ref a -> String # showList :: [Ref a] -> ShowS #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) Source #
Resolvable (Ref Group) Source #
Methods resolve :: Schema -> Ref Group -> Ref Group Source #
Resolvable (Ref ComplexType) Source #
Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #
Resolvable (Ref Element) Source #
Methods resolve :: Schema -> Ref Element -> Ref Element Source #
Resolvable (Ref AttributeGroup) Source #
Methods resolve :: Schema -> Ref AttributeGroup -> Ref AttributeGroup Source #
Resolvable (Ref Attribute) Source #
Methods resolve :: Schema -> Ref Attribute -> Ref Attribute Source #
Resolvable (Ref SimpleType) Source #
Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #

unresolved :: forall a. Traversal' (Ref a) QN Source #

resolved :: forall a. Traversal' (Ref a) QN Source #

refvalue :: forall a a. Traversal (Ref a) (Ref a) a a Source #

data Schema Source #

Schema type, mapping top-level productions to qnames.

Constructors

Schema
Fields _simpleTypes :: !(Map QN SimpleType) _complexTypes :: !(Map QN ComplexType) _groups :: !(Map QN Group) _attributeGroups :: !(Map QN AttributeGroup) _elements :: !(Map QN Element) _attributes :: !(Map QN Attribute)

Instances

Eq Schema Source #
Methods (==) :: Schema -> Schema -> Bool # (/=) :: Schema -> Schema -> Bool #
Data Schema Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Schema -> c Schema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Schema # toConstr :: Schema -> Constr # dataTypeOf :: Schema -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Schema) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Schema) # gmapT :: (forall b. Data b => b -> b) -> Schema -> Schema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r # gmapQ :: (forall d. Data d => d -> u) -> Schema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Schema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema #
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 #

simpleTypes :: Lens' Schema (Map QN SimpleType) Source #

complexTypes :: Lens' Schema (Map QN ComplexType) Source #

groups :: Lens' Schema (Map QN Group) Source #

attributeGroups :: Lens' Schema (Map QN AttributeGroup) Source #

elements :: Lens' Schema (Map QN Element) Source #

attributes :: Lens' Schema (Map QN Attribute) Source #

data QN Source #

QName type.

Constructors

QN
Fields _qLocal :: String _qPrefix :: Maybe String

Instances

Eq QN Source #
Methods (==) :: QN -> QN -> Bool # (/=) :: QN -> QN -> Bool #
Data QN Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QN -> c QN # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QN # toConstr :: QN -> Constr # dataTypeOf :: QN -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c QN) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QN) # gmapT :: (forall b. Data b => b -> b) -> QN -> QN # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QN -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QN -> r # gmapQ :: (forall d. Data d => d -> u) -> QN -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QN -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QN -> m QN # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QN -> m QN # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QN -> m QN #
Ord QN Source #
Methods compare :: QN -> QN -> Ordering # (<) :: QN -> QN -> Bool # (<=) :: QN -> QN -> Bool # (>) :: QN -> QN -> Bool # (>=) :: QN -> QN -> Bool # max :: QN -> QN -> QN # min :: QN -> QN -> QN #
Show QN Source #
Methods showsPrec :: Int -> QN -> ShowS # show :: QN -> String # showList :: [QN] -> ShowS #

qLocal :: Lens' QN String Source #

qPrefix :: Lens' QN (Maybe String) Source #

Productions

data SimpleType Source #

XSD simpleType production.

Constructors

SimpleTypeRestrict
Fields _simpleTypeName :: !(Maybe QN) _simpleTypeRestriction :: !SimpleRestriction _simpleTypeDoc :: Maybe Documentation
SimpleTypeUnion
Fields _simpleTypeName :: !(Maybe QN) _simpleTypeUnion :: !Union _simpleTypeDoc :: Maybe Documentation

Instances

Eq SimpleType Source #
Methods (==) :: SimpleType -> SimpleType -> Bool # (/=) :: SimpleType -> SimpleType -> Bool #
Data SimpleType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleType -> c SimpleType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleType # toConstr :: SimpleType -> Constr # dataTypeOf :: SimpleType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleType) # gmapT :: (forall b. Data b => b -> b) -> SimpleType -> SimpleType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleType -> r # gmapQ :: (forall d. Data d => d -> u) -> SimpleType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleType -> m SimpleType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleType -> m SimpleType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleType -> m SimpleType #
Show SimpleType Source #
Methods showsPrec :: Int -> SimpleType -> ShowS # show :: SimpleType -> String # showList :: [SimpleType] -> ShowS #
Resolvable SimpleType Source #
Methods resolve :: Schema -> SimpleType -> SimpleType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) Source #
Resolvable (Ref SimpleType) Source #
Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #

simpleTypeName :: Lens' SimpleType (Maybe QN) Source #

simpleTypeRestriction :: Traversal' SimpleType SimpleRestriction Source #

simpleTypeUnion :: Traversal' SimpleType Union Source #

simpleTypeDoc :: Lens' SimpleType (Maybe Documentation) Source #

data Bound a Source #

Model min/max restrictions.

Constructors

Inclusive a
Exclusive a

Instances

Functor Bound Source #
Methods fmap :: (a -> b) -> Bound a -> Bound b # (<$) :: a -> Bound b -> Bound a #
Eq a => Eq (Bound a) Source #
Methods (==) :: Bound a -> Bound a -> Bool # (/=) :: Bound a -> Bound a -> Bool #
Data a => Data (Bound a) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bound a -> c (Bound a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Bound a) # toConstr :: Bound a -> Constr # dataTypeOf :: Bound a -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Bound a)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Bound a)) # gmapT :: (forall b. Data b => b -> b) -> Bound a -> Bound a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bound a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bound a -> r # gmapQ :: (forall d. Data d => d -> u) -> Bound a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bound a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bound a -> m (Bound a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bound a -> m (Bound a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bound a -> m (Bound a) #
Ord a => Ord (Bound a) Source #
Methods compare :: Bound a -> Bound a -> Ordering # (<) :: Bound a -> Bound a -> Bool # (<=) :: Bound a -> Bound a -> Bool # (>) :: Bound a -> Bound a -> Bool # (>=) :: Bound a -> Bound a -> Bool # max :: Bound a -> Bound a -> Bound a # min :: Bound a -> Bound a -> Bound a #
Show a => Show (Bound a) Source #
Methods showsPrec :: Int -> Bound a -> ShowS # show :: Bound a -> String # showList :: [Bound a] -> ShowS #

data SimpleRestriction Source #

simple type restriction production.

Constructors

SimpleRestriction
Fields _simpleRestrictBase :: !(Ref SimpleType) _simpleRestrictEnums :: ![String] _simpleRestrictMin :: !(Maybe (Bound String)) _simpleRestrictMax :: !(Maybe (Bound String)) _simpleRestrictPattern :: !(Maybe String)

Instances

Eq SimpleRestriction Source #
Methods (==) :: SimpleRestriction -> SimpleRestriction -> Bool # (/=) :: SimpleRestriction -> SimpleRestriction -> Bool #
Data SimpleRestriction Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleRestriction -> c SimpleRestriction # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleRestriction # toConstr :: SimpleRestriction -> Constr # dataTypeOf :: SimpleRestriction -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleRestriction) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleRestriction) # gmapT :: (forall b. Data b => b -> b) -> SimpleRestriction -> SimpleRestriction # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleRestriction -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleRestriction -> r # gmapQ :: (forall d. Data d => d -> u) -> SimpleRestriction -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleRestriction -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleRestriction -> m SimpleRestriction # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleRestriction -> m SimpleRestriction # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleRestriction -> m SimpleRestriction #
Show SimpleRestriction Source #
Methods showsPrec :: Int -> SimpleRestriction -> ShowS # show :: SimpleRestriction -> String # showList :: [SimpleRestriction] -> ShowS #
Resolvable SimpleRestriction Source #
Methods resolve :: Schema -> SimpleRestriction -> SimpleRestriction Source #

simpleRestrictBase :: Lens' SimpleRestriction (Ref SimpleType) Source #

simpleRestrictEnums :: Lens' SimpleRestriction [String] Source #

simpleRestrictMin :: Lens' SimpleRestriction (Maybe (Bound String)) Source #

simpleRestrictMax :: Lens' SimpleRestriction (Maybe (Bound String)) Source #

simpleRestrictPattern :: Lens' SimpleRestriction (Maybe String) Source #

data Union Source #

Simple type union production.

Constructors

Union
Fields _unionMemberTypes :: ![Ref SimpleType] _unionSimpleTypes :: ![SimpleType]

Instances

Eq Union Source #
Methods (==) :: Union -> Union -> Bool # (/=) :: Union -> Union -> Bool #
Data Union Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Union -> c Union # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Union # toConstr :: Union -> Constr # dataTypeOf :: Union -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Union) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Union) # gmapT :: (forall b. Data b => b -> b) -> Union -> Union # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Union -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Union -> r # gmapQ :: (forall d. Data d => d -> u) -> Union -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Union -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Union -> m Union # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Union -> m Union # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Union -> m Union #
Show Union Source #
Methods showsPrec :: Int -> Union -> ShowS # show :: Union -> String # showList :: [Union] -> ShowS #
Resolvable Union Source #
Methods resolve :: Schema -> Union -> Union Source #

unionMemberTypes :: Lens' Union [Ref SimpleType] Source #

unionSimpleTypes :: Lens' Union [SimpleType] Source #

data Attribute Source #

XSD attribute production.

Constructors

AttributeType
Fields _attrName :: !QN _attrType :: !(Ref SimpleType) _attrUse :: !Use _attrDefault :: !(Maybe String)
AttributeRef
Fields _attrRef :: !(Ref Attribute) _attrUse :: !Use _attrDefault :: !(Maybe String)
AttributeSimpleType
Fields _attrName :: !QN _attrSimpleType :: SimpleType

Instances

Eq Attribute Source #
Methods (==) :: Attribute -> Attribute -> Bool # (/=) :: Attribute -> Attribute -> Bool #
Data Attribute Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attribute -> c Attribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attribute # toConstr :: Attribute -> Constr # dataTypeOf :: Attribute -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Attribute) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attribute) # gmapT :: (forall b. Data b => b -> b) -> Attribute -> Attribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribute -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribute -> r # gmapQ :: (forall d. Data d => d -> u) -> Attribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute #
Show Attribute Source #
Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Resolvable Attribute Source #
Methods resolve :: Schema -> Attribute -> Attribute Source #
Resolvable (Ref Attribute) Source #
Methods resolve :: Schema -> Ref Attribute -> Ref Attribute Source #

attrName :: Traversal' Attribute QN Source #

attrType :: Traversal' Attribute (Ref SimpleType) Source #

attrUse :: Traversal' Attribute Use Source #

attrDefault :: Traversal' Attribute (Maybe String) Source #

attrRef :: Traversal' Attribute (Ref Attribute) Source #

attrSimpleType :: Traversal' Attribute SimpleType Source #

data Use Source #

XSD "use" values.

Constructors

Required
Optional
Prohibited

Instances

Eq Use Source #
Methods (==) :: Use -> Use -> Bool # (/=) :: Use -> Use -> Bool #
Data Use Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Use -> c Use # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Use # toConstr :: Use -> Constr # dataTypeOf :: Use -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Use) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Use) # gmapT :: (forall b. Data b => b -> b) -> Use -> Use # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Use -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Use -> r # gmapQ :: (forall d. Data d => d -> u) -> Use -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Use -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Use -> m Use # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Use -> m Use # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Use -> m Use #
Show Use Source #
Methods showsPrec :: Int -> Use -> ShowS # show :: Use -> String # showList :: [Use] -> ShowS #

data AttributeGroup Source #

XSD attribute-group production.

Constructors

AttributeGroup
Fields _attrGroupName :: !QN _attrGroupAttributes :: !Attributes _attrGroupDoc :: Maybe Documentation
AttributeGroupRef
Fields _attrGroupRef :: !(Ref AttributeGroup)

Instances

Eq AttributeGroup Source #
Methods (==) :: AttributeGroup -> AttributeGroup -> Bool # (/=) :: AttributeGroup -> AttributeGroup -> Bool #
Data AttributeGroup Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AttributeGroup -> c AttributeGroup # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AttributeGroup # toConstr :: AttributeGroup -> Constr # dataTypeOf :: AttributeGroup -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c AttributeGroup) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AttributeGroup) # gmapT :: (forall b. Data b => b -> b) -> AttributeGroup -> AttributeGroup # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AttributeGroup -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AttributeGroup -> r # gmapQ :: (forall d. Data d => d -> u) -> AttributeGroup -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AttributeGroup -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AttributeGroup -> m AttributeGroup # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeGroup -> m AttributeGroup # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AttributeGroup -> m AttributeGroup #
Show AttributeGroup Source #
Methods showsPrec :: Int -> AttributeGroup -> ShowS # show :: AttributeGroup -> String # showList :: [AttributeGroup] -> ShowS #
Resolvable AttributeGroup Source #
Methods resolve :: Schema -> AttributeGroup -> AttributeGroup Source #
Resolvable (Ref AttributeGroup) Source #
Methods resolve :: Schema -> Ref AttributeGroup -> Ref AttributeGroup Source #

attrGroupName :: Traversal' AttributeGroup QN Source #

attrGroupAttributes :: Traversal' AttributeGroup Attributes Source #

attrGroupRef :: Traversal' AttributeGroup (Ref AttributeGroup) Source #

attrGroupDoc :: Traversal' AttributeGroup (Maybe Documentation) Source #

data Attributes Source #

Convenience grouping of attributes and attribute groups, which are always showing up together in xsd.

Constructors

Attributes
Fields _attrsAttributes :: ![Attribute] _attrsAttributeGroups :: ![AttributeGroup]

Instances

Eq Attributes Source #
Methods (==) :: Attributes -> Attributes -> Bool # (/=) :: Attributes -> Attributes -> Bool #
Data Attributes Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attributes -> c Attributes # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attributes # toConstr :: Attributes -> Constr # dataTypeOf :: Attributes -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Attributes) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attributes) # gmapT :: (forall b. Data b => b -> b) -> Attributes -> Attributes # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attributes -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attributes -> r # gmapQ :: (forall d. Data d => d -> u) -> Attributes -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attributes -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attributes -> m Attributes # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attributes -> m Attributes # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attributes -> m Attributes #
Show Attributes Source #
Methods showsPrec :: Int -> Attributes -> ShowS # show :: Attributes -> String # showList :: [Attributes] -> ShowS #

attrsAttributes :: Lens' Attributes [Attribute] Source #

attrsAttributeGroups :: Lens' Attributes [AttributeGroup] Source #

data Occurs Source #

"occurs-min" and "occurs-max"

Constructors

Occurs
Fields _occursMin :: !(Maybe String) _occursMax :: !(Maybe String)

Instances

Eq Occurs Source #
Methods (==) :: Occurs -> Occurs -> Bool # (/=) :: Occurs -> Occurs -> Bool #
Data Occurs Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Occurs -> c Occurs # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Occurs # toConstr :: Occurs -> Constr # dataTypeOf :: Occurs -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Occurs) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Occurs) # gmapT :: (forall b. Data b => b -> b) -> Occurs -> Occurs # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Occurs -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Occurs -> r # gmapQ :: (forall d. Data d => d -> u) -> Occurs -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Occurs -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Occurs -> m Occurs # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Occurs -> m Occurs # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Occurs -> m Occurs #
Show Occurs Source #
Methods showsPrec :: Int -> Occurs -> ShowS # show :: Occurs -> String # showList :: [Occurs] -> ShowS #

occursMin :: Lens' Occurs (Maybe String) Source #

occursMax :: Lens' Occurs (Maybe String) Source #

data Element Source #

XSD element production.

Constructors

ElementType
Fields _elementName :: !QN _elementType :: !(Ref (Either ComplexType SimpleType)) _elementOccurs :: !Occurs _elementDoc :: Maybe Documentation
ElementSimple
Fields _elementName :: !QN _elementSimple :: !SimpleType _elementOccurs :: !Occurs _elementDoc :: Maybe Documentation
ElementComplex
Fields _elementName :: !QN _elementComplex :: !ComplexType _elementOccurs :: !Occurs _elementDoc :: Maybe Documentation
ElementRef
Fields _elementRef :: !(Ref Element) _elementOccurs :: !Occurs

Instances

Eq Element Source #
Methods (==) :: Element -> Element -> Bool # (/=) :: Element -> Element -> Bool #
Data Element Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element -> c Element # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Element # toConstr :: Element -> Constr # dataTypeOf :: Element -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Element) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Element) # gmapT :: (forall b. Data b => b -> b) -> Element -> Element # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element -> r # gmapQ :: (forall d. Data d => d -> u) -> Element -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Element -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element -> m Element # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element -> m Element #
Show Element Source #
Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #
Resolvable Element Source #
Methods resolve :: Schema -> Element -> Element Source #
Resolvable (Ref Element) Source #
Methods resolve :: Schema -> Ref Element -> Ref Element Source #

elementName :: Traversal' Element QN Source #

elementType :: Traversal' Element (Ref (Either ComplexType SimpleType)) Source #

elementOccurs :: Lens' Element Occurs Source #

elementSimple :: Traversal' Element SimpleType Source #

elementComplex :: Traversal' Element ComplexType Source #

elementRef :: Traversal' Element (Ref Element) Source #

elementDoc :: Traversal' Element (Maybe Documentation) Source #

data ComplexType Source #

XSD complexType production.

Constructors

ComplexTypeSimple
Fields _complexTypeName :: !(Maybe QN) _complexSimpleContent :: !SimpleContent _complexTypeDoc :: Maybe Documentation
ComplexTypeComplex
Fields _complexTypeName :: !(Maybe QN) _complexComplexContent :: !ComplexContent _complexTypeDoc :: Maybe Documentation
ComplexTypeCompositor
Fields _complexTypeName :: !(Maybe QN) _complexCompositor :: !(Maybe Compositor) _complexAttributes :: !Attributes _complexTypeDoc :: Maybe Documentation

Instances

Eq ComplexType Source #
Methods (==) :: ComplexType -> ComplexType -> Bool # (/=) :: ComplexType -> ComplexType -> Bool #
Data ComplexType Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComplexType -> c ComplexType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComplexType # toConstr :: ComplexType -> Constr # dataTypeOf :: ComplexType -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ComplexType) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComplexType) # gmapT :: (forall b. Data b => b -> b) -> ComplexType -> ComplexType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComplexType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComplexType -> r # gmapQ :: (forall d. Data d => d -> u) -> ComplexType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ComplexType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComplexType -> m ComplexType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexType -> m ComplexType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexType -> m ComplexType #
Show ComplexType Source #
Methods showsPrec :: Int -> ComplexType -> ShowS # show :: ComplexType -> String # showList :: [ComplexType] -> ShowS #
Resolvable ComplexType Source #
Methods resolve :: Schema -> ComplexType -> ComplexType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) Source #
Resolvable (Ref ComplexType) Source #
Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #

complexTypeName :: Lens' ComplexType (Maybe QN) Source #

complexSimpleContent :: Traversal' ComplexType SimpleContent Source #

complexComplexContent :: Traversal' ComplexType ComplexContent Source #

complexCompositor :: Traversal' ComplexType (Maybe Compositor) Source #

complexAttributes :: Traversal' ComplexType Attributes Source #

complexTypeDoc :: Lens' ComplexType (Maybe Documentation) Source #

data SimpleContent Source #

simpleContent under a complex type.

Constructors

SimpleContentExtension
Fields _simpleContentBase :: !(Ref SimpleType) _simpleContentAttributes :: !Attributes

Instances

Eq SimpleContent Source #
Methods (==) :: SimpleContent -> SimpleContent -> Bool # (/=) :: SimpleContent -> SimpleContent -> Bool #
Data SimpleContent Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleContent -> c SimpleContent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleContent # toConstr :: SimpleContent -> Constr # dataTypeOf :: SimpleContent -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SimpleContent) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleContent) # gmapT :: (forall b. Data b => b -> b) -> SimpleContent -> SimpleContent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleContent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleContent -> r # gmapQ :: (forall d. Data d => d -> u) -> SimpleContent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleContent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleContent -> m SimpleContent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleContent -> m SimpleContent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleContent -> m SimpleContent #
Show SimpleContent Source #
Methods showsPrec :: Int -> SimpleContent -> ShowS # show :: SimpleContent -> String # showList :: [SimpleContent] -> ShowS #
Resolvable SimpleContent Source #
Methods resolve :: Schema -> SimpleContent -> SimpleContent Source #

simpleContentBase :: Lens' SimpleContent (Ref SimpleType) Source #

simpleContentAttributes :: Lens' SimpleContent Attributes Source #

data ComplexContent Source #

complexContent under a complex type. TODO: restrictions

Constructors

ComplexContentExtension
Fields _complexContentBase :: !(Ref ComplexType) _complexContentAttributes :: !Attributes _complexContentCompositor :: Maybe Compositor

Instances

Eq ComplexContent Source #
Methods (==) :: ComplexContent -> ComplexContent -> Bool # (/=) :: ComplexContent -> ComplexContent -> Bool #
Data ComplexContent Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComplexContent -> c ComplexContent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComplexContent # toConstr :: ComplexContent -> Constr # dataTypeOf :: ComplexContent -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ComplexContent) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComplexContent) # gmapT :: (forall b. Data b => b -> b) -> ComplexContent -> ComplexContent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComplexContent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComplexContent -> r # gmapQ :: (forall d. Data d => d -> u) -> ComplexContent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ComplexContent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComplexContent -> m ComplexContent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexContent -> m ComplexContent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComplexContent -> m ComplexContent #
Show ComplexContent Source #
Methods showsPrec :: Int -> ComplexContent -> ShowS # show :: ComplexContent -> String # showList :: [ComplexContent] -> ShowS #
Resolvable ComplexContent Source #
Methods resolve :: Schema -> ComplexContent -> ComplexContent Source #

complexContentBase :: Lens' ComplexContent (Ref ComplexType) Source #

complexContentAttributes :: Lens' ComplexContent Attributes Source #

complexContentCompositor :: Lens' ComplexContent (Maybe Compositor) Source #

data Compositor Source #

Compositors.

Constructors

CompositorGroup
Fields _compGroup :: !Group
CompositorChoice
Fields _compChoice :: !Choice
CompositorSequence
Fields _compSequence :: !Sequence

Instances

Eq Compositor Source #
Methods (==) :: Compositor -> Compositor -> Bool # (/=) :: Compositor -> Compositor -> Bool #
Data Compositor Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Compositor -> c Compositor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Compositor # toConstr :: Compositor -> Constr # dataTypeOf :: Compositor -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Compositor) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Compositor) # gmapT :: (forall b. Data b => b -> b) -> Compositor -> Compositor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Compositor -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Compositor -> r # gmapQ :: (forall d. Data d => d -> u) -> Compositor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Compositor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Compositor -> m Compositor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Compositor -> m Compositor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Compositor -> m Compositor #
Show Compositor Source #
Methods showsPrec :: Int -> Compositor -> ShowS # show :: Compositor -> String # showList :: [Compositor] -> ShowS #

compGroup :: Traversal' Compositor Group Source #

compChoice :: Traversal' Compositor Choice Source #

compSequence :: Traversal' Compositor Sequence Source #

data Group Source #

XSD "group" production.

Constructors

GroupChoice
Fields _groupName :: !(Maybe QN) _groupOccurs :: !Occurs _groupChoice :: !Choice _groupDoc :: Maybe Documentation
GroupSequence
Fields _groupName :: !(Maybe QN) _groupOccurs :: !Occurs _groupSequence :: !Sequence _groupDoc :: Maybe Documentation
GroupRef
Fields _groupRef :: !(Ref Group) _groupOccurs :: !Occurs

Instances

Eq Group Source #
Methods (==) :: Group -> Group -> Bool # (/=) :: Group -> Group -> Bool #
Data Group Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Group -> c Group # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Group # toConstr :: Group -> Constr # dataTypeOf :: Group -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Group) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Group) # gmapT :: (forall b. Data b => b -> b) -> Group -> Group # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Group -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Group -> r # gmapQ :: (forall d. Data d => d -> u) -> Group -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Group -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Group -> m Group # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Group -> m Group # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Group -> m Group #
Show Group Source #
Methods showsPrec :: Int -> Group -> ShowS # show :: Group -> String # showList :: [Group] -> ShowS #
Resolvable Group Source #
Methods resolve :: Schema -> Group -> Group Source #
Resolvable (Ref Group) Source #
Methods resolve :: Schema -> Ref Group -> Ref Group Source #

groupName :: Traversal' Group (Maybe QN) Source #

groupOccurs :: Lens' Group Occurs Source #

groupChoice :: Traversal' Group Choice Source #

groupSequence :: Traversal' Group Sequence Source #

groupRef :: Traversal' Group (Ref Group) Source #

groupDoc :: Traversal' Group (Maybe Documentation) Source #

data Particle Source #

Particles.

Constructors

PartElement
Fields _partElement :: !Element
PartGroup
Fields _partGroup :: !Group
PartChoice
Fields _partChoice :: !Choice
PartSequence
Fields _partSequence :: !Sequence

Instances

Eq Particle Source #
Methods (==) :: Particle -> Particle -> Bool # (/=) :: Particle -> Particle -> Bool #
Data Particle Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Particle -> c Particle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Particle # toConstr :: Particle -> Constr # dataTypeOf :: Particle -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Particle) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Particle) # gmapT :: (forall b. Data b => b -> b) -> Particle -> Particle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Particle -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Particle -> r # gmapQ :: (forall d. Data d => d -> u) -> Particle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Particle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Particle -> m Particle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Particle -> m Particle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Particle -> m Particle #
Show Particle Source #
Methods showsPrec :: Int -> Particle -> ShowS # show :: Particle -> String # showList :: [Particle] -> ShowS #

partElement :: Traversal' Particle Element Source #

partGroup :: Traversal' Particle Group Source #

partChoice :: Traversal' Particle Choice Source #

partSequence :: Traversal' Particle Sequence Source #

data Choice Source #

XSD choice

Constructors

Choice
Fields _choiceOccurs :: !Occurs _choiceParticles :: ![Particle]

Instances

Eq Choice Source #
Methods (==) :: Choice -> Choice -> Bool # (/=) :: Choice -> Choice -> Bool #
Data Choice Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Choice -> c Choice # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Choice # toConstr :: Choice -> Constr # dataTypeOf :: Choice -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Choice) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Choice) # gmapT :: (forall b. Data b => b -> b) -> Choice -> Choice # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Choice -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Choice -> r # gmapQ :: (forall d. Data d => d -> u) -> Choice -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Choice -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Choice -> m Choice # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Choice -> m Choice # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Choice -> m Choice #
Show Choice Source #
Methods showsPrec :: Int -> Choice -> ShowS # show :: Choice -> String # showList :: [Choice] -> ShowS #

choiceOccurs :: Lens' Choice Occurs Source #

choiceParticles :: Lens' Choice [Particle] Source #

data Sequence Source #

XSD sequence.

Constructors

Sequence
Fields _sequenceOccurs :: !Occurs _sequenceParticles :: ![Particle]

Instances

Eq Sequence Source #
Methods (==) :: Sequence -> Sequence -> Bool # (/=) :: Sequence -> Sequence -> Bool #
Data Sequence Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sequence -> c Sequence # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sequence # toConstr :: Sequence -> Constr # dataTypeOf :: Sequence -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Sequence) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sequence) # gmapT :: (forall b. Data b => b -> b) -> Sequence -> Sequence # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sequence -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sequence -> r # gmapQ :: (forall d. Data d => d -> u) -> Sequence -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Sequence -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sequence -> m Sequence #
Show Sequence Source #
Methods showsPrec :: Int -> Sequence -> ShowS # show :: Sequence -> String # showList :: [Sequence] -> ShowS #

sequenceOccurs :: Lens' Sequence Occurs Source #

sequenceParticles :: Lens' Sequence [Particle] Source #

newtype Documentation Source #

Constructors

Documentation String

Instances

Eq Documentation Source #
Methods (==) :: Documentation -> Documentation -> Bool # (/=) :: Documentation -> Documentation -> Bool #
Data Documentation Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Documentation -> c Documentation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Documentation # toConstr :: Documentation -> Constr # dataTypeOf :: Documentation -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Documentation) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Documentation) # gmapT :: (forall b. Data b => b -> b) -> Documentation -> Documentation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Documentation -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Documentation -> r # gmapQ :: (forall d. Data d => d -> u) -> Documentation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Documentation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Documentation -> m Documentation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Documentation -> m Documentation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Documentation -> m Documentation #
Ord Documentation Source #
Methods compare :: Documentation -> Documentation -> Ordering # (<) :: Documentation -> Documentation -> Bool # (<=) :: Documentation -> Documentation -> Bool # (>) :: Documentation -> Documentation -> Bool # (>=) :: Documentation -> Documentation -> Bool # max :: Documentation -> Documentation -> Documentation # min :: Documentation -> Documentation -> Documentation #
Show Documentation Source #
Methods showsPrec :: Int -> Documentation -> ShowS # show :: Documentation -> String # showList :: [Documentation] -> ShowS #