blob: e7f5e1ae9257e03e17db500dec352e2dbe104107 (
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
|
module Match where
match :: [Var.Id]
-> [DsUtils.EquationInfo]
-> DsMonad.DsM DsUtils.MatchResult
matchExport
:: [Var.Id]
-> [DsUtils.EquationInfo]
-> DsMonad.DsM DsUtils.MatchResult
matchSimply
:: CoreSyn.CoreExpr
-> HsExpr.HsMatchContext Var.Id
-> TcHsSyn.TypecheckedPat
-> CoreSyn.CoreExpr
-> CoreSyn.CoreExpr
-> DsMonad.DsM CoreSyn.CoreExpr
matchSinglePat
:: CoreSyn.CoreExpr
-> DsMonad.DsMatchContext
-> TcHsSyn.TypecheckedPat
-> DsUtils.MatchResult
-> DsMonad.DsM DsUtils.MatchResult
|