scala – 在无形状中,有两个列表,其中一个包含另一个的类型

发布时间：2020-12-16 08:55:50 所属栏目：安全来源：网络整理

导读：在无形状中,我正在尝试编写一个函数,使得任意长度的两个HList l1和l2具有以下属性： l1和l2的长度相同. l2包含l1的确切类型,包含在常量外部类型构造函数中. 所以,如果l1是 1 :: 1.2 :: "hello" :: HNil` l2可能 Ordering[Int] :: Ordering[Double] :: Orderi

在无形状中,我正在尝试编写一个函数,使得任意长度的两个HList l1和l2具有以下属性：

> l1和l2的长度相同.
> l2包含l1的确切类型,包含在常量外部类型构造函数中.

所以,如果l1是

1 :: 1.2 :: "hello" :: HNil`

l2可能

Ordering[Int] :: Ordering[Double] :: Ordering[String] :: HNil

使用UnaryTCConstraint和LengthAux可以限制长度,并且需要l2的静态外部构造函数,但是使它们符合是一个问题.

关于我如何去做的任何想法？

解决方法

Mapped精确地提供了这种约束,而无需额外的长度.从 the documentation开始：

Type class witnessing that the result of wrapping each element of
HList L in type constructor F is Out.

这是它在1.2.4中的表现：

import shapeless._

def foo[L1 <: HList,L2 <: HList](l1: L1,l2: L2)(implicit
  ev: MappedAux[L1,Ordering,L2]
) = ()

val l1 = 1 :: 1.2 :: "hello" :: HNil
val l2 = Ordering[Int] :: Ordering[Double] :: Ordering[String] :: HNil
val l3 = Ordering[Int] :: Ordering[Double] :: Ordering[Char] :: HNil

然后：

scala> foo(l1,l2)

scala> foo(l1,l3)
<console>:17: error: could not find implicit value for parameter ev: ...

正如所料.对于2.0,只需添加一个shapeless.ops.hlist._ import并用Mapped.Aux替换MappedAux,你就可以开始了.

（编辑：李大同）

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