lens

25зной

1ответ

Почему ограничение класса в тип синонима нуждается RankNTypes

Это нормально компилируется: type List a = [a] Но когда я ввести ограничение класса, компилятор просит RankNTypes быть включены: type List2 a = Num a => [a] После включения, что расширение , он ко

2зной

1ответ

Как заменить «makeIso» на старые версии объективов в новой версии (4.3)?

У меня есть некоторый код, который использует makeIso из lens пакета: newtype Foo = Foo Integer makeIso Foo' incrementFoo :: Foo -> Foo incrementFoo = foo +~ 1 Теперь я хотел бы использовать это

3зной

2ответ

Как вы пишете сложный объектив, который зависит от других объективов, используя библиотеку объективов?

На данный момент у меня есть тип WorkLog, с датой начала и окончания. Я хочу также добавить линзу продолжительности, которая будет получена из дат начала и окончания. Он должен быть только прочитан ил

3зной

2ответ

Как snoc использовать библиотеку объективов?

Я в тупике again при попытке работать с Edwards lens библиотеки. Я пытаюсь что-то snoc на конец вектора в государственном контексте: data Foo = Foo { _vec :: Vector Int } makeLenses ''Foo te

4зной

1ответ

Есть ли какой-нибудь метод построения значения для записи с объективами без идентификаторов подчеркивания?

Например, я следующая запись data Rec = Rec { _a :: Int , _b :: Int , _c :: Int } deriving (Show, Eq) makeLenses ''Rec и я вижу только два пути constuct новые значения: Rec{_a=

5зной

1ответ

Как я могу отслеживать разные части структуры данных один за другим?

В Control.Lens.Traversal функция beside пересекает обе части Bitraversable. Приведенный пример является >>> ("hello",["world","!!!"])^..beside id traverse ["hello","world","!!!"] Могу ли я написать