AS
а хм не так понял, я думал из того что написано сделать список
Кстати говоря, этой функции не сущесвтует для произвольнйо монады
Size: a a a
2020 November 23
AS
А как ты монаду к IO скастишь?
AS
:)
JS
а несколько действий перед catch можно?
да
AS
Представь что у тебя в качестве монады список
AV
Добрый день. Я опять с вопросом "Как достать людей из монады"
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.
из монады можно достать только выполнив её/cняв конекст
JS
этот кетч же будет только к одной строчке применяться
нет, ко всему do почему-то
main = do
throwIO $ userError "4"
do
print 6
throwIO $ userError "7"
`catch` \(e :: SomeException) -> do
putStrLn $ "caught " ++ show e
throwIO $ userError "10"
AV
из монады можно достать только выполнив её/cняв конекст
например runReaderT "выполнит" Reader и снимет его
AV
Получишь
IO ..AS
Откуда у вас берется IO вечно?
AV
Чтобы достать из IO, тебе нужно или выполнить его (это только unsafe операции) или наоборот подняв свои вычисления в IO
AS
Это же не ReaderT IO
MK
Откуда у вас берется IO вечно?
у Саши всё в ио
AV
Чистое - чистое, stm - stm, остальное так или иначе над IO
G
не понял все таки, а какие данные уже есть, и что нужно получить?
Я бегаю по монге.
Для каждой базы данных, я получаю список коллекций, а для каждой коллекции — результат.
У меня получается методы:
Для каждой базы данных, я получаю список коллекций, а для каждой коллекции — результат.
У меня получается методы:
checkDatabase :: Pipe -> Database -> ReaderT CommandLineArgs IO [CheckResult]
checkDatabase pipe db = do
collections <- -- get collections
mapM (checkCollection pipe db) collections
checkCollection :: Pipe -> Database -> Collection -> ReaderT CommandLineArgs IO CheckResult
checkCollection = undefined
AV
Это же не ReaderT IO
Не понятно