Control.Exception.IOChoice.Lifted

This package provides the choice operator (||>) for lifted IO monad.

Documentation

(||>) :: MonadBaseControl IO m => m a -> m a -> m a infixr 3

If IOException occurs or goNext is used in the left monad, then the right monad is performed. Note that fail throws IOException.

goNext :: (MonadIO m, MonadBase IO m) => m a

Go to the next IO monad by throwing IOException.

runAnyOne :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m a

Run any one lifted IO monad.