Traitsยง
- Alphabet
- Alphabet describes a finite set of symbols used to construct a formal language.
- 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.
- Decrement
Assign - DecrementAssign is a trait that provides a common interface for decrementing values in place.
- Directive
- The
Directivetrait is used to define the expected behaviors of all tail-like objects within the system - Increment
- Increment is a trait that provides a common interface for incrementing values; i.e., adding one to a value.
- Increment
Assign - 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.
- Instruction
- The
Instructiontrait defines the expected behaviors of a particular rule within a Turing machine program. - Into
Direction - The IntoDirection trait provides a convience method for converting a type into a Direction.
- RawSymbol
- The
RawSymboltrait establishes the minimum requirements for a type to be used as a symbol within a Turing machine. - Scope
- The
Scopetrait establishes a common interface for all head-like objects; - Symbol
- The
Symboltrait extends theRawSymbolto define the expected behaviors of a symbol used within a Turing machine. - Symbolic
Symbolicis a marker trait used to signal a type that can be displayed.