仅累积Scalaz中的验证错误

发布时间：2020-12-16 18:15:54 所属栏目：安全来源：网络整理

导读：我是函数式编程工作的初学者,我有一系列ValidationNEL [A,B],我想将错误累积到新的ValidationNEL [A,B]中.这取决于B的事实是一个来自遗留代码的可变数据结构,因此持有Seq [B]会过于宽泛. 我从其他帖子中了解到,通过序列方法可以累积错误和成功：Processing

我是函数式编程工作的初学者,我有一系列ValidationNEL [A,B],我想将错误累积到新的ValidationNEL [A,B]中.这取决于B的事实
是一个来自遗留代码的可变数据结构,因此持有Seq [B]会过于宽泛.

我从其他帖子中了解到,通过序列方法可以累积错误和成功：Processing a list of Scalaz6 Validation

根据我的理解,一切都来写一个正确的Applicative,也许是一个正确的Traverse.

trait MA[M[_],A] extends PimpedType[M[A]] with MASugar[M,A] {

    def sequence[N[_],B](implicit a: A <:< N[B],t: Traverse[M],n: Applicative[N]): N[M[B]] =
    traverse((z: A) => (z: N[B]))

  def traverse[F[_],B](f: A => F[B])(implicit a: Applicative[F],t: Traverse[M]): F[M[B]] =
    t.traverse(f,value)
  }

我该如何开始？当我试图查看Scalaz源代码以了解如何实现我的Applicative时,我非常困惑.我甚至无法找出哪个应用程序允许在验证中累积失败和成功.

解决方法

迟到了,但是从Scalaz 7.0.4开始,我们可以这样做：

def takeLastSuccess[A,B](seq: Seq[ValidationNel[A,B]]) = {
      implicit val useLast = Semigroup.lastSemigroup[B]
      seq reduceLeft (_ +++ _)
  }

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!