Trait libspecr::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.

Object Safety

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