| Stability | Ultra-Violence |
|---|---|
| Portability | I'm too young to die |
| Safe Haskell | Safe |
| Language | Haskell98 |
Control.Monad.EmbedIO
Description
Provides one with the ability to pass her own monads in the callbacks.
- class MonadIO o => EmbedIO o where
- type Content o
- data Void
- bracketE :: EmbedIO m => m r -> (r -> m b) -> (r -> m a) -> m a
- catchE :: (EmbedIO m, Exception e) => m a -> (e -> m a) -> m a
- handleE :: (EmbedIO m, Exception e) => (e -> m a) -> m a -> m a
- tryE :: (EmbedIO m, Exception e) => m a -> m (Either e a)
- throwE :: (EmbedIO m, Exception e) => e -> m a
- forkE :: EmbedIO m => m () -> m ThreadId
Documentation
class MonadIO o => EmbedIO o where Source #
MonadIOs that can be collapsed to and restored from a distinct value.