OS
Спасибо
Size: a a a
2020 June 06
СП
Ребят, никто не слышал : Хорстман планирует выпустить 3 издание по Скале 3 для нетерпеливых ?
AS
Народ, привет.
Можт кто-нть подсказать, умеет ли monocle автоматически выводить/генерировать линзы по типам?
Например есть что-то типа:
и чтобы можно было просто написать:
без необходимости прописывать все линзы вручную:
Можт кто-нть подсказать, умеет ли 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)
НМ
Народ, привет.
Можт кто-нть подсказать, умеет ли monocle автоматически выводить/генерировать линзы по типам?
Например есть что-то типа:
и чтобы можно было просто написать:
без необходимости прописывать все линзы вручную:
Можт кто-нть подсказать, умеет ли 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)
Это то что нужно?
AS
Нее... Не совсем.
Это похоже на Ad-Hoc определение линзы
Хочется, чтобы не надо было писать
Это похоже на Ad-Hoc определение линзы
john.lens(_.name).set("Mike")Хочется, чтобы не надо было писать
.lens(_.name)S
Нее... Не совсем.
Это похоже на Ad-Hoc определение линзы
Хочется, чтобы не надо было писать
Это похоже на Ad-Hoc определение линзы
john.lens(_.name).set("Mike")Хочется, чтобы не надо было писать
.lens(_.name)GenLense[User](_.address.num)
S
это единственный вариант
S
По типам, конечно, можно что-то изобрести на основе shapeless линз, но мне жалко компилятор - ему будет тяжело
AS
GenLense[User](_.address.num)
Опять не то.
Тут явно указывается путь до определенного поля.
Хочется, чтобы monocle сам вывел его во время компиляции исходя из начального типа User и конечного HouseNum
Хотя я не уверен, что такое в принципе возможно.
Но всё равно хочется. Иначе очень много boilerplate code получается на определение всех нужных линз
Тут явно указывается путь до определенного поля.
Хочется, чтобы monocle сам вывел его во время компиляции исходя из начального типа User и конечного HouseNum
Хотя я не уверен, что такое в принципе возможно.
Но всё равно хочется. Иначе очень много boilerplate code получается на определение всех нужных линз
AS
По типам, конечно, можно что-то изобрести на основе shapeless линз, но мне жалко компилятор - ему будет тяжело
Но с circe Encoder/Decoder он как-то справляется 🤷♂️
ΛВ
ΛВ
Опять не то.
Тут явно указывается путь до определенного поля.
Хочется, чтобы monocle сам вывел его во время компиляции исходя из начального типа User и конечного HouseNum
Хотя я не уверен, что такое в принципе возможно.
Но всё равно хочется. Иначе очень много boilerplate code получается на определение всех нужных линз
Тут явно указывается путь до определенного поля.
Хочется, чтобы monocle сам вывел его во время компиляции исходя из начального типа User и конечного HouseNum
Хотя я не уверен, что такое в принципе возможно.
Но всё равно хочется. Иначе очень много boilerplate code получается на определение всех нужных линз
У вас же может быть там два стринга в одном классе
ΛВ
Или вы хотите уникальность типов полей в каждом классе гарантировать?
AS
Для совсем простых линз есть аннотация @Lenses, а там уже можно операторами композицию делать
А тут у нас тоже проблема.
Мы у себя в проекте не можем использовать monocle непосредственно с классами доменной области 😔
Мы у себя в проекте не можем использовать monocle непосредственно с классами доменной области 😔
ΛВ
А тут у нас тоже проблема.
Мы у себя в проекте не можем использовать monocle непосредственно с классами доменной области 😔
Мы у себя в проекте не можем использовать monocle непосредственно с классами доменной области 😔
Мы с тем же самым столкнулись, так что обходимся генленз в отдельных объектах типа SmthLens
AS
У вас же может быть там два стринга в одном классе
С такими кейсами понятно, что нельзя.
Я говорю только про те кейсы, когда когда конечный тип в линзе является уникальным
Я говорю только про те кейсы, когда когда конечный тип в линзе является уникальным
AS
Мы с тем же самым столкнулись, так что обходимся генленз в отдельных объектах типа SmthLens
AS
Можт какие-нть другие линзы такое могут?
quicklens? tofu-optics? 🤔
quicklens? tofu-optics? 🤔
S
Можт какие-нть другие линзы такое могут?
quicklens? tofu-optics? 🤔
quicklens? tofu-optics? 🤔
на шейплесе можно написать поиск в глубину. Но ошибки компиляции будут так себе. И не быстро.
S
берешь LabeledGeneric и перебираешь все поля. Совпал тип - делаешь линзу, не совпал - ищешь линзу на тип поля рекурсивно