blob: df806ec6449635b20656ab887de92bb2b65f91ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
module Match where
match :: [Var.Id]
-> TcType.TcType
-> [DsMonad.EquationInfo]
-> DsMonad.DsM DsMonad.MatchResult
matchWrapper
:: HsExpr.HsMatchContext Name.Name
-> HsExpr.MatchGroup Var.Id
-> DsMonad.DsM ([Var.Id], CoreSyn.CoreExpr)
matchSimply
:: CoreSyn.CoreExpr
-> HsExpr.HsMatchContext Name.Name
-> HsPat.LPat Var.Id
-> CoreSyn.CoreExpr
-> CoreSyn.CoreExpr
-> DsMonad.DsM CoreSyn.CoreExpr
matchSinglePat
:: CoreSyn.CoreExpr
-> HsExpr.HsMatchContext Name.Name
-> HsPat.LPat Var.Id
-> TcType.TcType
-> DsMonad.MatchResult
-> DsMonad.DsM DsMonad.MatchResult
|
