लिफ्ट त्रुटि मान

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" 

MonadErrorErrorT और Either दोनों के लिए उदाहरण हैं, तो इस तरह से आप inner दोनों के रूप में उपयोग कर सकते हैं।