ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcMatches

Documentation

tcGRHS :: TcMatchCtxt body -> TcRhoType -> GRHS Name (Located (body Name)) -> TcM (GRHS TcId (Located (body TcId))) Source

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