Control.Monad.RCU.Class

Documentation

class Monad m => MonadRead m where

This is a read-side critical section

Minimal complete definition

Nothing

Associated Types

type Ref m :: * -> *

Methods

newRef :: a -> m (Ref m a)

readRef :: Ref m a -> m a

Instances

MonadRead m => MonadRead (MaybeT m)

MonadRead m => MonadRead (IdentityT m)

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

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

MonadRead m => MonadRead (ExceptT e m)

MonadRead m => MonadRead (StateT s m)

MonadRead m => MonadRead (StateT s m)

MonadRead m => MonadRead (ReaderT e m)

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

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

class MonadRead m => MonadWrite m where

This is a write-side critical section

Minimal complete definition

Nothing

Methods

writeRef :: Ref m a -> a -> m ()

synchronize :: m ()

Instances

MonadWrite m => MonadWrite (MaybeT m)

MonadWrite m => MonadWrite (IdentityT m)

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

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

MonadWrite m => MonadWrite (ExceptT e m)

MonadWrite m => MonadWrite (StateT s m)

MonadWrite m => MonadWrite (StateT s m)

MonadWrite m => MonadWrite (ReaderT e m)

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

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

class (MonadRead (ReadT m), MonadWrite (WriteT m), Monad m) => MonadRCU m where

This is the executor service that can fork, join and execute critical sections.

Associated Types

type ReadT m :: * -> *

type WriteT m :: * -> *

type Thread m :: * -> *

Methods

fork :: m a -> m (Thread m a)

join :: Thread m a -> m a

read :: ReadT m a -> m a

write :: WriteT m a -> m a

Instances

MonadRCU m => MonadRCU (MaybeT m)

MonadRCU m => MonadRCU (IdentityT m)

(MonadRCU m, Monoid e) => MonadRCU (WriterT e m)

(MonadRCU m, Monoid e) => MonadRCU (WriterT e m)

MonadRCU m => MonadRCU (ExceptT e m)

MonadRCU m => MonadRCU (ReaderT e m)