Passing a shapeless extensible record to a function (never ending story?

Question

I continue to investigate extensible records as in Passing a Shapeless Extensible Record to a Function (continued): the provided solution works with functions that all takes a p

Answer 1

This is a lot easier without an additional type class with the new-ish Witness syntax:

import shapeless._, ops.record.Selector, record._, syntax.singleton._

// Uses "foo1" and "foo2" fields; note that we get the appropriate static types.
def fun1[L <: HList](l: L)(implicit
   foo1: Selector.Aux[L, Witness.`"foo1"`.T, String],
   foo2: Selector.Aux[L, Witness.`"foo2"`.T, Int]
): (String, Double) = (foo1(l), foo2(l))

And then if we have this record:

val rec = ("foo1" ->> "hello") :: ("foo2" ->> 1) :: ("foo3" ->> 1.2) :: HNil

We get this:

scala> fun1(rec)
res0: (String, Double) = (hello,1.0)

The new syntax allows us to avoid creating witness values separately, so it's pretty easy to just require the Selector instances you need.