Trait EncodingShape 

pub trait EncodingShape {
    type State: Clone + Eq + Hash + Debug + 'static;

    // Required methods
    fn start() -> Self::State;
    fn step(state: &Self::State, byte: u8) -> Option<Self::State>;
    fn accepts(state: &Self::State) -> bool;
}

The byte strings that crate::Deserializable::deserialize reads in full, as a finite automaton over bytes.

Encodings must be prefix-free, as self-delimiting encodings are: no accepted string continues into another. Checking a set of encodings costs time proportional to the number of distinct states reached, so State should take few values.

Required Associated Types

type State: Clone + Eq + Hash + Debug + 'static

A position in the automaton.

Required Methods

fn start() -> Self::State

The state before any byte is read.

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

The state after reading byte, or None if no encoding continues so.

fn accepts(state: &Self::State) -> bool

Whether the bytes read so far are a complete encoding.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl EncodingShape for ()

type State = <[u8; 0] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for bool

type State = bool

fn start() -> bool

fn step(done: &bool, byte: u8) -> Option<bool>

fn accepts(done: &bool) -> bool

impl EncodingShape for i8

type State = <[u8; 1] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for i16

type State = <[u8; 2] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for i32

type State = <[u8; 4] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for i64

type State = <[u8; 8] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for i128

type State = <[u8; 16] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for u8

type State = <[u8; 1] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for u16

type State = <[u8; 2] as EncodingShape>::State

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl EncodingShape for u32

type State = ScaleState

fn start() -> ScaleState

fn step(state: &ScaleState, byte: u8) -> Option<ScaleState>

fn accepts(state: &ScaleState) -> bool

impl EncodingShape for u64

type State = ScaleState

fn start() -> ScaleState

fn step(state: &ScaleState, byte: u8) -> Option<ScaleState>

fn accepts(state: &ScaleState) -> bool

impl EncodingShape for u128

type State = ScaleState

fn start() -> ScaleState

fn step(state: &ScaleState, byte: u8) -> Option<ScaleState>

fn accepts(state: &ScaleState) -> bool

impl<A: EncodingShape, B: EncodingShape> EncodingShape for (A, B)

type State = SeqState<<A as EncodingShape>::State, <B as EncodingShape>::State>

fn start() -> Self::State

fn step(state: &Self::State, byte: u8) -> Option<Self::State>

fn accepts(state: &Self::State) -> bool

impl<const N: usize> EncodingShape for [u8; N]

type State = usize

fn start() -> usize

fn step(read: &usize, _: u8) -> Option<usize>

fn accepts(read: &usize) -> bool

Implementors