Как использовать shapeless для преобразования универсального Map [String, Any] в case-класс внутри универсальной функции? - PullRequest
0 голосов
/ 04 марта 2019

Я пытаюсь найти ответ здесь https://stackoverflow.com/a/31641779/1586965

То есть я хочу иметь возможность преобразовать (потенциально вложенный) Map[String, Any] в класс дел.

scalaVersion := "2.11.8"
val shapelessV = "2.3.3"

Если я попытаюсь обернуть код в ответе выше в другой универсальной функции, я не могу заставить его скомпилировать

import shapeless._, labelled._
import FromMap._

def usesGenerics[P](map: Map[String, Any]): P = {
  to[P].from(mp).get
}

Я получаю следующую ошибку компиляции

could not find implicit value for parameter gen: shapeless.LabelledGeneric.Aux[P,R]

ПОЛНЫЙ ОТВЕТ

Это включает в себя как первоначальную идею Трэвиса, так и исправление Дмитрия и, наконец, некоторое упрощение

import shapeless._, labelled.{FieldType, field}

trait FromMap[L <: HList] {
  def apply(m: Map[String, Any]): Option[L]
}

trait LowPriorityFromMap {
  implicit def hconsFromMap1[K <: Symbol, V, T <: HList](implicit
                                                         witness: Witness.Aux[K],
                                                         typeable: Typeable[V],
                                                         fromMapT: Lazy[FromMap[T]]
                                                        ): FromMap[FieldType[K, V] :: T] = new FromMap[FieldType[K, V] :: T] {
    def apply(m: Map[String, Any]): Option[FieldType[K, V] :: T] = for {
      v <- m.get(witness.value.name)
      h <- typeable.cast(v)
      t <- fromMapT.value(m)
    } yield field[K](h) :: t
  }
}

object FromMap extends LowPriorityFromMap {
  implicit val hnilFromMap: FromMap[HNil] = new FromMap[HNil] {
    def apply(m: Map[String, Any]): Option[HNil] = Some(HNil)
  }

  implicit def hconsFromMap0[K <: Symbol, V, R <: HList, T <: HList](implicit
                                                                     witness: Witness.Aux[K],
                                                                     gen: LabelledGeneric.Aux[V, R],
                                                                     fromMapH: FromMap[R],
                                                                     fromMapT: FromMap[T]
                                                                    ): FromMap[FieldType[K, V] :: T] =
    new FromMap[FieldType[K, V] :: T] {
      def apply(m: Map[String, Any]): Option[FieldType[K, V] :: T] = for {
        v <- m.get(witness.value.name)
        r <- Typeable[Map[String, Any]].cast(v)
        h <- fromMapH(r)
        t <- fromMapT(m)
      } yield field[K](gen.from(h)) :: t
    }
}

trait CaseClassFromMap[P <: Product] {
  def apply(m: Map[String, Any]): Option[P]
}

object CaseClassFromMap {
  implicit def mk[P <: Product, R <: HList](implicit gen: LabelledGeneric.Aux[P, R],
                                            fromMap: FromMap[R]): CaseClassFromMap[P] = new CaseClassFromMap[P] {
    def apply(m: Map[String, Any]): Option[P] = fromMap(m).map(gen.from)
  }

  def apply[P <: Product](map: Map[String, Any])(implicit fromMap: CaseClassFromMap[P]): P = fromMap(map).get
}

1 Ответ

0 голосов
/ 04 марта 2019

Это работает для вас?

def usesGenerics[P, R <: HList](map: Map[String, Any])(implicit gen: LabelledGeneric.Aux[P, R], fromMap: FromMap[R]): P = {
  to[P].from[R](map).get
}

Вам нужен еще один класс типов

  trait CaseClassFromMap[P <: Product] {
    def apply(m: Map[String, Any]): Option[P]
  }
  object CaseClassFromMap {
    implicit def mk[P <: Product, R <: HList](implicit
      gen: LabelledGeneric.Aux[P, R],
      fromMap: FromMap[R]
      ): CaseClassFromMap[P] = new CaseClassFromMap[P] {
      def apply(m: Map[String, Any]): Option[P] = to[P].from[R](m)
    }
  }

  def usesGenerics[P <: Product](map: Map[String, Any])(implicit fromMap: CaseClassFromMap[P]): P = {
    fromMap(map).get
  }

  usesGenerics[Person](mp)
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...