к
combine = mergeWithKey
(\_ a b -> Just (a, b))
(const empty)
(const empty)
(\_ a b -> Just (a, b))
(const empty)
(const empty)
Size: a a a
2021 February 09
KV
А это не обязательно определять вообще, сначала собираешь AMap так, чтобы там не было PureMap, потом переводишь в Map и дальше хоть delete хоть insert
KV
combine = mergeWithKey
(\_ a b -> Just (a, b))
(const empty)
(const empty)
(\_ a b -> Just (a, b))
(const empty)
(const empty)
Это всё хорошо, но я на самом деле хочу инстанс Traversable
к
А это не обязательно определять вообще, сначала собираешь AMap так, чтобы там не было PureMap, потом переводишь в Map и дальше хоть delete хоть insert
ну вот мой кейс
lookup "a" (pure "b" `delete` "c")KV
Ну я решил достичь полного просветления и написать фигню, которая из HKD, полученного через barbies-th, сделает мне автоматически мапу. Для этого надо протраверсить имена полей вместе со значениями
KV
ну вот мой кейс
lookup "a" (pure "b" `delete` "c")AMap не поддерживает маповые операции, его надо сначала превратить в Map
KV
Или ты это как чисто для себя решение предложил?
Для себя, ну или кому ещё может понадобиться мапа с Traversable
KV
Тьфу блин, не мап травёрсабл, а просто чтобы traverse можно было использовть. Т. е. Applicative
KV
О, у нас как раз созвон в следующий понедельник, скажу лично
АХ
Хах. На днях написал как раз такой мап. Ради аппликативного инстанса
MK
но зачем вам такой инстанс...
MK
ну приведи пример
АХ
Надо было сделать много деревьев одной формы с разными значениями в листьях в зависимости от того что там было изначально
Т.е. да traverse ради
Т.е. да traverse ради
MK
математика какая-то