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, BoxySigmaType, BoxyRhoType )
   7 import TcRnTypes( TcM, InstOrigin )
   8
   9 tcPolyExpr ::
  10           LHsExpr Name
  11        -> BoxySigmaType
  12        -> TcM (LHsExpr Id)
  13
  14 tcMonoExpr ::
  15           LHsExpr Name
  16        -> BoxyRhoType
  17        -> TcM (LHsExpr Id)
  18
  19 tcInferRho ::
  20           LHsExpr Name
  21        -> TcM (LHsExpr Id, TcType)
  22
  23 tcSyntaxOp ::
  24           InstOrigin
  25        -> HsExpr Name
  26        -> TcType
  27        -> TcM (HsExpr Id)
  28 \end{code}