Haskell ReaderT Env IO płyta montażowa

Question

Mam następujący szablon, który wykonuję dość często i chciałbym wyeliminować. Wygląda to mniej więcej tak:

type Configured = ReaderT Config 

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

chciałbym zmniejszyć, że aby coś takiego:

doSomething = do 
    meta <- find getMetaData 

Niestety, jeszcze nie całkowicie owinięty wokół mojego umysłu transformatorów monada jeszcze. Jaki jest typ find? Czy to jest (Config -> IO Result) -> Result? Jak mogę to napisać?

Wszelkie wskazówki/wyjaśnienia, które pomogą mi w konstruowaniu transformatorów Monok są bardzo cenione.

Dzięki!

Answer 1

Można to zrobić w dość mechaniczny sposób. Zacznijmy od oryginalnego kodu:

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

Korzystanie the third monad law, wolno nam przenieść część chcemy wyodrębnić w do-bloku własnych:

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

Dalej, możemy po prostu wyodrębnić że podwyrażenie i nadać mu nazwę:

findMetaData = do getMeta <- asks getMetaData 
        liftIO getMeta 

doSomething = do 
    meta <- findMetaData 
    ... 

Wreszcie niech go uogólniać zastępując wyraźne odniesienie do getMetaData z parametrem:

find something = do x <- asks something 
        liftIO x 

doSomething = do 
    meta <- find getMetaData 
    ... 

Teraz możemy załadować go w GHCi i poprosić go, aby ustalić typ dla nas:

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

---

Opcjonalnie możemy chcieć je posprzątać trochę i usunięcie manekina wymienić x:

find something = ask >>= liftIO . something 

Aby to zrobić, użyłem the definition of asks i the desugaring rules for do-notation.