DZ
можно кодеки для них выводить (полуавтоматически наверн только)
ну я бы фреймлесовые попробовал
Size: a a a
2019 December 05
DZ
жаль они их не отделили
GP
хотел узнать сделал человек или нет
я ньютайпы и тегет тайпы с сирко кодеками пробовал выводить; максимум добился
implicit val codec: Encoder[Newtype[String, Ops]] = Encoder[String]
GP
ну у сирки также проблема решена с рефайнд типами
DZ
я ньютайпы и тегет тайпы с сирко кодеками пробовал выводить; максимум добился
implicit val codec: Encoder[Newtype[String, Ops]] = Encoder[String]
Вроде там кто-то бился с этим
DZ
ну мда
GP
ну да; тож что у меня получилось
implicit def newtypeEncoder[R: * => O, O](encoder: Encoder[R]): Encoder[Newtype[R, O]] = encoder.contramap(_.unwrap)
GP
оно все сводится к андерлайнг мап / контрамап (в которых будет анврап / врап делаться и все)
DZ
ну да; тож что у меня получилось
implicit def newtypeEncoder[R: * => O, O](encoder: Encoder[R]): Encoder[Newtype[R, O]] = encoder.contramap(_.unwrap)
=> это элиас чего? или это тайл лямбда?
GP
=> это элиас чего? или это тайл лямбда?
эт кайнд проджектор;
def newtypeEncoder[R, O](encoder: Encoder[R])(implicit ev: R => O)GP
считай алиас вью баунда (все уже забыли вью баунды)
DZ
ааа
GP
ну я прост шаплезовые ньютайпы использовал, что бы не тащить ничего нового
GP
так то это да лямбда будет
DZ
в этом примере красиво с Validate и Newtype инстансами сделано
DZ
DZ
Пыжиков вон там что то пытался