lens

4зной

2ответ

Призма для преобразования в ограниченный интеграл

Мне нужна была Призма для преобразования Integral a => a в (Integral b, Bounded b) => b, гарантируя, что a действительно вписывается в тип b. Мое текущее определение (ниже) требует использования Scope

5зной

1ответ

Control.Lens: Traversal изоморфизм к toListOf и над

Я наблюдал разговор Саймон Пейтон Джонс о Control.Lens, и он показал, что объектив и LensR, как определено здесь изоморфны: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t data Len

1зной

1ответ

Экстракт п-й ребенок с XML-объектив

Я пытаюсь получить первый <bar> «s текстовый узел с xml-lens из XML, как это: <foo> <bar> I want ONLY this! </bar> <bar> I DON'T want this! </bar> </foo> Другими слова

2зной

1ответ

Scala (scalaz) State monad - map over Тип состояния опции

Как я могу применить следующую функцию? def wrapIntoOption(state: State[S, A]): State[Option[S], Option[A]] Большая картина такова: case class Engine(cylinders: Int) case class Car(engineOpt: Optio

4зной

3ответ

Make Линзы (TH) с одноименным полем Имя с помощью makeClassy

Этот вопрос касается Эдварда А. Kmett в lens package (версия 4.13) У меня есть несколько различных data типов, все из которых имеют поле который обозначает максимальное количество содержащихся элемент