Trait InfallibleWrite 

pub trait InfallibleWrite {
    type WriteValue;
    type Output;

    // Required method
    fn write(self, val: Self::WriteValue) -> Self::Output;
}

Infallible write operation for views in a verified typestate (IsComplete), consuming self and transitioning to the mutated state.

Required Associated Types

type WriteValue

type Output

Required Methods

fn write(self, val: Self::WriteValue) -> Self::Output

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<T, Inner> InfallibleWrite for EnumViewMut<T, Inner>

where Inner: InfallibleWrite, Inner::WriteValue: From<T>,

type WriteValue = T

type Output = EnumViewMut<T, <Inner as InfallibleWrite>::Output>

impl<const BITS: usize, E: ByteOrder, S: MutStorage, ST: IsComplete> InfallibleWrite for Flag<BITS, E, S, ST>

type WriteValue = bool

type Output = Flag<BITS, E, S, <ST as State>::OnLayoutMutation>

impl<const BITS: usize, E: ByteOrder, S: MutStorage, ST: IsComplete> InfallibleWrite for Int<BITS, E, S, ST>

where SizeSelector<BITS>: SmallestUInt + SmallestInt<U = <SizeSelector<BITS> as SmallestUInt>::T>, <SizeSelector<BITS> as SmallestUInt>::T: EncodeToStorage<E>,

type WriteValue = <SizeSelector<BITS> as SmallestInt>::T

type Output = Int<BITS, E, S, <ST as State>::OnLayoutMutation>

impl<const BITS: usize, E: ByteOrder, S: MutStorage, ST: IsComplete> InfallibleWrite for UInt<BITS, E, S, ST>

where SizeSelector<BITS>: SmallestUInt, <SizeSelector<BITS> as SmallestUInt>::T: EncodeToStorage<E>,

type WriteValue = <SizeSelector<BITS> as SmallestUInt>::T

type Output = UInt<BITS, E, S, <ST as State>::OnLayoutMutation>

impl<const BITS: usize, const BIT_OFFSET: usize, E: ByteOrder, S: MutStorage, ST: IsComplete> InfallibleWrite for BitFlag<BITS, BIT_OFFSET, E, S, ST>

type WriteValue = bool

type Output = BitFlag<BITS, BIT_OFFSET, E, S, <ST as State>::OnLayoutMutation>