Это?

Мне нужно чтобы оно не зависело от сборки офк

это байты из одного массива в байты другого или в текстовое представление числа?

Вообще говоря, мне нужно Money.Dense в ByteString

Но я буду и Integer доволен

Желательно первое

Т е меня человекочитаемость не тревожит

Оно у меня все все равно в Protobuf уходит

канонично — binary

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

ОО, снова советую generic-lens

а, уже посоветовали

Уже так и сделал

... И решил проблему с IO

Подскажите, как задизайнить такую штуку. Есть типа-интерпретатор, и в нём в разных ситуациях нужно делать lookup информации о переменной или её имени, по порядку поискав во фреймах локального стека, в словарике полей текущего объекта, и в пачке глобальных. После этого в некоторых ситуациях переменную надо прочитать, а в некоторых записать (всё в State обрабатывается). Однако некоторые глобальные переменные могут быть константами; а если переменной нигде не было, её надо добавить к полям объекта. В итоге мне нужно как бы линзу, но уже «наведённую» на конкретное значение, при этом с Maybe-геттером (если её нет) и Maybe-сеттером (если это константа)

Вчера за пивом товарищ скалист рассказал о таком вот проекте для скалы https://stainless.epfl.ch/

Мол вместо тестов ты пишешь человекочитаемую спеку, а оно по спеке либо само тестирует, когда кейсы простые, либо генерирует набор тестов. Стало интересно, а есть ли что-то подобное для хаскела?

ликвидхаскель тесты не генерит же