TcBinds

ghc-8.4.4: The GHC API

Safe Haskell | None
Language | Haskell2010

TcBinds

# Documentation

tcLocalBinds :: HsLocalBinds GhcRn -> TcM thing -> TcM (HsLocalBinds GhcTcId, thing) #

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

tcRecSelBinds :: HsValBinds GhcRn -> TcM TcGblEnv #

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

tcPolyCheck :: TcPragEnv -> TcIdSigInfo -> LHsBind GhcRn -> TcM (LHsBinds GhcTcId, [TcId]) #

tcVectDecls :: [LVectDecl GhcRn] -> TcM [LVectDecl GhcTcId] #

addTypecheckedBinds :: TcGblEnv -> [LHsBinds GhcTc] -> TcGblEnv #

chooseInferredQuantifiers :: TcThetaType -> TcTyVarSet -> [TcTyVar] -> Maybe TcIdSigInst -> TcM ([TyVarBinder], TcThetaType) #

badBootDeclErr :: MsgDoc #