Trait higher::Pure

pub trait Pure<A> {
    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

Implementations on Foreign Types

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

fn pure(value: A) -> Self

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

fn pure(value: A) -> Self

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

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>