shapeless-test.scala

import shapeless._
import shapeless.record._
import shapeless.labelled._
import shapeless.syntax.singleton._

type BookRecord = FieldType[Witness.`"author"`.T, String] ::
  FieldType[Witness.`"title"`.T, String] ::
  FieldType[Witness.`"id"`.T, Double] ::
  FieldType[Witness.`"price"`.T, Double] ::
  HNil

val book: BookRecord = ("author" ->> "test") ::
    ("title"  ->> "test2") ::
    ("id"     ->>  1.0) ::
    ("price"  ->>  2.0) ::
    HNil

println(book("author"))
println(book("title"))
println(book("id"))
println(book("price"))