--- /dev/null
+module Match where
+
+match :: [Var.Id]
+ -> TcType.TcType
+ -> [DsMonad.EquationInfo]
+ -> DsMonad.DsM DsMonad.MatchResult
+
+matchWrapper
+ :: HsExpr.HsMatchContext Name.Name
+ -> HsExpr.MatchGroup Var.Id
+ -> DsMonad.DsM ([Var.Id], CoreSyn.CoreExpr)
+
+matchSimply
+ :: CoreSyn.CoreExpr
+ -> HsExpr.HsMatchContext Name.Name
+ -> HsPat.LPat Var.Id
+ -> CoreSyn.CoreExpr
+ -> CoreSyn.CoreExpr
+ -> DsMonad.DsM CoreSyn.CoreExpr
+
+matchSinglePat
+ :: CoreSyn.CoreExpr
+ -> HsExpr.HsMatchContext Name.Name
+ -> HsPat.LPat Var.Id
+ -> TcType.TcType
+ -> DsMonad.MatchResult
+ -> DsMonad.DsM DsMonad.MatchResult