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.
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 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 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.
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 type F and value type F#valueType.
Returns an HList
of the values of this record.
Record operations on
HList
's with field-like elements.