monad 转换器上下文中的 Monad

Question

我很难掌握 monad 和 monad 转换器。我有 以下人为示例（不可编译）：

import Control.Monad
import Control.Monad.Error
import Control.Monad.Reader

data State = State Int Int Int
type Foo = ReaderT State IO

readEither :: String -> Either String Int
readEither s = let p = reads s
           in case p of
               [] -> throwError "Could not parse"
               [(a, _)] -> return a

readEitherT :: IO (Either String Int)
readEitherT = let p s = reads s
          in runErrorT $ do
    l <- liftIO (getLine)
    readEither l

foo :: Foo Int
foo = do
  d <- liftIO $ readEitherT
  case d of
       Right dd -> return dd
       Left em -> do
     liftIO $ putStrLn em
     return (-1)

bar :: Foo String
bar = do
  liftIO $ getLine

defaultS = State 0 0 0

如果我将 readEither 的功能复制到 readEitherT，它可以工作，但我 有一种挥之不去的感觉，我可以利用现有的力量 readEither 函数，但我不知道如何实现。如果我尝试举起 readEither 在 readEitherT 函数中，它将其提升为 ErrorT String IO （要么 String Int） 正如它应该的那样。但我应该以某种方式将其传递给 ErrorT 字符串 IO Int。

如果我的方向是错误的，那么正确的方法是什么 处理需要 IO（或其他 monad）并从中调用的错误 一元上下文（请参阅示例中的 foo 函数）

编辑： 显然我不清楚我想做什么。也许下面的函数描述了我想知道的内容和原因

maybePulseQuit :: Handle -> IO (Either String ())
maybePulseQuit h = runErrorT $ do
  f <- liftIO $ (communicate h "finished" :: IO (Either String Bool))
  (ErrorT . pure) f >>= \b → liftIO $ when b $ liftIO pulseQuit

。它有效，但由于绑定仍然很难看。这比之前有案例检查的版本清晰得多。这是推荐的方法吗？

Answer 1

目前尚不清楚为什么需要 ErrorT。您可以像这样实现 readEitherT

readEitherT :: IO (Either String Int)
readEitherT = fmap readEither getLine

如果由于某种原因您确实需要 ErrorT，那么您可以创建实用函数 eitherToErrorT：

eitherToErrorT = ErrorT . pure

readEitherT = runErrorT $ do
  l <- liftIO $ getLine
  eitherToErrorT $ readEither l

[ADD]< /强>
也许您只想将 ErrorT 添加到您的 monad 堆栈中...

data State = State Int Int Int
type Foo = ErrorT String (ReaderT State IO)

runFoo :: Foo a -> State -> IO (Either String a)
runFoo foo s = runReaderT (runErrorT foo) s

doIt :: Int -> Foo Int
doIt i = if i < 0
            then throwError "i < 0"
            else return (i * 2)

示例：

*Main> runFoo (doIt 1 >>= doIt) (State 0 0 0)
Right 4
*Main> runFoo (doIt (-1) >>= doIt) (State 0 0 0)
Left "i < 0"