169 похожих чатов

Продолжение вопросов про линзы) У меня есть линза с объектом

data X a = X {user :: a, ...} с фокусом на a, список [X UserID], и запрос f :: [UserID] -> m [UserView]. Понятно, что если делать руками, можно получить [X UserView] послав один запрос (а потом zipWith например). Но может можно как то сфокусироваться на [UserID] внутри этих иксов?

4 ответов

4 просмотра

Тебе надо скомпозить линзу с traverse, чтобы она работала со списком иксов

Anton-Sorokin Автор вопроса
Maxim Koltsov
Тебе надо скомпозить линзу с traverse, чтобы она р...

Пробовал вроде, если traverse то хочет линзу, фокусирующую на одном

Anton-Sorokin Автор вопроса
Anton Sorokin
Пробовал вроде, если traverse то хочет линзу, фоку...

И запрос который работает с одним a только получилось, но сейчас ещё подумаю

Anton Sorokin
Пробовал вроде, если traverse то хочет линзу, фоку...

Именно скомпозить, а не применить одно к другому

Похожие вопросы

Обсуждают сегодня

Сообщение* в закодированном виде. То есть, просто сделать sendMessage?text=Привет бла-бла! не получится, надо в HEX переводить, и добавлять процент, типа такого: sendMessage?t...
КТ315
21
А случайно нет ли в паскале штатной возможности передать указатель и количество туда где array of в качестве аргумента?
zamtmn
25
Хм. А телеграм апи работают через HTTP?
The Bird of Hermes
14
Почему Telegram пишет, что объект media не найден, хотя на самом деле я его передаю? Делаю на urllib, без зависимостей, так надо. Вызываю метод sendMediaGroup с таким JSON: ...
Alexey S
1
Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
58
Ну раз я пока тут, задам пару глупых вопросов. Зачем писать на ассемблере если компилятор довольно умный, а ассемблер много времени занимает? В каких прикладных задачах сейчас...
Максим Рябцев
20
Я тут за тем, чтобы задать вопрос, так как не знаю ассемблер, учу с/с++. Короче, насколько дорога операция перехода в функцию при ее вызове? Дело в том, что в с++ есть макросы...
Максим Рябцев
12
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
14
А какие чаты вообще в ходу? Auto aim? И что еше
do you think you're better off alone? А
13
hello friends. Do you know how can I learn getx? I have a software project that I should deliver it up to 5 weeks later and I need to learn firebase too. I will be thankfull
AmirHossein Razavi
15
Карта сайта