scala - Slick: CRUD 拡張機能: 暗黙的なマッピングをカプセル化する方法:BaseColumnType[T]

Question

Slick CRUD には次の API があります (Slick-2.1.0、Scala-2.11.4):

trait HasId {
  type Id
  def id: Option[Id]
}
trait HasIdColumn[E <: HasId] {
  def id: scala.slick.lifted.Column[E#Id]
}
trait SlickExtensions {
    val driver: scala.slick.driver.JdbcProfile
    import driver.simple._

    trait BaseDAO[T <: Table[E], E] {
      val query: TableQuery[T]
    }
    trait HasIdActions[T <: Table[E] with HasIdColumn[E], E <: HasId] 
      extends BaseDAO[T, E] {
      //line L1: this implicit val is needed to execute query.filter(_.id === id)
      // what can be done in order to save the user from the necessity 
      // to override this value?
      implicit val mappingId: BaseColumnType[E#Id]

      def findById(id: E#Id)(implicit session: Session): Option[E] = 
          query.filter(_.id === id).firstOption
      ...
    }
}

この SlickExtensions を次のように適用します。

case class Entity(id: Option[Long] = None, value: String) extends HasId { 
   type Id = Long }

trait EntityComponent extends SlickExtensions {
    import driver.simple._

    class EntitiesTable(tag: Tag) extends Table[Entity](tag, "entities") 
     with HasIdColumn[Entity] {
      def id = column[Long]("id", O.PrimaryKey, O.AutoInc)
      def value = column[String]("value", O.NotNull)
      def * = (id.?, value) <>(Entity.tupled, Entity.unapply)
    }

    object Entities extends HasIdActions[EntitiesTable, Entity] {
      val query = TableQuery[EntitiesTable]
      /* line L2: from slick library: ImplicitColumnTypes */
      override implicit val mappingId = driver.simple.longColumnType
    }
  }

クエリを実行するエンドポイント:

val c = new EntityComponent {
    lazy val driver = play.api.db.slick.Config.driver
}

db.withSession { implicit session =>
    c.Entities.findById(1) foreach println
}

---

主な問題は、L2 行でオーバーライドされている「暗黙の val mappingId」を取り除く方法ですか?

クラスを作成しようとしました：

abstract class IdImplicits[E<:HasId](implicit val mappingId:BaseColumnType[E#Id])

そしてそれを次のように継承しました：

object Entities extends IdImplicits[EntitiesTable, Entity] 
   with HasIdActions[EntitiesTable, Entity] {
      val query = TableQuery[EntitiesTable]
      //override implicit val mappingId: driver.simple.longColumnType
}

しかし、そのようなアプローチは冗長であるように私には思えます。SlickExtensions 内に "implicit val mappingId" を隠せたら最高です。

ここに同じ質問へのリンクがあります

---

更新:

私のプロジェクトでは、HasName、HasValue[V]、およびその他の mixin を追加して、次の DAO を構築したいと考えています。

object EntitiesDAO extends HasIdActions 
  with HasNameActions 
  with HasValueActions with NameToIdActions with ValueToIdActions {
    ...
    override def nameToId(name:String):Option[E#Id]
    override def valueToId(value:E#ValueType):Option[E#Id]
    ...
}

これは、次の問題につながります。

1) 私のトピックで述べた BaseColumnTypes の暗黙の値は、HasId、HasValue ミックスインについて考慮する必要があります。

2) 暗黙の BaseColumnTypes が抽象クラスのコンストラクターのパラメーターとして使用されている場合、これらのクラスを 1 つの EntityDAO オブジェクトに混在させることはできません (問題は here で説明されています)。

3) EntityDAO のバリアントごとに 1 つの抽象クラスが使用される場合、見栄えの悪い組み合わせが得られます。次に例を示します。

abstract class IdValueNameImplicits[E <: HasId with HasValue with HasName]
     (implicit val idMapper:BaseColumnType[E#Id], 
      implicit val valueMapper:BaseColumnType[E#ValueType])