Trait naan::fold::FoldableOnceIndexed

pub trait FoldableOnceIndexed<F, Idx, A>where
    Self: FoldableOnce<F, A>,
    F: HKT1<T<A> = Self>,{
    // Required methods
    fn fold1_idx<B, BAB>(self, f: BAB, b: B) -> B
       where BAB: F3Once<B, Idx, A, Ret = B>;
    fn fold1_idx_ref<'a, B, BAB>(&'a self, f: BAB, b: B) -> B
       where BAB: F3Once<B, &'a Idx, &'a A, Ret = B>,
             A: 'a,
             Idx: 'a;
}

FoldableOnce for indexed data structures

Required Methods

fn fold1_idx<B, BAB>(self, f: BAB, b: B) -> Bwhere BAB: F3Once<B, Idx, A, Ret = B>,

Fold the data structure

fn fold1_idx_ref<'a, B, BAB>(&'a self, f: BAB, b: B) -> Bwhere BAB: F3Once<B, &'a Idx, &'a A, Ret = B>, A: 'a, Idx: 'a,

Fold the data structure

Implementors