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 )
   8 import Name     ( Name )
   9
  10 match   :: [Id]
  11         -> Type
  12         -> [EquationInfo]
  13         -> DsM MatchResult
  14
  15 matchWrapper
  16         :: HsMatchContext Name
  17         -> MatchGroup 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}