Trait libspecr::MonadicReturn

pub trait MonadicReturn {
    type Inner;

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

Required Associated Types

type Inner

Required Methods

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

Implementations on Foreign Types

impl<T> MonadicReturn for Option<T>

type Inner = T

const fn monadic_return(t: T) -> Self

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

type Inner = T

const 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