compiler/typecheck/TcExpr.lhs-boot

   1 \begin{code}
   2 module TcExpr where
   3 import HsSyn    ( HsExpr, LHsExpr )
   4 import Name     ( Name )
   5 import TcType   ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
   6 import TcRnTypes( TcM, TcId, InstOrigin )
   7
   8 tcPolyExpr ::
   9           LHsExpr Name
  10        -> BoxySigmaType
  11        -> TcM (LHsExpr TcId)
  12
  13 tcMonoExpr ::
  14           LHsExpr Name
  15        -> BoxyRhoType
  16        -> TcM (LHsExpr TcId)
  17
  18 tcInferRho ::
  19           LHsExpr Name
  20        -> TcM (LHsExpr TcId, TcRhoType)
  21
  22 tcSyntaxOp ::
  23           InstOrigin
  24        -> HsExpr Name
  25        -> TcType
  26        -> TcM (HsExpr TcId)
  27 \end{code}