Trait Pure 

pub trait Pure<A>: HKT<A> {
    // Required method
    fn of(c: Self::Current) -> Self::Target;
}

Required Methods

fn of(c: Self::Current) -> Self::Target

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, E> Pure<A> for Result<A, E>

fn of(a: A) -> Self::Target

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

fn of(a: A) -> Self::Target

Implementors