lenses

4зной

1ответ

Traversable к проходимым которым пробросить только элемент с указанным индексом

Интересно, если можно построить следующие функциями ix :: (Applicative a, Traversable t) => Int -> (v -> a v) -> (t v -> a (t v)) который использует pure для всех элементов, кроме г-го, для которых

1зной

1ответ

purecript-lens composition type error

Я пытаюсь использовать purescript-линзу для обновления свойства вложенной записи. Однако, когда я сочиняю линзы, чтобы получить в собственность, я получаю следующее сообщение об ошибке типа: Warning:

7зной

1ответ

makeLenses для GADT (Haskell)

Есть ли эквивалент makeLenses для GADT? Если у меня есть простой GADT как: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b Есть ли способ для автоматического создания линз, передавая

3зной

1ответ

Haskell Tutorial объектив с траверсом

Я пытаюсь следовать этому учебнику: http://blog.jakubarnold.cz/2014/08/06/lens-tutorial-stab-traversal-part-2.html Я использую следующий код, который я загружаю в GHCI: {-# LANGUAGE RankNTypes, Scoped

-1зной

1ответ

Поддержка объективов в игровом каркасе

Не имеет ли в инфраструктуре Play поддержка линз по умолчанию? Что-то вроде Monocole или с Scalaz. Возможно, есть рекомендуемые альтернативные подходы (вместе с их обоснованием), о которых я не знаю.

7зной

2ответ

Экспортировать только геттер или сеттер из модуля

Есть ли способ для меня только экспортировать определенные геттеры xor сеттеры из модуля с объективом? Например, давайте предположим, что структура данных, которая имеет инвариант всегда быть >= 0, мо

8зной

2ответ

Использовать объектив как `map`

Я хочу преобразовать эту строку кода map (^?! ix 0) [[0, 1], [4, 5], [9, 1]], чтобы полностью использовать объективы, поэтому что-то вроде [[0, 1], [4, 5], [9, 1]] & each . ix 0. Однако типы не совпад