Struct creusot_contracts::std::sync::RwLockWriteGuard

pub struct RwLockWriteGuard<'a, T>
where
    T: 'a + ?Sized,
{ /* private fields */ }

RAII structure used to release the exclusive write access of a lock when dropped.

This structure is created by the write and try_write methods on RwLock.

Implementations

impl<'a, T> RwLockWriteGuard<'a, T>

where T: ?Sized,

pub fn map<U, F>( orig: RwLockWriteGuard<'a, T>, f: F, ) -> MappedRwLockWriteGuard<'a, U>

where F: FnOnce(&mut T) -> &mut U, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards)

Makes a MappedRwLockWriteGuard for a component of the borrowed data, e.g. an enum variant.

The RwLock is already locked for writing, so this cannot fail.

This is an associated function that needs to be used as RwLockWriteGuard::map(...). A method would interfere with methods of the same name on the contents of the RwLockWriteGuard used through Deref.

Panics

If the closure panics, the guard will be dropped (unlocked) and the RwLock will be poisoned.

pub fn try_map<U, F>( orig: RwLockWriteGuard<'a, T>, f: F, ) -> Result<MappedRwLockWriteGuard<'a, U>, RwLockWriteGuard<'a, T>>

where F: FnOnce(&mut T) -> Option<&mut U>, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards)

Makes a MappedRwLockWriteGuard for a component of the borrowed data. The original guard is returned as an Err(...) if the closure returns None.

The RwLock is already locked for writing, so this cannot fail.

This is an associated function that needs to be used as RwLockWriteGuard::try_map(...). A method would interfere with methods of the same name on the contents of the RwLockWriteGuard used through Deref.

Panics

If the closure panics, the guard will be dropped (unlocked) and the RwLock will be poisoned.

Trait Implementations

impl<T> Debug for RwLockWriteGuard<'_, T>

where T: Debug + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Deref for RwLockWriteGuard<'_, T>

where T: ?Sized,

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> DerefMut for RwLockWriteGuard<'_, T>

where T: ?Sized,

fn deref_mut(&mut self) -> &mut T

Mutably dereferences the value.

impl<T> Display for RwLockWriteGuard<'_, T>

where T: Display + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Drop for RwLockWriteGuard<'_, T>

where T: ?Sized,

fn drop(&mut self)

Executes the destructor for this type.

impl<T> !Send for RwLockWriteGuard<'_, T>

where T: ?Sized,

impl<T> Sync for RwLockWriteGuard<'_, T>

where T: Sync + ?Sized,