по типам?
Например есть что-то типа:
final case class UserName(value: String)
final case class Street(value: String)
final case class HouseNum(value: Int)
final case class Address(street: Street, num: HouseNum)
final case class User(name: UserName, address: Address)
и чтобы можно было просто написать:
val user = User(???, ???)
DeriveLens.set[User, HouseNum](HouseNum(100500))(user)
без необходимости прописывать все линзы вручную:
val address2street: Lens[Address, Street] = GenLens[Address](_.street)
val address2house: Lens[Address, HouseNum] = GenLens[Address](_.num)
val user2name: Lens[User, UserName] = GenLens[User](_.name)
val user2address: Lens[User, Address] = GenLens[User](_.address)
val user2street: Lens[User, Street] = user2address.composeLens(address2street)
val user2house: Lens[User, HouseNum] = user2address.composeLens(address2house)
val name2value: Lens[UserName, String] = GenLens[UserName](_.value)
Было бы быстрее отвечать, если бы там не вопросики стояли
Обсуждают сегодня