Trait 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() -> Self

where 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);

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<A> Pure for Option<A>

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

impl<A> Pure for Box<A>

fn pure(x: A) -> Self

impl<A> Pure for LinkedList<A>

fn pure(x: A) -> Self

impl<A> Pure for VecDeque<A>

fn pure(x: A) -> Self

impl<A> Pure for Vec<A>

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

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

fn pure(x: A) -> Self

Implementors

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

impl<T> Pure for NEVec<T>