Struct Init 

pub struct Init<'brand>(/* private fields */);

Meta-state for all non-Born states.

Implementations

impl<'brand> Init<'brand>

pub const unsafe fn new(once: Ephemeral<'brand>) -> Self

Creates a new token of this type with an invariant lifetime 'brand.

Safety

Since tokens of this type are used to provide security guarantees, creating new ones should only be done if it is absolutely certain that the property symbolized by the token is actually upheld by the equally branded object it applies to.

Trait Implementations

impl Debug for Init<'_>

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

Formats the value using the given formatter.

impl<'brand> From<Busy<'brand>> for Init<'brand>

fn from(value: Busy<'brand>) -> Self

Converts to this type from the input type.

impl<'brand> From<Done<'brand>> for Init<'brand>

fn from(value: Done<'brand>) -> Self

Converts to this type from the input type.

impl<'brand> From<Gone<'brand>> for Init<'brand>

fn from(value: Gone<'brand>) -> Self

Converts to this type from the input type.

impl<'brand> From<Idle<'brand>> for Init<'brand>

fn from(value: Idle<'brand>) -> Self

Converts to this type from the input type.

impl<'brand> From<Init<'brand>> for Ephemeral<'brand>

fn from(value: Init<'brand>) -> Self

Converts to this type from the input type.

impl<'brand> From<Next<'brand>> for Init<'brand>

fn from(value: Next<'brand>) -> Self

Converts to this type from the input type.