Lift giá trị lỗi để ErrorT đơn nguyên biến

Question

Tôi nghĩ rằng tôi thiếu một số hiểu biết cơ bản của máy biến áp đơn nguyên, bởi vì tôi thấy mình viết code này:

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" 

Trong khi làm việc này, tôi nghĩ rằng điều này có thể được thực hiện nhiều hơn thanh lịch. Đặc biệt, tôi đang tìm kiếm một sự thay thế của liftError, mà tôi nghĩ rằng tôi không cần phải xác định cho bản thân mình.

Cách đơn giản nhất để làm cho gateway và inner hoạt động cùng nhau mà không thay đổi loại của chúng là gì?

Answer 1

Nếu bạn chỉ thay đổi các loại một chút, bạn không phải làm gì cả.

{-# 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 có trường hợp cho cả ErrorT và Either, vì vậy cách này bạn có thể sử dụng inner như cả hai.