你做
import shapeless._ ; import poly._
object fun extends (List ~>> (List, Int)) {
override def apply[T](list: List[T]): (List, Int) = list -> list.size
}
println((List(1,2,3) :: List("a", "b", "c") :: HNil).map(fun))
将每个子列表映射到一对。但是,如果HList元素更复杂,例如tutples呢?自然的尝试
object fun extends ((String -> List) ~>> (List, Int)) {
override def apply[T](list: (String -> List[T])): (List, Int) = list -> list.size
被编译器拒绝。你是做什么工作的?你在哪里可以学到它?
import shapeless._
import poly._
object fun2 extends Poly1 {
implicit def caseTuple[T] =
at[(String, List[T])](x => (x._2.tail, x._1.toInt))
}
然后:
println((("56", List(1,2,3)) :: ("78", List(4,2,3)) :: HNil).map(fun))
或者如果你想用原始~>
来做,它仍然是可能的,但看起来很丑陋:
object fun3 extends (({type L[T] = (String, List[T])})#L ~> ({type L[T] = (List[T], Int)})#L) {
override def apply[T](f: (String, List[T])): (List[T], Int) = f match {
case (str, list) => (list.tail, str.toInt)
}
}
println((("56", List(1,2,3)) :: ("78", List(4,2,3)) :: HNil).map(fun3))
附言另请注意,您的代码示例无法编译。您在第一部分中错过了[T]
,您需要使用~>
,并且在最后一部分中String -> List
scala 中是错误的类型。 List
是类型构造函数,而不是类型,你不能这样使用它