Trait VisitorResult

pub trait VisitorResult {
    type T;
    type Residual;

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

Required Associated Types

type T

type Residual

Required Methods

fn output() -> Self

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

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl VisitorResult for ()

type T = ()

type Residual = Infallible

fn output() -> Self

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

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

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

impl<B, C: Default> VisitorResult for ControlFlow<B, C>

type T = C

type Residual = B

fn output() -> Self

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

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

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

impl<T> VisitorResult for Option<T>

type T = T

type Residual = ()

fn output() -> Self

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

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

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

impl<T: Default, E> VisitorResult for Result<T, E>

type T = T

type Residual = E

fn output() -> Self

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

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

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

Implementors