[][src]Struct cryo::Cryo

pub struct Cryo<'a, T: ?Sized + 'a> { /* fields omitted */ }

A cell-like type that enforces the lifetime restriction of its borrowed value at runtime.

Cryo is a variation of CryoMut that only can be immutably borrowed.

When a Cryo is dropped, the current thread will be blocked until all references to the contained value are dropped. This ensures that none of the references can outlive the referent.

See the module-level documentation for more details.

Methods

impl<'a, T: ?Sized + 'a> Cryo<'a, T>[src]

pub unsafe fn new(x: &'a T) -> Self[src]

Construct a new Cryo.

Safety

  • The constructed Cryo must not be moved around. This might result in a dangling pointer in CryoRef.

  • The constructed Cryo must not be disposed without dropping (e.g., passed to std::mem::forget). This might result in a dangling pointer in CryoRef.

pub fn borrow(&self) -> CryoRef<T>[src]

Borrow a cell using runtime lifetime rules.

pub fn get(&self) -> &'a T[src]

Borrow a cell using compile-time lifetime rules.

This operation is no-op since Cryo only can be immutably borrowed.

Trait Implementations

impl<'a, T: ?Sized + Debug> Debug for Cryo<'a, T>[src]

impl<'a, T: ?Sized + 'a> Drop for Cryo<'a, T>[src]

impl<'a, T: ?Sized + Send> Send for Cryo<'a, T>[src]

impl<'a, T: ?Sized + Send + Sync> Sync for Cryo<'a, T>[src]

Auto Trait Implementations

impl<'a, T> !RefUnwindSafe for Cryo<'a, T>

impl<'a, T: ?Sized> Unpin for Cryo<'a, T>

impl<'a, T: ?Sized> UnwindSafe for Cryo<'a, T> where
    T: RefUnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.