私はUnionをHListという2つから作成しました。EとFとしましょう。このUnionから、タイプEの新しいHListをお返しします。元のリストと同じ値を持っていますが、私は気にしない、私は実際には正しいタイプ とHListをしたいそれは必ずしも、私が欲しいのは1つの関数にまとめることができません。 def selectFromUnion[E <: HList, F <: HList](u: U
Hackageを検索したところ、次のようなものは見つかりませんでしたが、それはかなりシンプルで便利です。ある種のデータ型を含むライブラリはありますか？ data HList c where
(:-) :: c a => a -> HList c
Nil :: HList c
私が見つけたすべてのHListは、任意のタイプを持つことができ、制約されませんでした。 私は自分自身
私は、scalaのshapelessパッケージからHListの型をその値にアクセスすることなくマップしようとしました。 以下はHList import shapeless._
import shapeless.Poly._
import ops.hlist.Mapper
import ops.hlist.Mapper._
trait Person {
type Value