Safe Haskell	Ignore
Language	Haskell2010

GHC.Core.DataCon

Contents

Main data types
Orphan instances

Synopsis

data DataCon
data DataConRep
- = NoDataConRep
- | DCR {
  - dcr_wrap_id :: Id
  - dcr_boxer :: DataConBoxer
  - dcr_arg_tys :: [Scaled Type]
  - dcr_stricts :: [StrictnessMark]
  - dcr_bangs :: [HsImplBang]
  }
data SrcStrictness
- = SrcLazy
- | SrcStrict
- | NoSrcStrict
data SrcUnpackedness
- = SrcUnpack
- | SrcNoUnpack
- | NoSrcUnpack
data HsSrcBang = HsSrcBang SourceText SrcUnpackedness SrcStrictness
data HsImplBang
- = HsLazy
- | HsStrict Bool
- | HsUnpack (Maybe Coercion)
data StrictnessMark
- = MarkedStrict
- | NotMarkedStrict
type ConTag = Int
type DataConEnv a = UniqFM DataCon a
data EqSpec
mkEqSpec :: TyVar -> Type -> EqSpec
eqSpecTyVar :: EqSpec -> TyVar
eqSpecType :: EqSpec -> Type
eqSpecPair :: EqSpec -> (TyVar, Type)
eqSpecPreds :: [EqSpec] -> ThetaType
data FieldLabel = FieldLabel {
- flLabel :: FieldLabelString
- flHasDuplicateRecordFields :: DuplicateRecordFields
- flHasFieldSelector :: FieldSelectors
- flSelector :: Name
}
data FieldLabelString
mkDataCon :: Name -> Bool -> TyConRepName -> [HsSrcBang] -> [FieldLabel] -> [TyVar] -> [TyCoVar] -> [InvisTVBinder] -> [EqSpec] -> KnotTied ThetaType -> [KnotTied (Scaled Type)] -> KnotTied Type -> PromDataConInfo -> KnotTied TyCon -> ConTag -> ThetaType -> Id -> DataConRep -> DataCon
fIRST_TAG :: ConTag
dataConRepType :: DataCon -> Type
dataConInstSig :: DataCon -> [Type] -> ([TyCoVar], ThetaType, [Type])
dataConFullSig :: DataCon -> ([TyVar], [TyCoVar], [EqSpec], ThetaType, [Scaled Type], Type)
dataConName :: DataCon -> Name
dataConIdentity :: DataCon -> ByteString
dataConTag :: DataCon -> ConTag
dataConTagZ :: DataCon -> ConTagZ
dataConTyCon :: DataCon -> TyCon
dataConOrigTyCon :: DataCon -> TyCon
dataConWrapperType :: DataCon -> Type
dataConNonlinearType :: DataCon -> Type
dataConDisplayType :: Bool -> DataCon -> Type
dataConUnivTyVars :: DataCon -> [TyVar]
dataConExTyCoVars :: DataCon -> [TyCoVar]
dataConUnivAndExTyCoVars :: DataCon -> [TyCoVar]
dataConUserTyVars :: DataCon -> [TyVar]
dataConUserTyVarBinders :: DataCon -> [InvisTVBinder]
dataConTheta :: DataCon -> ThetaType
dataConStupidTheta :: DataCon -> ThetaType
dataConOtherTheta :: DataCon -> ThetaType
dataConInstArgTys :: DataCon -> [Type] -> [Scaled Type]
dataConOrigArgTys :: DataCon -> [Scaled Type]
dataConOrigResTy :: DataCon -> Type
dataConInstOrigArgTys :: DataCon -> [Type] -> [Scaled Type]
dataConRepArgTys :: DataCon -> [Scaled Type]
dataConResRepTyArgs :: DataCon -> [Type]
dataConInstUnivs :: DataCon -> [Type] -> [Type]
dataConFieldLabels :: DataCon -> [FieldLabel]
dataConFieldType :: DataCon -> FieldLabelString -> Type
dataConFieldType_maybe :: DataCon -> FieldLabelString -> Maybe (FieldLabel, Type)
dataConSrcBangs :: DataCon -> [HsSrcBang]
dataConSourceArity :: DataCon -> Arity
dataConRepArity :: DataCon -> Arity
dataConIsInfix :: DataCon -> Bool
dataConWorkId :: DataCon -> Id
dataConWrapId :: DataCon -> Id
dataConWrapId_maybe :: DataCon -> Maybe Id
dataConImplicitTyThings :: DataCon -> [TyThing]
dataConRepStrictness :: DataCon -> [StrictnessMark]
dataConImplBangs :: DataCon -> [HsImplBang]
dataConBoxer :: DataCon -> Maybe DataConBoxer
splitDataProductType_maybe :: Type -> Maybe (TyCon, [Type], DataCon, [Scaled Type])
isNullarySrcDataCon :: DataCon -> Bool
isNullaryRepDataCon :: DataCon -> Bool
isTupleDataCon :: DataCon -> Bool
isBoxedTupleDataCon :: DataCon -> Bool
isUnboxedTupleDataCon :: DataCon -> Bool
isUnboxedSumDataCon :: DataCon -> Bool
isCovertGadtDataCon :: DataCon -> Bool
isVanillaDataCon :: DataCon -> Bool
isNewDataCon :: DataCon -> Bool
isTypeDataCon :: DataCon -> Bool
classDataCon :: Class -> DataCon
dataConCannotMatch :: [Type] -> DataCon -> Bool
dataConUserTyVarsNeedWrapper :: DataCon -> Bool
checkDataConTyVars :: DataCon -> Bool
isBanged :: HsImplBang -> Bool
isMarkedStrict :: StrictnessMark -> Bool
cbvFromStrictMark :: StrictnessMark -> CbvMark
eqHsBang :: HsImplBang -> HsImplBang -> Bool
isSrcStrict :: SrcStrictness -> Bool
isSrcUnpacked :: SrcUnpackedness -> Bool
specialPromotedDc :: DataCon -> Bool
promoteDataCon :: DataCon -> TyCon

Main data types

data DataCon Source #

A data constructor

AnnKeywordId : AnnOpen, AnnClose,AnnComma

Instances

Instances details

Data DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataCon -> c DataCon Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataCon Source # toConstr :: DataCon -> Constr Source # dataTypeOf :: DataCon -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataCon) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataCon) Source # gmapT :: (forall b. Data b => b -> b) -> DataCon -> DataCon Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataCon -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataCon -> r Source # gmapQ :: (forall d. Data d => d -> u) -> DataCon -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> DataCon -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataCon -> m DataCon Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataCon -> m DataCon Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataCon -> m DataCon Source #
NamedThing DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods getOccName :: DataCon -> OccName Source # getName :: DataCon -> Name Source #
Uniquable DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods getUnique :: DataCon -> Unique Source #
Outputable DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods ppr :: DataCon -> SDoc Source #
OutputableBndr DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods pprBndr :: BindingSite -> DataCon -> SDoc Source # pprPrefixOcc :: DataCon -> SDoc Source # pprInfixOcc :: DataCon -> SDoc Source # bndrIsJoin_maybe :: DataCon -> Maybe Int Source #
Eq DataCon Source #
Instance details Defined in GHC.Core.DataCon Methods (==) :: DataCon -> DataCon -> Bool Source # (/=) :: DataCon -> DataCon -> Bool Source #

data DataConRep Source #

Data Constructor Representation See Note [Data constructor workers and wrappers]

Constructors

NoDataConRep
DCR
Fields dcr_wrap_id :: Id dcr_boxer :: DataConBoxer dcr_arg_tys :: [Scaled Type] dcr_stricts :: [StrictnessMark] dcr_bangs :: [HsImplBang]

data SrcStrictness Source #

Source Strictness

What strictness annotation the user wrote

Constructors

SrcLazy	Lazy, ie `~`
SrcStrict	Strict, ie `!`
NoSrcStrict	no strictness annotation

Instances

Instances details

Data SrcStrictness Source #

Instance details

Defined in Language.Haskell.Syntax.Basic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcStrictness -> c SrcStrictness Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcStrictness Source #

toConstr :: SrcStrictness -> Constr Source #

dataTypeOf :: SrcStrictness -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcStrictness) Source #

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

gmapT :: (forall b. Data b => b -> b) -> SrcStrictness -> SrcStrictness Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> SrcStrictness -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcStrictness -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness Source #

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