Aufzug Fehlerwert ErrorT Monade Transformator

Question

Ich glaube, ich bin ein grundlegendes Verständnis von Monade Transformatoren fehlen, weil ich mir diesen Code zu schreiben gefunden:

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" 

Das funktioniert zwar, glaube ich, dass dies mehr getan werden könnte, elegant. Insbesondere suche ich nach einem Ersatz von liftError, den ich meiner Meinung nach nicht für mich definieren müsste.

Was wäre der einfachste Weg, gateway und inner zusammen zu arbeiten, ohne ihren Typ zu ändern?

Answer 1

Wenn Sie nur die Typen ein wenig ändern, müssen Sie überhaupt nicht heben.

{-# 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 hat beide Instanzen für ErrorT und Either, so dass diese Art und Weise können Sie inner als beides.