Resolvable Attribute Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Attribute -> Attribute Source #
Resolvable AttributeGroup Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> AttributeGroup -> AttributeGroup Source #
Resolvable ComplexContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> ComplexContent -> ComplexContent Source #
Resolvable ComplexType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> ComplexType -> ComplexType Source #
Resolvable Element Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Element -> Element Source #
Resolvable Group Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Group -> Group Source #
Resolvable SimpleContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleContent -> SimpleContent Source #
Resolvable SimpleRestriction Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleRestriction -> SimpleRestriction Source #
Resolvable SimpleType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleType -> SimpleType Source #
Resolvable Union Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Union -> Union Source #
Resolvable (Ref Attribute) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Attribute -> Ref Attribute Source #
Resolvable (Ref AttributeGroup) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref AttributeGroup -> Ref AttributeGroup Source #
Resolvable (Ref ComplexType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #
Resolvable (Ref Element) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Element -> Ref Element Source #
Resolvable (Ref Group) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Group -> Ref Group Source #
Resolvable (Ref SimpleType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType 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

Instances details

Resolvable (Ref Attribute) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Attribute -> Ref Attribute Source #
Resolvable (Ref AttributeGroup) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref AttributeGroup -> Ref AttributeGroup Source #
Resolvable (Ref ComplexType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #
Resolvable (Ref Element) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Element -> Ref Element Source #
Resolvable (Ref Group) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref Group -> Ref Group Source #
Resolvable (Ref SimpleType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) Source #
Data a => Data (Ref a) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Ref a -> ShowS show :: Ref a -> String showList :: [Ref a] -> ShowS
Eq a => Eq (Ref a) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Ref a -> Ref a -> Bool (/=) :: Ref a -> Ref a -> Bool

unresolved :: forall a f. Applicative f => (QN -> f QN) -> Ref a -> f (Ref a) Source #

resolved :: forall a f. Applicative f => (QN -> f QN) -> Ref a -> f (Ref a) Source #

refvalue :: forall a1 a2 f. Applicative f => (a1 -> f a2) -> Ref a1 -> f (Ref a2) 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

Instances details

Monoid Schema Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods mempty :: Schema mappend :: Schema -> Schema -> Schema mconcat :: [Schema] -> Schema
Semigroup Schema Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (<>) :: Schema -> Schema -> Schema sconcat :: NonEmpty Schema -> Schema stimes :: Integral b => b -> Schema -> Schema
Data Schema Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Schema -> ShowS show :: Schema -> String showList :: [Schema] -> ShowS
Eq Schema Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Schema -> Schema -> Bool (/=) :: Schema -> Schema -> Bool

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

Instances details

Data QN Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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
Show QN Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> QN -> ShowS show :: QN -> String showList :: [QN] -> ShowS
Eq QN Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: QN -> QN -> Bool (/=) :: QN -> QN -> Bool
Ord QN Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

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

Instances details

Resolvable SimpleType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleType -> SimpleType Source #
Data SimpleType Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> SimpleType -> ShowS show :: SimpleType -> String showList :: [SimpleType] -> ShowS
Eq SimpleType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: SimpleType -> SimpleType -> Bool (/=) :: SimpleType -> SimpleType -> Bool
Resolvable (Ref SimpleType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref SimpleType -> Ref SimpleType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType 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

Instances details

Functor Bound Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods fmap :: (a -> b) -> Bound a -> Bound b (<$) :: a -> Bound b -> Bound a
Data a => Data (Bound a) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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)
Show a => Show (Bound a) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Bound a -> ShowS show :: Bound a -> String showList :: [Bound a] -> ShowS
Eq a => Eq (Bound a) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Bound a -> Bound a -> Bool (/=) :: Bound a -> Bound a -> Bool
Ord a => Ord (Bound a) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

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

Instances details

Resolvable SimpleRestriction Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleRestriction -> SimpleRestriction Source #
Data SimpleRestriction Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> SimpleRestriction -> ShowS show :: SimpleRestriction -> String showList :: [SimpleRestriction] -> ShowS
Eq SimpleRestriction Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: SimpleRestriction -> SimpleRestriction -> Bool (/=) :: SimpleRestriction -> SimpleRestriction -> Bool

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

Instances details

Resolvable Union Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Union -> Union Source #
Data Union Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Union -> ShowS show :: Union -> String showList :: [Union] -> ShowS
Eq Union Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Union -> Union -> Bool (/=) :: Union -> Union -> Bool

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

Instances details

Resolvable Attribute Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Attribute -> Attribute Source #
Data Attribute Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Attribute -> ShowS show :: Attribute -> String showList :: [Attribute] -> ShowS
Eq Attribute Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Attribute -> Attribute -> Bool (/=) :: Attribute -> Attribute -> Bool
Resolvable (Ref Attribute) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

Instances details

Data Use Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Use -> ShowS show :: Use -> String showList :: [Use] -> ShowS
Eq Use Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Use -> Use -> Bool (/=) :: Use -> Use -> Bool

data AttributeGroup Source #

XSD attribute-group production.

Constructors

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

Instances

Instances details

Resolvable AttributeGroup Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> AttributeGroup -> AttributeGroup Source #
Data AttributeGroup Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> AttributeGroup -> ShowS show :: AttributeGroup -> String showList :: [AttributeGroup] -> ShowS
Eq AttributeGroup Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: AttributeGroup -> AttributeGroup -> Bool (/=) :: AttributeGroup -> AttributeGroup -> Bool
Resolvable (Ref AttributeGroup) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

Instances details

Data Attributes Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Attributes -> ShowS show :: Attributes -> String showList :: [Attributes] -> ShowS
Eq Attributes Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Attributes -> Attributes -> Bool (/=) :: Attributes -> Attributes -> Bool

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

Instances details

Data Occurs Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Occurs -> ShowS show :: Occurs -> String showList :: [Occurs] -> ShowS
Eq Occurs Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Occurs -> Occurs -> Bool (/=) :: Occurs -> Occurs -> Bool

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

Instances details

Resolvable Element Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Element -> Element Source #
Data Element Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Element -> ShowS show :: Element -> String showList :: [Element] -> ShowS
Eq Element Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Element -> Element -> Bool (/=) :: Element -> Element -> Bool
Resolvable (Ref Element) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

Instances details

Resolvable ComplexType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> ComplexType -> ComplexType Source #
Data ComplexType Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> ComplexType -> ShowS show :: ComplexType -> String showList :: [ComplexType] -> ShowS
Eq ComplexType Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: ComplexType -> ComplexType -> Bool (/=) :: ComplexType -> ComplexType -> Bool
Resolvable (Ref ComplexType) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref ComplexType -> Ref ComplexType Source #
Resolvable (Ref (Either ComplexType SimpleType)) Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Ref (Either ComplexType SimpleType) -> Ref (Either ComplexType SimpleType) 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

Instances details

Resolvable SimpleContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> SimpleContent -> SimpleContent Source #
Data SimpleContent Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> SimpleContent -> ShowS show :: SimpleContent -> String showList :: [SimpleContent] -> ShowS
Eq SimpleContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: SimpleContent -> SimpleContent -> Bool (/=) :: SimpleContent -> SimpleContent -> Bool

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

Instances details

Resolvable ComplexContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> ComplexContent -> ComplexContent Source #
Data ComplexContent Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> ComplexContent -> ShowS show :: ComplexContent -> String showList :: [ComplexContent] -> ShowS
Eq ComplexContent Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: ComplexContent -> ComplexContent -> Bool (/=) :: ComplexContent -> ComplexContent -> Bool

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

Instances details

Data Compositor Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Compositor -> ShowS show :: Compositor -> String showList :: [Compositor] -> ShowS
Eq Compositor Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Compositor -> Compositor -> Bool (/=) :: Compositor -> Compositor -> Bool

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

Instances details

Resolvable Group Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods resolve :: Schema -> Group -> Group Source #
Data Group Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Group -> ShowS show :: Group -> String showList :: [Group] -> ShowS
Eq Group Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Group -> Group -> Bool (/=) :: Group -> Group -> Bool
Resolvable (Ref Group) Source #
Instance details Defined in Fadno.Xml.ParseXsd 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

Instances details

Data Particle Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Particle -> ShowS show :: Particle -> String showList :: [Particle] -> ShowS
Eq Particle Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Particle -> Particle -> Bool (/=) :: Particle -> Particle -> Bool

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

Instances details

Data Choice Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Choice -> ShowS show :: Choice -> String showList :: [Choice] -> ShowS
Eq Choice Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Choice -> Choice -> Bool (/=) :: Choice -> Choice -> Bool

choiceOccurs :: Lens' Choice Occurs Source #

choiceParticles :: Lens' Choice [Particle] Source #

data Sequence Source #

XSD sequence.

Constructors

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

Instances

Instances details

Data Sequence Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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 #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Sequence -> ShowS show :: Sequence -> String showList :: [Sequence] -> ShowS
Eq Sequence Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Sequence -> Sequence -> Bool (/=) :: Sequence -> Sequence -> Bool

sequenceOccurs :: Lens' Sequence Occurs Source #

sequenceParticles :: Lens' Sequence [Particle] Source #

newtype Documentation Source #

Constructors

Documentation String

Instances

Instances details

Data Documentation Source #
Instance details Defined in Fadno.Xml.ParseXsd 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 :: forall r r'. (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
Show Documentation Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods showsPrec :: Int -> Documentation -> ShowS show :: Documentation -> String showList :: [Documentation] -> ShowS
Eq Documentation Source #
Instance details Defined in Fadno.Xml.ParseXsd Methods (==) :: Documentation -> Documentation -> Bool (/=) :: Documentation -> Documentation -> Bool
Ord Documentation Source #
Instance details Defined in Fadno.Xml.ParseXsd 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