Struct State

pub struct State<Left, Value, Right, Default>(/* private fields */)
where
    Left: List,
    Value: Bit,
    Right: List,
    Default: Bit;

Zipper-list, representing current state of program. Consists of left-hand List, Value – Bit and right-hand List.

Trait Implementations

impl<Left, Value, Right, Default> Debug for State<Left, Value, Right, Default>

where Left: List + Debug, Value: Bit + Debug, Right: List + Debug, Default: Bit + Debug,

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

Formats the value using the given formatter.

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

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

type Left = LeftG

Left type (List).

type Value = ValueG

Value type (Bit).

type Right = RightG

Right type (List).

type Default = DefaultG

‘Default’ cell value (Bit)

fn val() -> RuntimeState

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

fn new() -> Self

Real value of type.