diff options
Diffstat (limited to 'compiler/deSugar/Match.lhs-boot')
-rw-r--r-- | compiler/deSugar/Match.lhs-boot | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/compiler/deSugar/Match.lhs-boot b/compiler/deSugar/Match.lhs-boot new file mode 100644 index 0000000000..5f99f5cc1a --- /dev/null +++ b/compiler/deSugar/Match.lhs-boot @@ -0,0 +1,35 @@ +\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} |