2

複雑なネストされたオブジェクトではなく、単純な配列に変換するためのカスタムuPickleを作成しようとしています。Writershapeless.HList

しかし、私は自分でマッピングできる十分な具体的な証拠を提供できませんでしたpoly

私はこのコードを持っています:

import upickle.Js
import upickle.default._
import shapeless._
import poly._
import shapeless.ops.hlist.{ToTraversable, Mapper}

object writeItem extends Poly1 {
  implicit def item[I](implicit w: Writer[I]) = at[I](w.write)(writer.write)
}

implicit def hListWriter[L <: HList, Mappr <:  Mapper[writeItem.type, L] ]
(implicit mapper: Mappr,
 trav: ToTraversable.Aux[Mappr#Out, List, Js.Value]) = Writer[L] {
  l => Js.Arr(l.map(writeItem).toList[Js.Value]:_*)
}

そしてコンパイルエラー：

パラメータの暗黙的な値が見つかりませんでしたtoTraversableAux: shapeless.ops.hlist.ToTraversable.Aux[mapper.Out,List,upickle.Js.Value]

を介しHListて均一に変換する関数をどのように定義できますか?Listmap

4

1 に答える 1

1

Mapper.Auxこの目的のために既に存在することがわかりました。結果のメソッド定義は次のようになります。

  implicit def hListWriter[L <: HList, Out <: HList]
  (implicit mapper: Mapper.Aux[writeItem.type, L, Out],
   trav: ToTraversable.Aux[Out, List, Js.Value]) = Writer[L] {
    l => Js.Arr(l.map(writeItem).toList[Js.Value]:_*)
于 2015-07-22T07:56:25.953 に答える