Trait MonadicReturn 

pub trait MonadicReturn {
    type Inner;

    // Required method
    fn monadic_return(t: Self::Inner) -> Self;
}

Satisfied by types that can be constructed from some inner types.

Required Associated Types

type Inner

The inner type.

Required Methods

fn monadic_return(t: Self::Inner) -> Self

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

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

type Inner = T

fn monadic_return(t: T) -> Self

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

type Inner = T

fn monadic_return(t: T) -> Self

Implementors

impl<T> MonadicReturn for Nondet<T>

type Inner = T

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

type Inner = T