TcMatches.hs-boot 495 Bytes
Newer Older
1
module TcMatches where
2
import HsSyn    ( GRHSs, MatchGroup, LHsExpr )
3
import TcEvidence( HsWrapper )
Ian Lynagh's avatar
Ian Lynagh committed
4 5
import Name     ( Name )
import TcType   ( TcRhoType )
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
6
import TcRnTypes( TcM, TcId )
7
--import SrcLoc   ( Located )
8

9
tcGRHSsPat    :: GRHSs Name (LHsExpr Name)
Ian Lynagh's avatar
Ian Lynagh committed
10
              -> TcRhoType
11
              -> TcM (GRHSs TcId (LHsExpr TcId))
12

13
tcMatchesFun :: Name
14
             -> MatchGroup Name (LHsExpr Name)
Ian Lynagh's avatar
Ian Lynagh committed
15
             -> TcRhoType
16
             -> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId))