haskell - 将 monad 转换为 IO

Question

这个问题在这里已经有了答案:





Lifting a higher order function in Haskell

(1 个回答)


3年前关闭。




我想用 finally , 签名IO a -> IO b -> IO a .

但是，我想使用的操作基于与 IO 不同的 monad (即 Servant 的 ClientM )。

我知道 liftIO ，但这似乎适得其反 -- IO a -> m a .

如何将我的 monad 转换为 IO，或者提升 finally比如对我的 monad 进行操作？

Answer 1

请注意 ClientM还有一个MonadBaseControl IO ClientM用于此类事情的实例。例如，我认为以下内容应该进行类型检查(并且可以与 m ~ ClientM 一起使用)。

finally' :: MonadBaseControl IO m => m a -> m b -> m a
finally' x y = control $ \runInIO -> catch (runInIO x) (runInIO y)

编辑

不仅上面的类型检查，而且它在 lifted-base as finally 中定义.