Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.BasicTypes

Contents

TcBinder
Signatures
TcTyThing

Synopsis

type TcBinderStack
type TcId
data TcBinder
type TcSigFun
data TcSigInfo
data TcIdSig
data TcCompleteSig
data TcPartialSig
data TcPatSynSig
data TcIdSigInst
value isPartialSig
value hasCompleteSig
value tcSigInfoName
value tcIdSigLoc
value completeSigPolyId_maybe
data TcTyThing
data IdBindingInfo
data IsGroupClosed
type RhsNames
type ClosedTypeId
value tcTyThingCategory
value tcTyThingTyCon_maybe
value pprTcTyThingCategory

Packageghc-lib-parser-9.14.1.20251220
Exports23
LanguageGHC2021
LicenceBSD-3-Clause
SourceBasicTypes.hs

TcBinder

typetype TcBinderStack = [TcBinder]

typetype TcId = Id

datadata TcBinder

Constructors

TcIdBndr TcId TopLevelFlag
TcIdBndr_ExpType Name ExpType TopLevelFlag
TcTvBndr Name TyVar

Instances2Outputable, HasOccName

Outputable TcBinderDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes
HasOccName TcBinderDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

Signatures

typetype TcSigFun = Name -> Maybe TcSigInfo

datadata TcSigInfo

Instances1Outputable

Outputable TcSigInfoDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata TcIdSig

Constructors

TcCompleteSig TcCompleteSig
TcPartialSig TcPartialSig

Instances1Outputable

Outputable TcIdSigDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata TcCompleteSig

Constructors

CSig
- sig_bndr :: TcId
- sig_ctxt :: UserTypeCtxt
- sig_loc :: SrcSpan

Instances1Outputable

Outputable TcCompleteSigDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata TcPartialSig

Constructors

PSig
- psig_name :: Name
- psig_hs_ty :: LHsSigWcType GhcRn
- psig_ctxt :: UserTypeCtxt
- psig_loc :: SrcSpan

Instances1Outputable

Outputable TcPartialSigDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata TcPatSynSig

Constructors

PatSig
- patsig_name :: Name
- patsig_implicit_bndrs :: [InvisTVBinder]
- patsig_univ_bndrs :: [InvisTVBinder]
- patsig_req :: TcThetaType
- patsig_ex_bndrs :: [InvisTVBinder]
- patsig_prov :: TcThetaType
- patsig_body_ty :: TcSigmaType

Instances1Outputable

Outputable TcPatSynSigDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata TcIdSigInst

Constructors

TISI
- sig_inst_sig :: TcIdSig
- sig_inst_skols :: [(Name, InvisTVBinder)]
- sig_inst_theta :: TcThetaType
- sig_inst_tau :: TcSigmaType
- sig_inst_wcs :: [(Name, TcTyVar)]
- sig_inst_wcx :: Maybe TcType

Instances1Outputable

Outputable TcIdSigInstDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

valueisPartialSig :: TcIdSigInst -> Bool

valuehasCompleteSig :: TcSigFun -> Name -> Bool

Source#

No signature or a partial signature

valuetcSigInfoName :: TcSigInfo -> Name

valuetcIdSigLoc :: TcIdSig -> SrcSpan

valuecompleteSigPolyId_maybe :: TcSigInfo -> Maybe TcId

TcTyThing

datadata TcTyThing

Source#

A typecheckable thing available in a local context. Could be AGlobal TyThing, but also lexically scoped variables, etc. See GHC.Tc.Utils.Env for how to retrieve a TyThing given a Name.

Constructors

AGlobal TyThing
ATcId
- tct_id :: Id
- tct_info :: IdBindingInfo
ATyVar Name TcTyVar
ATcTyCon TyCon
APromotionErr PromotionErr

Instances1Outputable

Outputable TcTyThingDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.BasicTypes

datadata IdBindingInfo

Source#

IdBindingInfo describes how an Id is bound.

It is used for the following purposes: a) for static forms in GHC.Tc.Gen.Expr.checkClosedInStaticForm and b) to figure out when a nested binding can be generalised, in GHC.Tc.Gen.Bind.decideGeneralisationPlan.