scala – 如何将元素追加到HList
发布时间:2020-12-16 18:12:53 所属栏目:安全 来源:网络整理
导读:我正在尝试下面的课程 import shapeless._import syntax.std.tuple._class TestedClass[HL](nodes: HL) { def addElement[T,OUT](clause: HL = T) = { new TestedClass[OUT](nodes :+ clause(nodes)) }} 显然这个片段没有编译.我不知道如何将新的元组节点:
我正在尝试下面的课程
import shapeless._ import syntax.std.tuple._ class TestedClass[HL](nodes: HL) { def addElement[T,OUT](clause: HL => T) = { new TestedClass[OUT](nodes :+ clause(nodes)) } } 显然这个片段没有编译.我不知道如何将新的元组节点:子句(节点)类型绑定到OUT.我想要实现的目标如下: scala> val step1 = new TestedClass[(Int)](1) res1: TestedClass[(Int)] scala> val step2 = step1.addElement(nodes => 2.0) res1: TestedClass[(Int,Double)] Scala有可能吗? 解决方法
是的,虽然不是很好,但可能是因为Scala不为Tuple1提供语法.但以下内容将起作用:
import shapeless._,ops.tuple.Prepend class TestedClass[HL](nodes: HL) { def addElement[T,OUT](clause: HL => T) (implicit prepend: Prepend.Aux[HL,Tuple1[T],OUT]) = { new TestedClass[OUT](prepend(nodes,Tuple1(clause(nodes)))) } } 然后: scala> val step1 = new TestedClass[Tuple1[Int]](Tuple1(1)) step1: TestedClass[(Int,)] = TestedClass@4fb78b02 scala> val step2 = step1.addElement(nodes => 2.0) step2: TestedClass[(Int,Double)] = TestedClass@20406333 无论何时想要使用Shapeless中的操作,基本技巧都是找到所需的类型类,并将相应的实例作为隐式参数.在这种情况下,Prepend for tuples就是我们想要的. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |