Struct libspecr::Nondet

pub struct Nondet<T>(/* private fields */);

Non-determinism primitive. See Non-determinism.

Trait Implementations

impl<T: Clone> Clone for Nondet<T>

fn clone(&self) -> Nondet<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T> FromResidual<Infallible> for Nondet<T>

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> MonadicReturn for Nondet<T>

type Inner = T

The inner type.

fn monadic_return(t: T) -> Self

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

impl<T> Try for Nondet<T>

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 = Infallible

🔬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).

impl<T: Copy> Copy for Nondet<T>