| ghc-6.10.4: The GHC API | Contents | Index

TcMatches

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

Constructors

MC |

mc_what :: HsMatchContext Name |
mc_body :: LHsExpr Name -> BoxyRhoType -> TcM (LHsExpr TcId) |

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