Scala HListから要素を読み込む方法は？

Question

HListに関する読解可能なドキュメントはほとんどなく、私がSO上に見つけることができる答えは、宇宙から来て、謙虚なScala初心者のためです。

Slickがデータベース行を表すためにいくつかを自動的に生成できるので、HListsが発生しました。彼らはslick.collection.heterogeneous.HListです（シェイプレスではありません）。 例：

type MyRow = HCons[Int,HCons[String,HCons[Option[String],HCons[Int,HCons[String,HCons[Int,HCons[Int,HCons[Option[Int],HCons[Option[Float],HCons[Option[Float],HCons[Option[String],HCons[Option[String],HCons[Boolean,HCons[Option[String],HCons[Option[String],HCons[Option[String],HCons[Option[String],HCons[Option[String],HCons[Option[Int],HCons[Option[Float],HCons[Option[Float],HCons[Option[Float],HCons[Option[String],HCons[Option[String],HNil]]]]]]]]]]]]]]]]]]]]]]]] 
def MyRow(a, b, c, ...): MyRow = a :: b :: c :: ... :: HNil 

現在、これらの行の1つを与えられ、私は可能な場合は入力された、一つの要素を読み取るために必要があると思います。私はちょうどそれを行うことはできません。試しました

row(4) // error 
row._4 // error 
row.toList // elements are inferred as Any 
row match { case a :: b :: c :: x :: rest => x } // "Pattern type is incompatible. Expected MyRow." 
row match { case MyRow(_,_,_,_,_,x,...) => x } // is not a case class like other rows 
row match { HCons[Int,HCons[String,HCons[Option[String],HCons[Int,HCons[String, x]]]]] => x.head } // error 
row.tail.tail.tail.tail.head // well, is that really the way?? 

誰かがその恐竜から特定の価値を引き出す方法を教えてください。

Answer 1

私はあなたのrow(0)検索がHList API doc for applyに基づいて動作することを期待したいです。以下は、Slick 3.1.1で試した例です。

scala> import slick.collection.heterogeneous._ 
import slick.collection.heterogeneous._ 

scala> import slick.collection.heterogeneous.syntax._ 
import slick.collection.heterogeneous.syntax._ 

scala> type MyRow = Int :: String :: HNil 
defined type alias MyRow 

scala> val row: MyRow = 1 :: "a" :: HNil 
row: MyRow = 1 :: a :: HNil 

scala> row(0) + 99 
res1: Int = 100 

scala> val a: String = row(1) 
a: String = a 

これが機能しない場合は、表示されるエラーを共有できますか。

Answer 2

ちょうど1つ...ちょうどとしてHListに固執することよりもそれほど重要でない場合...必要がない限りaliasをMyRowにしないでください。

..だからあなたはこれについて

val row = a :: b :: c :: ... :: HNil 

どのようにしていましたか？

val yourX = row match { case a :: b :: c :: x ::: rest => x } 

通知:::代わりの終わりに::こと。

それとも...どのようにこのことについて、

val yourX = row.tail.tail.tail.head 

// this may change a little if you had, 
def MyRow(a, b, c, ...): MyRow = a :: b :: c :: ... :: HNil 

val row = MyRow(a, b, c, ...) 

val yourX = row.asInstanceOf[HList].tail.tail.tail.head