ghc-lib-parser-9.8.1.20231009: The GHC API, decoupled from GHC versions
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Types.BasicTypes

Synopsis

TcBinder

type TcId = Id #

data TcBinder #

Instances

Instances details
HasOccName TcBinder # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

occName :: TcBinder -> OccName #

Outputable TcBinder # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcBinder -> SDoc #

Signatures

data TcIdSigInfo #

Instances

Instances details
Outputable TcIdSigInfo # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcIdSigInfo -> SDoc #

data TcSigInfo #

Instances

Instances details
Outputable TcSigInfo # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcSigInfo -> SDoc #

hasCompleteSig :: TcSigFun -> Name -> Bool #

No signature or a partial signature

TcTyThing

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

Instances

Instances details
Outputable TcTyThing # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcTyThing -> SDoc #

data IdBindingInfo #

IdBindingInfo describes how an Id is bound.

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

Instances

Instances details
Outputable IdBindingInfo # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: IdBindingInfo -> SDoc #

data IsGroupClosed #

IsGroupClosed describes a group of mutually-recursive bindings

tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyCon #

Matches on either a global TyCon or a TcTyCon.