Moduleghc-10.0.0.20260917GHC2024

GHC.Types.Id.Make

Synopsis

value mkDictFunId
value mkDictSelId
value mkDictSelRhs
value mkFCallId
value wrapNewTypeBody
value unwrapNewTypeBody
value wrapFamInstBody
newtype DataConBoxer
value vanillaDataConBoxer
value mkDataConRep
value mkDataConWorkId
data DataConBangOpts
data BangOpts
value unboxedUnitExpr
value wiredInIds
value ghcPrimIds
value realWorldPrimId
value voidPrimId
value voidArgId
value nullAddrId
value seqId
value lazyId
value lazyIdKey
value coercionTokenId
value coerceId
value proxyHashId
value nospecId
value nospecIdName
value noinlineId
value noinlineIdName
value noinlineConstraintId
value noinlineConstraintIdName
value coerceName
value leftSectionName
value rightSectionName
value pcRepPolyId
value mkRepPolyIdConcreteTyVars

Packageghc-10.0.0.20260917
Exports37
LanguageGHC2024
LicenceBSD-3-Clause
SourceMake.hs

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

valuemkDictSelId :: Name -> Class -> Id

valuemkDictSelRhs :: Class -> Int -> CoreExpr

valuemkFCallId :: Unique -> ForeignCall -> Type -> Id

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

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

valuewrapFamInstBody

:: TyCon
-> [Type]
-> Maybe (Scaled Type)
-> CoreExpr
-> CoreExpr

newtypenewtype DataConBoxer

Source#

Data Constructor Boxer

Constructors

DCB ([Type] -> [Var] -> UniqSM ([Var], [CoreBind]))

valuevanillaDataConBoxer :: DataConBoxer

valuemkDataConRep

:: Platform
-> DataConBangOpts
-> FamInstEnvs
-> Name
-> DataCon
-> UniqSM (DataConRep, [HsImplBang], [StrictnessMark])

valuemkDataConWorkId :: Name -> DataCon -> Id

datadata DataConBangOpts

Constructors

FixedBangOpts [HsImplBang]
Used for imported data constructors See Note [Bangs on imported data constructors]
SrcBangOpts !BangOpts

datadata BangOpts

Constructors

BangOpts
- bang_opt_strict_data :: !Bool
  Strict fields by default
- bang_opt_unbox_disable :: !Bool
  Disable automatic field unboxing (e.g. if we aren't optimising)
- bang_opt_unbox_strict :: !Bool
  Unbox strict fields
- bang_opt_unbox_small :: !Bool
  Unbox small strict fields

valueunboxedUnitExpr :: CoreExpr

valuewiredInIds :: [Id]

valueghcPrimIds :: [Id]

valuerealWorldPrimId :: Id

valuevoidPrimId :: Id

valuevoidArgId :: Id

valuenullAddrId :: Id

valueseqId :: Id

valuelazyId :: Id

valuelazyIdKey :: Unique

valuecoercionTokenId :: Id

valuecoerceId :: Id

valueproxyHashId :: Id

valuenospecId :: Id

valuenospecIdName :: Name

valuenoinlineId :: Id

valuenoinlineIdName :: Name

valuenoinlineConstraintId :: Id

valuenoinlineConstraintIdName :: Name

valuecoerceName :: Name

valueleftSectionName :: Name

valuerightSectionName :: Name

valuepcRepPolyId :: Name -> Type -> (Name -> ConcreteTyVars) -> IdInfo -> Id

valuemkRepPolyIdConcreteTyVars

:: [((Type, Position 'Neg), TyVar)]
((ty, pos), tv) ty is the type on which the representation-polymorphism check is done tv is the type variable we are checking for concreteness (usually the kind of ty) pos is the position of ty in the type of the Id
-> Name
Name of the rep-poly Id
-> ConcreteTyVars

Source#

Directly specify which outer forall'd type variables of a representation-polymorphic Id such become concrete metavariables when instantiated.