Moduleghc-10.0.0.20260917GHC2024
GHC.Tc.Types.BasicTypes
- 13 types
- 8 values
- Packageghc-10.0.0.20260917
- Exports21
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceBasicTypes.hs
TcBinder
3 declarationsInstances2Outputable, 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
12 declarationsConstructors
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
6 declarationsA 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