В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1644 membersпожаловаться на группу
2020 November 30

к

кана in Haskell
Kirill Valyavin
Как бы через линзы сделать такое: одновременно достать какой-то кусок структуры и применить эффектфул-операцию к чему-то в этом куске, типа
_ ( "not needed"
  , [ (True, "print me")
    , (False, "print me too")
    ]
  ) :: IO [(Bool, ())]
как минимум так получилось, но думаю можно и без writer
источник
13:04пожаловаться#1

AA

A64m AL256m qn<co... in Haskell
Kirill Valyavin
Чтобы "print me" и "print me too" напечаталось
> ("not needed", [(True, "print me"), (False, "print me too")]) & _2 . each . _2 %%~ putStrLn 
print me
print me too
источник
13:09пожаловаться#2

к

кана in Haskell
нужно же еще вернуть
источник
13:09пожаловаться#3

MK

Maxim Koltsov in Haskell
ммм id
источник
13:09пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
кана
нужно же еще вернуть
вернется
источник
13:10пожаловаться#5

к

кана in Haskell
нет
источник
13:10пожаловаться#6

к

кана in Haskell
вернется ("not needed", [(), ()])
источник
13:10пожаловаться#7

AA

A64m AL256m qn<co... in Haskell
> ("not needed", [(True, "print me"), (False, "print me too")]) & _2 . each . _2 %%~ putStrLn 
print me
print me too
("not needed",[(True,()),(False,())])
источник
13:10пожаловаться#8

AA

A64m AL256m qn<co... in Haskell
а, понял
источник
13:10пожаловаться#9

к

кана in Haskell
ну вот
источник
13:10пожаловаться#10

к

кана in Haskell
not needed не нужен
источник
13:10пожаловаться#11

к

кана in Haskell
а скомпозировать Const и IO не выйдет
источник
13:11пожаловаться#12

к

кана in Haskell
только вот с WriterT IO придумал
источник
13:11пожаловаться#13

KV

Kirill Valyavin in Haskell
%%~ это id?
источник
13:13пожаловаться#14

к

кана in Haskell
да, это как тут я просто применил к линзе функцию
источник
13:13пожаловаться#15

к

кана in Haskell
Переслано от кана
x' <- getConst <$> flip (_2 . each) x \(a, b) -> do
 print b
 pure $ Const [(a, b)]
источник
13:13пожаловаться#16

к

кана in Haskell
имхо %%~ не нужен, fmap . fmap и traverse мы же без %~ применяем
источник
13:13пожаловаться#17

AV

Alexander Vershilov in Haskell
("not needed"::String,  [(True, "print me"), (False, "print me too")]) ^. _2 & each . _2 %%~ putStrLn
источник
13:15пожаловаться#18

AV

Alexander Vershilov in Haskell
так ведь нельзя?
источник
13:15пожаловаться#19

KV

Kirill Valyavin in Haskell
Можно, я так почти и делаю
источник
13:15пожаловаться#20