Moduleghc-10.0.0.20260917GHC2024
GHC.Tc.Types.BasicTypes
Contents
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
- type ClosedTypeId
- value tcTyThingCategory
- value tcTyThingTyCon_maybe
- value pprTcTyThingCategory
- Packageghc-10.0.0.20260917
- Exports21
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceBasicTypes.hs
TcBinder
Instances2Outputable, HasOccName
Outputable TcBinderDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypesHasOccName TcBinderDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Signatures
Constructors
Instances1Outputable
Outputable TcSigInfoDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcIdSigDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Instances1Outputable
Outputable TcCompleteSigDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcPartialSigDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcPatSynSigDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
Constructors
TISIsig_inst_sig :: TcIdSigsig_inst_skols :: [(Name, InvisTVBinder)]sig_inst_theta :: TcThetaTypesig_inst_tau :: TcSigmaTypesig_inst_wcs :: [(Name, TcTyVar)]sig_inst_wcx :: Maybe TcType
Instances1Outputable
Outputable TcIdSigInstDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
No signature or a partial signature
TcTyThing
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.
Instances1Outputable
Outputable TcTyThingDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes
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.
Constructors
Instances1Outputable
Outputable IdBindingInfoDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.BasicTypes