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 tcMonoExpr ::
  14           HsExpr.LHsExpr Name.Name
  15        -> TcUnify.Expected TcType.TcType
  16        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)