Data.Alternative.IO.Lifted

Lifted IO like Alternative instance. Due to technical limitation, Lifted IO is not an instance of Alternative. (<||>) is provided instead.

Documentation

(<||>) :: MonadBaseControl IO m => m a -> m a -> m a

If the left IO monad of (<||>) causes an error or goNext is used, the right IO monad is executed.

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

Go to the next IO monad by throwing AltIOLiftedGoNext.

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

Run any one lifted IO monad.

data AltIOLiftedGoNext

Constructors

AltIOLiftedGoNext

Instances

Show AltIOLiftedGoNext

Typeable AltIOLiftedGoNext

Exception AltIOLiftedGoNext