Struct typed_sf::State

source · [−]

pub struct State<Left, Value, Right, Default>(_, _, _, _) 
where
    Left: List,
    Value: Bit,
    Right: List,
    Default: Bit;

Expand description

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

Trait Implementations

source

impl<Left: Debug, Value: Debug, Right: Debug, Default: Debug> Debug for State<Left, Value, Right, Default> where
 Left: List,
 Value: Bit,
 Right: List,
 Default: Bit,

source

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

Formats the value using the given formatter. Read more

source

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)

source

fn val() -> RuntimeState

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

source

fn new() -> Self

Real value of type.

Auto Trait Implementations

impl<Left, Value, Right, Default> RefUnwindSafe for State<Left, Value, Right, Default> where
 Default: RefUnwindSafe,
 Left: RefUnwindSafe,
 Right: RefUnwindSafe,
 Value: RefUnwindSafe,

impl<Left, Value, Right, Default> Send for State<Left, Value, Right, Default> where
 Default: Send,
 Left: Send,
 Right: Send,
 Value: Send,

impl<Left, Value, Right, Default> Sync for State<Left, Value, Right, Default> where
 Default: Sync,
 Left: Sync,
 Right: Sync,
 Value: Sync,

impl<Left, Value, Right, Default> Unpin for State<Left, Value, Right, Default> where
 Default: Unpin,
 Left: Unpin,
 Right: Unpin,
 Value: Unpin,

impl<Left, Value, Right, Default> UnwindSafe for State<Left, Value, Right, Default> where
 Default: UnwindSafe,
 Left: UnwindSafe,
 Right: UnwindSafe,
 Value: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct typed_sf::State

Trait Implementations

impl<Left: Debug, Value: Debug, Right: Debug, Default: Debug> Debug for State<Left, Value, Right, Default> where
    Left: List,
    Value: Bit,
    Right: List,
    Default: Bit,

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

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

fn val() -> RuntimeState

fn new() -> Self

Auto Trait Implementations

impl<Left, Value, Right, Default> RefUnwindSafe for State<Left, Value, Right, Default> where
    Default: RefUnwindSafe,
    Left: RefUnwindSafe,
    Right: RefUnwindSafe,
    Value: RefUnwindSafe,

impl<Left, Value, Right, Default> Send for State<Left, Value, Right, Default> where
    Default: Send,
    Left: Send,
    Right: Send,
    Value: Send,

impl<Left, Value, Right, Default> Sync for State<Left, Value, Right, Default> where
    Default: Sync,
    Left: Sync,
    Right: Sync,
    Value: Sync,

impl<Left, Value, Right, Default> Unpin for State<Left, Value, Right, Default> where
    Default: Unpin,
    Left: Unpin,
    Right: Unpin,
    Value: Unpin,

impl<Left, Value, Right, Default> UnwindSafe for State<Left, Value, Right, Default> where
    Default: UnwindSafe,
    Left: UnwindSafe,
    Right: UnwindSafe,
    Value: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where
U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct typed_sf::State

Trait Implementations

impl<Left: Debug, Value: Debug, Right: Debug, Default: Debug> Debug for State<Left, Value, Right, Default> where Left: List, Value: Bit, Right: List, Default: Bit,

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

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

fn val() -> RuntimeState

fn new() -> Self

Auto Trait Implementations

impl<Left, Value, Right, Default> RefUnwindSafe for State<Left, Value, Right, Default> where Default: RefUnwindSafe, Left: RefUnwindSafe, Right: RefUnwindSafe, Value: RefUnwindSafe,

impl<Left, Value, Right, Default> Send for State<Left, Value, Right, Default> where Default: Send, Left: Send, Right: Send, Value: Send,

impl<Left, Value, Right, Default> Sync for State<Left, Value, Right, Default> where Default: Sync, Left: Sync, Right: Sync, Value: Sync,

impl<Left, Value, Right, Default> Unpin for State<Left, Value, Right, Default> where Default: Unpin, Left: Unpin, Right: Unpin, Value: Unpin,

impl<Left, Value, Right, Default> UnwindSafe for State<Left, Value, Right, Default> where Default: UnwindSafe, Left: UnwindSafe, Right: UnwindSafe, Value: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Left: Debug, Value: Debug, Right: Debug, Default: Debug> Debug for State<Left, Value, Right, Default> where
Left: List,
Value: Bit,
Right: List,
Default: Bit,

impl<LeftG, ValueG, RightG, DefaultG> StateTrait for State<LeftG, ValueG, RightG, DefaultG> where
LeftG: List,
ValueG: Bit,
RightG: List,
DefaultG: Bit,

impl<Left, Value, Right, Default> RefUnwindSafe for State<Left, Value, Right, Default> where
Default: RefUnwindSafe,
Left: RefUnwindSafe,
Right: RefUnwindSafe,
Value: RefUnwindSafe,

impl<Left, Value, Right, Default> Send for State<Left, Value, Right, Default> where
Default: Send,
Left: Send,
Right: Send,
Value: Send,

impl<Left, Value, Right, Default> Sync for State<Left, Value, Right, Default> where
Default: Sync,
Left: Sync,
Right: Sync,
Value: Sync,

impl<Left, Value, Right, Default> Unpin for State<Left, Value, Right, Default> where
Default: Unpin,
Left: Unpin,
Right: Unpin,
Value: Unpin,

impl<Left, Value, Right, Default> UnwindSafe for State<Left, Value, Right, Default> where
Default: UnwindSafe,
Left: UnwindSafe,
Right: UnwindSafe,
Value: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,