使用| @ |进行验证 在斯卡拉兹

Question

背景

我有配置值的Map[String,String] 。 我想提取一系列密钥，并提供有意义的错误消息，如果缺少任何密钥。 例如：

val a = Map("url"->"http://example.com", "user"->"bob", "password"->"12345")

假设我想将其转换为案例类：

case class HttpConnectionParams(url:String, user:String, password: String)

现在，我可以简单地使用for循环来提取值：

for(url <- a.get("url"); 
    user <- a.get("user"); 
    password <- a.get("password")) yield {  
  HttpConnectionParams(url,user,password) 
}

获取Option[HttpConnectionParams] 。 这很干净，除非我得到一个None然后我不知道缺少什么。 我想提供这些信息。

使用Scalaz验证

输入scalaz。 我使用的是7.1.3版本。

从我能够组合起来（ 这里有一个很好的参考）我可以使用析取：

for(url <- a.get("url") \/> "Url must be supplied"; 
    user <- a.get("user") \/> "Username must be supplied"; 
    password <- a.get("password") \/> "Password must be supplied") yield {  
  HttpConnectionParams(url,user,password) 
}

这很好，因为现在我收到一条错误信息，但这是铁路导向的，因为它在第一次失败时停止。 如果我想获得所有错误怎么办？ 让我们使用验证和applicative builder（又名“| @ |”）：

val result = a.get("url").toSuccess("Url must be supplied")    |@|
             a.get("username").toSuccess("Username must be supplied") |@|
             a.get("password").toSuccess("Password must be supplied")

result.tupled match {
  case Success((url,user,password)) => HttpConnectionParams(url,user,password)
  case Failure(m) => println("There was a failure"+m)
}

问题

这符合我的期望，但我对使用方法有一些疑问：

• 对于这个用例，是否有一个易于使用的替代scalaz？ 如果我不需要，我宁愿不打开潘多拉的盒子并引入scalaz。
• 我不想使用scalaz的一个原因是，如果你不像我一样知道整个框架，那真的很难弄清楚要做什么。 例如，使上述代码工作所需的隐含列表是什么？ import scalaz._不知怎的对我不起作用。[1] 我怎样才能从API文档中找到答案？
• 是否有更简洁的方式来表达验证用例？ 我偶然发现了，直到我到达了一些有用的东西，我不知道是否还有其他更好的方法在scalaz中做同样的事情。

[1]经过多次惊愕，我得到了针对应用用例的这组导入。 希望这有助于某人：

import scalaz.std.string._
import scalaz.syntax.std.option._
import scalaz.syntax.apply._
import scalaz.Success
import scalaz.Failure

Answer 1

你可以通过定义一个帮助器方法并使用.apply跳过.tupled步骤来.apply ：

import scalaz._, Scalaz._

def lookup[K, V](m: Map[K, V], k: K, message: String): ValidationNel[String, V] =
  m.get(k).toSuccess(NonEmptyList(message))

val validated: ValidationNel[String, HttpConnectionParams] = (
  lookup(a, "url", "Url must be supplied") |@|
  lookup(a, "username", "Username must be supplied") |@|
  lookup(a, "password", "Password must be supplied")
)(HttpConnectionParams.apply)

另外，请不要羞于使用import scalaz._, Scalaz._ 。 我们都这样做，在绝大多数情况下都很好。 您可以随时返回并优化您的导入。 我还坚持多年前写的这个答案 - 你不应该觉得你需要全面了解Scalaz（或猫）才能有效地使用它。