PropertyExists trait

PropertyExists.scala

@implicitNotFound(msg = "${PName} not found in ${T}")
trait PropertyExists[T, PName, PType]

object PropertyExists {
  def apply[T, PType](column: Witness)(
      implicit exists: PropertyExists[T, column.T, PType]): PropertyExists[T, column.T, PType] =
    exists

  implicit def implicitProvider[T, H <: HList, PName, PType](
      implicit
      gen: LabelledGeneric.Aux[T, H],
      selector: Selector.Aux[H, PName, PType]
  ): PropertyExists[T, PName, PType] = new PropertyExists[T, PName, PType] {}
}