MonadVar.Default

Documentation

defaultLockUnsafeWrite :: MonadLock m v => v a -> a -> m ()

Default exception-unsafe write for MonadLock entities.

defaultReadWriteSwap :: (MonadRead m v, MonadWrite m v) => v a -> a -> m a

Default swap for MonadRead and MonadWrite entities.

defaultLockUnsafeSwap :: MonadLock m v => v a -> a -> m a

Default exception-unsafe swap for MonadLock entities.

defaultReadWriteMutate_ :: (MonadRead m v, MonadWrite m v) => v a -> (a -> a) -> m ()

Default mutate_ for MonadRead and MonadWrite entities.

defaultReadWriteMutate :: (MonadRead m v, MonadWrite m v) => v a -> (a -> (a, b)) -> m b

Default mutate for MonadRead and MonadWrite entities.

defaultReadWriteMutateM_ :: (MonadRead m v, MonadWrite m v) => v a -> (a -> m a) -> m ()

Default mutateM_ for MonadRead and MonadWrite entities.

defaultReadWriteMutateM :: (MonadRead m v, MonadWrite m v) => v a -> (a -> m (a, b)) -> m b

Default mutateM for MonadRead and MonadWrite entities.

defaultLockUnsafeMutate_ :: MonadLock m v => v a -> (a -> a) -> m ()

Default exception-unsafe mutate_ for MonadLock entities.

defaultLockUnsafeMutate :: MonadLock m v => v a -> (a -> (a, b)) -> m b

Default exception-unsafe mutate for MonadLock entities.

defaultLockUnsafeMutateM_ :: MonadLock m v => v a -> (a -> m a) -> m ()

Default exception-unsafe mutateM_ for MonadLock entities.

defaultLockUnsafeMutateM :: MonadLock m v => v a -> (a -> m (a, b)) -> m b

Default exception-unsafe mutateM for MonadLock entities.

defaultLockIOMutateM_ :: MonadLock IO v => v a -> (a -> IO a) -> IO ()

Default mutateM_ for MonadLock IO entities

defaultLockIOMutateM :: MonadLock IO v => v a -> (a -> IO (a, b)) -> IO b

Default mutateM for MonadLock IO entities.