Trait Instr

pub trait Instr {
    type Return;

    // Provided method
    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.

Required 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>

type Return = A

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

type Return = A