Type class supporting converting this record to a HList
of key-value pairs.
Type class supporting collecting the keys of a record as an HList
.
Type class supporting mapping a higher rank function over the values of a record.
Type class support record merging.
Type class supporting modification of a record field by given function.
Type class supporting removal and re-insertion of an element (possibly unlabelled).
Type class supporting removal and re-insertion of an element (possibly unlabelled).
Type class supporting removal and re-insertion of an HList
of elements (possibly unlabelled).
Type class supporting removal and re-insertion of an HList
of elements (possibly unlabelled).
Type class supporting record field removal.
Type class supporting record field removal.
Type class supporting renaming of a record field.
Type class supporting renaming of a record field.
Type class supporting multiple record field selection.
Type class supporting multiple record field selection.
Type class supporting record field selection.
Type class supporting record field selection.
Type class supporting collecting the keys tagged by value types as a HList
of FieldType[V, K]
.
Type class supporting converting this record to a Map
whose keys and values
are typed as the Lub of the keys and values of this record.
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
s instead of a zipped one.
Type class supporting record update and extension.
Type class supporting collecting the value of a record as an HList
.
Type class supporting modification of a record field by given function.