操縱單子堆棧

Question

如果我有單子一堆，說IO，State和Error，並且只使用IO和Error功能。如何從堆棧中刪除中間的State monad以便我可以使用我的函數？如果訂單是IO，Error，State，我可以用lift相匹配的類型，但我希望能夠用我的功能，如果單子堆棧包含IO和Error並有可能在任何秩序的其他單子。例如：

fun :: ErrorT String IO() 
fun = throwError "error" 

someCode :: ErrorT String (StateT Int IO)() 
someCode = do 
    -- I want to use fun here 

Answer 1

的fun類型簽名就變成fun :: (MonadError String m, MonadIO m) => m()。它隨後可用於任何具有String錯誤的monad堆棧，並且可以執行IO（例如ErrorT String (StateT Int IO)）。

如：

fun :: (MonadError String m, MonadIO m) => m() 
fun = do 
    liftIO $ putStrLn "in fun" 
    throwError "error" 

someCode :: ErrorT String (StateT Int IO)() 
someCode = do 
    fun 
    -- whatever you want