У меня проблемы с использованием библиотеки линз для доступа к типу данных карты. data Card = Ferme...
Я смотрел на предпоследний пример в этом сообщении в блоге (также здесь ), и после проверки его...
Я работаю над веб-приложением на основе мисо и пытаюсь обернуть модель (состояние) Transition...
У меня есть запись MyRecord, для которой я создаю линзы с makeLenses.Я хотел бы, чтобы в этой...
Я видел несколько более старый вопрос на Как избежать загрязнения пространства имен в Haskell и ищу...
У меня есть функция, обобщенная на функцию func, которая должна быть применена к MyDataType1, а...
У меня есть следующий код.Как вы можете видеть, последняя функция undefined. {-# LANGUAGE...
Вот определение для значения Json: -- | A JSON value represented as a Haskell value. data Value =...
Я пытаюсь написать функцию со следующей типовой сигнатурой, используя линзы, но, глядя на filtered,...
Я следовал wreq tutorial , а также читал в блоге Snoyman , чтобы понять, как работает Data.Aeson
У меня есть объектив (') myLens' :: (Functor f) => (a -> f a) -> (s -> f s) И мне...
Я использую StdGen внутри большей структуры состояний и хочу реализовать класс RandomGen в...
Я застрял на этой ошибке довольно долгое время. Я не уверен, что я глуп, но не вижу, откуда это...
Это код работающего, но упрощенного примера того, чего я хочу достичь. Я хочу отобразить из одного...
Я часто использую линзу при работе с вложенными структурами (JSON из различных API), и меня...
Я возился с оптикой профессора, и у меня есть кое-что, с чем я не могу разобраться. Кодирование...
Я бы хотел ограничить тип ключа ImageId и типом значения Sprite, оставляя конкретный тип карты...
У меня есть такой тип: data Problem = ProblemFoo Foo | ProblemBar Bar | ProblemBaz Baz Foo, Bar и...
Фон Я использую типы записей с объективом .Я написал несколько модульных тестов с HUnit и HSpec....
У нас есть оператор ?~ в объективе.Мы можем сделать a & b . c ?~ d, если _c - это поле типа b
У меня проблемы с пониманием, возможно ли следующее с помощью проверки типов или просто невозможно
Я дурачился с комбинаторами в Control.Lens.Indexed, особенно iconcatMap, но я не смог придумать...
Я смотрю на https://www.stackage.org/haddock/lts-12.1/lens-aeson-1.0.2/Data-Aeson-Lens.html и...
Этот комбинатор уже существует где-то в lens или в другой библиотеке? filteredHas :: Lens.Fold s i...
Предположим, вы объявляете два изоморфизма showing :: (Read a, Show a) => Iso' String a...