| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Types.Id.Make
Synopsis
- 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 = DCB ([Type] -> [Var] -> UniqSM ([Var], [CoreBind]))
- vanillaDataConBoxer :: DataConBoxer
- mkDataConRep :: DataConBangOpts -> FamInstEnvs -> Name -> DataCon -> UniqSM DataConRep
- mkDataConWorkId :: Name -> DataCon -> Id
- data DataConBangOpts
- data BangOpts = BangOpts {}
- 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
- coerceName :: Name
- leftSectionName :: Name
- rightSectionName :: Name
Documentation
newtype DataConBoxer Source #
Data Constructor Boxer
mkDataConRep :: DataConBangOpts -> FamInstEnvs -> Name -> DataCon -> UniqSM DataConRep Source #
data DataConBangOpts Source #
Constructors
| FixedBangOpts [HsImplBang] | Used for imported data constructors See Note [Bangs on imported data constructors] |
| SrcBangOpts !BangOpts |
Constructors
| BangOpts | |
Fields
| |
wiredInIds :: [Id] Source #
ghcPrimIds :: [Id] Source #
realWorldPrimId :: Id Source #
voidPrimId :: Id Source #
nullAddrId :: Id Source #
coercionTokenId :: Id Source #
proxyHashId :: Id Source #
noinlineId :: Id Source #
coerceName :: Name Source #