Struct ordered_locks::LockToken

source ·

pub struct LockToken<'a, L: Level>(_);

Expand description

While this exists only locks with a level higher than L, may be locked. These tokens are carried around the call stack to indicate tho current locking level. They have no size and should disappear at runtime.

Implementations§

source §

impl<'a, L: Level> LockToken<'a, L>

source

pub fn token(&mut self) -> LockToken<'_, L>

Create a borrowed copy of self

source

pub fn downgrade<LC: Higher<L>>(&mut self) -> LockToken<'_, LC>

Create a borrowed copy of self, on a higher level

source

pub fn downgraded<LP: Lower<L>>(_: LockToken<'a, LP>) -> Self

Auto Trait Implementations§

§

impl<'a, L> !UnwindSafe for LockToken<'a, L>

Blanket Implementations§

source §

impl<T> Any for Twhere
T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source§

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

Mutably borrows from an owned value. Read more

source §

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source §

impl<T, U> TryFrom for Twhere
U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct ordered_locks::LockToken

Implementations§

impl<'a, L: Level> LockToken<'a, L>

pub fn token(&mut self) -> LockToken<'_, L>

pub fn downgrade<LC: Higher<L>>(&mut self) -> LockToken<'_, LC>

pub fn downgraded<LP: Lower<L>>(_: LockToken<'a, LP>) -> Self

Auto Trait Implementations§

impl<'a, L> RefUnwindSafe for LockToken<'a, L>where
L: RefUnwindSafe,

impl<'a, L> Send for LockToken<'a, L>where
L: Send,

impl<'a, L> Sync for LockToken<'a, L>where
L: Sync,

impl<'a, L> Unpin for LockToken<'a, L>

impl<'a, L> !UnwindSafe for LockToken<'a, L>

Blanket Implementations§

impl<T> Any for Twhere
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere
U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct ordered_locks::LockToken

Implementations§

impl<'a, L: Level> LockToken<'a, L>

pub fn token(&mut self) -> LockToken<'_, L>

pub fn downgrade<LC: Higher<L>>(&mut self) -> LockToken<'_, LC>

pub fn downgraded<LP: Lower<L>>(_: LockToken<'a, LP>) -> Self

Auto Trait Implementations§

impl<'a, L> RefUnwindSafe for LockToken<'a, L>where L: RefUnwindSafe,

impl<'a, L> Send for LockToken<'a, L>where L: Send,

impl<'a, L> Sync for LockToken<'a, L>where L: Sync,

impl<'a, L> Unpin for LockToken<'a, L>

impl<'a, L> !UnwindSafe for LockToken<'a, L>

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<'a, L> RefUnwindSafe for LockToken<'a, L>where
L: RefUnwindSafe,

impl<'a, L> Send for LockToken<'a, L>where
L: Send,

impl<'a, L> Sync for LockToken<'a, L>where
L: Sync,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,