+++ /dev/null
-\begin{code}
-module Match where
-import Var ( Id )
-import TcType ( TcType )
-import DsMonad ( DsM, EquationInfo, MatchResult )
-import CoreSyn ( CoreExpr )
-import HsSyn ( LPat, HsMatchContext, MatchGroup )
-import Name ( Name )
-
-match :: [Id]
- -> TcType
- -> [EquationInfo]
- -> DsM MatchResult
-
-matchWrapper
- :: HsMatchContext Name
- -> MatchGroup Id
- -> DsM ([Id], CoreExpr)
-
-matchSimply
- :: CoreExpr
- -> HsMatchContext Name
- -> LPat Id
- -> CoreExpr
- -> CoreExpr
- -> DsM CoreExpr
-
-matchSinglePat
- :: CoreExpr
- -> HsMatchContext Name
- -> LPat Id
- -> TcType
- -> MatchResult
- -> DsM MatchResult
-\end{code}