Documentation

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

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

tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv Source #

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

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

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

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

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

badBootDeclErr :: MsgDoc Source #