Struct PermTkn

pub struct PermTkn(/* private fields */);

Implementations

impl PermTkn

pub fn new() -> Self

Methods from Deref<Target = TLCellOwner<Ghost>>

pub fn cell<T>(&self, value: T) -> TLCell<Q, T>

Create a new cell owned by this owner instance. See also TLCell::new.

pub fn ro<'a, T>(&'a self, tc: &'a TLCell<Q, T>) -> &'a T

where T: ?Sized,

Borrow contents of a TLCell immutably (read-only). Many TLCell instances can be borrowed immutably at the same time from the same owner.

pub fn rw<'a, T>(&'a mut self, tc: &'a TLCell<Q, T>) -> &'a mut T

where T: ?Sized,

Borrow contents of a TLCell mutably (read-write). Only one TLCell at a time can be borrowed from the owner using this call. The returned reference must go out of scope before another can be borrowed.

pub fn rw2<'a, T, U>( &'a mut self, tc1: &'a TLCell<Q, T>, tc2: &'a TLCell<Q, U>, ) -> (&'a mut T, &'a mut U)

where T: ?Sized, U: ?Sized,

Borrow contents of two TLCell instances mutably. Panics if the two TLCell instances point to the same memory.

pub fn rw3<'a, T, U, V>( &'a mut self, tc1: &'a TLCell<Q, T>, tc2: &'a TLCell<Q, U>, tc3: &'a TLCell<Q, V>, ) -> (&'a mut T, &'a mut U, &'a mut V)

where T: ?Sized, U: ?Sized, V: ?Sized,

Borrow contents of three TLCell instances mutably. Panics if any pair of TLCell instances point to the same memory.

Trait Implementations

impl Debug for PermTkn

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

Formats the value using the given formatter.

impl Default for PermTkn

fn default() -> Self

Value of this type should be a singleton in one thread If this contract violated, function will panic

impl Deref for PermTkn

type Target = TLCellOwner<Ghost>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for PermTkn

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl From<TLCellOwner<Ghost>> for PermTkn

fn from(original: TLCellOwner<Ghost>) -> PermTkn

Converts to this type from the input type.