Trait InfallibleRead 

pub trait InfallibleRead {
    type ReadValue;

    // Required method
    fn read(&self) -> Self::ReadValue;
}

Infallible read operation for views in a verified typestate (IsOk).

Required Associated Types

type ReadValue

Required Methods

fn read(&self) -> Self::ReadValue

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<T, Inner> InfallibleRead for EnumView<T, Inner>

where Inner: InfallibleRead, T: TryFromRaw<<Inner as InfallibleRead>::ReadValue>,

type ReadValue = Result<T, Error<<Inner as InfallibleRead>::ReadValue>>

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

where Inner: InfallibleRead, T: TryFromRaw<<Inner as InfallibleRead>::ReadValue>,

type ReadValue = Result<T, Error<<Inner as InfallibleRead>::ReadValue>>

impl<T> InfallibleRead for VirtualField<T>

where T: Copy,

type ReadValue = T

impl<const BITS: usize, E, S, ST> InfallibleRead for Flag<BITS, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk,

type ReadValue = bool

impl<const BITS: usize, E, S, ST> InfallibleRead for Int<BITS, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk, SizeSelector<BITS>: SmallestUInt + SmallestInt<U = <SizeSelector<BITS> as SmallestUInt>::T>, <SizeSelector<BITS> as SmallestUInt>::T: DecodeFromStorage<E>,

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

impl<const BITS: usize, E, S, ST> InfallibleRead for UInt<BITS, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk, SizeSelector<BITS>: SmallestUInt, <SizeSelector<BITS> as SmallestUInt>::T: DecodeFromStorage<E>,

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

impl<const BITS: usize, const BIT_OFFSET: usize, E, S, ST> InfallibleRead for BitFlag<BITS, BIT_OFFSET, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk,

type ReadValue = bool

impl<const BITS: usize, const BIT_OFFSET: usize, E, S, ST> InfallibleRead for BitInt<BITS, BIT_OFFSET, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk, SizeSelector<BITS>: SmallestUInt + SmallestInt<U = <SizeSelector<BITS> as SmallestUInt>::T>,

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

impl<const BITS: usize, const BIT_OFFSET: usize, E, S, ST> InfallibleRead for BitUInt<BITS, BIT_OFFSET, E, S, ST>

where E: ByteOrder, S: Storage, ST: IsOk, SizeSelector<BITS>: SmallestUInt,

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