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

我有配置值的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) 
}

获取选项[HttpConnectionParams].这很干净,除非我得到一个无,然后我不知道缺少什么.我想提供这些信息.

使用Scalaz验证

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

从我能够组合起来(一个很好的参考是here)我可以使用析取：

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,password) 
}

这很好,因为现在我收到一条错误消息,但这是railway oriented,因为它在第一次失败时停止.如果我想获得所有错误怎么办？让我们使用验证和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,password)) => HttpConnectionParams(url,password)
  case Failure(m) => println("There was a failure"+m)
}

问题

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

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

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

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