н
а для второго - оно же в сигнатуре apply есть
Size: a a a
2021 June 01
Oℕ
какую логику для макроса ты предлагешь
Oℕ
вот есть в сигнатуре apply какой-то ещё тайп-параметр, отследить я это могу
Oℕ
как в макросе я смогу определить, что там будет какой-то тип с тремя параметрами и что нужно поставить во второй и третий
Oℕ
можно попробовать сделать так
Oℕ
сейчас есть PassTypeArgs
Oℕ
это как раз для случая, когда нужно явно передать Foo в аргументы типа
н
val expr = q"foo.apply[A, B, C](...)"
vstavitVObject(q"implicit val derived: ${typeof(expr)} = ${expr}")
макросы не сильно умею писать
vstavitVObject(q"implicit val derived: ${typeof(expr)} = ${expr}")
макросы не сильно умею писать
Oℕ
ну ты будешь писать
@derive(table[FooBar, FooBar.Create]("foobar", insert[FooBar.Create])
?Oℕ
если будешь - это просто сделать, я просто уберую явный
: у valOℕ
сделаем какой-то UntypedDerivation
Oℕ
или InferDerivation
Oℕ
и он будет генерить просто
implicit val table$macro1 = table[FooBar, FooBar.Create]("foobar", insert[FooBar.Create]
implicit val table$macro1 = table[FooBar, FooBar.Create]("foobar", insert[FooBar.Create]
н
можно попробовать адхок дерьма навернуть и сделать по первому аргументу
н
чтобы не писать тип для которого мы делаем дерайв руками
н
ну т.е. например мы знаем что у нас высрется Foo[T, X] для которого X можно вывести из аргумента в apply, а T хуй знает какой
Oℕ
если сделаешь скасти, я попробую воркераунд накатать прямо с текущей версией
