Podnieś wartość błędu do transformatora monada ErrorT

Question

Chyba brakuje podstawowe zrozumienie transformatorów monady, ponieważ uważam, że ja pisząc ten kod:

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" 

Chociaż to działa, myślę, że może to być zrobione więcej elegancko. W szczególności szukam zamiennika liftError, co moim zdaniem nie powinienem sam określać.

Jaki byłby najprostszy sposób, aby gateway i inner współpracować bez zmiany ich typu?

Answer 1

Jeśli zmienisz tylko trochę, nie musisz w ogóle wykonywać podnoszenia.

{-# 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 ma wystąpień zarówno ErrorT i Either, więc w ten sposób można używać zarówno jako inner.