Scalaz中的EitherT过滤器有错误

Question

假设我们有EitherT[F, String, A]。 Scalaz 的withFilter 函数使用String 的 Monoid 的零，以便在过滤器失败时填充Left。

因此，没有有意义的错误消息。

我怎样才能实现左为“不积极”的形式。

val a: Either[Future, String, Int] = -1.point[EitherT[Future, String, ?]]

val foo = for {
  aa <- a
  if aa >= 0
} yield aa

EitherT 上的 filter 和 withFilter 方法是否只是为了满足理解需求？

Answer 1

您可以使用EitherT#ensure：

import scalaz._, Scalaz._

val xs: List[String \/ Int] =
  List(1.right, 2.right, -5.right, "other error".left, 3.right, -4.right)

EitherT(xs).ensure("not positive")(_ > 0)

// EitherT(List(\/-(1), \/-(2), -\/(not positive), -\/(other error), \/-(3), -\/(not positive)))