操纵monad堆栈

Question

如果我有单子一堆,说IO,State和Error,而仅使用功能IO和Error.如何State从堆栈中"移除"中间monad以便我可以使用我的功能？如果订单IO,Error,State,我可以用lift匹配的类型,但我希望能够用我的功能,如果单子堆栈包含IO和Error在任何顺序其他可能的单子.例如:

fun :: ErrorT String IO ()
fun = throwError "error"

someCode :: ErrorT String (StateT Int IO) ()
someCode = do
    -- I want to use fun here

Answer 1

只需更改类型签名fun即可fun :: (MonadError String m, MonadIO m) => m ().然后,它将可用于任何具有String错误的monad堆栈,并且可以执行IO(例如ErrorT String (StateT Int IO)).

例如:

fun :: (MonadError String m, MonadIO m) => m ()
fun = do
  liftIO $ putStrLn "in fun"
  throwError "error"

someCode :: ErrorT String (StateT Int IO) ()
someCode = do
  fun
  -- whatever you want