Skip to main content

BasicCheck

Struct BasicCheck 

Source
pub struct BasicCheck;
Expand description

Check strategy that defers synchronization to the caller.

Trait Implementations§

Source§

impl CheckedPolicy for BasicCheck

Source§

fn assert_initialized(state: &Self::State)

Asserts that the instance has been initialized. Read more
Source§

impl Policy for BasicCheck

Source§

const UNINIT_STATE: Self::State

An instance of state in the uninitialized condition.
Source§

type State = UnsafeCell<Lifecycle>

Associated storage for state tracking.
Source§

fn transition(state: &Self::State, from: Lifecycle, to: Lifecycle)

Transitions state from from to to, panicking if the current state does not match from.
Source§

fn init_with<R, E>( state: &Self::State, init_fn: impl FnOnce() -> Result<R, E>, ) -> Result<R, E>

Executes init_fn to construct the wrapped value within an initialization transition. Read more

Auto Trait Implementations§

§

impl Freeze for BasicCheck

§

impl RefUnwindSafe for BasicCheck

§

impl Send for BasicCheck

§

impl Sync for BasicCheck

§

impl Unpin for BasicCheck

§

impl UnsafeUnpin for BasicCheck

§

impl UnwindSafe for BasicCheck

Blanket Implementations§

§

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

§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

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

§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
§

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

§

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

Mutably borrows from an owned value. Read more
§

impl<T> From<T> for T

§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Init<T> for T

Source§

unsafe fn __init(self, slot: *mut T) -> Result<(), !>

Initializes slot. Read more
Source§

fn chain<F>(self, f: F) -> ChainInit<Self, F, T, E>
where F: FnOnce(&mut T) -> Result<(), E>,

First initializes the value using self then calls the function f with the initialized value. Read more
§

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

§

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> PinInit<T> for T

Source§

unsafe fn __pinned_init(self, slot: *mut T) -> Result<(), !>

Initializes slot. Read more
Source§

fn pin_chain<F>(self, f: F) -> ChainPinInit<Self, F, T, E>
where F: FnOnce(Pin<&mut T>) -> Result<(), E>,

First initializes the value using self then calls the function f with the initialized value. Read more
§

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

§

type Error = !

The type returned in the event of a conversion error.
§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
§

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

§

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

The type returned in the event of a conversion error.
§

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

Performs the conversion.