IO（Maybe（IO（Maybe t）））タイプを扱う方法は？

Question

私はすべての関数がIO (Maybe T)を返すライブラリ（ghcjs-dom）を扱っています。

は、私が戻ってIO (Maybe x)と引数としてxを取り、IO (Maybe y)を返す関数bと機能aを持っています。

私にa ??? bをさせ、IO (Maybe y)を得させる演算子です。私のHoogleの検索で何も表示されませんでした。

私はIO (Maybe (IO (Maybe t)))の代わりに、IO (IO t)またはMaybe (Maybe t)のために働くjoinのようなものを探しています。

Answer 1

私が理解から、あなたが持っている：

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

IO (Maybe a)とMaybeT IO aとの間には密接な関係があり、すなわちMaybeTは、他の1つに変換：

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

をし、逆の操作だけですrunMaybeT：

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

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

これはタイプMaybeT IO Yの値になり：MaybeTモナド実行したい構図でだけ バインド操作です。 IO (Maybe Y)に変換するには、runMaybeTを使用してください。あなたはおそらく、

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

しかし、あなたはこの演算子をたくさん使って自分自身を見つける場合は必要があります。ここでは

更新

はとB "を構成する" ためのオペレータであります機能を再加工して、MaybeT IO のモナドで作業してから、>>=と1つの外側には があります。

Answer 2

MaybeTを使用しない場合は、sequenceAまたはtraverseからData.Traversableが必要です。

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です。