Trait operational::instr::Instr

pub trait Instr {
    type Return;
    fn to_program<'a>(self) -> Program<'a, Self, Self::Return>
    where
        Self: Sized,
    { ... }
}

The trait for an instruction set.

Holds its return type as an associated type.

Associated Types

type Return

Provided Methods

fn to_program<'a>(self) -> Program<'a, Self, Self::Return> where
    Self: Sized, 

Lift the instruction into a program.

Implementors

• impl<A> Instr for Identity<A>
• impl<A, I: Instr<Return = A>, J: Instr<Return = A>> Instr for Coproduct<I, J>