Crate rstm_core

Expand description

§rstm-core

The rstm-core crate provides the core functionality for the rstm library.

error
mem: Memory (mem)
ops: this modules defines additional operations used throughout the crate
state: The state module provides abstractions and implementations for managing state within the rstm framework.
traits
types: the types module provides various types used throughout the library, including Direction, [Head], and [Tail].

DirectionIter: An iterator over the variants of Direction
State: State is a generalized state implementation, representing the state of a system or object.

Direction: Direction enumerates the various directions a head can move, namely: left, right, and stay.
Error: The Error implementation describes the various errors that can occur within the library

Alphabet: Alphabet describes a finite set of symbols used to construct a formal language.
Apply: [ApplyOnce] describes objects capable of applying, or mapping, a function onto a value.
AsDirection: The AsDirection trait provides a convience method for converting a type into a Direction.
Decrement: Decrement is a trait that provides a common interface for decrementing values; i.e., subtracting one from a value.
DecrementAssign: DecrementAssign is a trait that provides a common interface for decrementing values in place.
Increment: Increment is a trait that provides a common interface for incrementing values; i.e., adding one to a value.
IncrementAssign: IncrementAssign is a trait that provides a common interface for incrementing values in place.
Incremental: Incremental is a trait that provides a common interface for incrementing and decrementing values.
IntoDirection: The IntoDirection trait provides a convience method for converting a type into a Direction.
RawState: RawState is a trait describing objects capable of being used as states in our library. The trait contains a single associated trait, the context, or inner value of the state.
Symbolic: Symbolic is a trait denoting types that can be used as symbols; this is useful for allowing symbols to represented with char or be a position on the tape, value mapping for an alphabet,.