lens

2зной

3ответ

Использование линз сочинить функции

Рассмотрим «состав» функции со следующим (псевдо) подписи: (a1 -> a2 -> ... -> an -> r) -> (s -> ai) -> a1 -> a2 -> ... -> ai -> ... an -> r where i in [1..n] Конечно, мы не можем написать то, чт

haskell lens lenses 2017-01-31

---

0зной

1ответ

Как объединить линзы, содержащие контекст?

Я начинаю с authorityL через authorityHostL к hostBSL - Я знаю, что вы можете комбинировать линзы через (authorityL . authorityHostL . hostBSL) но терпит неудачу с Couldn't match type ‘Authority’ wi

haskell lens 2017-02-02

---

3зной

2ответ

Дать более сложный обзор (объективы)

Я постоянно погружаюсь в линзы Кемта; сегодня я пытаюсь написать некоторые пользовательские обходы, до сих пор мне удалось ужиться, составив существующие обходы для создания новых, но я делаю что-то н

haskell traversal lens 2016-12-20

---

2зной

1ответ

Как сделать линзы для записей с типовыми семьями

Вот что у меня есть, что не компиляции: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE MultiPara

haskell lens type-families lenses 2017-01-04

---

1зной

1ответ

Содержит контекст сохранения штатов монады

Время для моего вопроса об объективе в неделю; У меня есть стек монады: newtype Action a = Action { runAct :: StateT ActionState (ReaderT Hooks IO) a } deriving (Functor, Applicative, Monad,

haskell lens lenses 2017-01-12

---