Haskell ReaderT Env Конфигурация IO

Question

У меня есть следующий шаблон, который я делаю довольно часто и хотел бы устранить. Это выглядит примерно так:

type Configured = ReaderT Config 

doSomething :: Configured IO Data 
doSomething = do 
    getMeta <- asks getMetaData 
    meta <- liftIO getMeta 

я хотел бы уменьшить, что-то вроде этого:

doSomething = do 
    meta <- find getMetaData 

К сожалению, я не полностью обернутый свой ум вокруг монада трансформаторов пока. Какой тип find? Это (Config -> IO Result) -> Result? Как мне написать?

Любые советы/объяснения, которые помогут мне преобразовать трансформаторы монады, очень ценятся.

Спасибо!

Answer 1

Это можно сделать довольно механически. Начнем с исходного кода:

doSomething = do 
    getMeta <- asks getMetaData 
    meta <- liftIO getMeta 
    ... 

Использование the third monad law, мы позволили переместить часть, мы хотим, чтобы извлечь в сделай блок своего собственного:

doSomething = do 
    meta <- do getMeta <- asks getMetaData 
       liftIO getMeta 
    ... 

Далее, мы можем просто извлечь что подвыражения и дать ему имя:

findMetaData = do getMeta <- asks getMetaData 
        liftIO getMeta 

doSomething = do 
    meta <- findMetaData 
    ... 

Наконец, давайте обобщим его, заменив прямую ссылку на getMetaData с параметром:

find something = do x <- asks something 
        liftIO x 

doSomething = do 
    meta <- find getMetaData 
    ... 

Теперь мы можем загрузить его в GHCi и попросить его, чтобы определить тип для нас:

*Main> :t find 
find :: (MonadReader r m, MonadIO m) => (r -> IO b) -> m b 

---

При желании мы могли бы хотеть, чтобы очистить его немного и удалить манекен имя x:

find something = ask >>= liftIO . something 

Для этого я использовал the definition of asks и the desugaring rules for do-notation.