Enum stark::sail::eval::Opcode[−][src]

#[repr(u8)]
pub enum Opcode {
    PreEval,
    Eval,
    Bind,
    Mutate,
    DoSeq,
    While,
    Branch,
    PreApp,
    Apply,
}
Expand description

Operation code for the frame; stored as a tag at the frame start

Variants

PreEval

Expression to be evaluated

Eval

List to be evaluated

Bind

Symbol, object

Mutate

Symbol, object

DoSeq

Remainder of list to do

While

Predicate, result, loop body

Branch

Predicate result, true path, false path

PreApp

Procedure, argument list

Apply

Procedure, all arguments

Trait Implementations

impl Debug for Opcode[src]

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

Formats the value using the given formatter. Read more

impl PartialEq<Opcode> for Opcode[src]

fn eq(&self, other: &Opcode) -> bool[src]

This method tests for self and other values to be equal, and is used by ==. Read more

#[must_use]
fn ne(&self, other: &Rhs) -> bool1.0.0[src]

This method tests for !=.

impl TryFrom<u8> for Opcode[src]

type Error = ()

The type returned in the event of a conversion error.

fn try_from(v: u8) -> Result<Self, Self::Error>[src]

Performs the conversion.

impl Eq for Opcode[src]

impl StructuralEq for Opcode[src]

impl StructuralPartialEq for Opcode[src]

Auto Trait Implementations

impl RefUnwindSafe for Opcode

impl Send for Opcode

impl Sync for Opcode

impl Unpin for Opcode

impl UnwindSafe for Opcode

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.

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

Performs the conversion.