Match.lhs-boot 614 Bytes
Newer Older
1
2
3
\begin{code}
module Match where
import Var	( Id )
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
4
import TcType	( Type )
5
import DsMonad	( DsM, EquationInfo, MatchResult )
6
7
8
9
10
import CoreSyn	( CoreExpr )
import HsSyn	( LPat, HsMatchContext, MatchGroup )
import Name	( Name )

match 	:: [Id]
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
11
        -> Type
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
	-> [EquationInfo]
	-> DsM MatchResult

matchWrapper
	:: HsMatchContext Name
        -> MatchGroup Id
	-> DsM ([Id], CoreExpr)

matchSimply
	:: CoreExpr
	-> HsMatchContext Name
	-> LPat Id
	-> CoreExpr
	-> CoreExpr
	-> DsM CoreExpr

matchSinglePat
	:: CoreExpr
30
	-> HsMatchContext Name
31
	-> LPat Id
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
32
        -> Type
33
34
35
	-> MatchResult
	-> DsM MatchResult
\end{code}