ghc-8.2.2: The GHC API

Safe Haskell | None
Language | Haskell2010

TcBinds

# Documentation

tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing) #

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

tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv #

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

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

tcVectDecls :: [LVectDecl Name] -> TcM [LVectDecl TcId] #

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

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

badBootDeclErr :: MsgDoc #