Collect CCs in CorePrep, including CCs in unfoldings
[ghc.git] / compiler / deSugar / Match.hs-boot
1 module Match where
2
3 import GhcPrelude
4 import Var      ( Id )
5 import TcType   ( Type )
6 import DsMonad  ( DsM, EquationInfo, MatchResult )
7 import CoreSyn  ( CoreExpr )
8 import HsSyn    ( LPat, HsMatchContext, MatchGroup, LHsExpr )
9 import Name     ( Name )
10 import HsExtension ( GhcTc )
11
12 match   :: [Id]
13         -> Type
14         -> [EquationInfo]
15         -> DsM MatchResult
16
17 matchWrapper
18         :: HsMatchContext Name
19         -> Maybe (LHsExpr GhcTc)
20         -> MatchGroup GhcTc (LHsExpr GhcTc)
21         -> DsM ([Id], CoreExpr)
22
23 matchSimply
24         :: CoreExpr
25         -> HsMatchContext Name
26         -> LPat GhcTc
27         -> CoreExpr
28         -> CoreExpr
29         -> DsM CoreExpr
30
31 matchSinglePat
32         :: CoreExpr
33         -> HsMatchContext Name
34         -> LPat GhcTc
35         -> Type
36         -> MatchResult
37         -> DsM MatchResult