Trait rust_fp_categories::pure::Pure

pub trait Pure {
    type Elm;
    type M: Pure<Elm = U>;
    pub fn pure(value: Self::Elm) -> Self::M;
}

Associated Types

type Elm

type M: Pure<Elm = U>

Loading content...

Required methods

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

Loading content...

Implementations on Foreign Types

impl<A> Pure for Rc<A>

type Elm = A

type M = Rc<U>

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

impl<A> Pure for Box<A>

type Elm = A

type M = Box<U>

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

impl<A> Pure for Option<A>

type Elm = A

type M = Option<U>

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

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

type Elm = A

type M = Result<U, E>

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

impl<A> Pure for Vec<A>

type Elm = A

type M = Vec<U>

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

Loading content...

Implementors

Loading content...