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