pub trait MonadicReturn {
    type Inner;

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

Required Associated Types§

Required Methods§

source

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

Implementations on Foreign Types§

source§

impl<T> MonadicReturn for Option<T>

§

type Inner = T

source§

const fn monadic_return(t: T) -> Self

source§

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

§

type Inner = T

source§

const fn monadic_return(t: T) -> Self

Implementors§

source§

impl<T> MonadicReturn for Nondet<T>

§

type Inner = T

source§

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

§

type Inner = T