Control.Distributed.Process.Lifted.Class

Documentation

class (Monad m, MonadIO m, MonadBase IO m, MonadBaseControl IO m) => MonadProcess m where

A class into instances of which Process operations can be lifted; similar to MonadIO or MonadBase.

Methods

liftP :: Process a -> m a

lift a base Process computation into the current monad

Instances

MonadProcess Process

MonadProcess m => MonadProcess (ListT m)

MonadProcess m => MonadProcess (MaybeT m)

MonadProcess m => MonadProcess (IdentityT m)

MonadProcess m => MonadProcess (ReaderT r m)

MonadProcess m => MonadProcess (StateT s m)

MonadProcess m => MonadProcess (StateT s m)

MonadProcess m => MonadProcess (ExceptT e m)

(Monoid w, MonadProcess m) => MonadProcess (WriterT w m)

(Monoid w, MonadProcess m) => MonadProcess (WriterT w m)

(Monoid w, MonadProcess m) => MonadProcess (RWST r w s m)

(Monoid w, MonadProcess m) => MonadProcess (RWST r w s m)

class MonadProcess m => MonadProcessBase m where

A Clone of MonadBaseControl specialized to the Process monad. This uses the MonadTransControl typeclass for transformer default instances, so the core wrapping/unwrapping logic is not duplicated. This class is needed because the MonadBaseControl instance for Process has IO as the base.

Associated Types

type StMP m a :: *

Methods

liftBaseWithP :: (RunInBaseP m -> Process a) -> m a

restoreMP :: StMP m a -> m a

Instances

MonadProcessBase Process

MonadProcessBase m => MonadProcessBase (ListT m)

MonadProcessBase m => MonadProcessBase (MaybeT m)

MonadProcessBase m => MonadProcessBase (IdentityT m)

MonadProcessBase m => MonadProcessBase (ReaderT r m)

MonadProcessBase m => MonadProcessBase (StateT s m)

MonadProcessBase m => MonadProcessBase (StateT s m)

MonadProcessBase m => MonadProcessBase (ExceptT e m)

(Monoid w, MonadProcessBase m) => MonadProcessBase (WriterT w m)

(Monoid w, MonadProcessBase m) => MonadProcessBase (WriterT w m)

(Monoid w, MonadProcessBase m) => MonadProcessBase (RWST r w s m)

(Monoid w, MonadProcessBase m) => MonadProcessBase (RWST r w s m)

type RunInBaseP m = forall a. m a -> Process (StMP m a)

A clone of RunInBase for MonadProcessBase.

type ComposeStP t m a = StMP m (StT t a)

A clone of ComposeSt for MonadProcessBase.

type RunInBaseDefaultP t m = forall a. t m a -> Process (ComposeStP t m a)

A clone of RunInBaseDefault for MonadProcessBase.

defaultLiftBaseWithP :: (MonadTransControl t, MonadProcessBase m) => (RunInBaseDefaultP t m -> Process a) -> t m a

A clone of defaultLiftBaseWith for MonadProcessBase. This re-uses the MonadTransControl typeclass the same way as the original; core wrapping/unwrapping logic for each transformer type is not duplicated.

defaultRestoreMP :: (MonadTransControl t, MonadProcessBase m) => ComposeStP t m a -> t m a

A clone of defaultRestoreMP for MonadProcessBase. This re-uses the MonadTransControl typeclass the same way as the original; core wrapping/unwrapping logic for each transformer type is not duplicated.

controlP :: MonadProcessBase m => (RunInBaseP m -> Process (StMP m a)) -> m a

A clone of control for MonadProcessBase.

liftBaseDiscardP :: MonadProcessBase m => (Process () -> Process a) -> m () -> m a

A clone of liftBaseDiscard for MonadProcessBase.