Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- exitEarly :: Applicative m => WithEarlyExit m a
- withEarlyExit :: WithEarlyExit m a -> m ( Maybe a)
- withEarlyExit_ :: Functor m => WithEarlyExit m () -> m ()
- lift :: ( MonadTrans t, Monad m) => m a -> t m a
- data WithEarlyExit m a

# Documentation

exitEarly :: Applicative m => WithEarlyExit m a Source #

withEarlyExit :: WithEarlyExit m a -> m ( Maybe a) Source #

withEarlyExit_ :: Functor m => WithEarlyExit m () -> m () Source #

# Re-exports

lift :: ( MonadTrans t, Monad m) => m a -> t m a Source #

Lift a computation from the argument monad to the constructed monad.

# opaque

data WithEarlyExit m a Source #