kotlin - 使用镜头更改数据类的多个属性
问题描述
我正在 Kotlin 中尝试使用Lenses,我想知道是否有一种优雅的方法可以同时更改一个对象的多个属性。假设我的域看起来像这样:
@optics
data class Parameters(
val duration: Int,
val length: Int) {
companion object
}
@optics
data class Calculation(
val product: String
val parameters: Parameters) {
companion object
}
多亏了@optics
注释,编辑单个字段很容易:
val calculation = Calculation(product = "prod", Parameters(duration = 10, length = 15))
Calculation.product.modify(calculation) { selectedProduct }
Calculation.parameters.duration(calculation) { newDuration() }
Calculation.parameters.length(calculation) { 10 }
这些镜头单独工作时效果很好,但是当我想同时应用这三个变换时,应该使用什么正确的模式呢?我可以使用 avar
并且每次都覆盖calculation
,但这对我来说并不习惯。
解决方案
Arrow 当前不公开此类功能,但您可以轻松地自己编写通用解决方案。
下面的代码片段演示了它是如何实现的,您可以添加其他方法来组合 from Lens<S, Tuple2<FA, FB>>
toLens<S, Tuple3<FA, FB, FC>>
等。
@optics data class Char(val name: String, val health: Int) {
companion object
}
infix fun <S, FA, FB> Lens<S, FA>.aside(other: Lens<S, FB>): Lens<S, Tuple2<FA, FB>> = object : Lens<S, Tuple2<FA, FB>> {
override fun get(s: S): Tuple2<FA, FB> = Tuple2(this@aside.get(s), other.get(s))
override fun set(s: S, b: Tuple2<FA, FB>): S = other.set(this@aside.set(s, b.a), b.b)
}
fun main() {
val original = Char("", 0)
val charName: Lens<Char, String> = Char.name
val charHealth: Lens<Char, Int> = Char.health
val charNameAndHealth: Lens<Char, Tuple2<String, Int>> = charName.aside(charHealth)
charNameAndHealth.modify(original) { Tuple2("Test", 30) }
}
推荐阅读
- python - Python异常中的行号
- git - Git:将未提交的更改备份到远程存储库
- ios - SwiftUI - 并排放置两个列表
- r - 如何将 dtplyr 与 SQL Server 数据库一起应用
- python - 通过 discord.py 在不和谐中创建彩色角色会出错
- mysql - MySQL Data model for clinic appointment management system
- python - I'm trying to make a trading bot in Quantconnect based python but I'm getting cannot get managed object
- python - 如何爬取页面的标题?
- azure-devops - Azure DevOps 权限 - 查看所有项目(有限制)
- angular - AgGrid Jest 单元测试 - 如何等待网格初始化