lenses

0зной

2ответ

Как совместить результаты двух простых линз в один

Предположим, что у меня есть тип данных, определенный, как показано ниже: data Register = Register { _reg_h :: Word8 , _reg_l :: Word8 } makeLenses ''Register Теперь, если я хоч

3зной

1ответ

Цепь Скалаз Операции с объективом

Я пытаюсь изучить объективы scalaz7. Есть ли лучший способ для цепочки операций? case class Outer(left: Inner, right: Inner) case class Inner(top: Int, bottom: Int) val left = Lens.lensu[Outer, Inn

3зной

1ответ

Сбой типа при использовании «левого» объектива из fclabels

Я сделал минимальный пример для тестирования fclabels. Использование объектива для получения «правильного» значения из любого значения. Почему это не удается? Я пропустил что-то? module Label where i

8зной

1ответ

Объективы в свойствах Swift

Есть ли способ автоматически генерировать пару функций getter/setter для свойства в классе в Swift? Что-то вдоль линий объектива в Хаскелле. Я был в состоянии сделать следующее вручную: class Property

3зной

1ответ

Должна ли обработка линз обрабатываться как экземпляры

У меня есть тип данных, определенный в другой библиотеке. Я хотел бы подключиться к этому типу данных с помощью объектива, созданного библиотекой Control.Lens. Нужен ли мне тип newtype в моем коде или

12зной

3ответ

Объективы Haskell: как сделать вид хорошо играть с траверсом?

Я пытаюсь узнать о линзах, реализуя его в Haskell. Я реализовал view комбинатор следующим образом: {-# LANGUAGE RankNTypes #-} import Control.Applicative import Data.Traversable type Lens s a = F

6зной

1ответ

Имеет ли функция идентификации в Clojure одинаковое использование и назначение, как функция id в Haskell?

В Clojure у нас есть функция identity. Он is used as follows: user=> (filter identity [1 2 3 nil 4 false true 1234]) (1 2 3 4 true 1234) user=> (partition-by identity (sort "abcdaabccc")) ((\a \a