Fadno.Xml.EmitTypes

Consume a Schema and emit types intended for code generation.

XSD Schema to types

emitSchema :: Schema -> Emit ()

Emit schema types. Starts with element productions and emits all dependent types.

Emit various productions

emitElement :: Element -> Emit Type

Emit type for element content; element name production captured in containing field.

emitSimpleType :: SimpleType -> Emit Type

Handle simpleType production.

emitComplexType :: Maybe QN -> ComplexType -> Emit Type

Complex type. anon arg indicates element-defined complex type, therefore unique; otherwise defined type.

emitCompositor :: [QN] -> Compositor -> Emit [Field]

Emit compositor field.

emitGroup :: [QN] -> Group -> Emit [Field]

Emit group. Referenced groups make types, others pass through.

emitChoice :: [QN] -> Choice -> Maybe Documentation -> Emit [Field]

Choice production.

emitSequence :: [QN] -> Maybe Occurs -> Sequence -> Maybe Documentation -> Emit [Field]

Sequence production.

emitParticle :: [QN] -> Particle -> Emit [Field]

Particle field production. Element fields emit containing element.

emitAttrFields :: Attributes -> Emit [Field]

Handle attribute and attribute group productions as fields.

Emit monad

type Emit a = ReaderT Env (StateT EmitState IO) a

Emit monad.

data Env

Reader environment.

Constructors

Env

Fields

• _schema :: Schema

schema :: Iso' Env Schema

data EmitState

State data.

Constructors

EmitState

Fields

• _types :: Map Name Type
• _stack :: [Name]

Instances

Semigroup EmitState

Defined in Fadno.Xml.EmitTypes

Methods

(<>) :: EmitState -> EmitState -> EmitState

sconcat :: NonEmpty EmitState -> EmitState

stimes :: Integral b => b -> EmitState -> EmitState

Monoid EmitState

Defined in Fadno.Xml.EmitTypes

Methods

mempty :: EmitState

mappend :: EmitState -> EmitState -> EmitState

mconcat :: [EmitState] -> EmitState

types :: Lens' EmitState (Map Name Type)

stack :: Lens' EmitState [Name]

runEmit :: Env -> EmitState -> Emit a -> IO (a, EmitState)

Run emit monad.

die :: MonadIO m => String -> m a

Error out in IO.

Types

data Name

Type name.

Constructors

Name

Fields

• nNamespace :: Namespace
• nName :: QN
• nIdx :: Int

Instances

Eq Name

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Data Name

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name

toConstr :: Name -> Constr

dataTypeOf :: Name -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name)

gmapT :: (forall b. Data b => b -> b) -> Name -> Name

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQ :: (forall d. Data d => d -> u) -> Name -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

Ord Name

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

data Namespace

Namespaces for various productions.

Constructors

NSElement

NSSimple

NSUnion

NSComplex

NSBuiltIn

NSChoice

NSSequence

NSGroup

Instances

Bounded Namespace

Defined in Fadno.Xml.EmitTypes

Methods

minBound :: Namespace

maxBound :: Namespace

Enum Namespace

Defined in Fadno.Xml.EmitTypes

Methods

succ :: Namespace -> Namespace

pred :: Namespace -> Namespace

toEnum :: Int -> Namespace

fromEnum :: Namespace -> Int

enumFrom :: Namespace -> [Namespace]

enumFromThen :: Namespace -> Namespace -> [Namespace]

enumFromTo :: Namespace -> Namespace -> [Namespace]

enumFromThenTo :: Namespace -> Namespace -> Namespace -> [Namespace]

Eq Namespace

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Data Namespace

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Namespace -> c Namespace

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Namespace

toConstr :: Namespace -> Constr

dataTypeOf :: Namespace -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Namespace)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Namespace)

gmapT :: (forall b. Data b => b -> b) -> Namespace -> Namespace

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Namespace -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Namespace -> r

gmapQ :: (forall d. Data d => d -> u) -> Namespace -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Namespace -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Namespace -> m Namespace

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Namespace -> m Namespace

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Namespace -> m Namespace

Ord Namespace

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

data Cardinality

Field cardinality

Constructors

One

ZeroOrOne

Many

Instances

Bounded Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

minBound :: Cardinality

maxBound :: Cardinality

Enum Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

succ :: Cardinality -> Cardinality

pred :: Cardinality -> Cardinality

toEnum :: Int -> Cardinality

fromEnum :: Cardinality -> Int

enumFrom :: Cardinality -> [Cardinality]

enumFromThen :: Cardinality -> Cardinality -> [Cardinality]

enumFromTo :: Cardinality -> Cardinality -> [Cardinality]

enumFromThenTo :: Cardinality -> Cardinality -> Cardinality -> [Cardinality]

Eq Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Cardinality -> Cardinality -> Bool

(/=) :: Cardinality -> Cardinality -> Bool

Data Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Cardinality -> c Cardinality

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cardinality

toConstr :: Cardinality -> Constr

dataTypeOf :: Cardinality -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cardinality)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Cardinality)

gmapT :: (forall b. Data b => b -> b) -> Cardinality -> Cardinality

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cardinality -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cardinality -> r

gmapQ :: (forall d. Data d => d -> u) -> Cardinality -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cardinality -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cardinality -> m Cardinality

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cardinality -> m Cardinality

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cardinality -> m Cardinality

Ord Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Cardinality -> Cardinality -> Ordering

(<) :: Cardinality -> Cardinality -> Bool

(<=) :: Cardinality -> Cardinality -> Bool

(>) :: Cardinality -> Cardinality -> Bool

(>=) :: Cardinality -> Cardinality -> Bool

max :: Cardinality -> Cardinality -> Cardinality

min :: Cardinality -> Cardinality -> Cardinality

Show Cardinality

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Cardinality -> ShowS

show :: Cardinality -> String

showList :: [Cardinality] -> ShowS

data Field

Type field.

Constructors

Field

Fields

• _fieldName :: QN
• _fieldType :: Type
• _fieldCardinality :: Cardinality
• _fieldXmlEmit :: FieldEmit
• _fieldIdx :: Int

Instances

Eq Field

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Field -> Field -> Bool

(/=) :: Field -> Field -> Bool

Data Field

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field -> c Field

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Field

toConstr :: Field -> Constr

dataTypeOf :: Field -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Field)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Field)

gmapT :: (forall b. Data b => b -> b) -> Field -> Field

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r

gmapQ :: (forall d. Data d => d -> u) -> Field -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Field -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field -> m Field

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field

Ord Field

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Field -> Field -> Ordering

(<) :: Field -> Field -> Bool

(<=) :: Field -> Field -> Bool

(>) :: Field -> Field -> Bool

(>=) :: Field -> Field -> Bool

max :: Field -> Field -> Field

min :: Field -> Field -> Field

Show Field

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

fieldName :: Lens' Field QN

fieldType :: Lens' Field Type

fieldCardinality :: Lens' Field Cardinality

fieldXmlEmit :: Lens' Field FieldEmit

fieldIdx :: Lens' Field Int

data FieldEmit

Field xml emit cue.

Constructors

FieldAttribute

FieldElement

FieldText

FieldOther

Instances

Eq FieldEmit

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: FieldEmit -> FieldEmit -> Bool

(/=) :: FieldEmit -> FieldEmit -> Bool

Data FieldEmit

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldEmit -> c FieldEmit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldEmit

toConstr :: FieldEmit -> Constr

dataTypeOf :: FieldEmit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldEmit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldEmit)

gmapT :: (forall b. Data b => b -> b) -> FieldEmit -> FieldEmit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldEmit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldEmit -> r

gmapQ :: (forall d. Data d => d -> u) -> FieldEmit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldEmit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldEmit -> m FieldEmit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldEmit -> m FieldEmit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldEmit -> m FieldEmit

Ord FieldEmit

Defined in Fadno.Xml.EmitTypes

Methods

compare :: FieldEmit -> FieldEmit -> Ordering

(<) :: FieldEmit -> FieldEmit -> Bool

(<=) :: FieldEmit -> FieldEmit -> Bool

(>) :: FieldEmit -> FieldEmit -> Bool

(>=) :: FieldEmit -> FieldEmit -> Bool

max :: FieldEmit -> FieldEmit -> FieldEmit

min :: FieldEmit -> FieldEmit -> FieldEmit

Show FieldEmit

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> FieldEmit -> ShowS

show :: FieldEmit -> String

showList :: [FieldEmit] -> ShowS

data Ctor

Datatype constructor.

Constructors

Ctor

Fields

• _ctorName :: String
• _ctorFields :: [Field]

Instances

Eq Ctor

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Ctor -> Ctor -> Bool

(/=) :: Ctor -> Ctor -> Bool

Data Ctor

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ctor -> c Ctor

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ctor

toConstr :: Ctor -> Constr

dataTypeOf :: Ctor -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ctor)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ctor)

gmapT :: (forall b. Data b => b -> b) -> Ctor -> Ctor

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ctor -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ctor -> r

gmapQ :: (forall d. Data d => d -> u) -> Ctor -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ctor -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ctor -> m Ctor

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ctor -> m Ctor

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ctor -> m Ctor

Ord Ctor

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Ctor -> Ctor -> Ordering

(<) :: Ctor -> Ctor -> Bool

(<=) :: Ctor -> Ctor -> Bool

(>) :: Ctor -> Ctor -> Bool

(>=) :: Ctor -> Ctor -> Bool

max :: Ctor -> Ctor -> Ctor

min :: Ctor -> Ctor -> Ctor

Show Ctor

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Ctor -> ShowS

show :: Ctor -> String

showList :: [Ctor] -> ShowS

ctorName :: Lens' Ctor String

ctorFields :: Lens' Ctor [Field]

data Type

Emitted type.

Constructors

NewType

Fields

• _typeName :: Name
• _typeType :: Type
• _typeDerives :: DerivesFamily
• _typeImpls :: [Impl]
• _typeDoc :: Maybe Documentation

DataType

Fields

• _typeName :: Name
• _typeCtors :: [Ctor]
• _typeDerives :: DerivesFamily
• _typeImpls :: [Impl]
• _typeEmit :: DataTypeEmit
• _typeDoc :: Maybe Documentation

EnumType

Fields

• _typeName :: Name
• _typeEnumValues :: [String]
• _typeDerives :: DerivesFamily
• _typeImpls :: [Impl]
• _typeDoc :: Maybe Documentation

BuiltIn

Fields

• _typeName :: Name
• _coreType :: CoreType
• _typeDerives :: DerivesFamily
• _typeImpls :: [Impl]

Instances

Eq Type

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Data Type

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type

toConstr :: Type -> Constr

dataTypeOf :: Type -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type)

gmapT :: (forall b. Data b => b -> b) -> Type -> Type

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r

gmapQ :: (forall d. Data d => d -> u) -> Type -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type

Ord Type

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

typeName :: Lens' Type Name

typeType :: Traversal' Type Type

typeDerives :: Lens' Type DerivesFamily

typeImpls :: Lens' Type [Impl]

typeEmit :: Traversal' Type DataTypeEmit

typeCtors :: Traversal' Type [Ctor]

typeEnumValues :: Traversal' Type [String]

coreType :: Traversal' Type CoreType

data DerivesFamily

Derive type "families".

Constructors

NewTypeString

NewTypeIntegral

NewTypeNum

DataEnum

OtherDerives

Instances

Bounded DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

minBound :: DerivesFamily

maxBound :: DerivesFamily

Enum DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

succ :: DerivesFamily -> DerivesFamily

pred :: DerivesFamily -> DerivesFamily

toEnum :: Int -> DerivesFamily

fromEnum :: DerivesFamily -> Int

enumFrom :: DerivesFamily -> [DerivesFamily]

enumFromThen :: DerivesFamily -> DerivesFamily -> [DerivesFamily]

enumFromTo :: DerivesFamily -> DerivesFamily -> [DerivesFamily]

enumFromThenTo :: DerivesFamily -> DerivesFamily -> DerivesFamily -> [DerivesFamily]

Eq DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: DerivesFamily -> DerivesFamily -> Bool

(/=) :: DerivesFamily -> DerivesFamily -> Bool

Data DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivesFamily -> c DerivesFamily

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivesFamily

toConstr :: DerivesFamily -> Constr

dataTypeOf :: DerivesFamily -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivesFamily)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivesFamily)

gmapT :: (forall b. Data b => b -> b) -> DerivesFamily -> DerivesFamily

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivesFamily -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivesFamily -> r

gmapQ :: (forall d. Data d => d -> u) -> DerivesFamily -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivesFamily -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivesFamily -> m DerivesFamily

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivesFamily -> m DerivesFamily

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivesFamily -> m DerivesFamily

Ord DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

compare :: DerivesFamily -> DerivesFamily -> Ordering

(<) :: DerivesFamily -> DerivesFamily -> Bool

(<=) :: DerivesFamily -> DerivesFamily -> Bool

(>) :: DerivesFamily -> DerivesFamily -> Bool

(>=) :: DerivesFamily -> DerivesFamily -> Bool

max :: DerivesFamily -> DerivesFamily -> DerivesFamily

min :: DerivesFamily -> DerivesFamily -> DerivesFamily

Show DerivesFamily

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> DerivesFamily -> ShowS

show :: DerivesFamily -> String

showList :: [DerivesFamily] -> ShowS

data DataTypeEmit

Data type xml emit cue.

Constructors

DataTypeComplex

DataTypeSimple

DataTypeCompositor

Instances

Eq DataTypeEmit

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: DataTypeEmit -> DataTypeEmit -> Bool

(/=) :: DataTypeEmit -> DataTypeEmit -> Bool

Data DataTypeEmit

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataTypeEmit -> c DataTypeEmit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataTypeEmit

toConstr :: DataTypeEmit -> Constr

dataTypeOf :: DataTypeEmit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataTypeEmit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataTypeEmit)

gmapT :: (forall b. Data b => b -> b) -> DataTypeEmit -> DataTypeEmit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataTypeEmit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataTypeEmit -> r

gmapQ :: (forall d. Data d => d -> u) -> DataTypeEmit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataTypeEmit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataTypeEmit -> m DataTypeEmit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataTypeEmit -> m DataTypeEmit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataTypeEmit -> m DataTypeEmit

Ord DataTypeEmit

Defined in Fadno.Xml.EmitTypes

Methods

compare :: DataTypeEmit -> DataTypeEmit -> Ordering

(<) :: DataTypeEmit -> DataTypeEmit -> Bool

(<=) :: DataTypeEmit -> DataTypeEmit -> Bool

(>) :: DataTypeEmit -> DataTypeEmit -> Bool

(>=) :: DataTypeEmit -> DataTypeEmit -> Bool

max :: DataTypeEmit -> DataTypeEmit -> DataTypeEmit

min :: DataTypeEmit -> DataTypeEmit -> DataTypeEmit

Show DataTypeEmit

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> DataTypeEmit -> ShowS

show :: DataTypeEmit -> String

showList :: [DataTypeEmit] -> ShowS

data CoreType

newtype base types. Name after CT should be Haskell base type.

Constructors

CTString

CTDecimal

CTFloat

CTDouble

CTInt

CTBool

Instances

Bounded CoreType

Defined in Fadno.Xml.EmitTypes

Methods

minBound :: CoreType

maxBound :: CoreType

Enum CoreType

Defined in Fadno.Xml.EmitTypes

Methods

succ :: CoreType -> CoreType

pred :: CoreType -> CoreType

toEnum :: Int -> CoreType

fromEnum :: CoreType -> Int

enumFrom :: CoreType -> [CoreType]

enumFromThen :: CoreType -> CoreType -> [CoreType]

enumFromTo :: CoreType -> CoreType -> [CoreType]

enumFromThenTo :: CoreType -> CoreType -> CoreType -> [CoreType]

Eq CoreType

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: CoreType -> CoreType -> Bool

(/=) :: CoreType -> CoreType -> Bool

Data CoreType

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CoreType -> c CoreType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CoreType

toConstr :: CoreType -> Constr

dataTypeOf :: CoreType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CoreType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CoreType)

gmapT :: (forall b. Data b => b -> b) -> CoreType -> CoreType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CoreType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CoreType -> r

gmapQ :: (forall d. Data d => d -> u) -> CoreType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CoreType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CoreType -> m CoreType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CoreType -> m CoreType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CoreType -> m CoreType

Ord CoreType

Defined in Fadno.Xml.EmitTypes

Methods

compare :: CoreType -> CoreType -> Ordering

(<) :: CoreType -> CoreType -> Bool

(<=) :: CoreType -> CoreType -> Bool

(>) :: CoreType -> CoreType -> Bool

(>=) :: CoreType -> CoreType -> Bool

max :: CoreType -> CoreType -> CoreType

min :: CoreType -> CoreType -> CoreType

Show CoreType

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> CoreType -> ShowS

show :: CoreType -> String

showList :: [CoreType] -> ShowS

data Impl

Impls of classes, but also grab-bag of type deets.

Constructors

Bounds (Maybe (Bound String), Maybe (Bound String))

Specifies min and max values

Pattern String

Specifies string pattern

NewTypeShow

Implement Show for newtype

TopLevel

Top-level element, so emit element name as well as contents. Elements normally inherit the name from the referencing production.

Instances

Eq Impl

Defined in Fadno.Xml.EmitTypes

Methods

(==) :: Impl -> Impl -> Bool

(/=) :: Impl -> Impl -> Bool

Data Impl

Defined in Fadno.Xml.EmitTypes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Impl -> c Impl

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Impl

toConstr :: Impl -> Constr

dataTypeOf :: Impl -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Impl)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Impl)

gmapT :: (forall b. Data b => b -> b) -> Impl -> Impl

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Impl -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Impl -> r

gmapQ :: (forall d. Data d => d -> u) -> Impl -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Impl -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Impl -> m Impl

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Impl -> m Impl

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Impl -> m Impl

Ord Impl

Defined in Fadno.Xml.EmitTypes

Methods

compare :: Impl -> Impl -> Ordering

(<) :: Impl -> Impl -> Bool

(<=) :: Impl -> Impl -> Bool

(>) :: Impl -> Impl -> Bool

(>=) :: Impl -> Impl -> Bool

max :: Impl -> Impl -> Impl

min :: Impl -> Impl -> Impl

Show Impl

Defined in Fadno.Xml.EmitTypes

Methods

showsPrec :: Int -> Impl -> ShowS

show :: Impl -> String

showList :: [Impl] -> ShowS