GHC.Types.Id.Make

Documentation

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

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

mkDictSelId :: Name -> Class -> Id

mkDictSelRhs :: Class -> Int -> CoreExpr

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

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

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

newtype DataConBoxer

Data Constructor Boxer

Constructors

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

vanillaDataConBoxer :: DataConBoxer

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

mkDataConWorkId :: Name -> DataCon -> Id

data DataConBangOpts

Constructors

FixedBangOpts [HsImplBang]

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

SrcBangOpts !BangOpts

data BangOpts

Constructors

BangOpts

Fields

• bang_opt_strict_data :: !Bool

  Strict fields by default

• bang_opt_unbox_disable :: !Bool

  Disable automatic field unboxing (e.g. if we aren't optimising)

• bang_opt_unbox_strict :: !Bool

  Unbox strict fields

• bang_opt_unbox_small :: !Bool

  Unbox small strict fields

unboxedUnitExpr :: CoreExpr

wiredInIds :: [Id]

ghcPrimIds :: [Id]

realWorldPrimId :: Id

voidPrimId :: Id

voidArgId :: Id

nullAddrId :: Id

seqId :: Id

lazyId :: Id

lazyIdKey :: Unique

coercionTokenId :: Id

coerceId :: Id

proxyHashId :: Id

noinlineId :: Id

noinlineIdName :: Name

nospecId :: Id

nospecIdName :: Name

coerceName :: Name

leftSectionName :: Name

rightSectionName :: Name