Struct libspecr::NdResult

pub struct NdResult<T, E>(/* private fields */);

Conceptually, this is a Nondet<Result<T, E>>.

This newtype is necessary so that applying ? on a NdResult<T, E> yields T and not Result<T, E>.

Implementations

impl<T, E> NdResult<T, E>

pub fn and_then<U>(self, f: impl FnOnce(T) -> NdResult<U, E>) -> NdResult<U, E>

Monadic bind: chains f after the current result, if this is not already an error.

Trait Implementations

impl<T, E> FromResidual<Infallible> for NdResult<T, E>

fn from_residual(residual: Infallible) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2)

Constructs the type from a compatible Residual type.

impl<T, E> FromResidual<NdResult<Infallible, E>> for NdResult<T, E>

fn from_residual(residual: NdResult<Infallible, E>) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2)

Constructs the type from a compatible Residual type.

impl<T, E> FromResidual<Result<Infallible, E>> for NdResult<T, E>

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

🔬This is a nightly-only experimental API. (try_trait_v2)

Constructs the type from a compatible Residual type.

impl<T, E> FromResidual<Yeet<E>> for NdResult<T, E>

fn from_residual(residual: Yeet<E>) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2)

Constructs the type from a compatible Residual type.

impl<T, E> MonadicReturn for NdResult<T, E>

type Inner = T

The inner type.

fn monadic_return(t: T) -> Self

Wraps a value of Self::Inner into a Self.

impl<T, E> Residual<T> for NdResult<Infallible, E>

type TryType = NdResult<T, E>

🔬This is a nightly-only experimental API. (try_trait_v2_residual)

The “return” type of this meta-function.

impl<T, E> Try for NdResult<T, E>

type Output = T

🔬This is a nightly-only experimental API. (try_trait_v2)

The type of the value produced by ? when not short-circuiting.

type Residual = NdResult<Infallible, E>

🔬This is a nightly-only experimental API. (try_trait_v2)

The type of the value passed to FromResidual::from_residual as part of ? when short-circuiting.

fn from_output(output: Self::Output) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2)

Constructs the type from its Output type.

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

🔬This is a nightly-only experimental API. (try_trait_v2)

Used in ? to decide whether the operator should produce a value (because this returned ControlFlow::Continue) or propagate a value back to the caller (because this returned ControlFlow::Break).