Control.Concurrent.Consistent

Documentation

data ConsistentT m a

Instances

MonadBase IO m => MonadBase IO (ConsistentT m)

Methods

liftBase :: IO α -> ConsistentT m α

MonadBaseControl IO m => MonadBaseControl IO (ConsistentT m)

Associated Types

type StM (ConsistentT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (ConsistentT m) IO -> IO a) -> ConsistentT m a

restoreM :: StM (ConsistentT m) a -> ConsistentT m a

Monad m => Monad (ConsistentT m)

Methods

(>>=) :: ConsistentT m a -> (a -> ConsistentT m b) -> ConsistentT m b

(>>) :: ConsistentT m a -> ConsistentT m b -> ConsistentT m b

return :: a -> ConsistentT m a

fail :: String -> ConsistentT m a

Functor m => Functor (ConsistentT m)

Methods

fmap :: (a -> b) -> ConsistentT m a -> ConsistentT m b

(<$) :: a -> ConsistentT m b -> ConsistentT m a

Applicative m => Applicative (ConsistentT m)

Methods

pure :: a -> ConsistentT m a

(<*>) :: ConsistentT m (a -> b) -> ConsistentT m a -> ConsistentT m b

(*>) :: ConsistentT m a -> ConsistentT m b -> ConsistentT m b

(<*) :: ConsistentT m a -> ConsistentT m b -> ConsistentT m a

MonadIO m => MonadIO (ConsistentT m)

Methods

liftIO :: IO a -> ConsistentT m a

type StM (ConsistentT m) a

type StM (ConsistentT m) a

data CTMT m a

Instances

Monad m => Monad (CTMT m)

Methods

(>>=) :: CTMT m a -> (a -> CTMT m b) -> CTMT m b

(>>) :: CTMT m a -> CTMT m b -> CTMT m b

return :: a -> CTMT m a

fail :: String -> CTMT m a

Functor m => Functor (CTMT m)

Methods

fmap :: (a -> b) -> CTMT m a -> CTMT m b

(<$) :: a -> CTMT m b -> CTMT m a

Applicative m => Applicative (CTMT m)

Methods

pure :: a -> CTMT m a

(<*>) :: CTMT m (a -> b) -> CTMT m a -> CTMT m b

(*>) :: CTMT m a -> CTMT m b -> CTMT m b

(<*) :: CTMT m a -> CTMT m b -> CTMT m a

MonadIO m => MonadIO (CTMT m)

Methods

liftIO :: IO a -> CTMT m a

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 ()