Trait frunk_utils::MapToList

pub trait MapToList<F, U>: HList {
    type Output: ConsListT<U>;

    // Required method
    fn map_to_list(self, f: F) -> ConsList<U, Self::Output>;
}

Required Associated Types

type Output: ConsListT<U>

Required Methods

fn map_to_list(self, f: F) -> ConsList<U, Self::Output>

Map a monomorphizing function over the HList to produce an iterable datastructure which lives fully on stack

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<F, U> MapToList<F, U> for HNil

type Output = Nil<U>

fn map_to_list(self, _f: F) -> ConsList<U, Self::Output>

impl<F: Func<Head, Output = U>, U, Head, Tail: MapToList<F, U>> MapToList<F, U> for HCons<Head, Tail>

type Output = Cons<U, <Tail as MapToList<F, U>>::Output>

fn map_to_list(self, f: F) -> ConsList<U, Self::Output>

Implementors