Преобразование типа C бесформенным

у меня есть класс похожий на этот:

class MyClass[T <: HList] {
  val x: ???
}

моя проблема заключается в типе x Вэл. Я хочу, чтобы он быть горизонтального типа U на T HList заменен на Option[U]. Т. е. если я укажу:

new MyClass[Int :: String :: HNil]

Я бы x иметь тип Option[Int] :: Option[String] :: HNil

это вообще возможно? Как это сделать?

1 ответов


вам понадобится Mapped экземпляр, что свидетели T и типа x имеем отношения:

import shapeless._, ops.hlist.Mapped

abstract class MyClass[T <: HList, OT <: HList](implicit
  mapped: Mapped.Aux[T, Option, OT]
) {
  val x: OT
}

к сожалению, это неудобно для создания экземпляра:

new MyClass[Int :: String :: HNil, Option[Int] :: Option[String] :: HNil] {
  val x = Some(0) :: Some("") :: HNil
}

есть способы обойти это, но они требуют некоторых дополнительных изменений. Например, можно разрешить выводить оба параметра типа:

import shapeless._, ops.hlist.Comapped

class MyClass[T <: HList, OT <: HList](val x: OT)(implicit
  mapped: Comapped.Aux[OT, Option, T]
)

и затем:

new MyClass(Option(0) :: Option("") :: HNil)

или вы можете использовать что-то ближе к первоначальной класса с пользовательский конструктор в сопутствующем объекте:

import shapeless._, ops.hlist.Mapped

abstract class MyClass[T <: HList] {
  type OT <: HList
  def mapped: Mapped.Aux[T, Option, OT]
  val x: OT
}

object MyClass {
  class PartiallyApplied[T <: HList] {
    def apply[OT0 <: HList](x0: OT0)(implicit
      mapped0: Mapped.Aux[T, Option, OT0]
    ): MyClass[T] =
      new MyClass[T] {
        type OT = OT0
        val mapped: Mapped.Aux[T, Option, OT] = mapped0
        val x: OT = x0
      }
  }

  def apply[T <: HList]: PartiallyApplied[T] = new PartiallyApplied[T]
}

и затем:

MyClass[Int :: String :: HNil](Option(0) :: Option("") :: HNil)

какой из этих подходов более подходит, будет зависеть от того, как вы используете класс.