Artışı hatası değeri

Question

Kendimi bu kod yazmadan buldum çünkü monad transformatörlerin bazı temel anlayış eksik düşünüyorum: Bu çalışır

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" 

, ben bu daha yapılabilir olduğunu düşünüyorum zarif. Özellikle, kendim tanımlamak zorunda olmamam gerektiğini düşündüğüm liftError'un yerini arıyorum.

gateway ve inner'u türlerini değiştirmeden birlikte çalışmanın en kolay yolu ne olurdu?

Answer 1

Sadece türlerini biraz değiştirirseniz, hiç bir kaldırma yapmanız gerekmez.

{-# 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" 

MonadErrorErrorT ve Either ikisi için örnekleri vardır, bu nedenle bu yolu hem de inner kullanabilirsiniz.