Trait Outcome 

pub trait Outcome: Sized {
    type Parts;
    type Value;
    type Meta: Copy;
    type Probe: Copy;
    type Observation;

    // Required methods
    fn new(
        parts: Self::Parts,
        probe: Self::Probe,
    ) -> Result<Self, Failure<Self::Probe, Self::Observation>>;
    fn success(
        &self,
    ) -> Result<Self::Value, Failure<Self::Probe, Self::Observation>>;
    fn zero(self) -> Result<(), Failure<Self::Probe, Self::Observation>>;
    fn canceled(self) -> Result<(), Failure<Self::Probe, Self::Observation>>;
    fn cancel(self) -> Result<(), Failure<Self::Probe, Self::Observation>>;
    fn probe(&self) -> Self::Probe;
    fn meta(&self) -> Self::Meta;
    fn unexpected(&self) -> Failure<Self::Probe, Self::Observation>;
    fn nonterminal(&self) -> Failure<Self::Probe, Self::Observation>;
}

Native completion checks retain the caller’s identity and exact observation.

Required Associated Types

type Parts

type Value

type Meta: Copy

type Probe: Copy

type Observation

Required Methods

fn new( parts: Self::Parts, probe: Self::Probe, ) -> Result<Self, Failure<Self::Probe, Self::Observation>>

fn success( &self, ) -> Result<Self::Value, Failure<Self::Probe, Self::Observation>>

fn zero(self) -> Result<(), Failure<Self::Probe, Self::Observation>>

fn canceled(self) -> Result<(), Failure<Self::Probe, Self::Observation>>

fn cancel(self) -> Result<(), Failure<Self::Probe, Self::Observation>>

fn probe(&self) -> Self::Probe

fn meta(&self) -> Self::Meta

fn unexpected(&self) -> Failure<Self::Probe, Self::Observation>

fn nonterminal(&self) -> Failure<Self::Probe, Self::Observation>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors