Map和Reduce /折叠HList scalaz.Validation

Question

的我开始了这样的事情：

def nonEmpty[A] = (msg: String) => (a: Option[A]) => a.toSuccess(msg) 

val postal: Option[String] = request.param("postal") 
val country: Option[String] = request.param("country") 

val params = 
    (postal |> nonEmpty[String]("no postal")).toValidationNel |@| 
    (country |> nonEmpty[String]("no country")).toValidationNel 

params { (postal, country) => ... } 

现在，我认为这将是很好的，以减少对样板更好的可读性和不必解释更多的初级队员是什么.toValidateNel和|@|的意思。第一个想法是List但最后一行将停止工作，我不得不放弃一些静态安全。所以，我看向无形：

import shapeless._; import poly._; import syntax.std.tuple._ 

val params = (
    postal |> nonEmpty[String]("no postal"), 
    country |> nonEmpty[String]("no country") 
) 

params.map(_.toValidatioNel).reduce(_ |@| _) 

然而，我甚至不能似乎让过去的.map(...)位。我试着按照#scalaz上的建议：

type Va[+A] = Validation[String, A] 
type VaNel[+A] = ValidationNel[String, A] 

params.map(new (Va ~> VaNel) { def apply[T](x: Va[T]) = x.toValidationNel }) 

...无济于事。

我向#scalaz寻求帮助，但似乎并没有什么人只是有一个开箱即用的答案。不过，我非常热衷于学习如何解决这个问题，既为实践也为学习目的。

P.S.实际上，我的验证被封装在Kleisli[Va, A, B]之内，因此我可以使用>=>组合单个验证步骤，但似乎与问题正交，因为到达.map(...)时，所有Kleisli将被“减少”为Validation[String, A]。

Answer 1

下面是这将会是什么样shapeless-contrib的traverse：

import scalaz._, Scalaz._ 
import shapeless._, contrib.scalaz._, syntax.std.tuple._ 

def nonEmpty[A] = (msg: String) => (a: Option[A]) => a.toSuccess(msg) 

val postal: Option[String] = Some("00000") 
val country: Option[String] = Some("us") 

val params = (
    postal |> nonEmpty[String]("no postal"), 
    country |> nonEmpty[String]("no country") 
) 

然后：

object ToVNS extends Poly1 { 
    implicit def validation[T] = at[Validation[String, T]](_.toValidationNel) 
} 

val result = traverse(params.productElements)(ToVNS).map(_.tupled) 

现在result是ValidationNel[String, (String, String)]，你可以用它，你可以做任何事做与可怕的ApplicativeBuilder事情，你从减少与|@|。