M
Там надо чтобы для типов, в которых есть теги, выводились енкодеры аатомагически
И не используй инстансофы, таггеты для того чтобы такого не было. https://scastie.scala-lang.org/rudogma/rnT2xtNASVWaLA6Xp7AKgA/13
Size: a a a
2020 January 17
AH
И не используй инстансофы, таггеты для того чтобы такого не было. https://scastie.scala-lang.org/rudogma/rnT2xtNASVWaLA6Xp7AKgA/13
О, прекрасно. Спасибо!
M
@omgszer только не знаю зачем тебе контрамап) Он же тебе лишнюю обертку добавляет. Может ты хотел просто залифтить кодек
AH
M
Я пробовал, оно не взлетело. Через lifterF, который в комплекте супертагеда идёт
И да, я хотел залифтить сразу все енкодеры
И да, я хотел залифтить сразу все енкодеры
AS
у меня немного другие таггед типы, но с похожим апи, если нужны хэлперы для инстансов (без implicit), то с supertagged что-то похожее тоже можно
def taggedEncoder[T: Encoder, U]: Encoder[T @@ U] =
Encoder[T].@@@[U]
def taggedDecoder[T: Decoder, U]: Decoder[T @@ U] =
Decoder.instance(_.as[T].@@@[U])
def taggedTypeEncoder[T: Encoder](taggedType: TaggedType[T]): Encoder[taggedType.Type] =
taggedEncoder[T, taggedType.Tag]
def taggedTypeDecoder[T: Decoder](taggedType: TaggedType[T]): Decoder[taggedType.Type] =
taggedDecoder[T, taggedType.Tag]
def taggedCodec[T: Encoder : Decoder, U]: Codec[T @@ U] =
Codec.from(taggedDecoder[T, U], taggedEncoder[T, U])
def taggedTypeCodec[T: Encoder : Decoder](taggedType: TaggedType[T]): Codec[taggedType.Type] =
Codec.from(taggedTypeDecoder(taggedType), taggedTypeEncoder(taggedType))
AH
Но тогда у каждого типа надо ручками писать. Ручками, да получилось
M
и
import types._ не нужен, в автоскоупе будет. Но если енкодеры в отдельный пакет пихать будешь, то конечно там доп импорт будетλ
а чо строка заквоченая получилась?
AH
а чо строка заквоченая получилась?
Тоже заметил, но я думаю он берёт строку и пытается ее заенкодить как строку, оттого ескейп получается. Уверен, это поправимо
M
Но тогда у каждого типа надо ручками писать. Ручками, да получилось
Можно так, чтобы и не надо. Все тоже самое, только женерик https://scastie.scala-lang.org/rudogma/rnT2xtNASVWaLA6Xp7AKgA/16
M
Тоже заметил, но я думаю он берёт строку и пытается ее заенкодить как строку, оттого ескейп получается. Уверен, это поправимо
Это потому, что ты рендеришь тип в жсон, а потом то, что отрендерено рендеришь как строку энивей
λ
а можно и не обьвлять тагед тип для каждого айди и юзать просто class Id[T](value:String)
AH
Можно так, чтобы и не надо. Все тоже самое, только женерик https://scastie.scala-lang.org/rudogma/rnT2xtNASVWaLA6Xp7AKgA/16
Я писал просто lifterF[Encoder], он тоже возвращает Encoder и оно не работало.
В твоём снипете ещё .lift есть, вот что мне не хватило для победы. Супер
В твоём снипете ещё .lift есть, вот что мне не хватило для победы. Супер
AH
а можно и не обьвлять тагед тип для каждого айди и юзать просто class Id[T](value:String)
Но это не совсем opaque тип. Точнее вообще не
M
Я писал просто lifterF[Encoder], он тоже возвращает Encoder и оно не работало.
В твоём снипете ещё .lift есть, вот что мне не хватило для победы. Супер
В твоём снипете ещё .lift есть, вот что мне не хватило для победы. Супер
lifterF[Serializer] - возвращает хелпер. то, что в доках - работает из-за импорта
._ и импортится liftAnyF - который этого лифтера подхватывает. Но так лучше не делать, это бэд кейсλ
Но это не совсем opaque тип. Точнее вообще не
опацк не опак без разницы
M
опацк не опак без разницы
variable.value vs variable . Ну да, ну да)λ
голый value нигде не нужен
λ
а где нужен точно так же анврапаешь как и с супертагед