電梯誤差值ErrorT單子轉換

Question

我覺得我失去了單子變壓器的一些基本的瞭解，因爲我發現自己編寫這些代碼：

import Control.Monad.Identity 
import Control.Monad.Error 

liftError :: Either String Int -> ErrorT String Identity Int 
liftError x = do case x of 
        Right val -> return val 
        Left err -> throwError err 

gateway :: Bool -> ErrorT String Identity Int 
gateway = liftError . inner 

inner :: Bool -> Either String Int 
inner True = return 5 
inner False = throwError "test" 

雖然這工作，我認爲這可能需要做更多典雅。特別是，我正在尋找替代liftError，我認爲我不應該爲自己定義。

什麼是最直接的方式使gateway和inner一起工作，而不改變它們的類型？

Answer 1

如果你只是稍微改變一下這些類型，你根本不需要做任何提升。

{-# LANGUAGE FlexibleContexts #-} 

gateway :: Bool -> ErrorT String Identity Int 
gateway = inner 

inner :: MonadError String m => Bool -> m Int 
inner True = return 5 
inner False = throwError "test" 

MonadError有兩個ErrorT和Either實例，所以這種方式，您可以使用inner兩者並用。