Trait Transition 

pub trait Transition {
    type ReturnOperand<T>
       where T: ValueDomain,
             Self: Apply<TransitionOperation<T>>;

    // Required method
    fn transition<T>(&self) -> Self::ReturnOperand<T>
       where T: ValueDomain,
             Self: Apply<TransitionOperation<T>>;
}

Required Associated Types

type ReturnOperand<T> where T: ValueDomain, Self: Apply<TransitionOperation<T>>

Required Methods

fn transition<T>(&self) -> Self::ReturnOperand<T>

where T: ValueDomain, Self: Apply<TransitionOperation<T>>,

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<O: Operand> Transition for O

type ReturnOperand<T> = <O as Apply<TransitionOperation<T>>>::Output where T: ValueDomain, O: Apply<TransitionOperation<T>>