blob: 3e8dc0277bcc1a53db5a5d2e86c72706bdbc7b19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module TcMatches where
import HsSyn ( GRHSs, MatchGroup, LHsExpr )
import TcEvidence( HsWrapper )
import Name ( Name )
import TcType ( ExpRhoType, TcRhoType )
import TcRnTypes( TcM, TcId )
import SrcLoc ( Located )
tcGRHSsPat :: GRHSs Name (LHsExpr Name)
-> TcRhoType
-> TcM (GRHSs TcId (LHsExpr TcId))
tcMatchesFun :: Located Name
-> MatchGroup Name (LHsExpr Name)
-> ExpRhoType
-> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId))
|