Updates or adds to this record a field of type F.
Remove the field associated with the singleton typed key k, returning the updated record.
Remove the field associated with the singleton typed key k, returning the updated record. Only available if this record has a field with keyType equal to the singleton type k.T.
Align the keys on the order of HList of keys K
Returns the value associated with the singleton typed key k.
Returns the value associated with the singleton typed key k. Only available if this record has a field with with keyType equal to the singleton type k.T.
Note that this can creates a bogus ambiguity with HListOps#apply
as described in
https://issues.scala-lang.org/browse/SI-5142. If this method is accessible the conflict can be worked around by
using HListOps#at instead of HListOps#apply
.
Returns the deep union of this record and another record.
Extracts super-record from sub-record according to depth subtype relation
Returns the value associated with the singleton typed key k.
Returns the value associated with the singleton typed key k. Only available if this record has a field with with keyType equal to the singleton type k.T.
Returns a HList
made of the key-value pairs of this record.
Returns the value associated with the singleton typed key k.
Returns the value associated with the singleton typed key k. Only available if this record has a field with with keyType equal to the singleton type k.T.
Returns the keys of this record as an HList
of singleton typed values.
Maps a higher rank function across the values of this record.
Returns the union of this record and another record.
Returns the union of this record and another record using the provided f
to combine the values of fields which are present in both.
Returns the union of this record and another record using the provided f
to combine the values of fields which are present in both.
The duplicated fields will be merged with f
.
Returns a wrapped version of this record that provides selectDynamic
access to fields.
Remove the field associated with the singleton typed key k, returning both the corresponding value and the updated record.
Remove the field associated with the singleton typed key k, returning both the corresponding value and the updated record. Only available if this record has a field with keyType equal to the singleton type k.T.
Rename the field associated with the singleton typed key oldKey.
Rename the field associated with the singleton typed key oldKey. Only available if this record has a field with keyType equal to the singleton type oldKey.T.
Replaces the value of field k with a value of the same type.
Replaces the value of field k with a value of the same type. Only available if this record has a field with keyType equal to the singleton type k.T and valueType equal to V.
Returns a Map
whose keys and values are typed as the Lub of the keys
and values of this record.
Updates a field having a value with type A by given function.
Updates or adds to this record a field with key k.
Updates or adds to this record a field with key k. The new field has a value of type V. Only available if this record has a field with keyType equal to the singleton type k.T.
Returns a HList
of the values of this record.
Record operations on
HList
's with field-like elements.