Trait Pure 

pub trait Pure {
    type Elm;
    type M<U>;

    // Required methods
    fn pure(value: Self::Elm) -> Self::M<Self::Elm>;
    fn unit() -> Self::M<()>;
}

Required Associated Types

type Elm

type M<U>

Required Methods

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

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 Pure for f32

type Elm = f32

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for f64

type Elm = f64

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for i8

type Elm = i8

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for i16

type Elm = i16

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for i32

type Elm = i32

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for i64

type Elm = i64

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for i128

type Elm = i128

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for isize

type Elm = isize

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for u8

type Elm = u8

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for u16

type Elm = u16

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for u32

type Elm = u32

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for u64

type Elm = u64

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for u128

type Elm = u128

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl Pure for usize

type Elm = usize

type M<U> = U

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl<A> Pure for Option<A>

type Elm = A

type M<U> = Option<U>

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl<A> Pure for Box<A>

type Elm = A

type M<U> = Box<U>

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl<A> Pure for Rc<A>

type Elm = A

type M<U> = Rc<U>

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

impl<A> Pure for Vec<A>

type Elm = A

type M<U> = Vec<U>

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

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

type Elm = A

type M<U> = Result<U, E>

fn pure(value: Self::Elm) -> Self::M<Self::Elm>

fn unit() -> Self::M<()>

Implementors