Note that the representation does not include the labels! The labels are actually encoded in the generic type representation
using shapeless.Witness types.
As with shapeless.Generic, the representation for Animal captures the subclass embedding rather than the fields in the class,
using shapeless.Coproduct:
scala> val lgenAnimal = LabelledGeneric[Animal]
lgenAnimal: shapeless.LabelledGeneric[Animal]{ type Repr = Union.`'Cat -> Cat, 'Dog -> Dog`.T } = ...
scala> lgenAnimal.to(odie)
res16: lgenAnimal.Repr = Dog(odie,3)
scala> genAnimal.to(odie) match { case Inr(Inl(dog)) => dog ; case _ => ???}
res19: Dog = Dog(odie,3)
T
the type which this instance can convert to and from a labelled generic representation
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
Alphabetic
By inheritance
Inherited
LabelledGeneric
Serializable
Serializable
AnyRef
Any
Hide All
Show all
Visibility
Public
All
Type Members
abstract typeRepr
The generic representation type for {T}, which will be composed of {Coproduct} and {HList} types
LabelledGeneric is similar to Generic, but includes information about field names or class names in addition to the raw structure.
Continuing the example from shapeless.Generic, we use LabelledGeneric to convert an object to an shapeless.HList:
Note that the representation does not include the labels! The labels are actually encoded in the generic type representation using shapeless.Witness types.
As with shapeless.Generic, the representation for Animal captures the subclass embedding rather than the fields in the class, using shapeless.Coproduct:
the type which this instance can convert to and from a labelled generic representation