Oℕ
аналог ковариантности в тайпмемберах выглядит примерно так
trait Foo{
type X
type Y <: X
}
trait Foo{
type X
type Y <: X
}
Size: a a a
2020 February 11
Oℕ
тогда Y можно использовать во всех других определениях
Oℕ
и при реализации указывать type Y = X
AD
Наверное вопрос не в попад, но https://scastie.scala-lang.org/Xijzylz2RvmZCCiEKAbESQ, можно ли это как то решить без HList?
Ж
попробуй кильнуть сбт руками таргеты вычистить и заново запустить
все равно не помогло, причем добавилось еще много вот такого:
loggable seems not extending InstanceDef traits, причем это только на 0.11.0, на 0.10.5 все работает
[error] @derive(tethysReader, tethysWriter, loggable)
Oℕ
Наверное вопрос не в попад, но https://scastie.scala-lang.org/Xijzylz2RvmZCCiEKAbESQ, можно ли это как то решить без HList?
синглтон типы разных валуев никогда не равны
Oℕ
Наверное вопрос не в попад, но https://scastie.scala-lang.org/Xijzylz2RvmZCCiEKAbESQ, можно ли это как то решить без HList?
Oℕ
все равно не помогло, причем добавилось еще много вот такого:
loggable seems not extending InstanceDef traits, причем это только на 0.11.0, на 0.10.5 все работает
[error] @derive(tethysReader, tethysWriter, loggable)
какие версии дерева и тофу
Ж
какие версии дерева и тофу
тофу 0.6.3, а вот дерево было 0.10.5 - и все компилится, а поднимаю до 0.11.0 и начинает падать
Oℕ
не поднимай
AD
синглтон типы разных валуев никогда не равны
Да, точно, чёт забыл
Oℕ
Boris в 0.11.0 перенёс всё в новый пакет короче
Oℕ
Версия тофу, совместимая с этим будет следующая
Oℕ
Это breaking change
0.10 и 0.11 из-за переноса пакетов совсем совсем несовместимы
0.10 и 0.11 из-за переноса пакетов совсем совсем несовместимы
Ж
ааа, окей
Oℕ
скорее всего и тофу вторую компоненту поднимем до 0.7.0 из-за этого
A
Други, а вы не знаете есть ли гдето запись zio вокршопа? Нужен план/задачки/вот это все.
VH
Други, а вы не знаете есть ли гдето запись zio вокршопа? Нужен план/задачки/вот это все.
Есть куча материалов на https://zio.dev
A
Есть куча материалов на https://zio.dev
да, но куча не нужна :) Нужно структурированное чтото )
Уже подсказали вот такое – https://www.youtube.com/watch?time_continue=1&v=TWdC7DhvD8M&feature=emb_logo
Уже подсказали вот такое – https://www.youtube.com/watch?time_continue=1&v=TWdC7DhvD8M&feature=emb_logo
