blob: 9c6b914422f630714f4e14c8d42aa60ab0fe0639 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
module TcMatches where
import GHC.Hs ( GRHSs, MatchGroup, LHsExpr )
import TcEvidence( HsWrapper )
import Name ( Name )
import TcType ( ExpSigmaType, TcRhoType )
import TcRnTypes( TcM )
import SrcLoc ( Located )
import GHC.Hs.Extension ( GhcRn, GhcTcId )
tcGRHSsPat :: GRHSs GhcRn (LHsExpr GhcRn)
-> TcRhoType
-> TcM (GRHSs GhcTcId (LHsExpr GhcTcId))
tcMatchesFun :: Located Name
-> MatchGroup GhcRn (LHsExpr GhcRn)
-> ExpSigmaType
-> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId))
|