GHC.Types.Id.Make

Documentation

mkDictFunId :: Name -> [TyVar] -> ThetaType -> Class -> [Type] -> Id Source #

mkDictFunTy :: [TyVar] -> ThetaType -> Class -> [Type] -> Type Source #

mkDictSelId :: Name -> Class -> Id Source #

mkDictSelRhs :: Class -> Int -> CoreExpr Source #

mkFCallId :: Unique -> ForeignCall -> Type -> Id Source #

unwrapNewTypeBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr Source #

wrapFamInstBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr Source #

newtype DataConBoxer Source #

Data Constructor Boxer

Constructors

DCB ([Type] -> [Var] -> UniqSM ([Var], [CoreBind])) 

vanillaDataConBoxer :: DataConBoxer Source #

mkDataConRep :: DataConBangOpts -> FamInstEnvs -> Name -> DataCon -> UniqSM DataConRep Source #

mkDataConWorkId :: Name -> DataCon -> Id Source #

data DataConBangOpts Source #

Constructors

FixedBangOpts [HsImplBang]

Used for imported data constructors See Note [Bangs on imported data constructors]

SrcBangOpts !BangOpts 

data BangOpts Source #

Constructors

BangOpts 

Fields

wiredInIds :: [Id] Source #

ghcPrimIds :: [Id] Source #

realWorldPrimId :: Id Source #

voidPrimId :: Id Source #

voidArgId :: Id Source #

nullAddrId :: Id Source #

seqId :: Id Source #

lazyId :: Id Source #

lazyIdKey :: Unique Source #

coercionTokenId :: Id Source #

coerceId :: Id Source #

proxyHashId :: Id Source #

noinlineId :: Id Source #

noinlineIdName :: Name Source #

coerceName :: Name Source #

leftSectionName :: Name Source #

rightSectionName :: Name Source #