Enum operational::instr::Coproduct

pub enum Coproduct<I, J> {
    Left(I),
    Right(J),
}

Combines two instruction sets into one.

This is useful to compose multiple smaller instruction sets into a bigger one.

Variants

Left(I)Right(J)

Trait Implementations

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

type Return = A

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

Lift the instruction into a program.