Type class supporting converting this union to a Coproduct
of key-value pairs.
Type class supporting collecting the keys of a union as an HList
.
Type class supporting mapping a higher rank function over the values of a union.
Type class supporting union member selection.
Type class supporting union member selection.
Type class supporting converting this union to a Map
whose keys and values
are typed as the Lub of the keys and values of this union.
Type class combining Keys
and Values
for convenience and compilation speed.
Type class combining Keys
and Values
for convenience and compilation speed.
It's similar to Fields
, but produces distinct HList
and Coproduct
instead of a zipped Coproduct
.
Type class supporting collecting the value of a union as a Coproduct
.