ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Types.BasicTypes

Synopsis

TcBinder

type TcId = Id Source #

Signatures

data TcSigInfo Source #

Instances

Instances details
Outputable TcSigInfo Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcSigInfo -> SDoc Source #

data TcIdSig Source #

Instances

Instances details
Outputable TcIdSig Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcIdSig -> SDoc Source #

data TcCompleteSig Source #

Constructors

CSig 

Instances

Instances details
Outputable TcCompleteSig Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

data TcPartialSig Source #

Instances

Instances details
Outputable TcPartialSig Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

hasCompleteSig :: TcSigFun -> Name -> Bool Source #

No signature or a partial signature

TcTyThing

data TcTyThing Source #

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 Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

Methods

ppr :: TcTyThing -> SDoc Source #

data IdBindingInfo Source #

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 Source # 
Instance details

Defined in GHC.Tc.Types.BasicTypes

data IsGroupClosed Source #

IsGroupClosed describes a group of mutually-recursive bindings

tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyCon Source #

Matches on either a global TyCon or a TcTyCon.