Trait rust_fp_categories::Pure

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

Associated Types

type Elm

type M

Loading content...

Required methods

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

pub fn unit() -> Self::M

Loading content...

Implementations on Foreign Types

impl Pure for usize

type Elm = usize

type M = U

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

pub fn unit() -> Self::M

impl Pure for u8

type Elm = u8

type M = U

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

pub fn unit() -> Self::M

impl Pure for u16

type Elm = u16

type M = U

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

pub fn unit() -> Self::M

impl Pure for u32

type Elm = u32

type M = U

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

pub fn unit() -> Self::M

impl Pure for u64

type Elm = u64

type M = U

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

pub fn unit() -> Self::M

impl Pure for u128

type Elm = u128

type M = U

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

pub fn unit() -> Self::M

impl Pure for isize

type Elm = isize

type M = U

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

pub fn unit() -> Self::M

impl Pure for i8

type Elm = i8

type M = U

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

pub fn unit() -> Self::M

impl Pure for i16

type Elm = i16

type M = U

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

pub fn unit() -> Self::M

impl Pure for i32

type Elm = i32

type M = U

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

pub fn unit() -> Self::M

impl Pure for i64

type Elm = i64

type M = U

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

pub fn unit() -> Self::M

impl Pure for i128

type Elm = i128

type M = U

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

pub fn unit() -> Self::M

impl Pure for f32

type Elm = f32

type M = U

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

pub fn unit() -> Self::M

impl Pure for f64

type Elm = f64

type M = U

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

pub fn unit() -> Self::M

impl<A> Pure for Rc<A>

type Elm = A

type M = Rc<U>

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

pub fn unit() -> Self::M

impl<A> Pure for Box<A>

type Elm = A

type M = Box<U>

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

pub fn unit() -> Self::M

impl<A> Pure for Option<A>

type Elm = A

type M = Option<U>

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

pub fn unit() -> 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

pub fn unit() -> Self::M

impl<A> Pure for Vec<A>

type Elm = A

type M = Vec<U>

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

pub fn unit() -> Self::M

Loading content...

Implementors

Loading content...