Copyright | (c) 2016 Stephen Diehl (c) 2016-2018 Serokell (c) 2018-2019 Kowainik |
---|---|
License | MIT |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Safe Haskell | Safe |
Language | Haskell2010 |
Relude.Lifted.Concurrent
Synopsis
- data MVar a
- newEmptyMVar :: MonadIO m => m (MVar a)
- newMVar :: MonadIO m => a -> m (MVar a)
- putMVar :: MonadIO m => MVar a -> a -> m ()
- readMVar :: MonadIO m => MVar a -> m a
- swapMVar :: MonadIO m => MVar a -> a -> m a
- takeMVar :: MonadIO m => MVar a -> m a
- tryPutMVar :: MonadIO m => MVar a -> a -> m Bool
- tryReadMVar :: MonadIO m => MVar a -> m (Maybe a)
- tryTakeMVar :: MonadIO m => MVar a -> m (Maybe a)
- data STM a
- data TVar a
- atomically :: MonadIO m => STM a -> m a
- newTVarIO :: MonadIO m => a -> m (TVar a)
- readTVarIO :: MonadIO m => TVar a -> m a
- modifyTVar' :: TVar a -> (a -> a) -> STM ()
- newTVar :: a -> STM (TVar a)
- readTVar :: TVar a -> STM a
- writeTVar :: TVar a -> a -> STM ()
MVar
newEmptyMVar :: MonadIO m => m (MVar a) #
Lifted to MonadIO
version of newEmptyMVar
.
STM
Instances
Monad STM | |
Functor STM | |
Applicative STM | |
Alternative STM | |
MonadPlus STM | |
atomically :: MonadIO m => STM a -> m a #
Lifted to MonadIO
version of atomically
.
readTVarIO :: MonadIO m => TVar a -> m a #
Lifted to MonadIO
version of readTVarIO
.
modifyTVar' :: TVar a -> (a -> a) -> STM () #