Trait contained_turing::instructions::InstructionSpec

pub trait InstructionSpec<S: Symbolic>: IntoIterator<Item = Self> {
    type Head: InstructionHead<S>;
    type Tail: InstructionTail<S>;

    // Required methods
    fn new(head: Self::Head, tail: Self::Tail) -> Self;
    fn head(&self) -> Self::Head;
    fn tail(&self) -> Self::Tail;
}

Required Associated Types

type Head: InstructionHead<S>

type Tail: InstructionTail<S>

Required Methods

fn new(head: Self::Head, tail: Self::Tail) -> Self

fn head(&self) -> Self::Head

fn tail(&self) -> Self::Tail

Implementors