ghc/compiler/typecheck/TcExpr.lhs-boot

   1 \begin{code}
   2 module TcExpr where
   3 import HsSyn    ( LHsExpr )
   4 import Name     ( Name )
   5 import Var      ( Id )
   6 import TcType   ( TcType, Expected )
   7 import TcRnTypes( TcM )
   8
   9 tcCheckSigma ::
  10           LHsExpr Name
  11        -> TcType
  12        -> TcM (LHsExpr Id)
  13
  14 tcCheckRho ::
  15           LHsExpr Name
  16        -> TcType
  17        -> TcM (LHsExpr Id)
  18
  19 tcInferRho ::
  20           LHsExpr Name
  21        -> TcM (LHsExpr Id, TcType)
  22
  23 tcMonoExpr ::
  24           LHsExpr Name
  25        -> Expected TcType
  26        -> TcM (LHsExpr Id)
  27 \end{code}