Используя Слик с бесформенными горизонтального

поддержка сликом для HList, как правило, великая вещь. К сожалению, он поставляется со своей собственной реализацией, которая едва ли обеспечивает какие-либо полезные операции. Поэтому я хотел бы использовать бесформенный HList вместо этого. Это должно быть " тривиально ", но я понятия не имею, как это правильно сделать. Поискав в Интернете, я не нашел никаких доказательств того, что кому-то удалось выполнить эту задачу.

Я предполагаю, что достаточно реализовать ProvenShape (Как объявлено здесь ), но так как я не могу понять концепцию Слика (Proven)Shapes, мне не удалось реализовать это.

Я в основном собираюсь сварить это 

class   Users( tag: Tag )
extends Table[Long :: String :: HNil]( tag, "users" )
{
    def id = column[Long]( "id", O.PrimaryKey, O.AutoInc )

    def email = column[String]( "email" )

    override def * = ( id, email ) <>[TableElementType, ( Long, String )](
        _.productElements,
        hlist => Some( hlist.tupled )
    )
}

Вплоть до 

class   Users( tag: Tag )
extends Table[Long :: String :: HNil]( tag, "users" )
{
    def id = column[Long]( "id", O.PrimaryKey, O.AutoInc )

    def email = column[String]( "email" )

    override def * = id :: email :: HNil
}
1 11
scala slick

1 ответ:

Вы попали в точку - если вы можете произвести Shapes для HLists, остальная часть оборудования Слика включится в работу, чтобы произвести ProvenShape, что вам нужно для проекции по умолчанию.

Вот голая реализация, которая позволяет создать Tables из HLists: 

import scala.annotation.tailrec
import scala.reflect.ClassTag
import shapeless.{ HList, ::, HNil }
import slick.lifted.{ Shape, ShapeLevel, MappedProductShape }

final class HListShape[L <: ShapeLevel, M <: HList, U <: HList : ClassTag, P <: HList]
    (val shapes: Seq[Shape[_, _, _, _]]) extends MappedProductShape[L, HList, M, U, P] {

  def buildValue(elems: IndexedSeq[Any]) =
    elems.foldRight(HNil: HList)(_ :: _)

  def copy(shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]]) =
    new HListShape(shapes)

  def classTag: ClassTag[U] = implicitly

  def runtimeList(value: HList): List[Any] = {
    @tailrec def loop(value: HList, acc: List[Any] = Nil): List[Any] = value match {
      case HNil     => acc
      case hd :: tl => loop(tl, hd :: acc)
    }

    loop(value).reverse
  }

  override def getIterator(value: HList): Iterator[Any] =
    runtimeList(value).iterator

  def getElement(value: HList, idx: Int): Any =
    runtimeList(value)(idx)
}

object HListShape {
  implicit def hnilShape[L <: ShapeLevel]: HListShape[L, HNil, HNil, HNil] =
    new HListShape[L, HNil, HNil, HNil](Nil)

  implicit def hconsShape[L <: ShapeLevel, M1, M2 <: HList, U1, U2 <: HList, P1, P2 <: HList]
      (implicit s1: Shape[_ <: ShapeLevel, M1, U1, P1], s2: HListShape[_ <: ShapeLevel, M2, U2, P2]):
      HListShape[L, M1 :: M2, U1 :: U2, P1 :: P2] =
    new HListShape[L, M1 :: M2, U1 :: U2, P1 :: P2](s1 +: s2.shapes)
}

Я поместил реализацию на Github здесь. В принципе, я думаю, что Generic можно было бы ввести в бой для отображения классов случаев без необходимости <>.

8