在无形 HMap 中添加或修改值

Add or modify values in a shapeless HMap

有谁知道如何在无形 HMap 中添加或修改值?我在 HMap 定义中看到的唯一函数是:

我怀疑我需要使用镜头?

shapeless.HMap 是不可变的。它是 scala.collection.immutable.Map.

的包装器(具有 type-level 增强功能)

+ 添加或修改一对(返回新的 HMap)。

镜头也会创建副本。 Immutability/persistence 是典型的 FP。