Oℕ
Size: a a a
2021 June 01
Oℕ
ну гипотетически можно тип вообще по какому-то условию не дописывать
Oℕ
если ты убедишься, что такие имплиситы будут работать у тебя
н
да, вот собсно я еще пробовал такой костыль в стиле
при попытке засунуть это в дерево оно улетает в stackoverflow
trait FooC[T] extends Derivation[Foo[*] { type Bar = T }]
object foo_ extends FooC[String]при попытке засунуть это в дерево оно улетает в stackoverflow
Oℕ
а ну вот какой косяк тут
Oℕ
какой тип на самом деле нужно поставить?
w
Эх, сча бы поставить
Oℕ
т.е. ну напиши код руками, который дерево должно генерить
н
загадка от жака фреско
н
а почему оно просто не может взять возвращаемый тип от apply?
Oℕ
ну напиши руками
Oℕ
покажи как инстанс объявишь, куда мать посадишь
KS
Нихуя саппорт либ, можно такой же в туплевеле.
н
написал руками
implicit val table_ = table("???", insert[Foobar.Create])
и так тожеimplicit val table_ : TableDef.Aux[Foobar, Foobar.Create, Foobar.Create] = table("???", insert[Foobar.Create])
скомпилилосьн
собсно то же самое что я сую в дерево
Oℕ
ну вот для второго нужно откуда-то взять Foobar.Create
Oℕ
а первое я не понимаю, откуда возьмётся тип T
Oℕ
мне кажется, там Nothing будет, проверь, он цепляется вообще
н
для первого высрался unit, ты прав