ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

DataCon

Contents

Synopsis

Main data types

type ConTag = IntSource

Type of the tags associated with each constructor possibility

Type construction

mkDataConSource

Arguments

:: Name 
-> Bool

Is the constructor declared infix?

-> [HsBang]

Strictness annotations written in the source file

-> [FieldLabel]

Field labels for the constructor, if it is a record, otherwise empty

-> [TyVar]

Universally quantified type variables

-> [TyVar]

Existentially quantified type variables

-> [(TyVar, Type)]

GADT equalities

-> ThetaType

Theta-type occuring before the arguments proper

-> [Type]

Original argument types

-> Type

Original result type

-> TyCon

Representation type constructor

-> ThetaType

The "stupid theta", context of the data declaration e.g. data Eq a => T a ...

-> Id

Worker Id

-> DataConRep

Representation

-> DataCon 

Build a new data constructor

fIRST_TAG :: ConTagSource

Tags are allocated from here for real constructors

buildAlgTyConSource

Arguments

:: Name 
-> [TyVar]

Kind variables and type variables

-> [Role] 
-> Maybe CType 
-> ThetaType

Stupid theta

-> AlgTyConRhs 
-> RecFlag 
-> Bool

True = this TyCon is promotable

-> Bool

True = was declared in GADT syntax

-> TyConParent 
-> TyCon 

Type deconstruction

dataConRepType :: DataCon -> TypeSource

The representation type of the data constructor, i.e. the sort type that will represent values of this type at runtime

dataConSig :: DataCon -> ([TyVar], ThetaType, [Type], Type)Source

The "signature" of the DataCon returns, in order:

1) The result of dataConAllTyVars,

2) All the ThetaTypes relating to the DataCon (coercion, dictionary, implicit parameter - whatever)

3) The type arguments to the constructor

4) The original result type of the DataCon

dataConFullSig :: DataCon -> ([TyVar], [TyVar], [(TyVar, Type)], ThetaType, [Type], Type)Source

The "full signature" of the DataCon returns, in order:

1) The result of dataConUnivTyVars

2) The result of dataConExTyVars

3) The result of dataConEqSpec

4) The result of dataConDictTheta

5) The original argument types to the DataCon (i.e. before any change of the representation of the type)

6) The original result type of the DataCon

dataConName :: DataCon -> NameSource

The Name of the DataCon, giving it a unique, rooted identification

dataConIdentity :: DataCon -> [Word8]Source

The string package:module.name identifying a constructor, which is attached to its info table and used by the GHCi debugger and the heap profiler

dataConTag :: DataCon -> ConTagSource

The tag used for ordering DataCons

dataConTyCon :: DataCon -> TyConSource

The type constructor that we are building via this data constructor

dataConOrigTyCon :: DataCon -> TyConSource

The original type constructor used in the definition of this data constructor. In case of a data family instance, that will be the family type constructor.

dataConUserType :: DataCon -> TypeSource

The user-declared type of the data constructor in the nice-to-read form:

 T :: forall a b. a -> b -> T [a]

rather than:

 T :: forall a c. forall b. (c~[a]) => a -> b -> T c

NB: If the constructor is part of a data instance, the result type mentions the family tycon, not the internal one.

dataConUnivTyVars :: DataCon -> [TyVar]Source

The universally-quantified type variables of the constructor

dataConExTyVars :: DataCon -> [TyVar]Source

The existentially-quantified type variables of the constructor

dataConAllTyVars :: DataCon -> [TyVar]Source

Both the universal and existentiatial type variables of the constructor

dataConEqSpec :: DataCon -> [(TyVar, Type)]Source

Equalities derived from the result type of the data constructor, as written by the programmer in any GADT declaration

dataConTheta :: DataCon -> ThetaTypeSource

The *full* constraints on the constructor type

dataConStupidTheta :: DataCon -> ThetaTypeSource

The "stupid theta" of the DataCon, such as data Eq a in:

 data Eq a => T a = ...

dataConInstArgTysSource

Arguments

:: DataCon

A datacon with no existentials or equality constraints However, it can have a dcTheta (notably it can be a class dictionary, with superclasses)

-> [Type]

Instantiated at these types

-> [Type] 

Finds the instantiated types of the arguments required to construct a DataCon representation NB: these INCLUDE any dictionary args but EXCLUDE the data-declaration context, which is discarded It's all post-flattening etc; this is a representation type

dataConOrigArgTys :: DataCon -> [Type]Source

Returns the argument types of the wrapper, excluding all dictionary arguments and without substituting for any type variables

dataConInstOrigArgTys :: DataCon -> [Type] -> [Type]Source

Returns just the instantiated value argument types of a DataCon, (excluding dictionary args)

dataConRepArgTys :: DataCon -> [Type]Source

Returns the arg types of the worker, including *all* evidence, after any flattening has been done and without substituting for any type variables

dataConFieldLabels :: DataCon -> [FieldLabel]Source

The labels for the fields of this particular DataCon

dataConFieldType :: DataCon -> FieldLabel -> TypeSource

Extract the type for any given labelled field of the DataCon

dataConStrictMarks :: DataCon -> [HsBang]Source

The strictness markings decided on by the compiler. Does not include those for existential dictionaries. The list is in one-to-one correspondence with the arity of the DataCon

dataConSourceArity :: DataCon -> AritySource

Source-level arity of the data constructor

dataConRepArity :: DataCon -> AritySource

Gives the number of actual fields in the representation of the data constructor. This may be more than appear in the source code; the extra ones are the existentially quantified dictionaries

dataConRepRepArity :: DataCon -> RepAritySource

The number of fields in the representation of the constructor AFTER taking into account the unpacking of any unboxed tuple fields

dataConIsInfix :: DataCon -> BoolSource

Should the DataCon be presented infix?

dataConWorkId :: DataCon -> IdSource

Get the Id of the DataCon worker: a function that is the "actual" constructor and has no top level binding in the program. The type may be different from the obvious one written in the source program. Panics if there is no such Id for this DataCon

dataConWrapId :: DataCon -> IdSource

Returns an Id which looks like the Haskell-source constructor by using the wrapper if it exists (see dataConWrapId_maybe) and failing over to the worker (see dataConWorkId)

dataConWrapId_maybe :: DataCon -> Maybe IdSource

Get the Id of the DataCon wrapper: a function that wraps the "actual" constructor so it has the type visible in the source program: c.f. dataConWorkId. Returns Nothing if there is no wrapper, which occurs for an algebraic data constructor and also for a newtype (whose constructor is inlined compulsorily)

dataConImplicitIds :: DataCon -> [Id]Source

Find all the Ids implicitly brought into scope by the data constructor. Currently, the union of the dataConWorkId and the dataConWrapId

dataConRepStrictness :: DataCon -> [StrictnessMark]Source

Give the demands on the arguments of a Core constructor application (Con dc args)

splitDataProductType_maybeSource

Arguments

:: Type

A product type, perhaps

-> Maybe (TyCon, [Type], DataCon, [Type]) 

Extract the type constructor, type argument, data constructor and it's representation argument types from a type if it is a product type.

Precisely, we return Just for any type that is all of:

  • Concrete (i.e. constructors visible)
  • Single-constructor
  • Not existentially quantified

Whether the type is a data type or a newtype

tyConsOfTyCon :: TyCon -> [TyCon]Source

All type constructors used in the definition of this type constructor, recursively. This is used to find out all the type constructors whose data constructors need to be in scope to be allowed to safely coerce under this type constructor in Safe Haskell mode.

Predicates on DataCons

isNullarySrcDataCon :: DataCon -> BoolSource

Return whether there are any argument types for this DataCons original source type

isNullaryRepDataCon :: DataCon -> BoolSource

Return whether there are any argument types for this DataCons runtime representation type

isVanillaDataCon :: DataCon -> BoolSource

Vanilla DataCons are those that are nice boring Haskell 98 constructors

Promotion related functions