MkId

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

MkId

# Documentation

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

mkDictFunTy :: [TyVar] -> ThetaType -> Class -> [Type] -> (Int, Type)

mkDictSelId :: Name -> Class -> Id

mkDictSelRhs :: Class -> Int -> CoreExpr

mkPrimOpId :: PrimOp -> Id

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

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

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

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

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

wrapTypeFamInstBody :: CoAxiom br -> Int -> [Type] -> CoreExpr -> CoreExpr

wrapTypeUnbranchedFamInstBody :: CoAxiom Unbranched -> [Type] -> CoreExpr -> CoreExpr

unwrapTypeFamInstScrut :: CoAxiom br -> Int -> [Type] -> CoreExpr -> CoreExpr

unwrapTypeUnbranchedFamInstScrut :: CoAxiom Unbranched -> [Type] -> CoreExpr -> CoreExpr

newtype DataConBoxer

Constructors

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

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

mkDataConWorkId :: Name -> DataCon -> Id

wiredInIds :: [Id]

ghcPrimIds :: [Id]

unsafeCoerceName :: Name

unsafeCoerceId :: Id

realWorldPrimId :: Id

voidPrimId :: Id

voidArgId :: Id

nullAddrId :: Id

seqId :: Id

lazyId :: Id

lazyIdKey :: Unique

coercionTokenId :: Id

magicDictId :: Id

coerceId :: Id

proxyHashId :: Id

module PrelRules