Я хотел бы установить значение на двухуровневой карте, то есть для ключа на карте, который является значением для некоторого ключа на «внешней» карте. Для обычной карты я мог бы использовать что-то вроде m & at 42 ?= "value" Но я не смог найти...

Мне нужно манипулировать и изменять глубоко вложенные неизменяемые коллекции (карты и списки), и я хотел бы лучше понять различные подходы. Эти две библиотеки решают более или менее одну и ту же проблему, верно? Чем они отличаются, для каких типов...

Я пытаюсь привыкнуть к библиотеке lens для Haskell и обнаруживаю, что борюсь с некоторыми простыми проблемами. Например, скажем (для удобства), что at и _1 имеют следующие типы (по крайней мере, я их так понимаю): at :: Ord k => k ->...

Есть ли ярлык для этого в библиотеке объективов? \x -> liftM (^. x) get Может быть, это глупый вопрос, но кажется, что это достаточно простая конструкция, и для нее должен быть ярлык.

Далее следует серия примеров/упражнений по линзам (автор Эдвард Кметт) в MonadState, основанных на решении Петра Пудлака на мой предыдущий вопрос. В дополнение к демонстрации некоторых применений и возможностей линз, эти примеры показывают,...

Предположим, у меня есть такой массив: [1, 2, 3, 4] Как мне изменить только четные значения, используя пакет линз? Я ищу что-то вроде: filterLens even (+10) $ [1, 2, 3, 4] => [1, 12, 3, 14]

Я новичок в объективе и хочу составить две операции "установщика", которые будут эквивалентны этому преобразованию state0 в new_state2: let new_state1 = field1 %~ (const newVal1) $ state0 let new_state2 = field2 %~ (const newVal2) $...

Я пытаюсь создать линзы для записей с одинаковыми именами полей. Наряду с этим я пытаюсь «обернуть/расширить» эти базовые записи и хочу, чтобы те же имена полей работали для обернутых/расширенных записей (что, как я полагаю, делают стильные линзы)....