Documentation

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

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

mkDictSelId :: Bool -> Name -> Class -> Id

mkDataConIds :: Name -> Name -> DataCon -> DataConIds

mkPrimOpId :: PrimOp -> Id

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

mkReboxingAlt :: [Unique] -> DataCon -> [Var] -> CoreExpr -> CoreAlt

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

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

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

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

mkUnpackCase :: Id -> CoreExpr -> [Id] -> DataCon -> CoreExpr -> CoreExpr

mkProductBox :: [Id] -> Type -> CoreExpr

wiredInIds :: [Id]

ghcPrimIds :: [Id]

unsafeCoerceName :: Name

unsafeCoerceId :: Id

realWorldPrimId :: Id

voidArgId :: Id

nullAddrId :: Id

seqId :: Id

lazyId :: Id

lazyIdKey :: Unique

coercionTokenId :: Id

module PrelRules