:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Moduleghc-9.10.3GHC2021
Data (NHsValBindsLR GhcPs)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphanData (NHsValBindsLR GhcRn)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphanData (NHsValBindsLR GhcTc)Defined in ghc-9.10.3 · GHC.Hs.Instances · orphanHiePass p => ToHie (RScoped (NHsValBindsLR (GhcPass p)))Defined in ghc-9.10.3 · GHC.Iface.Ext.AstTypechecked, generalised bindings, used in the output to the type checker. See Note [AbsBinds].
AbsBindsabs_tvs :: [TyVar]abs_ev_vars :: [EvVar]Includes equality constraints
abs_exports :: [ABExport]AbsBinds only gets used when idL = idR after renaming, but these need to be idL's for the collect... code in HsUtil to have the right type
abs_ev_binds :: [TcEvBinds]Evidence bindings Why a list? See GHC.Tc.TyCl.Instance Note [Typechecking plan for instance declarations]
abs_binds :: LHsBinds GhcTcTypechecked user bindings
abs_sig :: BoolAbstraction Bindings Export
Data ABExportDefined in ghc-9.10.3 · GHC.Hs.Instances · orphanOutputable ABExportDefined in ghc-9.10.3 · GHC.Hs.BindsType checker Specialisation Pragmas
TcSpecPrags conveys SPECIALISE pragmas from the type checker to the desugarer
IsDefaultMethodSuper-specialised: a default method should be macro-expanded at every call site
SpecPrags [LTcSpecPrag]Data TcSpecPragsDefined in ghc-9.10.3 · GHC.Hs.BindsA type signature in generated code, notably the code generated for record selectors. We simply record the desired Id itself, replete with its name, type and IdDetails. Otherwise it's just like a type signature: there should be an accompanying binding
Optional namespace specifier for fixity signatures, WARNINIG and DEPRECATED pragmas.
Examples:
{-# WARNING in "x-partial" data Head "don't use this pattern synonym" #-} -- ↑ DataNamespaceSpecifier
{-# DEPRECATED type D "This type was deprecated" #-} -- ↑ TypeNamespaceSpecifier
infixr 6 data $ -- ↑ DataNamespaceSpecifier
NoNamespaceSpecifierTypeNamespaceSpecifier (EpToken "type"
)DataNamespaceSpecifier (EpToken "data"
)Eq NamespaceSpecifierDefined in ghc-9.10.3 · GHC.Hs.BindsData NamespaceSpecifierDefined in ghc-9.10.3 · GHC.Hs.BindsOutputable NamespaceSpecifierDefined in ghc-9.10.3 · GHC.Hs.BindsCheck if namespace specifiers overlap, i.e. if they are equal or if at least one of them doesn't specify a namespace
Check if namespace is covered by a namespace specifier: * NoNamespaceSpecifier covers both namespaces * TypeNamespaceSpecifier covers the type namespace only * DataNamespaceSpecifier covers the data namespace only
Located Type checker Specification Pragmas
Type checker Specification Pragma
SpecPrag Id HsWrapper InlinePragmaThe Id to be specialised, a wrapper that specialises the polymorphic function, and inlining spec for the specialised function
Data TcSpecPragDefined in ghc-9.10.3 · GHC.Hs.BindsOutputable TcSpecPragDefined in ghc-9.10.3 · GHC.Hs.BindsUsing SourceText in case the pragma was spelled differently or used mixed case
Extracts the name for a SPECIALIZE instance pragma. In hsSigDoc, the src field of SpecInstSig signature contains the SourceText for a SPECIALIZE instance pragma of the form: "SourceText {-# SPECIALIZE"
Extraction ensures that all variants of the pragma name (with a Z or an
S) are output exactly as used in the pragma.
OutputableBndrId p => Outputable (FixitySig (GhcPass p))OutputableBndrId p => Outputable (HsIPBinds (GhcPass p))OutputableBndrId p => Outputable (IPBind (GhcPass p))OutputableBndrId p => Outputable (Sig (GhcPass p))Outputable (XRec a RdrName) => Outputable (RecordPatSynField a)(OutputableBndrId l, OutputableBndrId r) => Outputable (PatSynBind (GhcPass l) (GhcPass r))(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsBindLR (GhcPass pl) (GhcPass pr))(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsLocalBindsLR (GhcPass pl) (GhcPass pr))(OutputableBndrId pl, OutputableBndrId pr) => Outputable (HsValBindsLR (GhcPass pl) (GhcPass pr))