Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- type TcBinderStack = [TcBinder]
- type TcId = Id
- data TcBinder
- type TcSigFun = Name -> Maybe TcSigInfo
- data TcSigInfo
- data TcIdSig
- data TcCompleteSig = CSig {}
- data TcPartialSig = PSig {}
- data TcPatSynSig = PatSig {}
- data TcIdSigInst = 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
- isPartialSig :: TcIdSigInst -> Bool
- hasCompleteSig :: TcSigFun -> Name -> Bool
- tcSigInfoName :: TcSigInfo -> Name
- tcIdSigLoc :: TcIdSig -> SrcSpan
- completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId
- data TcTyThing
- = AGlobal TyThing
- | ATcId {
- tct_id :: Id
- tct_info :: IdBindingInfo
- | ATyVar Name TcTyVar
- | ATcTyCon TyCon
- | APromotionErr PromotionErr
- data IdBindingInfo
- data IsGroupClosed = IsGroupClosed (NameEnv RhsNames) ClosedTypeId
- type RhsNames = NameSet
- type ClosedTypeId = Bool
- tcTyThingCategory :: TcTyThing -> String
- tcTyThingTyCon_maybe :: TcTyThing -> Maybe TyCon
- pprTcTyThingCategory :: TcTyThing -> SDoc
TcBinder
type TcBinderStack = [TcBinder] Source #
Instances
Signatures
Instances
Instances
data TcCompleteSig Source #
Instances
Outputable TcCompleteSig Source # | |
Defined in GHC.Tc.Types.BasicTypes ppr :: TcCompleteSig -> SDoc Source # |
data TcPartialSig Source #
PSig | |
|
Instances
Outputable TcPartialSig Source # | |
Defined in GHC.Tc.Types.BasicTypes ppr :: TcPartialSig -> SDoc Source # |
data TcPatSynSig Source #
Instances
Outputable TcPatSynSig Source # | |
Defined in GHC.Tc.Types.BasicTypes ppr :: TcPatSynSig -> SDoc Source # |
data TcIdSigInst Source #
TISI | |
|
Instances
Outputable TcIdSigInst Source # | |
Defined in GHC.Tc.Types.BasicTypes ppr :: TcIdSigInst -> SDoc Source # |
isPartialSig :: TcIdSigInst -> Bool Source #
tcSigInfoName :: TcSigInfo -> Name Source #
tcIdSigLoc :: TcIdSig -> SrcSpan Source #
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
.
AGlobal TyThing | |
ATcId | |
| |
ATyVar Name TcTyVar | |
ATcTyCon TyCon | |
APromotionErr PromotionErr |
Instances
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
Outputable IdBindingInfo Source # | |
Defined in GHC.Tc.Types.BasicTypes ppr :: IdBindingInfo -> SDoc Source # |
data IsGroupClosed Source #
IsGroupClosed describes a group of mutually-recursive bindings
type ClosedTypeId = Bool Source #
tcTyThingCategory :: TcTyThing -> String Source #
pprTcTyThingCategory :: TcTyThing -> SDoc Source #