Safe Haskell | None |
---|---|
Language | Haskell2010 |
High-level model of schema.
Documentation
Declaration of a type.
Instances
Eq TypeDec Source # | |
Ord TypeDec Source # | |
Show TypeDec Source # | |
Generic TypeDec Source # | |
Lift TypeDec Source # | |
type Rep TypeDec Source # | |
Defined in DomainCore.Model type Rep TypeDec = D1 ('MetaData "TypeDec" "DomainCore.Model" "domain-core-0.1.0.2-J2m682FUrDCFAIYY7ZjjaX" 'False) (C1 ('MetaCons "TypeDec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TypeDef))) |
Definition of a type.
SumTypeDef [(Text, [Type])] | Sum. A list of pairs of names of its members (which will be mapped to constructors) and types which will populate the according constructors. |
ProductTypeDef [(Text, Type)] | Product. Think of it as a record. Carries a list of associations of field names with types. |
Instances
Eq TypeDef Source # | |
Ord TypeDef Source # | |
Show TypeDef Source # | |
Generic TypeDef Source # | |
Lift TypeDef Source # | |
type Rep TypeDef Source # | |
Defined in DomainCore.Model type Rep TypeDef = D1 ('MetaData "TypeDef" "DomainCore.Model" "domain-core-0.1.0.2-J2m682FUrDCFAIYY7ZjjaX" 'False) (C1 ('MetaCons "SumTypeDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Text, [Type])])) :+: C1 ('MetaCons "ProductTypeDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Text, Type)]))) |
Type.
TupleType [Type] | Fully applied tuple of the listed types. |
AppType (NonEmpty Type) | List of type applications. |
ListType Type | List type with the type of its element. |
RefType Text | Possibly qualified reference to another type. |
Instances
Eq Type Source # | |
Ord Type Source # | |
Show Type Source # | |
Generic Type Source # | |
Lift Type Source # | |
type Rep Type Source # | |
Defined in DomainCore.Model type Rep Type = D1 ('MetaData "Type" "DomainCore.Model" "domain-core-0.1.0.2-J2m682FUrDCFAIYY7ZjjaX" 'False) ((C1 ('MetaCons "TupleType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Type])) :+: C1 ('MetaCons "AppType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty Type)))) :+: (C1 ('MetaCons "ListType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type)) :+: C1 ('MetaCons "RefType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))) |