Documentation

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

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

mkDictSelId :: Name -> Class -> Id Source

mkDictSelRhs :: Class -> Int -> CoreExpr Source

mkPrimOpId :: PrimOp -> Id Source

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

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

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

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

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

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

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

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

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

newtype DataConBoxer Source

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

mkDataConWorkId :: Name -> DataCon -> Id Source

wiredInIds :: [Id] Source

ghcPrimIds :: [Id] Source

unsafeCoerceName :: Name Source

unsafeCoerceId :: Id Source

realWorldPrimId :: Id Source

voidPrimId :: Id Source

voidArgId :: Id Source

nullAddrId :: Id Source

seqId :: Id Source

lazyId :: Id Source

lazyIdKey :: Unique Source

coercionTokenId :: Id Source

magicDictId :: Id Source

coerceId :: Id Source

module PrelRules