The type of fields with keys of singleton type K
and value type V
.
Utility trait intended for inferring a record type from a sample value and unpacking it into its key and value types.
Yields a result encoding the supplied value with the singleton type K' of its key.
Record operations on
HList
's with field-like elements.