Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcMatches.hs-boot
1 module TcMatches where
2 import HsSyn    ( GRHSs, MatchGroup, LHsExpr )
3 import TcEvidence( HsWrapper )
4 import Name     ( Name )
5 import TcType   ( ExpRhoType, TcRhoType )
6 import TcRnTypes( TcM )
7 import SrcLoc   ( Located )
8 import HsExtension ( GhcRn, GhcTcId )
9
10 tcGRHSsPat    :: GRHSs GhcRn (LHsExpr GhcRn)
11               -> TcRhoType
12               -> TcM (GRHSs GhcTcId (LHsExpr GhcTcId))
13
14 tcMatchesFun :: Located Name
15              -> MatchGroup GhcRn (LHsExpr GhcRn)
16              -> ExpRhoType
17              -> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId))