ghc/compiler/typecheck/TcMatches.lhs-boot

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