Control.Monad.Shuffle

Documentation

class Shuffle m1 m2 where

Methods

shuffle :: m1 (m2 a) -> m2 (m1 a)

Instances

(Monad m, Functor m) => Shuffle (Either e) m

shuffleJoin :: (Shuffle n1 m2, PolyMonad m1 m2, PolyMonad n1 n2, Functor m1, Functor mout, mout ~ PolyBind m1 m2, nout ~ PolyBind n1 n2) => m1 (n1 (m2 (n2 a))) -> mout (nout a)

($>>=) :: (Monad m, Monad t, Functor t, Shuffle m t) => m a -> (a -> t (m b)) -> t (m b) infixl 1

deepBind :: (Monad m, Monad t, Functor t, Shuffle m t) => t (m a) -> (a -> t (m b)) -> t (m b)