Народ, привет.
Можт кто-нть подсказать, умеет ли monocle автоматически выводить/генерировать линзы по типам?

Например есть что-то типа:

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)

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)

Было бы быстрее отвечать, если бы там не вопросики стояли

Теперь придётся самому придумывать код вместо вопросиков

Вот почему я люблю вопросы в скасти

Добро пожаловать в самое дружелюбное комьюнити.

поздно

😔

такое нужно было?

да 👍
Только один вопрос, можно ли обойтись без использования @ClassyOptics аннотаций непосредственно на доменных объектах?

Нет

Ну можно всё руками писать

Не знаю, зачем

Вообще если линзы генерить не в компаньонах доменных объектов, то где

и зачем

Мы не можем  привязывать классы доменной модели к конкретной библиотеке

Эти классы используются в разных проектах.
В некоторых линзы не нужны.
В некоторых что-то другое может использоваться потенциально.

И почему бы не сгененировать сразу всё?

+ иногда надо генерить линзы для классов, которые мы не контролируем