Documentation

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

mkDictFunTy :: [TyVar] -> ThetaType -> Class -> [Type] -> 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 #

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

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

newtype DataConBoxer #

mkDataConRep :: DynFlags -> FamInstEnvs -> Name -> Maybe [HsImplBang] -> 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 #

runRWId :: Id #

coercionTokenId :: Id #

magicDictId :: Id #

coerceId :: Id #

proxyHashId :: Id #

module PrelRules