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.

Think of it as Default, but instead of constructing an empty value, it takes a single argument value and wraps it in the container type in a meaningful way.

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

impl<A> Pure<A> for VecDeque<A>

fn pure(value: A) -> Self

impl<A> Pure<A> for LinkedList<A>

fn pure(value: A) -> Self

impl<A> Pure<A> for BinaryHeap<A>where
    A: Ord,

fn pure(value: A) -> Self

impl<A> Pure<A> for HashSet<A>where
    A: Hash + Eq,

fn pure(value: A) -> Self

impl<A> Pure<A> for BTreeSet<A>where
    A: Ord,

fn pure(value: A) -> Self

impl<K, V> Pure<(K, V)> for HashMap<K, V>where
    K: Hash + Eq,

fn pure(value: (K, V)) -> Self

impl<K, V> Pure<(K, V)> for BTreeMap<K, V>where
    K: Ord,

fn pure(value: (K, V)) -> Self

Implementors