Scala: вопрос о бесформенном преобразовании HList в список - PullRequest
Новая
       61

Scala: вопрос о бесформенном преобразовании HList в список

0 голосов
/ 15 ноября 2018

Я новичок в бесформенном (и все еще низком уровне в изучении scala ...), и мне трудно с бесформенным 

import shapeless._
case class FooBar[T](foo: String, bar: T)
val hl = 0 :: FooBar("A", "one") :: FooBar("B", 1) :: "0" :: FooBar("C", "two") :: HNil
val l = hl.filter[FooBar[String]].toList
println(l) //List(FooBar(A,one), FooBar(C,two))

Отлично работает

Следующий шаг, я хочу поставить это в функцию, что-то вроде 

def filter[T](hl: HList): List[FooBar[T]] = ???

чтобы я мог упростить вызов до 

filter[String](hl)
filter[Int](hl)

наивно я проверял 

def filter[T](hl: HList): List[FooBar[T]] = {
  hl.filter[FooBar[T]].toList
}

которые дают 

 could not find implicit value for parameter partition: shapeless.ops.hlist.Partition[shapeless.HList,FooBar[T]]

после некоторых попыток поиграть с неявным, я все еще не нашел правильный способ сделать это

У вас есть идеи?

Спасибо!

1 Ответ

0 голосов
/ 16 ноября 2018

Если вам не хватает некоторых последствий, то в вашем методе вы должны предполагать, что они предоставлены.Сказать, что аргумент метода имеет тип HList (а не какой-то конкретный L <: HList), слишком грубо.

Так как, вероятно, вы хотели бы указать T, а не указать L (ожидая, что L будет выведено) попробуйте класс типа + метод расширения 

import shapeless._
import shapeless.ops.hlist.{Partition, ToTraversable}

case class FooBar[T](foo: String, bar: T)
val hl = 0 :: FooBar("A", "one") :: FooBar("B", 1) :: "0" :: FooBar("C", "two") :: HNil

trait FilterFooBar[L <: HList, T] {
  def apply(l: L): List[FooBar[T]]
}

object FilterFooBar {
  implicit def mkFilterFooBar[L <: HList, T, Prefix <: HList, Suffix <: HList](implicit
    partition: Partition.Aux[L, FooBar[T], Prefix, Suffix],
    toTraversable: ToTraversable.Aux[Prefix, List, FooBar[T]]
  ): FilterFooBar[L, T] = _.filter.toList    
}

implicit class FilterFooBarOp[L <: HList](l: L) {
  def filterFooBar[T](implicit filterFooBarInstance: FilterFooBar[L, T]): List[FooBar[T]] = 
    filterFooBarInstance(l)
}

println(hl.filterFooBar[String]) // List(FooBar(A,one), FooBar(C,two))
println(hl.filterFooBar[Int]) // List(FooBar(B,1))
...