Trait rust2fun::pure::Pure

pub trait Pure: Higher {
    // Required method
    fn pure(x: Self::Param) -> Self;

    // Provided method
    fn unit() -> Self
       where Self: Higher<Param = ()> + Sized { ... }
}

Typeclass for lifting values into a context.

Required Methods

fn pure(x: Self::Param) -> Self

Lift a value into a context.

Examples

use rust2fun::prelude::*;

let actual = Option::pure(1);
assert_eq!(Some(1), actual);

Provided Methods

fn unit() -> Selfwhere Self: Higher<Param = ()> + Sized,

Lift Unit into a context. This is a convenience method for pure(()).

Examples

use rust2fun::prelude::*;

let actual = Option::unit();
assert_eq!(Some(()), actual);

Implementations on Foreign Types

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

fn pure(x: A) -> Self

impl<A> Pure for Box<A>

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

impl<A> Pure for LinkedList<A>

fn pure(x: A) -> Self

impl<A> Pure for Option<A>

fn pure(x: A) -> Option<A>

impl<A> Pure for VecDeque<A>

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

impl<A> Pure for Vec<A>

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

Implementors

impl<A, E: Semigroup> Pure for Validated<A, E>

impl<T> Pure for NEVec<T>