Add PA dfuns to VectMonad state
[ghc-hetmet.git] / compiler / deSugar / Match.hi-boot-6
1 module Match where
2
3 match   :: [Var.Id]
4         -> TcType.TcType
5         -> [DsMonad.EquationInfo]
6         -> DsMonad.DsM DsMonad.MatchResult
7
8 matchWrapper
9         :: HsExpr.HsMatchContext Name.Name
10         -> HsExpr.MatchGroup Var.Id
11         -> DsMonad.DsM ([Var.Id], CoreSyn.CoreExpr)
12
13 matchSimply
14         :: CoreSyn.CoreExpr
15         -> HsExpr.HsMatchContext Name.Name
16         -> HsPat.LPat Var.Id
17         -> CoreSyn.CoreExpr
18         -> CoreSyn.CoreExpr
19         -> DsMonad.DsM CoreSyn.CoreExpr
20
21 matchSinglePat
22         :: CoreSyn.CoreExpr
23         -> HsExpr.HsMatchContext Name.Name
24         -> HsPat.LPat Var.Id
25         -> TcType.TcType
26         -> DsMonad.MatchResult
27         -> DsMonad.DsM DsMonad.MatchResult