Documentation

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

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

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

mkPrimOpId :: PrimOp -> IdSource

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

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

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

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

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

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

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

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

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

newtype DataConBoxer Source

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

mkDataConWorkId :: Name -> DataCon -> IdSource

wiredInIds :: [Id]Source

ghcPrimIds :: [Id]Source

unsafeCoerceName :: NameSource

unsafeCoerceId :: IdSource

realWorldPrimId :: IdSource

voidArgId :: IdSource

nullAddrId :: IdSource

seqId :: IdSource

lazyId :: IdSource

lazyIdKey :: UniqueSource

coercionTokenId :: IdSource

magicSingIId :: IdSource

module PrelRules