Trait VisitorResult 

pub trait VisitorResult {
    type Residual;

    // Required methods
    fn output() -> Self;
    fn from_residual(residual: Self::Residual) -> Self;
    fn from_branch(b: ControlFlow<Self::Residual>) -> Self;
    fn branch(self) -> ControlFlow<Self::Residual>;
}

Similar to the Try trait, but also implemented for ().

Required Associated Types

type Residual

Required Methods

fn output() -> Self

fn from_residual(residual: Self::Residual) -> Self

fn from_branch(b: ControlFlow<Self::Residual>) -> Self

fn branch(self) -> ControlFlow<Self::Residual>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl VisitorResult for ()

type Residual = !

fn output()

fn from_residual(_: !)

fn from_branch(_: ControlFlow<!>)

fn branch(self) -> ControlFlow<!>

impl<E> VisitorResult for Result<(), E>

type Residual = E

fn output() -> Result<(), E>

fn from_residual(residual: E) -> Result<(), E>

fn from_branch(b: ControlFlow<E>) -> Result<(), E>

fn branch(self) -> ControlFlow<E>

impl<T> VisitorResult for ControlFlow<T>

type Residual = T

fn output() -> ControlFlow<T>

fn from_residual(residual: T) -> ControlFlow<T>

fn from_branch(b: ControlFlow<T>) -> ControlFlow<T>

fn branch(self) -> ControlFlow<T>

Implementors