ghc/compiler/typecheck/TcMatches.lhs-boot

   1 \begin{code}
   2 module TcMatches where
   3 import HsSyn    ( GRHSs, MatchGroup, ExprCoFn )
   4 import Name     ( Name )
   5 import Var      ( Id )
   6 import TcType   ( BoxyRhoType )
   7 import TcRnTypes( TcM )
   8
   9 tcGRHSsPat    :: GRHSs Name
  10               -> BoxyRhoType
  11               -> TcM (GRHSs Id)
  12
  13 tcMatchesFun :: Name
  14              -> MatchGroup Name
  15              -> BoxyRhoType
  16              -> TcM (ExprCoFn, MatchGroup Id)
  17 \end{code}