Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.BasicTypes

15 types
8 values

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

TcBinder

3 declarations

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

12 declarations

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

No signature or a partial signature

valuetcSigInfoName :: TcSigInfo -> Name

valuetcIdSigLoc :: TcIdSig -> SrcSpan

valuecompleteSigPolyId_maybe :: TcSigInfo -> Maybe TcId

TcTyThing

8 declarations

datadata 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.

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

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

NotLetBound
ClosedLet
NonClosedLet RhsNames ClosedTypeId

Instances1Outputable

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

datadata IsGroupClosed

IsGroupClosed describes a group of mutually-recursive bindings

Constructors

IsGroupClosed (NameEnv RhsNames) ClosedTypeId

typetype RhsNames = NameSet

typetype ClosedTypeId = Bool

valuetcTyThingCategory :: TcTyThing -> String

valuetcTyThingTyCon_maybe :: TcTyThing -> Maybe TyCon

Matches on either a global TyCon or a TcTyCon.

valuepprTcTyThingCategory :: TcTyThing -> SDoc