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.

Minimal complete definition

liftP

Methods

liftP :: Process a -> m a

lift a base Process computation into the current monad

Instances

MonadProcess Process

Methods

liftP :: Process a -> Process a

MonadProcess m => MonadProcess (ListT m)

Methods

liftP :: Process a -> ListT m a

MonadProcess m => MonadProcess (MaybeT m)

Methods

liftP :: Process a -> MaybeT m a

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

Methods

liftP :: Process a -> WriterT w m a

MonadProcess m => MonadProcess (StateT s m)

Methods

liftP :: Process a -> StateT s m a

MonadProcess m => MonadProcess (ExceptT e m)

Methods

liftP :: Process a -> ExceptT e m a

MonadProcess m => MonadProcess (IdentityT * m)

Methods

liftP :: Process a -> IdentityT * m a

MonadProcess m => MonadProcess (StateT s m)

Methods

liftP :: Process a -> StateT s m a

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

Methods

liftP :: Process a -> WriterT w m a

MonadProcess m => MonadProcess (ReaderT * r m)

Methods

liftP :: Process a -> ReaderT * r m a

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

Methods

liftP :: Process a -> RWST r w s m a

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

Methods

liftP :: Process a -> RWST r w s m a

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.

Minimal complete definition

liftBaseWithP, restoreMP

Associated Types

type StMP m a :: *

Methods

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

restoreMP :: StMP m a -> m a

Instances

MonadProcessBase Process

Associated Types

type StMP (Process :: * -> *) a :: *

Methods

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

restoreMP :: StMP Process a -> Process a

MonadProcessBase m => MonadProcessBase (ListT m)

Associated Types

type StMP (ListT m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (ListT m) a -> ListT m a

MonadProcessBase m => MonadProcessBase (MaybeT m)

Associated Types

type StMP (MaybeT m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (MaybeT m) a -> MaybeT m a

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

Associated Types

type StMP (WriterT w m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (WriterT w m) a -> WriterT w m a

MonadProcessBase m => MonadProcessBase (StateT s m)

Associated Types

type StMP (StateT s m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (StateT s m) a -> StateT s m a

MonadProcessBase m => MonadProcessBase (ExceptT e m)

Associated Types

type StMP (ExceptT e m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (ExceptT e m) a -> ExceptT e m a

MonadProcessBase m => MonadProcessBase (IdentityT * m)

Associated Types

type StMP (IdentityT * m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (IdentityT * m) a -> IdentityT * m a

MonadProcessBase m => MonadProcessBase (StateT s m)

Associated Types

type StMP (StateT s m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (StateT s m) a -> StateT s m a

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

Associated Types

type StMP (WriterT w m :: * -> *) a :: *

Methods

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

restoreMP :: StMP (WriterT w m) a -> WriterT w m a

MonadProcessBase m => MonadProcessBase (ReaderT * r m)

Associated Types

type StMP (ReaderT * r m :: * -> *) a :: *

Methods

liftBaseWithP :: (RunInBaseP (ReaderT * r m) -> Process a) -> ReaderT * r m a

restoreMP :: StMP (ReaderT * r m) a -> ReaderT * r m a

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

Associated Types

type StMP (RWST r w s m :: * -> *) a :: *

Methods

liftBaseWithP :: (RunInBaseP (RWST r w s m) -> Process a) -> RWST r w s m a

restoreMP :: StMP (RWST r w s m) a -> RWST r w s m a

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

Associated Types

type StMP (RWST r w s m :: * -> *) a :: *

Methods

liftBaseWithP :: (RunInBaseP (RWST r w s m) -> Process a) -> RWST r w s m a

restoreMP :: StMP (RWST r w s m) a -> RWST r w s m a

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.