为什么可以替换这些类型？

Question

有些事情似乎令人难以置信:

foo :: a -> StateT Env (ReaderT Env (ErrorT String IO)) String

可以替换为
foo :: a -> ErrorT String IO String

这怎么可能 ？毕竟,他们是完全不同的类型......

Answer 1

显然,在所有情况下都不可能相互替换它们.例如,如果你明确使用ErrorT . return $ Left "Muahar",那么这必须是一个ErrorT String m a.

然而,这两种类型的形式为a -> M String,具有(变压器堆栈)单子M这是一个实例MonadIO和MonadError String.因此,如果仅使用表单的操作定义此函数liftIO ioaction,并且可能throwError和catchError,则它将作为任何这些monad工作.一般类型是

foo :: (MonadIO m, MonadError String m) => a -> m String