а такое есть - symbol.denot.info ?
Symbol - это dotty.tools.dotc.core.Symbols.Symbol или что там?

scala.quoted.Quotes.reflect.Symbol

тогда вот  так`TypeRepr.memberType(methodSymbol)`

Я попробую, конечно, но какой тип у метода?

MethodType - у методов тож типы есть

Подскажите плс какие есть варианты реализовать atomic операцию с помощью cats/CE ?
cats STM, вручную засемафорить вычисления, ... что-то еще?
если более подробно - допустим есть стейт A и стейт B (имутабл офк, в целом A и B можно считать просто Tuple[A,B]), нужно прочитать a и b и вычислить на основе них новые их значения и собственно записать в стейт, но только если они вычислилсь на основе прочтенных ранее.
может есть что-то типа CAS в кэтс. или сразу типа как в ConcurrenthashMap метод потипу evalAndUpdate...?

В реф положить тупл. Всё

У рефа полно методов fooAndUpdate

updateAndGet

спасибо

Access

Модифай

Вычисление стейта чистая операция?

Или там RefM нужен?

хм. если чистая то я так понимаю все элементарно, а вот если нет?

tofu.concurrent.Agent, zio.RefM

хмммм, спасибо

Но чистая работает просто через кас, а апдейтМ еще семафор вовлекает. Т.к. много раз эффектфул апдейт нельзя пробовать

дада, то что нужно.
а тофу Агент нужен - это из-за того что в CE нету инструмента чисто под это задачу (но есть более общие вещи которые можно скомпохзить), а в зио они решили это втащить в либу. правильно понимаю?

Ну как это сделать на се (довольно просто) как раз показано в имплементации Агента. В зио есть из коробки, да.