7

给定以下功能：

def foo( a: A ): ValidationNEL[String,Seq[B]] = ...

def bar( b: B ): ValidationNEL[String,C] = ...

我想将它们组合起来，例如构建一个函数，该函数调用foo然后最终调用bar中的每个元素Seq，例如得到一个ValidationNEL[String,Seq[C]]：

def fooAndBar( a: A ): ValidationNEL[String,Seq[C]]

Scalaz 7 中的文档非常短，我找不到任何相关示例。

4

2 回答 2

5

对 B 序列进行一次硬核遍历。请注意，我在这里使用了 List ，因为 Scalaz 7 似乎没有 typeclass 实例Seq，但是如果真的需要，编写自己的实例应该不会太难。

import scalaz.{ValidationNEL, Traverse, NonEmptyList}
import scalaz.std.list.listInstance
case class A(a: Int)
case class B(b: Int)
case class C(c: Int)

def foo( a: A ): ValidationNEL[String,List[B]] = Validation.success(List(B(1), B(2)))
def bar( b: B ): ValidationNEL[String,C] = Validation.failure(NonEmptyList("error in " + b.b))//Validation.success(C(b.b * 2))

type ValNEL[A] = ValidationNEL[String, A]

def foobar(a: A): ValidationNEL[String, List[C]] =
  foo(a) flatMap { bs =>
    Traverse[List].traverse[ValNEL, B, C](bs)(bar)
  }

val r: scalaz.ValidationNEL[String, List[C]] = foobar(A(3))

更新：另请参阅宝贵的Haskellwiki Typeclassopedia

于 2012-08-11T12:30:02.503 回答
1

看看这个 gist 使用 kleisli 来做到这一点https://gist.github.com/3240574和验证https://gist.github.com/3230464

于 2012-08-11T12:42:24.040 回答