| ||||||||||
| ||||||||||
Documentation | ||||||||||
tcMatchesFun :: Name -> Bool -> MatchGroup Name -> BoxyRhoType -> TcM (HsWrapper, MatchGroup TcId) | ||||||||||
tcGRHSsPat :: GRHSs Name -> BoxyRhoType -> TcM (GRHSs TcId) | ||||||||||
tcMatchesCase :: TcMatchCtxt -> TcRhoType -> MatchGroup Name -> BoxyRhoType -> TcM (MatchGroup TcId) | ||||||||||
tcMatchLambda :: MatchGroup Name -> BoxyRhoType -> TcM (HsWrapper, MatchGroup TcId) | ||||||||||
data TcMatchCtxt | ||||||||||
| ||||||||||
tcStmts :: HsStmtContext Name -> TcStmtChecker -> [LStmt Name] -> BoxyRhoType -> (BoxyRhoType -> TcM thing) -> TcM ([LStmt TcId], thing) | ||||||||||
tcDoStmts :: HsStmtContext Name -> [LStmt Name] -> LHsExpr Name -> BoxyRhoType -> TcM (HsExpr TcId) | ||||||||||
tcBody :: LHsExpr Name -> BoxyRhoType -> TcM (LHsExpr TcId) | ||||||||||
tcDoStmt :: TcStmtChecker | ||||||||||
tcMDoStmt :: (LHsExpr Name -> TcM (LHsExpr TcId, TcType)) -> TcStmtChecker | ||||||||||
tcGuardStmt :: TcStmtChecker | ||||||||||
Produced by Haddock version 2.4.2 |