Как использовать IO Monad в другой Monad

Question

Я использую библиотеку MongoDB для обработки данных из Mongodb. Существует Монада, называемая Action, представляющая операцию чтения или записи БД https://github.com/TonyGen/mongoDB-haskell/blob/master/doc/tutorial.md. Но, я нахожу, что когда я в Monad Action, я также хочу сделать некоторые IO, которые должны быть в IO Monad. Некоторые коды, такие как

-- `Action' is a Monad 
-- 
intoFile :: String -> Cursor -> Action IO() 
intoFile ric c = do 
    outH <- liftIO $ openFile ric AppendMode 
    liftIO $ hPutStrLn outH "Some log" 
    loopIntoFile outH c 
    liftIO $ hClose outH 

Существует liftIO перед любой IO монады, и я думаю, что это может быть многословным. Любой краткий способ справиться с этим?

Answer 1

Нельзя избежать liftIO, к сожалению, потому что стандартные действия IO не перегружены для работы ни в одном MonadIO. Но вы можете присоединиться к последовательности IO действий в рамках одного вызова liftIO:

intoFile :: String -> Cursor -> Action IO() 
intoFile ric c = do 
    outH <- liftIO $ do 
    openFile ric AppendMode 
    hPutStrLn outH "Some log" 
    loopIntoFile outH c 
    liftIO $ hClose outH 

Или, если вы собираетесь использовать те же самые IO операции повторно, вы можете ввести вспомогательные определения для них:

intoFile :: String -> Cursor -> Action IO() 
intoFile ric c = do 
    outH <- openLog ric AppendMode 
    log outH "Some log" 
    loopIntoFile outH c 
    closeLog outH 

openLog path mode = liftIO (openFile path mode) 
log handle message = liftIO (hPutStrLn handle message) 
closeLog handle = liftIO (hClose handle) 

Answer 2

Вы хотите провести еще 2 контекста - контекст IO и Action. Это относится к трансформаторам монады, потому что они позволяют вам справляться с накладными монадами и выбирать внутри блока do, в котором монада выбирает желаемое действие. Here is a great explanation, почему они нам нужны и как их использовать.