MonadVar.Instances.MVar

Orphan instances

MonadIO m => MonadMutate m MVar

Methods

mutate :: MVar a -> (a -> (a, b)) -> m b

MonadIO m => MonadMutate_ m MVar

Methods

mutate_ :: MVar a -> (a -> a) -> m ()

MonadIO m => MonadSwap m MVar

Methods

swap :: MVar a -> a -> m a

MonadIO m => MonadWrite m MVar

Methods

write :: MVar a -> a -> m ()

MonadIO m => MonadRead m MVar

Methods

read :: MVar a -> m a

MonadIO m => MonadLock m MVar

Methods

hold :: MVar a -> m a

fill :: MVar a -> a -> m ()

tryHold :: MVar a -> m (Maybe a)

tryFill :: MVar a -> a -> m Bool

tryRead :: MVar a -> m (Maybe a)

newEmpty :: m (MVar a)

isEmpty :: MVar a -> m Bool

MonadIO m => MonadNew m MVar

Methods

new :: a -> m (MVar a)

IO ~ io => MonadMutateM io IO MVar

Methods

mutateM :: MVar a -> (a -> io (a, b)) -> IO b

IO ~ io => MonadMutateM_ io IO MVar

Methods

mutateM_ :: MVar a -> (a -> io a) -> IO ()