scala HList Ops -类型类是如何执行的？

jc3wubiy 于 5个月前发布在 Scala

关注(0)|答案(1)|浏览(61)

有人能解释一下为什么这段代码编译和工作起来很有魅力吗？

val a = true :: Some(5) :: true :: HNil
a.select[Some[Int]]                                // Some(5)

字符串
但这个失败了

def foo[HL <: HList](a: HL): Some[Int] = {
  a.select[Some[Int]]                              // fails
}

Implicit not found: shapeless.Ops.Selector[tp, Some[Int]]. You requested an element of type Some[Int], but there is none in the HList tp.
a.select[Some[Int]]

的数据
我不想传递一个示例。
我也试过：

type tp = Boolean :: Option[Int] :: Boolean :: HNil
def foo(a: tp): Some[Int] = a.select[Some[Int]]       // fails
foo(a)

型
但它失败了，并传递了一个信息：

Implicit not found: shapeless.Ops.Selector[tp, Some[Int]]. You requested an element of type Some[Int], but there is none in the HList tp.
a.select[Some[Int]]

型

scala

来源：https://stackoverflow.com/questions/77581504/hlist-ops-how-are-type-classes-constracted

1条答案

按热度按时间

xkrw2x1b1#

this：

def foo[HL <: HList](a: HL)
                    (implicit sel: ops.hlist.Selector[HL, Some[Int]]): Some[Int] = {
  a.select[Some[Int]]                       
}

字符串
select的完整签名是

def select[U](implicit selector: hlist.Selector[HL,U]): U

型
这里有一个隐式参数selector，因此您必须提供一个。

赞(0）回复(0）举报 5个月前

我来回答

scala HList Ops -类型类是如何执行的？

1条答案

相关问题

热门标签

最新问答