к
хм, а чем лучше? Не представляю как красиво это переписать через filteredBy
Size: a a a
2021 January 03
к
filteredBy (pre _Empty . _Nothing)
к
только так
к
и кажется мне что это ничем не лучше)
к
но можно вот такой еще траверсал запилить, тоже часто удобный
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"
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
А теперь новый вопрос. Вот есть у меня некий проект, делает некоторую дичь. Для этих целей с докерхаба выкачивается и сохраняется в виде oci bundle некоторый образ. Фактически в этой дичи нарисовалась библиотека по "выкачать образ в виде oci bundle". Вопрос - как это правильно оформить? Понятно, что можно оставить это отдельным файлом в проекте, но хочется всякие библиотеки-субмодули.
A
flip evalStateT session $ do
это же как-то можно переписать через &~?
это же как-то можно переписать через &~?
A
а, видимо &~~ который выше
к
ага
A
а, не, там execState, а мне надо наоборот evalState
A
оставлю тогда как есть
к
flip evalStateT session $ do
это же как-то можно переписать через &~?
это же как-то можно переписать через &~?
хм, а сессия меняется внутри?
A
она не нужна за пределами этого вычисления, но внутри она используется
A
используется, меняется и там накапливаются токены
к
а потом токены выбрасываются?
A
я потом подниму просто это на более высокий уровень. Но да, у токенов слишком короткий срок жизни, чтобы переиспользовать их между запусками, только в пределах одного запуска
к
так хм, это же бот какой-то вроде бы был?
A
не совсем, это выкачивание докер-образов с докерхаба
2021 January 05
TZ
Никому не попадалось что-то вида
filterMapWithKeys :: (k -> v -> Maybe v) -> Map k v -> Map k v?
Хочу пробежаться по всей мапе, удалить или изменить значения для всех ключей.
filterMapWithKeys :: (k -> v -> Maybe v) -> Map k v -> Map k v?
Хочу пробежаться по всей мапе, удалить или изменить значения для всех ключей.
A
есть там такое из коробки