Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xb9228482026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · b922848 · 2026-10-12

Moduleghc-9.14.1GHC2021

GHC.Tc.Gen.Bind

Synopsis

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

Packageghc-9.14.1
Exports6
LanguageGHC2021
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