Tail

Struct Tail 

Source
#[repr(C)]
pub struct Tail<Q, A> { pub direction: Direction, pub next_state: State<Q>, pub write_symbol: A, }
Expand description

The Tail of a rule in a Turing machine

Fields§

§direction: Direction§next_state: State<Q>§write_symbol: A

Implementations§

Source§

impl<Q, A> Tail<Q, A>
where Q: RawState,

Source

pub const fn new(direction: Direction, next_state: Q, write_symbol: A) -> Self

Source

pub fn from_head(direction: Direction, head: Head<Q, A>) -> Self

returns a new instance of the Tail using the given direction and head

Source

pub const fn as_tuple(&self) -> (Direction, &State<Q>, &A)

returns the direction, state, and symbol as a 3-tuple

Source

pub fn into_tuple(self) -> (Direction, State<Q>, A)

consumes the tail and returns the direction, state, and symbol as a 3-tuple

Source

pub const fn direction(&self) -> Direction

returns the direction the head is instructed to move

Source

pub const fn state(&self) -> &State<Q>

returns the next state with an immutable reference to the inner value

Source

pub const fn state_mut(&mut self) -> &mut State<Q>

returns the next state with a mutable reference to the inner value

Source

pub const fn symbol(&self) -> &A

returns the symbol the head is instructed to write

Source

pub const fn symbol_mut(&mut self) -> &mut A

returns a mutable reference to the symbol of the tail

Source

pub fn set_direction(&mut self, direction: Direction)

update the direction of the tail

Source

pub fn set_state(&mut self, state: Q)

update the configured state for the tail

Source

pub fn set_symbol(&mut self, symbol: A)

update the defined symbol for the tail

Source

pub fn with_direction(self, direction: Direction) -> Self

consumes the current instance to create another with the given Direction

Source

pub fn with_state(self, state: Q) -> Self

consumes the current instance to create another with the given state

Source

pub fn with_symbol(self, symbol: A) -> Self

Configures the tail with a new symbol

Source

pub const fn as_head(&self) -> Head<&Q, &A>

converts a Tail reference into an owned head.

Source

pub fn into_head(self) -> Head<Q, A>

consumes the current tail to convert it into a head

Source

pub const fn view(&self) -> Tail<&Q, &A>

returns an instance of the head where each element within the created instance is a mutable reference

Source

pub const fn view_mut(&mut self) -> Tail<&mut Q, &mut A>

returns a new Tail containing mutabl references to the state and symbol

Source§

impl<'a, Q, S> Tail<&'a Q, &'a S>
where Q: RawState,

Source

pub fn cloned(&self) -> Tail<Q, S>
where Q: Clone, S: Clone,

returns a new Tail with cloned elements

Source

pub fn copied(&self) -> Tail<Q, S>
where Q: Copy, S: Copy,

returns a new Tail with copied elements

Source§

impl<'a, Q, S> Tail<&'a mut Q, &'a mut S>
where Q: RawState,

Source

pub fn cloned(&self) -> Tail<Q, S>
where Q: Clone, S: Clone,

returns a new Tail with cloned elements

Source

pub fn copied(&self) -> Tail<Q, S>
where Q: Copy, S: Copy,

returns a new Tail with copied elements

Trait Implementations§

Source§

impl<Q, A> Add<Tail<Q, A>> for Head<Q, A>
where Q: RawState,

Source§

type Output = Rule<Q, A>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Tail<Q, A>) -> Self::Output

Performs the + operation. Read more
Source§

impl<Q, S> AsMut<Tail<Q, S>> for Rule<Q, S>
where Q: RawState,

Source§

fn as_mut(&mut self) -> &mut Tail<Q, S>

Converts this type into a mutable reference of the (usually inferred) input type.
Source§

impl<Q, S> AsRef<Tail<Q, S>> for Rule<Q, S>
where Q: RawState,

Source§

fn as_ref(&self) -> &Tail<Q, S>

Converts this type into a shared reference of the (usually inferred) input type.
Source§

impl<Q, S> Borrow<Tail<Q, S>> for Rule<Q, S>
where Q: RawState,

Source§

fn borrow(&self) -> &Tail<Q, S>

Immutably borrows from an owned value. Read more
Source§

impl<Q, S> BorrowMut<Tail<Q, S>> for Rule<Q, S>
where Q: RawState,

Source§

fn borrow_mut(&mut self) -> &mut Tail<Q, S>

Mutably borrows from an owned value. Read more
Source§

impl<Q: Clone, A: Clone> Clone for Tail<Q, A>

Source§

fn clone(&self) -> Tail<Q, A>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<Q, A> Debug for Tail<Q, A>
where Q: Debug, A: Debug,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<Q: Default, A: Default> Default for Tail<Q, A>

Source§

fn default() -> Tail<Q, A>

Returns the “default value” for a type. Read more
Source§

impl<'de, Q, A> Deserialize<'de> for Tail<Q, A>
where Q: Deserialize<'de>, A: Deserialize<'de>,

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl<Q, S> Directive<Q, S> for Tail<Q, S>
where Q: RawState,

Source§

impl<Q, S> Display for Tail<Q, S>
where Q: Display, S: Display,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<Q, A> From<(Direction, Q, A)> for Tail<Q, A>
where Q: RawState,

Source§

fn from((direction, next_state, write_symbol): (Direction, Q, A)) -> Self

Converts to this type from the input type.
Source§

impl<Q, A> From<(Direction, State<Q>, A)> for Tail<Q, A>
where Q: RawState,

Source§

fn from((direction, next_state, write_symbol): (Direction, State<Q>, A)) -> Self

Converts to this type from the input type.
Source§

impl<Q, A> From<Tail<Q, A>> for (Direction, State<Q>, A)
where Q: RawState,

Source§

fn from(tail: Tail<Q, A>) -> Self

Converts to this type from the input type.
Source§

impl<Q: Hash, A: Hash> Hash for Tail<Q, A>

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl<Q: Ord, A: Ord> Ord for Tail<Q, A>

Source§

fn cmp(&self, other: &Tail<Q, A>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl<Q, S> PartialEq<Tail<Q, S>> for Rule<Q, S>
where Q: RawState + PartialEq, S: PartialEq,

Source§

fn eq(&self, other: &Tail<Q, S>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<Q: PartialEq, A: PartialEq> PartialEq for Tail<Q, A>

Source§

fn eq(&self, other: &Tail<Q, A>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<Q: PartialOrd, A: PartialOrd> PartialOrd for Tail<Q, A>

Source§

fn partial_cmp(&self, other: &Tail<Q, A>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl<Q, A> Serialize for Tail<Q, A>
where Q: Serialize, A: Serialize,

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl<Q: Copy, A: Copy> Copy for Tail<Q, A>

Source§

impl<Q: Eq, A: Eq> Eq for Tail<Q, A>

Source§

impl<Q, A> StructuralPartialEq for Tail<Q, A>

Auto Trait Implementations§

§

impl<Q, A> Freeze for Tail<Q, A>
where A: Freeze, Q: Freeze,

§

impl<Q, A> RefUnwindSafe for Tail<Q, A>

§

impl<Q, A> Send for Tail<Q, A>
where A: Send, Q: Send,

§

impl<Q, A> Sync for Tail<Q, A>
where A: Sync, Q: Sync,

§

impl<Q, A> Unpin for Tail<Q, A>
where A: Unpin, Q: Unpin,

§

impl<Q, A> UnwindSafe for Tail<Q, A>
where A: UnwindSafe, Q: 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,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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<Q, A, T> IntoTail<Q, A> for T
where Q: RawState, T: Into<Tail<Q, A>>,

Source§

fn into_tail(self) -> Tail<Q, A>

Source§

fn __private__(&self) -> Seal

Source§

impl<S> RawSymbol for S
where S: Symbolic + 'static,

Source§

fn __private__(&self) -> Seal

Source§

impl<S> Symbolic for S
where S: Debug + Display,

Source§

fn __private__(&self) -> Seal

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<S> Symbol for S
where S: RawSymbol + Copy + Default + Eq + Ord + Send + Sync + Hash,