Documentation

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

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

mkDictSelId :: Bool -> Name -> Class -> IdSource

mkDataConIds :: Name -> Name -> DataCon -> DataConIdsSource

mkPrimOpId :: PrimOp -> IdSource

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

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

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

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

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

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

wrapTypeFamInstBody :: CoAxiom -> [Type] -> CoreExpr -> CoreExprSource

unwrapTypeFamInstScrut :: CoAxiom -> [Type] -> CoreExpr -> CoreExprSource

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

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

wiredInIds :: [Id]Source

ghcPrimIds :: [Id]Source

unsafeCoerceName :: NameSource

unsafeCoerceId :: IdSource

realWorldPrimId :: IdSource

voidArgId :: IdSource

nullAddrId :: IdSource

seqId :: IdSource

lazyId :: IdSource

lazyIdKey :: UniqueSource

coercionTokenId :: IdSource

module PrelRules