How to replace id type by type parameter in this slick generic DAO trait?

Question

How to replace concrete type Long by a type parameter ID ?

trait GenericDaoProfile[T <: HasId[Long]] {

  this: JdbcProfile =>

  import driver.api._

  trait HasIdColumn {
    def id: Rep[Long]
  }

  trait GenericDao[TB <: Table[T] with HasIdColumn] extends Dao[Long, T] {
    val query: TableQuery[TB]
    override def store(t: T): Option[Long] = {
      assert(t.id.isEmpty)
      Some(Await.result(DB.db.run((query returning query.map(_.id)) += t), Duration.Inf))
    }
  }    
}

I have tried:

trait GenericDaoProfile[ID, T <: HasId[ID]] {

  this: JdbcProfile =>

  import driver.api._

  trait HasIdColumn {
    def id: Rep[ID]
  }

  trait GenericDao[TB <: Table[T] with HasIdColumn] extends Dao[ID, T] {
    val query: TableQuery[TB]
    override def store(t: T): Option[ID] = {
      assert(t.id.isEmpty)
      // error for code below:
      // Error:(42, 61) No matching Shape found.
      // Slick does not know how to map the given types.
      Some(Await.result(DB.db.run((query returning query.map(_.id)) += t), Duration.Inf))
    }
  }    
}

It seems like slick doesn't know how to map arbitrary type ID but primitives. Is there any way to tell the scala compiler that ID will be a primitive type?

Answer 1

override def store(t: T)
(implicit shape: Shape[_ <: FlatShapeLevel, Rep[ID], ID, Rep[ID]])

You may need to provide a shape like this