[][src]Trait higher_order_core::HPair

pub trait HPair {
    type Out;
    fn hpair(self) -> Self::Out;
}

Higher order pairing.

A higher order pairing is used pair up components of a pair of data structures. This is used before binary higher order maps of the type f : (T, T) -> U.

Associated Types

type Out

Output type.

Loading content...

Required methods

fn hpair(self) -> Self::Out

Returns the higher order transposed value.

Loading content...

Implementations on Foreign Types

impl HPair for (f64, f64)[src]

type Out = Self

impl HPair for (f32, f32)[src]

type Out = Self

impl HPair for (u8, u8)[src]

type Out = Self

impl HPair for (u16, u16)[src]

type Out = Self

impl HPair for (u32, u32)[src]

type Out = Self

impl HPair for (u64, u64)[src]

type Out = Self

impl HPair for (usize, usize)[src]

type Out = Self

impl HPair for (i8, i8)[src]

type Out = Self

impl HPair for (i16, i16)[src]

type Out = Self

impl HPair for (i32, i32)[src]

type Out = Self

impl HPair for (i64, i64)[src]

type Out = Self

impl HPair for (isize, isize)[src]

type Out = Self

impl<T> HPair for ([T; 2], [T; 2]) where
    (T, T): HPair
[src]

type Out = [<(T, T) as HPair>::Out; 2]

impl<T> HPair for ([T; 3], [T; 3]) where
    (T, T): HPair
[src]

type Out = [<(T, T) as HPair>::Out; 3]

impl<T> HPair for ([T; 4], [T; 4]) where
    (T, T): HPair
[src]

type Out = [<(T, T) as HPair>::Out; 4]

impl<T> HPair for ([T; 5], [T; 5]) where
    (T, T): HPair
[src]

type Out = [<(T, T) as HPair>::Out; 5]

impl<T> HPair for ([T; 6], [T; 6]) where
    (T, T): HPair
[src]

type Out = [<(T, T) as HPair>::Out; 6]

impl<T> HPair for (Vec<T>, Vec<T>) where
    (T, T): HPair
[src]

type Out = Vec<<(T, T) as HPair>::Out>

Loading content...

Implementors

Loading content...