scala – 用于无形Hlist的Generic Poly2文件夹案例

发布时间：2020-12-16 09:56:45 所属栏目：安全来源：网络整理

导读：我正在尝试转换以下HList Some(C(15)) :: None :: Some(B(55)) :: None :: Some(A(195)) :: HNil 至 C(15) :: B(55) :: A(195) :: HNil 这就是我现在所拥有的： import shapeless._ case class A(value: Int) case class B(value: Int) case class C(value:

我正在尝试转换以下HList

Some(C(15)) :: None :: Some(B(55)) :: None :: Some(A(195)) :: HNil

至

C(15) :: B(55) :: A(195) :: HNil

这就是我现在所拥有的：

import shapeless._
  case class A(value: Int)
  case class B(value: Int)
  case class C(value: Int)

  trait folderLP extends Poly2 {
    implicit def default[T,L <: HList] = at[T,L]((acc,t) => acc)
  }
  object folder extends folderLP {
    implicit def none[T,L <: HList] = at[None.type,L]((t,acc) => acc)

    implicit def someDiameter[T,L <: HList] = at[Some[C],acc) => t.get :: acc)

    implicit def someRatio[T,L <: HList] = at[Some[B],acc) => t.get :: acc)

    implicit def someWidth[T,L <: HList] = at[Some[A],acc) => t.get :: acc)
  }
  val test = Some(C(15)) :: None :: Some(B(55)) :: None :: Some(A(195)) :: HNil

  val filtered = test.foldRight[HList](HNil)(folder)

这是有效的,但我想使这个通用,以便它适用于包含在Some中的任何类型,而无需编写每个案例

解决方法

首先是字面答案.请注意,大多数T类型参数未被使用.您可以使用该T使您的函数匹配Some [T]类型的任何元素：

trait folderLP extends Poly2 {
  implicit def default[T,L]((_,acc) => acc)
}

object folder extends folderLP {
  implicit def some[T,L <: HList] = at[Some[T],acc) => t.get :: acc)
}

请注意,如果在默认情况下切换参数的顺序,则甚至不需要无情况.

另请注意,您可能希望使用以下过滤定义：

val filtered = test.foldRight(HNil: HNil)(folder)

这个将静态输入HNil作为HNil而不是HList,这对于您想要在线下执行的任何操作都很有用 – 例如在原始版本上尝试filter.length然后在此版本上.

你甚至不需要折叠这个操作,但是flatMap会做：

trait filterLP extends Poly1 {
  implicit def any[T] = at[T](_ => HNil)
}

object filter extends filterLP {
  implicit def some[T] = at[Some[T]](_.get :: HNil)
}

然后：

val filtered = test.flatMap(filter)

最后,值得注意的是,这只适用于HList,其中None和Some元素被静态地键入为None而Some-a Some [例如静态类型为Option [A]的将被过滤掉.这使得它有点无用(至少我看不到实际用途),但是如果你在编译时不知道Option是否为空,那么就没有任何方法可以执行这种类型级别的过滤器或不.

（编辑：李大同）

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