Control.Concurrent.Consistent

Documentation

data ConsistentT m a

Instances

MonadBase IO m => MonadBase IO (ConsistentT m)

MonadBaseControl IO m => MonadBaseControl IO (ConsistentT m)

Monad m => Monad (ConsistentT m)

Functor m => Functor (ConsistentT m)

Applicative m => Applicative (ConsistentT m)

MonadIO m => MonadIO (ConsistentT m)

data CTMT m a

Instances

Monad m => Monad (CTMT m)

Functor m => Functor (CTMT m)

Applicative m => Applicative (CTMT m)

MonadIO m => MonadIO (CTMT m)

runConsistentT :: (MonadBaseControl IO m, MonadIO m) => ConsistentT m a -> m a

consistently :: (MonadBaseControl IO m, MonadIO m) => CTMT m a -> ConsistentT m a

data CVar a

newCVar :: MonadIO m => a -> m (CVar a)

dupCVar :: MonadIO m => CVar a -> m (CVar a)

readCVar :: MonadIO m => CVar a -> m a

writeCVar :: MonadIO m => CVar a -> a -> CTMT m ()

swapCVar :: MonadIO m => CVar a -> a -> CTMT m a

modifyCVar :: MonadIO m => CVar a -> (a -> a) -> CTMT m ()