ΛВ
хм, видимо я с чем-то перепутал
Size: a a a
2021 May 15
ЮБ
Да я понимаю, что можно свою
ΛВ
пока ваще кажется с деривациями готовыми плохо вроде
ЮБ
Но хочется синтаксис с derives переиспользовать
ΛВ
инструменты есть, а ничего нет в итоге 🙁
ΛВ
ну было обсуждение в скалаланг форуме
ЮБ
а не делать
object Password extends TaggedType[String] with Encoder как в старьOℕ
зачем
ΛВ
там тоже предлагали сделать дерайвс для опаков
ЮБ
Чтобы единообразно для всех типов было
ΛВ
но отказались, в итоге получилась либа гвольпы
ЮБ
Да там не то, чтобы отказались
ЮБ
просто как-то не дотянули эту тему
Oℕ
синтаксис derives предполагает, что у тебя каждый def derived в компаньоне знает о твоём конкретном энкодинге ньютайпов
Oℕ
есть такое
ΛВ
+
как-то ни туда ни сюда вышли ньютайпы
как-то ни туда ни сюда вышли ньютайпы
Oℕ
а если сделать просто
можно спокойно использовать свой энкодинг и генерализованный дерайвинг
object Boo extends NewType[Foo](Derive[Semigroup][Order][Show])
type Boo = Boo.T
можно спокойно использовать свой энкодинг и генерализованный дерайвинг
ЮБ
Поэтому это должно быть в языке, а не в либах
Oℕ
ну вроде и да, а вроде и хз
ЮБ
А как сделать тип с множеством параметров? Как у тебя
Derive?