AH
А нельзя починить мою попытку имплисита выше?
Size: a a a
2020 January 17
DM
Мне кажется можно макросом или нельзя?
Да, derevo это и делает
λ
Да, derevo это и делает
Что за дерево
λ
(с плеем вместо цирке)
AH
Окей, то есть для супертагед + кирке решений кроме как писать ручками эту срань нет?
λ
не, это не связаные вещи
λ
прост автодеривацию не стоит юзать
λ
супертагед тоже в подобных случаях
AS
мы пишем руками, вообще хорошо контроллировать, что может попасть в JSON, так что это в целом - норм
M
Нужен совет. Есть
Все мои тегированные типы примитивные (не могут вкладываться друг в друга, внутри тега всегда лежит тип для которого
Я попытался сделать это
https://scastie.scala-lang.org/i2EW3gZ6R3aWagUwPIcXMQ
как видно
Вопрос. Как правильно написать этот хитрый имплисит чтобы не выводить енкодеры для всех этих примитивных типов?
circe и supertagged. circe не вывозит инстансы Encoder для тегированых типов что логично. Но выводить их ручками не хочется.Все мои тегированные типы примитивные (не могут вкладываться друг в друга, внутри тега всегда лежит тип для которого
circe может вывести енкодер самостоятельно).Я попытался сделать это
https://scastie.scala-lang.org/i2EW3gZ6R3aWagUwPIcXMQ
как видно
asJson на обычном типе работает, а на типе с тегом выдаетError:(26, 5) diverging implicit expansion for type io.circe.Encoder[Foo]
starting with lazy value encodeZoneOffset in object Encoder
foo.asJson
Вопрос. Как правильно написать этот хитрый имплисит чтобы не выводить енкодеры для всех этих примитивных типов?
IN <: TaggedType[T]- так делать нельзя. Если тебе надо разложить таггет тип, то надо делать
def [T, U]:T @@ U или иногда даже еще помочь более конкретно (без альяса) Tagged[T,U]AH
IN <: TaggedType[T]- так делать нельзя. Если тебе надо разложить таггет тип, то надо делать
def [T, U]:T @@ U или иногда даже еще помочь более конкретно (без альяса) Tagged[T,U]Хм. Не сказать что понял
AH
У TaggedType есть метод raw, он достаёт внутрянку
M
Хм. Не сказать что понял
trait TaggedType это хелпер для связки, для скоупа и т.д. Если ты имеешь дело с выводом типов, енкодеров для них и т.д. то тебе надо иметь дело именно с типами, а не хелпер трейтами. А ордер айди есть (T @@ U), где T = String, U = OrderId.Tag
M
потому запись IN <: TaggedType - тебе нигде и никогда не пригодится для вывода типов и всего, что на них основано
AH
потому запись IN <: TaggedType - тебе нигде и никогда не пригодится для вывода типов и всего, что на них основано
Но так можно вызвать тот самый raw!
Но ок, попробую по-другому
Но ок, попробую по-другому
M
Но так можно вызвать тот самый raw!
Но ок, попробую по-другому
Но ок, попробую по-другому
Погоди, я погляжу, что именно там тебе нужно
AH
Погоди, я погляжу, что именно там тебе нужно
Там надо чтобы для типов, в которых есть теги, выводились енкодеры аатомагически