Scala HList에서 요소를 읽는 방법?

Question

HList에 관해서는 거의 읽을 수있는 문서가 없기 때문에 내가 찾을 수있는 대답은 우주 공간에서 나온다. 겸손한 스칼라 초보자를위한 것이다.

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 

지금 주어진 일, 나는 하나 개의 요소, 가능하면 입력을 읽을 필요가 것입니다. 나는 그렇게 할 수 없다. 나는 누군가가 내가 그 공룡에서 특정 값을 추출하는 방법을 설명시겠습니까

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

단지 하나만 ... 으로 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