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