用於HList的uPickle Writer

Question

我正在嘗試爲shapeless.HList創建自定義uPickle Writer，以轉換爲簡單數組而不是複雜嵌套對象。

，但我無法提供足夠的具體證據可能我映射我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]:_*) 
} 

和編譯錯誤：

could not find implicit value for parameter toTraversableAux: shapeless.ops.hlist.ToTraversable.Aux[mapper.Out,List,upickle.Js.Value]

一個人怎麼能定義函數將HList轉換爲統一List通過map？

Answer 1

我發現已經有Mapper.Aux爲了這個目的，造成methid的定義是這樣的：

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]:_*)