Control.Monad.EmbedIO

Provides one with the ability to pass her own monads in the callbacks.

Documentation

class MonadIO o => EmbedIO o where

MonadIOs that can be collapsed to and restored from a distinct value.

Associated Types

type Content o

Intermediate state storage type.

Methods

embed :: (Content o -> IO a) -> o a

Propagate an IO operation over the storage type to the monadic type.

callback :: o a -> Content o -> IO a

Run the monadic computation using supplied state.

Instances

EmbedIO IO

data Void

Empty type. Used to represent state for IO monad.

bracketE :: EmbedIO m => m r -> (r -> m b) -> (r -> m a) -> m a

bracket equivalent.

catchE :: (EmbedIO m, Exception e) => m a -> (e -> m a) -> m a

catch equivalent.

handleE :: (EmbedIO m, Exception e) => (e -> m a) -> m a -> m a

handle equivalent.

tryE :: (EmbedIO m, Exception e) => m a -> m (Either e a)

try equivalent.

throwE :: (EmbedIO m, Exception e) => e -> m a

throw equivalent.

forkE :: EmbedIO m => m () -> m ThreadId

forkIO equivalent.