Trait higher_order_core::HMap

pub trait HMap<Out> {
    type Fun;
    fn hmap(self, f: &Self::Fun) -> Out;
}

Implemented by higher order maps.

A higher order map takes common data structures such as vectors and lists and applies a function to every element.

This is implemented recursively, hence higher order maps.

Associated Types

type Fun

The out type.

Loading content...

Required methods

fn hmap(self, f: &Self::Fun) -> Out

Maps structure.

Loading content...

Implementations on Foreign Types

impl<T, U> HMap<[U; 2]> for [T; 2] where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, f: &Self::Fun) -> [U; 2]

impl<T, U> HMap<[U; 3]> for [T; 3] where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, f: &Self::Fun) -> [U; 3]

impl<T, U> HMap<[U; 4]> for [T; 4] where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, f: &Self::Fun) -> [U; 4]

impl<T, U> HMap<[U; 5]> for [T; 5] where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, f: &Self::Fun) -> [U; 5]

impl<T, U> HMap<[U; 6]> for [T; 6] where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, fx: &Self::Fun) -> [U; 6]

impl<T, U> HMap<Vec<U>> for Vec<T> where
    T: HMap<U>, 

type Fun = T::Fun

fn hmap(self, f: &Self::Fun) -> Vec<U>

Loading content...

Implementors

impl<T, U> HMap<U> for T where
    U: Call<T>, 

type Fun = U::Fun

fn hmap(self, f: &Self::Fun) -> U

Loading content...