Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Util.EarlyExit
Contents
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 #