ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Types.Id.Make

Synopsis

Documentation

newtype DataConBoxer Source #

Data Constructor Boxer

Constructors

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

data DataConBangOpts Source #

Constructors

FixedBangOpts [HsImplBang]

Used for imported data constructors See Note [Bangs on imported data constructors]

SrcBangOpts !BangOpts 

data BangOpts Source #

Constructors

BangOpts 

Fields

mkRepPolyIdConcreteTyVars Source #

Arguments

:: [((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.