S
никто не мешает нарушить сингатуру макроса - просто придется его перевызвать
Size: a a a
2020 June 07
Oℕ
никто не мешает нарушить сингатуру макроса - просто придется его перевызвать
Дело не в нарушении сигнатуры макроса, а в том, что магнолия требует стабильной ссылки с одноместным тайп-мембером Typeclass
Oℕ
И метода комбайн на него ссылающегося
S
да, это проблема
Oℕ
Бинарный тайпкласс нельзя вынести, не объявляя дополнительной ссылки с зафиксированной частью тайп аргументов
S
при этом магнолия не позволит зафиксировать один из параметров во внешнем трейте
S
она требует вызова из объекта
Oℕ
при этом магнолия не позволит зафиксировать один из параметров во внешнем трейте
Позволит
Oℕ
Ну в итоге, я не отрицаю, что задачу можно решить, если писать свой макрос, но тогда и без магнолии можно
S
The macro Magnolia.gen[T] binding must be made in a static object, and the type constructor, Typeclass, and the methods combine and dispatch must be defined in the same object.
S
так что не получится зафиксировать
S
Ну в итоге, я не отрицаю, что задачу можно решить, если писать свой макрос, но тогда и без магнолии можно
нет, это я вчера под вечер сооброжать перестал - магнолия вообще не поможет с 2 типовыми параметрами
S
так что надо просто на шейплесе докрутить проверку уникальности типа
S
в принципе это сделать можно, но не стабильно
Oℕ
нет, это я вчера под вечер сооброжать перестал - магнолия вообще не поможет с 2 типовыми параметрами
Oℕ
Щас бы докам верить
S
вот и верь после этого людям...
S
одна проблема: даже на магнолии это будет не стабильно - там такой же имплиситный поиск. и проверку "отсутствия" можно сделать только как проверку фейла поиска "наличия", а фейл там может быть по многим причинам
S
так что всегда будут случаи когда поиск успешен не смотря на наличие нескольких полей с искомым типом
S
Это, кстати, работает и без отдельной строчки: https://scastie.scala-lang.org/D4Ep5nj5Q0Gi7XCijUYt1Q
