compiler/typecheck/TcExpr.hi-boot-6

   1 module TcExpr where
   2
   3 tcPolyExpr ::
   4           HsExpr.LHsExpr Name.Name
   5        -> TcType.BoxySigmaType
   6        -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
   7
   8 tcMonoExpr ::
   9           HsExpr.LHsExpr Name.Name
  10        -> TcType.BoxyRhoType
  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 tcSyntaxOp ::
  18           TcRnTypes.InstOrigin
  19        -> HsExpr.HsExpr Name.Name
  20        -> TcType.TcType
  21        -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)