благодарю

На всякий случай наверное стоит уточнить что мной предложенный код не идентичен Вашему изначальному: мой при получении нового значения сразу убивает старый тред, а Ваш выполнял очередную итерацию до конца и только потом запускал новую уже с новым состоянием.

Если нужно именно старое поведение наверное лучше канал взять, а если такое поведение подходит нужно аккуратно обращаться с ресурсами в коде в цикле, тк он  может в любой момент прерваться

Да, я понимаю

ещё вопрос по TH: как правильно вставлять имена в квотер?

asd :: Q [Dec]
asd = do
    let f = mkName $ "zxc"
    [d| $f :: String; $f = 42 |]
--      ^^ Invalid type signature: $(f) ...
--         Should be a form of <variable> :: <type>

вот так и правильно теоретически, но компилятор не во всех местах поддерживает антицитирование, не реализовали почему-то

поэтому придётся набирать AST руками

благодарю

Всем привет!
stack какой-нибудь командой может показать резолвер проекта?

cat stack.yaml?

можно конечно и stack парсить, но может есть в тулинге такая опция?

тоже парсить, но не самому

спасибо

Вопрос.
Есть тип с рекордами.
Рекорды все начинаются с _ для дерайва линз
для того, чтобы aeson читал их без _ мне надо ручками сделать экземпляр тайпкласса?
Т.е. это не дерайвится, да?

да, но не совсем ручками, просто будет что-то вроде

instance ToJSON X where
 toJSON = genericToJSON defaultConfig { fieldModifier = drop 1 }

ого, круто

дерайвить тоже можно, есть либа для via-дерайвинга

будет что-то вроде
 deriving ToJSON via SomeNewtype [Drop 1]