Size: a a a

2021 January 03

к

кана in Haskell Start
хм, а чем лучше? Не представляю как красиво это переписать через filteredBy
источник

к

кана in Haskell Start
filteredBy (pre _Empty . _Nothing)
источник

к

кана in Haskell Start
только так
источник

к

кана in Haskell Start
и кажется мне что это ничем не лучше)
источник

к

кана in Haskell Start
но можно вот такой еще траверсал запилить, тоже часто удобный

rejectedBy :: Getting All s x -> Traversal' s s
rejectedBy = filtered . hasn't
-- или
rejectedBy :: Getting (First x) s x -> Traversal' s s
rejectedBy p = filtered (isNothing . preview p)

x = (Nothing, 2) ^. pre (_1 . _Just . rejectedBy _Empty) . non "DEFAULT"
источник

A

Aragaer in Haskell Start
А теперь новый вопрос. Вот есть у меня некий проект, делает некоторую дичь. Для этих целей с докерхаба выкачивается и сохраняется в виде oci bundle некоторый образ. Фактически в этой дичи нарисовалась библиотека по "выкачать образ в виде oci bundle". Вопрос - как это правильно оформить? Понятно, что можно оставить это отдельным файлом в проекте, но хочется всякие библиотеки-субмодули.
источник

A

Aragaer in Haskell Start
flip evalStateT session $ do
это же как-то можно переписать через &~?
источник

A

Aragaer in Haskell Start
а, видимо &~~ который выше
источник

к

кана in Haskell Start
ага
источник

A

Aragaer in Haskell Start
а, не, там execState, а мне надо наоборот evalState
источник

A

Aragaer in Haskell Start
оставлю тогда как есть
источник

к

кана in Haskell Start
Aragaer
flip evalStateT session $ do
это же как-то можно переписать через &~?
хм, а сессия меняется внутри?
источник

A

Aragaer in Haskell Start
она не нужна за пределами этого вычисления, но внутри она используется
источник

A

Aragaer in Haskell Start
используется, меняется и там накапливаются токены
источник

к

кана in Haskell Start
а потом токены выбрасываются?
источник

A

Aragaer in Haskell Start
я потом подниму просто это на более высокий уровень. Но да, у токенов слишком короткий срок жизни, чтобы переиспользовать их между запусками, только в пределах одного запуска
источник

к

кана in Haskell Start
так хм, это же бот какой-то вроде бы был?
источник

A

Aragaer in Haskell Start
не совсем, это выкачивание докер-образов с докерхаба
источник
2021 January 05

TZ

Timofey Zakrevskiy in Haskell Start
Никому не попадалось что-то вида
filterMapWithKeys :: (k -> v -> Maybe v) -> Map k v -> Map k v?

Хочу пробежаться по всей мапе, удалить или изменить значения для всех ключей.
источник

A

Aragaer in Haskell Start
есть там такое из коробки
источник