Вопросы с тегом линзы - PullRequest

Вопросы с тегом линзы

5 голосов
2 ответов
1 голос
1 ответ
15 голосов
1 ответ

Многие виды оптики имеют представление Ван Ларховена. Например, Lens типа Lens s t a b может быть...

Joe / 28 октября 2019
2 голосов
1 ответ

У меня есть следующий модуль, основанный на примерах из higgledy README, а также исходный код . {-#...

bbarker / 27 сентября 2019
3 голосов
1 ответ

Есть ли способ применить комбинаторы / сеттеры, упомянутые в Control-Lens-Setter.html # g: 4 ,...

Saurabh Nanda / 26 сентября 2019
0 голосов
0 ответов

Мне нужно добавить разделы фактов из примерно 200 фактов в Apache Lens CLI и иметь скрипт оболочки,...

mypeople / 05 июля 2019
1 голос
1 ответ

У меня есть обход mytraversal и функция f: a -> a, которую я могу использовать следующим...

Philipp Middendorf / 16 июня 2019
3 голосов
2 ответов

С моей простой реализацией объектива я могу выполнять обычные операции изменения, установки,...

bob / 16 июня 2019
1 голос
0 ответов

Есть ли какая-то функциональность, которую предлагают линзы, которую вы не можете получить с...

Ares Mega Global / 10 июня 2019
1 голос
3 ответов

У меня есть эти типы (и больше): data Player = PlayerOne | PlayerTwo deriving (Eq, Show, Read, Enum...

Mark Seemann / 06 июня 2019
2 голосов
1 ответ

Кто-нибудь знает, как я могу добавить или изменить значения в бесформенном HMap? Единственные...

franklin / 28 мая 2019
3 голосов
1 ответ

Думая о способе определения простой линзы на объекте в Reason. Я пытаюсь использовать расширяемые...

user954298 / 17 мая 2019
2 голосов
1 ответ

Я прочитал пример, приведенный в документах Circe с использованием Circe Optics.Пример в...

Knows Not Much / 05 мая 2019
3 голосов
1 ответ

Control.Lens.Tuple определяет линзы для доступа к элементам кортежей. Например class Field3 s t a b...

AntC / 04 мая 2019
0 голосов
1 ответ

У меня есть тема Кафки, в которой около 3 миллионов записей. Я хочу выбрать одну запись из этого,...

Sid / 13 марта 2019
0 голосов
1 ответ

В моем текущем проекте "Learning Haskell" я пытаюсь получить данные о погоде из стороннего API.Я...

keksnicoh / 29 января 2019
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...