加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

scala – 将HList中的验证应用于案例类

发布时间:2020-12-16 18:04:23 所属栏目:安全 来源:网络整理
导读:在尝试使用应用程序仿函数( Monad to catch multiple exceptions (not just fail on single))进行验证时,我在scalaz中遇到了一个不允许超过14个仿函数的硬限制,因此这里有用的评论( https://github.com/scalaz/scalaz/issues/504#issuecomment-23626237)导航
在尝试使用应用程序仿函数( Monad to catch multiple exceptions (not just fail on single))进行验证时,我在scalaz中遇到了一个不允许超过14个仿函数的硬限制,因此这里有用的评论( https://github.com/scalaz/scalaz/issues/504#issuecomment-23626237)导航我使用HLists而不是applicative functors

现在它工作得很好(从此处手动输入此序列文件,因为它不在maven https://github.com/typelevel/shapeless-contrib/blob/master/scalaz/main/scala/sequence.scala?source=c)

我的问题是,我知道这是可能的,你将如何自动实例化案例类Foo(i:Int,s:String)而无需手动将模式与案例匹配,只是再次重新应用参数

基本上我想做这样的事情

case class Foo(i:Int,s:String)

  implicit def TwoFoo = Iso.hlist(Foo.apply _,Foo.unapply _)

  val someFoo = sequence(
      1.successNel[Int] ::
      "2".successNel[String] ::
      HNil
  ).map { Foo.apply _} // Note this doesn't work

  someFoo match {
    case Success(a) => println(a)
    case Failure(a) => {
      println("failure")
      println(a)
    }
  }

解决方法

首先是一个小问题:successNel的类型参数是错误类型,而不是成功类型,因此它需要在所有要排序的参数中相同.

所以我们可以编写以下内容(假设我们的错误是字符串):

import shapeless._,contrib.scalaz._
import scalaz._,syntax.validation._

case class Foo(i: Int,s: String)

implicit val fooIso = Iso.hlist(Foo.apply _,Foo.unapply _)

val valHList = sequence(1.successNel[String] :: "2".successNel[String] :: HNil)

这给了我们验证中的Int :: String :: HNil.现在我们可以使用我们的同构:

scala> valHList.map(fooIso.from)
res0: scalaz.Validation[scalaz.NonEmptyList[String],Foo] = Success(Foo(1,2))

无需解构列表并手动应用Foo构造函数.

(编辑:李大同)

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

    推荐文章
      热点阅读