Oℕ
Size: a a a
2020 June 02
Oℕ
Просто засовываешь туда все инстансы, которые нужны для ньютайпа
Oℕ
Можно сделать абстрактным классом и аргументами передавать какие-то строчки
Oℕ
С названием поля дефолтного, докой, чем-угодно
Oℕ
Удобнее, меньше кода, предсказуемей, чем эстатико
Oℕ
очень возможно, что даже в дотти я оставлю такие примеси, но на опак перепишу только
ZM
ну все равно обновлять эту портянку под каждый имплисит (цирка, пурконфиг и т.д)
Oℕ
ну все равно обновлять эту портянку под каждый имплисит (цирка, пурконфиг и т.д)
ну так круто
Oℕ
один раз добавил в портянку
Oℕ
у тебя сразу во всех ньютайпах инстанс появился
ZM
почему б не переиспользовать имеющиеся для дерева инстансы, заменив только генерацию имплисита на вытягивание вложенного типа?
само вытягивание оставить авторам ньютапных либ
аля @newtypeDerive(typeExtractor, encoder, decoder)
само вытягивание оставить авторам ньютапных либ
аля @newtypeDerive(typeExtractor, encoder, decoder)
ZM
тогда пользаку ничего писать не надо самому
Oℕ
непонятно, на что эти аннотации навешивать
Oℕ
если их повесить над естатико, он переколбасит и аннотация уже не будет видеть объявления кейскласса
Oℕ
и непонятно, откуда брать типы для инстансов
Oℕ
плюс как эти инстансы реализовывать
Oℕ
через какой-то обобщённый изоморфизм, или руками эзинстансоф писать
ZM
@newtype
@newtypeDerive(shmestaticoExtractor, encoder, decoder, doobieshmobie)
case class Name(s: String)
@newtypeDerive(rudogmaExtractor, encoder, decoder, doobieshmobie)
object Name extends TaggedType[String]
type Name = Name.Type
Oℕ
@newtype
@newtypeDerive(shmestaticoExtractor, encoder, decoder, doobieshmobie)
case class Name(s: String)
@newtypeDerive(rudogmaExtractor, encoder, decoder, doobieshmobie)
object Name extends TaggedType[String]
type Name = Name.Type
ну какой примерно код будет у инстансов
ZM
через какой-то обобщённый изоморфизм, или руками эзинстансоф писать
второе, они все сами пишут так