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 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 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 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.