Do not use defaulting in ambiguity check
[ghc.git] / compiler / deSugar / Match.hs-boot
1 module Match where
2 import Var      ( Id )
3 import TcType   ( Type )
4 import DsMonad  ( DsM, EquationInfo, MatchResult )
5 import CoreSyn  ( CoreExpr )
6 import HsSyn    ( LPat, HsMatchContext, MatchGroup, LHsExpr )
7 import Name     ( Name )
8
9 match   :: [Id]
10         -> Type
11         -> [EquationInfo]
12         -> DsM MatchResult
13
14 matchWrapper
15         :: HsMatchContext Name
16         -> Maybe (LHsExpr Id)
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