resumable-exceptions-0.0.0.20100313: A monad transformer for resumable exceptions Source code Contents Index

Control.Monad.Resumable.Class Portability non-portable (GHC extensions) Stability experimental Maintainer nicolas.frisby@gmail.com

Description

A monadic interface for resumable exceptions.

Synopsis

class Monad m => MonadResumable req res m | m -> req res where yield :: req -> (res -> m a) -> m a handle :: m a -> (req -> (res -> m a) -> m a) -> m a respond :: MonadResumable req res m => (req -> m res) -> m a -> m a

Documentation

class Monad m => MonadResumable req res m | m -> req res where Source

A monadic interface for resumable exceptions. Methods yield :: req -> (res -> m a) -> m a Source Raise the exception: a request and a resumption to use if the request can be handled. handle :: m a -> (req -> (res -> m a) -> m a) -> m a Source Installs a handler to quiesce an exception before it percolates to the higher-level handlers. Instances MonadResumable req res m => MonadResumable req res (ContT r m) (Error e, MonadResumable req res m) => MonadResumable req res (ErrorT e m) MonadResumable req res m => MonadResumable req res (StateT s m) (Monoid w, MonadResumable req res m) => MonadResumable req res (WriterT w m) MonadResumable req res m => MonadResumable req res (ReaderT r m) (Monoid w, MonadResumable req res m) => MonadResumable req res (RWST r w s m) Monad m => MonadResumable req res (ResumableT Dynamic req res m) Monad m => MonadResumable req res (ResumableT Static req res m)

respond :: MonadResumable req res m => (req -> m res) -> m a -> m a Source

Variation on handle that always applies the resumption.

Produced by Haddock version 2.6.0