GHC.Types.Id.Make · ghc-9.10.3

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

#

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