Trait HPair

pub trait HPair {
    type Out;

    // Required method
    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.

Required Associated Types

type Out

Output type.

Required Methods

fn hpair(self) -> Self::Out

Returns the higher order transposed value.

Implementations on Foreign Types

impl HPair for (f32, f32)

type Out = (f32, f32)

fn hpair(self) -> Self

impl HPair for (f64, f64)

type Out = (f64, f64)

fn hpair(self) -> Self

impl HPair for (i8, i8)

type Out = (i8, i8)

fn hpair(self) -> Self

impl HPair for (i16, i16)

type Out = (i16, i16)

fn hpair(self) -> Self

impl HPair for (i32, i32)

type Out = (i32, i32)

fn hpair(self) -> Self

impl HPair for (i64, i64)

type Out = (i64, i64)

fn hpair(self) -> Self

impl HPair for (isize, isize)

type Out = (isize, isize)

fn hpair(self) -> Self

impl HPair for (u8, u8)

type Out = (u8, u8)

fn hpair(self) -> Self

impl HPair for (u16, u16)

type Out = (u16, u16)

fn hpair(self) -> Self

impl HPair for (u32, u32)

type Out = (u32, u32)

fn hpair(self) -> Self

impl HPair for (u64, u64)

type Out = (u64, u64)

fn hpair(self) -> Self

impl HPair for (usize, usize)

type Out = (usize, usize)

fn hpair(self) -> Self

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

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

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

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

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

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

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

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

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

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

impl<T> HPair for (Vec<T>, Vec<T>)

where (T, T): HPair,

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

fn hpair(self) -> Self::Out

Implementors