Добрый день. Я опять с вопросом "Как достать людей из

Question

Добрый день. Я опять с вопросом "Как достать людей из

монады"
funcA :: ReaderT env m [a]
funcA = map funcB [1..]

funcB :: ReaderT env m a
funcB = undefined
Как в funcA превратить` [ReaderT env m a] ` в ReaderT env m [a] ? Нужно использовать runReader?

PS. m у меня IO.

#haskell #programming #russian

0

23.11.2020

19 ответов

11 просмотров

Alexander Vershilov

из монады можно достать только выполнив её/cняв конекст

0

23.11.2020

Alexander Vershilov

Alexander Vershilov
из монады можно достать только выполнив её/cняв ко...

например runReaderT "выполнит" Reader и снимет его

0

23.11.2020

Gradi Автор вопроса

кана
не понял все таки, а какие данные уже есть, и что ...

Я бегаю по монге. Для каждой базы данных, я получаю список коллекций, а для каждой коллекции — результат. У меня получается методы: 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

0

23.11.2020

Cheese Syrowiecki

Gradi
Я бегаю по монге. Для каждой базы данных, я получа...

вот mapM как раз и делает то, что надо

0

23.11.2020

Gradi Автор вопроса

Cheese Syrowiecki
вот mapM как раз и делает то, что надо

Меня правда смущает, что я явно передаю pipe и database ниже по уровню. Но не думаю, что мой мозг выдержит запихивать это в третью монаду поверх двух имеющихся :)

0

23.11.2020

Cheese Syrowiecki

Gradi
Меня правда смущает, что я явно передаю pipe и dat...

не надо третью, засуньте всё в один ReaderT

0

23.11.2020

кана

Gradi
Меня правда смущает, что я явно передаю pipe и dat...

можешь посмотреть на имплисит парамс

0

23.11.2020

Alexander Smirnov

Gradi
Меня правда смущает, что я явно передаю pipe и dat...

/me Смотрит гна свой код со стэком из 10 монад в качестве APP

0

23.11.2020

Cheese Syrowiecki

кана
можешь посмотреть на имплисит парамс

имплиситы с ридерами смешивать не надо

0

23.11.2020

Gradi Автор вопроса

Cheese Syrowiecki
не надо третью, засуньте всё в один ReaderT

Но у меня в ридере аргументы командной строки (хост + мелочи). После того как готов этот ридер, я создаю пайп.

0

23.11.2020

кана

Cheese Syrowiecki
имплиситы с ридерами смешивать не надо

хм, я так не считаю

0

23.11.2020

Cheese Syrowiecki

Gradi
Но у меня в ридере аргументы командной строки (хос...

поменяйте ридер

0

23.11.2020

Gradi Автор вопроса

Cheese Syrowiecki
поменяйте ридер

Имеете в виду data CommandLineArgs = CommandLineArgs { host :: String, ...etc } data ApplicationArgs = ApplicationArgs { commandLineArgs :: CommandLineArgs, pipe :: Pipe } И приложение будет 1. Парсим аргументы (ReaderT CommandLineArgs) 2. Подключаемся 3. Создаём новый ридер (ReaderT ApplicationArgs) .... ?

0

23.11.2020

Gradi Автор вопроса

Gradi
Имеете в виду data CommandLineArgs = CommandLineAr...

Хотя я использую Options.Applicative для работы с аргументами. Он генерирует красивую хелпу. Может сразу запихать пайпу в CommandLine и научить Options.Applicative одновременно парсить и подключаться к бд?

0

23.11.2020

кана

Gradi
Имеете в виду data CommandLineArgs = CommandLineAr...

можно просто не создавать первый ридер

0

23.11.2020

Cheese Syrowiecki

Gradi
Имеете в виду data CommandLineArgs = CommandLineAr...

да

0

23.11.2020