Add selectors for common fields (DataCon/PatSyn) to ConLike
[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         -> MatchGroup Id (LHsExpr Id)
17         -> DsM ([Id], CoreExpr)
18
19 matchSimply
20         :: CoreExpr
21         -> HsMatchContext Name
22         -> LPat Id
23         -> CoreExpr
24         -> CoreExpr
25         -> DsM CoreExpr
26
27 matchSinglePat
28         :: CoreExpr
29         -> HsMatchContext Name
30         -> LPat Id
31         -> Type
32         -> MatchResult
33         -> DsM MatchResult