ghc-7.7.20130829: The GHC API

Safe HaskellNone

TcMatches

Documentation

data TcMatchCtxt body Source

Constructors

MC 

Fields

mc_what :: HsMatchContext Name
 
mc_body :: Located (body Name) -> TcRhoType -> TcM (Located (body TcId))
 

type TcStmtChecker body = forall thing. HsStmtContext Name -> Stmt Name (Located (body Name)) -> TcRhoType -> (TcRhoType -> TcM thing) -> TcM (Stmt TcId (Located (body TcId)), thing)Source

tcStmtsAndThen :: Outputable (body Name) => HsStmtContext Name -> TcStmtChecker body -> [LStmt Name (Located (body Name))] -> TcRhoType -> (TcRhoType -> TcM thing) -> TcM ([LStmt TcId (Located (body TcId))], thing)Source