ghc/compiler/typecheck/TcExpr.lhs-boot

   1 \begin{code}
   2 module TcExpr where
   3 import HsSyn    ( HsExpr, LHsExpr )
   4 import Name     ( Name )
   5 import Var      ( Id )
   6 import TcType   ( TcType, Expected )
   7 import TcRnTypes( TcM, InstOrigin )
   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
  28 tcSyntaxOp ::
  29           InstOrigin
  30        -> HsExpr Name
  31        -> TcType
  32        -> TcM (HsExpr Id)
  33 \end{code}