Trait Pure 

pub trait Pure<A> {
    // Required method
    fn pure(value: A) -> Self;
}

Pure lets you construct a value of type F<A> from a single value of A.

For instance:

• Option::pure(5) returns Some(5).
• Result::pure(5) returns Ok(5).
• Vec::pure(5) returns vec![5].

Required Methods

fn pure(value: A) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<A> Pure<A> for Option<A>

fn pure(value: A) -> Self

impl<A> Pure<A> for Vec<A>

Available on crate feature std only.

fn pure(value: A) -> Self

impl<A, E> Pure<A> for Result<A, E>

fn pure(value: A) -> Self

Implementors

impl<'a, A> Pure<A> for Effect<'a, A>

where A: 'a,

impl<'a, A: 'a, E> Pure<A> for IO<'a, A, E>