Trait HibitTreeTypes

pub trait HibitTreeTypes<'this, ImplicitBounds = &'this Self> {
    type Data;
    type DataUnchecked;
    type Cursor: HibitTreeCursor<'this, Src = Self>;
}

Required Associated Types

type Data

type DataUnchecked

type Cursor: HibitTreeCursor<'this, Src = Self>

Implementors

impl<'a, T, const DEPTH: usize> HibitTreeTypes<'a> for DenseTree<T, DEPTH>

where ConstUsize<DEPTH>: ConstInteger,

type Data = &'a T

type DataUnchecked = &'a T

type Cursor = Cursor<'a, T, DEPTH>

impl<'item, 'this, Iter, T> HibitTreeTypes<'this> for MultiIntersection<Iter>

where Iter: Iterator<Item = &'item T> + Clone, T: HibitTree + 'item,

type Data = IntoIter<<<<Iter as Iterator>::Item as Ref>::Type as HibitTreeTypes<'item>>::Data, N>

type DataUnchecked = DataUnchecked<Iter>

type Cursor = Cursor<'this, 'item, Iter>

impl<'item, 'this, Iter, T> HibitTreeTypes<'this> for MultiUnion<Iter>

where Iter: Iterator<Item = &'item T> + Clone, T: HibitTree + 'item,

type Data = IntoIter<<<<Iter as Iterator>::Item as Ref>::Type as HibitTreeTypes<'item>>::Data, N>

type DataUnchecked = DataUnchecked<Iter>

type Cursor = Cursor<'this, 'item, Iter>

impl<'this, Levels, Data, R> HibitTreeTypes<'this> for SparseTree<Levels, Data, R>

where Levels: SparseTreeLevels, R: DefaultRequirement,

type Data = &'this Data

type DataUnchecked = &'this Data

type Cursor = Cursor<'this, Levels, Data, R>

impl<'this, S0, S1> HibitTreeTypes<'this> for Intersection<S0, S1>

where S0: Borrowable<Borrowed: HibitTree>, S1: Borrowable<Borrowed: HibitTree<LevelCount = <S0::Borrowed as HibitTree>::LevelCount, LevelMask = <S0::Borrowed as HibitTree>::LevelMask>>,

type Data = (<<S0 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::Data, <<S1 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::Data)

type DataUnchecked = (<<S0 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::DataUnchecked, <<S1 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::DataUnchecked)

type Cursor = Cursor<'this, S0, S1>

impl<'this, S0, S1> HibitTreeTypes<'this> for Union<S0, S1>

where S0: Borrowable<Borrowed: HibitTree>, S1: Borrowable<Borrowed: HibitTree<LevelCount = <S0::Borrowed as HibitTree>::LevelCount, LevelMask = <S0::Borrowed as HibitTree>::LevelMask>>,

type Data = (Option<<<S0 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::Data>, Option<<<S1 as Borrowable>::Borrowed as HibitTreeTypes<'this>>::Data>)

type DataUnchecked = <Union<S0, S1> as HibitTreeTypes<'this>>::Data

type Cursor = Cursor<'this, S0, S1>

impl<'this, S, F> HibitTreeTypes<'this> for Map<S, F>

where S: Borrowable<Borrowed: RegularHibitTree>, F: for<'a> MapFunction<'a, <S::Borrowed as HibitTreeTypes<'a>>::Data>,

type Data = <F as MapFunction<'this, <<S as Borrowable>::Borrowed as HibitTreeTypes<'this>>::Data>>::Output

type DataUnchecked = <Map<S, F> as HibitTreeTypes<'this>>::Data

type Cursor = Cursor<'this, S, F>

impl<'this, S, I, F> HibitTreeTypes<'this> for MultiMapFold<S, I, F>

where S: MultiHibitTree, I: NullaryFunction, F: for<'a> BinaryFunction<I::Output, <S as MultiHibitTreeTypes<'a>>::IterItem, Output = I::Output>,

type Data = <I as NullaryFunction>::Output

type DataUnchecked = <MultiMapFold<S, I, F> as HibitTreeTypes<'this>>::Data

type Cursor = Cursor<'this, S, I, F>