AllTypeAnnotations

Provides all type annotations for the fields or constructors of case class-like or sum type T.

If type T is case class-like, this type class inspects its fields and provides their type annotations. If type T is a sum type, its constructor types are looked for type annotations as well.

Type Out is an HList having the same number of elements as T (number of fields of T if T is case class-like, or number of constructors of T if it is a sum type). It is made of HNil (no annotations for corresponding field or constructor) or HLists (list of annotations for corresponding field or constructor).

Method apply provides an HList of type Out made of HNil (corresponding field or constructor not annotated) or HList (corresponding field or constructor has annotations).

Note that type annotations must be case class-like for this type class to take them into account.

Example:

case class First(s: String)
case class Second(i: Int)

case class CC(i: Int, s: String @First("a") @Second(0))

val ccFirsts = AllTypeAnnotations[CC]

// ccFirsts.Out is  HNil :: (First :: Second :: HNil) :: HNil
// ccFirsts.apply() is
//   HNil :: (First("a") :: Second(0) :: HNil) :: HNil

This implementation is based on shapeless.Annotations by Alexandre Archambault.