Trait StateTrait

pub trait StateTrait {
    type Left: List;
    type Value: Bit;
    type Right: List;
    type Default: Bit;

    // Required methods
    fn new() -> Self;
    fn val() -> RuntimeState;
}

Single-type trait for State type, used to get Left, Value and Rigth types.

Required Associated Types

type Left: List

Left type (List).

type Value: Bit

Value type (Bit).

type Right: List

Right type (List).

type Default: Bit

‘Default’ cell value (Bit)

Required Methods

fn new() -> Self

Real value of type.

fn val() -> RuntimeState

Real, represented with rust’s objects value of type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<LeftG, ValueG, RightG, DefaultG> StateTrait for State<LeftG, ValueG, RightG, DefaultG>

where LeftG: List, ValueG: Bit, RightG: List, DefaultG: Bit,

type Left = LeftG

type Value = ValueG

type Right = RightG

type Default = DefaultG