JS
catch
do
lol
kek
\e -> do
print e
пиши так
do
lol
kek
`catch` \e -> do
print e
Size: a a a
2020 November 23
MK
а так работает что ли?
MK
по-моему ещё большее уродство
JS
Ты же понимаешь, что "уродство" это твоя личная субьективная оценка?
конечно. я написал для того, чтобы обменяться оценками с другими людьми
MK
sequenceMK
он же
traverse idA
case () of
_ | обошёлся -> ...
Хм, в паттерн матчинге можно гуарды?
MK
не, тут обратная операция
разве?
MK
sequence :: [m a] -> m [a]MK
а ещё можно использовать
mapM funcB сразуAV
Хм, в паттерн матчинге можно гуарды?
всё что можно в multiwayif можно
MK
sequence . map f = mapM f = traverse fк
Добрый день. Я опять с вопросом "Как достать людей из монады"
PS. m у меня IO.
funcA :: ReaderT env m [a]Как в funcA превратить` [ReaderT env m a] `
funcA = map funcB [1..]
funcB :: ReaderT env m a
funcB = undefined
в ReaderT env m [a] ? Нужно использовать runReader?PS. m у меня IO.
не понял все таки, а какие данные уже есть, и что нужно получить?
G
а ещё можно использовать
mapM funcB сразуmapM помог. Спасибо.
JS
а так работает что ли?
ну, не совсем. исправил
main = do
throwIO $ userError "4"
do
throwIO $ userError "7"
`catch` \(e :: SomeException) -> do
putStrLn $ "caught " ++ show e
throwIO $ userError "10"
MK
ну, не совсем. исправил
main = do
throwIO $ userError "4"
do
throwIO $ userError "7"
`catch` \(e :: SomeException) -> do
putStrLn $ "caught " ++ show e
throwIO $ userError "10"
а несколько действий перед catch можно?