ghc/compiler/typecheck/TcExpr.hi-boot-6

   1 module TcExpr where
   2
   3 tcCheckSigma ::
   4           HsExpr.LHsExpr Name.Name
   5        -> TcType.TcType
   6        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
   7
   8 tcCheckRho ::
   9           HsExpr.LHsExpr Name.Name
  10        -> TcType.TcType
  11        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
  12
  13 tcInferRho ::
  14           HsExpr.LHsExpr Name.Name
  15        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
  16
  17 tcMonoExpr ::
  18           HsExpr.LHsExpr Name.Name
  19        -> TcType.Expected TcType.TcType
  20        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
  21
  22 tcSyntaxOp ::
  23           TcRnTypes.InstOrigin
  24        -> HsExpr.HsExpr Name.Name
  25        -> TcType.TcType
  26        -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)