Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleghc-9.10.3GHC2021

GHC.Tc.Gen.Bind

6 values

Packageghc-9.10.3
Exports6
LanguageGHC2021
LicenceBSD-3-Clause

valuetcLocalBinds

:: HsLocalBinds GhcRn
-> TcM thing
-> TcM (HsLocalBinds GhcTc, HsWrapper, thing)

valuetcTopBinds

:: [(RecFlag, LHsBinds GhcRn)]
-> [LSig GhcRn]
-> TcM (TcGblEnv, TcLclEnv)

valuetcValBinds

:: TopLevelFlag
-> [(RecFlag, LHsBinds GhcRn)]
-> [LSig GhcRn]
-> TcM thing
-> TcM ([(RecFlag, LHsBinds GhcTc)], HsWrapper, thing)

valuetcHsBootSigs :: [(RecFlag, LHsBinds GhcRn)] -> [LSig GhcRn] -> TcM [Id]

valuetcPolyCheck

:: TcPragEnv
-> TcCompleteSig
-> LHsBind GhcRn
-> TcM (LHsBinds GhcTc, [Scaled TcId])

valuechooseInferredQuantifiers