compiler: de-lhs typecheck/
[ghc.git] / compiler / deSugar / Match.lhs-boot
1 \begin{code}
2 module Match where
3 import Var      ( Id )
4 import TcType   ( Type )
5 import DsMonad  ( DsM, EquationInfo, MatchResult )
6 import CoreSyn  ( CoreExpr )
7 import HsSyn    ( LPat, HsMatchContext, MatchGroup, LHsExpr )
8 import Name     ( Name )
9
10 match   :: [Id]
11         -> Type
12         -> [EquationInfo]
13         -> DsM MatchResult
14
15 matchWrapper
16         :: HsMatchContext Name
17         -> MatchGroup Id (LHsExpr Id)
18         -> DsM ([Id], CoreExpr)
19
20 matchSimply
21         :: CoreExpr
22         -> HsMatchContext Name
23         -> LPat Id
24         -> CoreExpr
25         -> CoreExpr
26         -> DsM CoreExpr
27
28 matchSinglePat
29         :: CoreExpr
30         -> HsMatchContext Name
31         -> LPat Id
32         -> Type
33         -> MatchResult
34         -> DsM MatchResult
35 \end{code}