A
возьми фобос и деймос
Жокос и бокос
Size: a a a
2020 June 02
ZM
ну какой примерно код будет у инстансов
implicit def nameEncoder(implicit inner: Encoder[String]): Encoder[Name] = inner.asInstanceOf[Encoder[Name]]Oℕ
implicit String ?
ZM
я этот вариант пытаюсь сейчас сделать, но в макросы не оч умею, завис на аргументе
еще не смотрел как генерит компаньона эстатико
еще не смотрел как генерит компаньона эстатико
Oℕ
implicit def encoder(implicit xtractor: Xtractor[Name]): Encoder[Name] = xtractor.xtractTypeclass[Encoder]
w
implicit def encoder(implicit xtractor: Xtractor[Name]): Encoder[Name] = xtractor.xtractTypeclass[Encoder]
Oℕ
trait Xtractor[X]{
type Repr
def xtractTypeClass[TC[_]](implicit tc: TC[Repr]): TC[X]
}
type Repr
def xtractTypeClass[TC[_]](implicit tc: TC[Repr]): TC[X]
}
IA
Там все в ньютайпах есть, только вот ручками приходится писать diriving для инстансов
Oℕ
Там все в ньютайпах есть, только вот ручками приходится писать diriving для инстансов
что всё
ZM
Там все в ньютайпах есть, только вот ручками приходится писать diriving для инстансов
мы тут как раз про то чтоб ручками не писать
ZM
trait Xtractor[X]{
type Repr
def xtractTypeClass[TC[_]](implicit tc: TC[Repr]): TC[X]
}
type Repr
def xtractTypeClass[TC[_]](implicit tc: TC[Repr]): TC[X]
}
так нужно все равно Repr вытаскиваь
IA
что всё
дерайвилки
надо обязательно только писать в компаньон
implicit val encoder: Encoder[MyNewType] = deriving
надо обязательно только писать в компаньон
implicit val encoder: Encoder[MyNewType] = deriving
Oℕ
так нужно все равно Repr вытаскиваь
ну в этом и фишка, что он имплиситно вытащится
w
ну в этом и фишка, что он имплиситно вытащится
Эх, сча бы вытащится
w
ну в этом и фишка, что он имплиситно вытащится
λ
@odomontois чо бы в тофу запилить
λ
Кроме доки
Oℕ
@odomontois чо бы в тофу запилить
чоньть охуенное
ZM
ну в этом и фишка, что он имплиситно вытащится
я к тому что его конкретным надо объявить сначала, откуда взять это значение?