Телеграмм чат группы haskellru страница 14940

то же самое будет

21:58пожаловаться #1

at возвращает линзу на Maybe
ix возвращает траверсал на элемент

поэтому можно считать что при чтении ix k = at k . _Just

22:01пожаловаться #2

при записи уже нет такого равенства

22:01пожаловаться #3

Aminion in Haskell

А как через линзы осуществить фильтрацию Map, по ключу и значению? Через ifiltered как-то?

23:25пожаловаться #4

нормально никак

Prelude Control.Lens Data.Map Data.Map.Lens:

> m = fromList [("a", 1), ("b", 2), ("c", 3)]
> m & toMapOf (itraversed . ifiltered (\k v -> k == "a" || v == 2))
fromList [("a",1),("b",2)]

23:56пожаловаться #5

но это по сути то же самое что и

Map.fromList (m ^@.. itraversed . ifiltered (\k v -> k == "a" || v == 2))

23:59пожаловаться #6

там есть mapWithKey внутри

23:59пожаловаться #7

2020 December 09

внутри чего? Это внутри Data.Map, не линз

00:00пожаловаться #8

и не нужно шарить индексированные траверсалы

00:00пожаловаться #9

не ну я соглашусь, я бы тоже такое сделал через mapWithKey из Data.Map

мои ответы исходят из вопроса, где нужны линзы

другое дело что линзы я до этого сам навязал парой сообщений выше

00:01пожаловаться #10

ну тогда грамотнее было бы ответить с предлогом "но" как лучше бы решалась эта проблема так как видно же что чел начал загоняться

00:05пожаловаться #11

ваш, зануда

00:05пожаловаться #12