Автоматически переносить HList в запись - PullRequest
Новая
       31

Автоматически переносить HList в запись

1 голос
/ 09 апреля 2020

Моя цель - автоматически передать HList в Record по требованию.

Обратите внимание, что приведенный ниже код написан в Scala 2.13 и использует одиночные типы вместо Symbol s. 

import shapeless._
import shapeless.record._
import shapeless.labelled._

type BestBeforeDate = Record.`"day" -> Option[Int], "month" -> Option[Int], "year" -> Int`.T

object PolyToField extends Poly1 {
   implicit def mapA[A, K]: Case.Aux[A, FieldType[K, A]] = at[A](a => field[K][A](a))
}

val x: BestBeforeDate = (None :: None :: 12 :: HNil)
   .map(PolyToField)

Я получаю эту ошибку: 

type mismatch;
 found   : None.type with shapeless.labelled.KeyTag[Nothing,None.type] :: None.type with shapeless.labelled.KeyTag[Nothing,None.type] :: Int with shapeless.labelled.KeyTag[Nothing,Int] :: shapeless.HNil
 required: emergencymanager.commons.data.package.BestBeforeDate
    (which expands to)  Option[Int] with shapeless.labelled.KeyTag[String("day"),Option[Int]] :: Option[Int] with shapeless.labelled.KeyTag[String("month"),Option[Int]] :: Int with shapeless.labelled.KeyTag[String("year"),Int] :: shapeless.HNil

Кажется, что параметр второго типа функции Poly1 выведен на Nothing вместо того, что мне нужно.

Как мне этого добиться?

1 Ответ

1 голос
/ 09 апреля 2020

Во-первых, вы должны указать типом надписи, что None имеет тип Option[...] (вот почему в Cats есть none[...] и .some, см. также , элемент 9).

Во-вторых, вы должны использовать маппер с типом возврата вместо стандартного shapeless.ops.hlist.Mapper 

trait MapperWithReturnType[HF, Out <: HList] extends Serializable {
  type In <: HList
  def apply(t: In): Out
}

object MapperWithReturnType {
  type Aux[HF, Out <: HList, In0 <: HList] = 
    MapperWithReturnType[HF, Out] { type In = In0 }
  def instance[HF, Out <: HList, In0 <: HList](f: In0 => Out): Aux[HF, Out, In0] = 
    new MapperWithReturnType[HF, Out] {
      override type In = In0
      override def apply(t: In0): Out = f(t)
    }

  implicit def hnilMapper[HF <: Poly]: Aux[HF, HNil, HNil] = instance(_ => HNil)

  implicit def hconsMapper[HF <: Poly, InH, InT <: HList, OutH, OutT <: HList](implicit
    hc : poly.Case1.Aux[HF, InH, OutH],
    mt : Aux[HF, OutT, InT]
  ): Aux[HF, OutH :: OutT, InH :: InT] = instance(l => hc(l.head) :: mt(l.tail))
}

implicit final class HListOps[L <: HList](l : L) extends Serializable {
  def mapWithReturnType[Out <: HList](f: Poly)(implicit 
    mapper: MapperWithReturnType.Aux[f.type, Out, L]
  ): Out = mapper(l)
}

val x = ((None: Option[Int]) :: (None: Option[Int]) :: 12 :: HNil)
    .mapWithReturnType[BestBeforeDate](PolyToField)

x: BestBeforeDate
...