Moduleghc-9.10.3GHC2021
GHC.Tc.Types.BasicTypes
- 15 types
- 8 values
- Packageghc-9.10.3
- Exports23
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceBasicTypes.hs
TcBinder
3 declarationsInstances2Outputable, HasOccName
Outputable TcBinderDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypesHasOccName TcBinderDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes
Signatures
12 declarationsConstructors
Instances1Outputable
Outputable TcSigInfoDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcIdSigDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes
Instances1Outputable
Outputable TcCompleteSigDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcPartialSigDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes
Constructors
Instances1Outputable
Outputable TcPatSynSigDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Tc.Types.BasicTypes
No signature or a partial signature
TcTyThing
8 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-9.10.3 · 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-9.10.3 · GHC.Tc.Types.BasicTypes
IsGroupClosed describes a group of mutually-recursive bindings