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>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl VisitorResult for ()

type Residual = !

fn output() -> Self

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

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

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

impl<T> VisitorResult for ControlFlow<T>

type Residual = T

fn output() -> Self

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

fn from_branch(b: Self) -> Self

fn branch(self) -> Self

Implementors