Safe Haskell | Safe-Inferred |
---|---|

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 #

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

# opaque

data WithEarlyExit m a Source #