如何处理IO (可能(IO (可能t))类型？

Question

我正在处理一个库(ghcjs-dom)，其中每个函数都返回一个IO (Maybe T)。

我有一个函数a，它返回一个IO (Maybe x)和函数b，它以x作为参数并返回IO (Maybe y)。

是一个操作符，它允许我执行a ??? b并获得一个IO (Maybe y)。我的胡格尔搜索一无所获。

我看起来像join，它适用于IO (Maybe (IO (Maybe t)))，而不是IO (IO t)或Maybe (Maybe t)。

Answer 1

据我所知，你有：

a :: IO (Maybe X)
b :: X -> IO (Maybe Y)

IO (Maybe a)与MaybeT IO a之间有着密切的关系，即MaybeT将一种转换为另一种：

MaybeT :: IO (Maybe a) -> MaybeT IO a

逆运算就是runMaybeT

runMaybeT :: MaybeT IO a -> IO (MaybeT a)

在MaybeT monad中，您要执行的组合只是绑定操作：

MaybeT a >>= (\x -> MaybeT (b x)) :: MaybeT IO Y

这将导致MaybeT IO Y类型的值。要将其转换回IO (Maybe Y)，只需使用runMaybeT即可。

更新

这里是一个“合成”a和b的运算符。

andThen :: IO (Maybe a) -> (a -> IO (Maybe b)) -> IO (Maybe b)
andThen a b = runMaybeT $  MaybeT a >>= (\x ->  MaybeT (b x) )

但是，如果您发现自己经常使用这个操作符，那么也许您应该重新设计您的函数，这样您就可以主要在MaybeT IO monad中工作，然后只需在外部使用一个runMaybeT即可。

Answer 2

如果您不想使用MaybeT，您需要的是来自Data.Traversable的sequenceA或traverse。

Prelude Data.Traversable Control.Monad> :t fmap join . join . fmap sequenceA 

fmap join . join . fmap sequenceA
  :: (Traversable m, Control.Applicative.Applicative f, Monad m,
      Monad f) =>
      f (m (f (m a))) -> f (m a)

在你的例子中，f是IO和m。