amnaredo / test

0 stars 0 forks source link

Make derive.key a case class such that shapeless.Annotation can pick it up #166

Open amnaredo opened 2 years ago

amnaredo commented 2 years ago

Shapeless has this interesting Annotation[A, T]. From the comments:

If type T has an annotation of type A, then an implicit Annotation[A, T] can be found, and its apply method provides an instance of the annotation.

A current limitation is that such an implicit is found only when the annotation is a case class. It would thus be useful to make derive.key a case class such that other mechanisms could utilise shapeless.Annotation to extract its values.

ID: 144 Original Author: jppellet