Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.Bind

Synopsis

value tcLocalBinds
value tcTopBinds
value tcValBinds
value tcHsBootSigs
value tcPolyCheck
value chooseInferredQuantifiers

Packageghc-10.0.0.20260917
Exports6
LanguageGHC2024
LicenceBSD-3-Clause

valuetcLocalBinds

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

valuetcTopBinds

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

valuetcValBinds

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

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

valuetcPolyCheck

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

valuechooseInferredQuantifiers