Struct Map

pub struct Map<S, F, D = ConstFalse> { /* private fields */ }

Trait Implementations

impl<S, F, D> Borrowable for Map<S, F, D>

type Borrowed = Map<S, F, D>

Borrowed = Self

impl<S, F, D> HibitTree for Map<S, F, D>

where S: Borrowable<Borrowed: HibitTree>, for<'a, 'b> F: UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::Data> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>, D: ConstBool,

const EXACT_HIERARCHY: bool = <S::Borrowed as HibitTree>::EXACT_HIERARCHY

Marker that this tree as a bitmap hierarchy does not have false-positive bits in bitmasks.

type DefaultData = D

Tree capability of returning Default value for absent elements FAST.

type LevelCount = <<S as Borrowable>::Borrowed as HibitTree>::LevelCount

Hierarchy levels count (without a data level).

type LevelMask = <<S as Borrowable>::Borrowed as HibitTree>::LevelMask

Bitmask used in each Node.

fn data( &self, index: &HierarchyIndex<Self::LevelMask, Self::LevelCount>, ) -> Option<<Self as HibitTreeTypes<'_>>::Data>

Safety

unsafe fn data_unchecked( &self, index: &HierarchyIndex<Self::LevelMask, Self::LevelCount>, ) -> <Self as HibitTreeTypes<'_>>::DataUnchecked

Safety

unsafe fn data_or_default( &self, index: &HierarchyIndex<Self::LevelMask, Self::LevelCount>, ) -> <Self as HibitTreeTypes<'_>>::DataOrDefault

Safety

fn get( &self, index: impl TryInto<HierarchyIndex<<Self as HibitTree>::LevelMask, Self::LevelCount>>, ) -> Option<<Self as HibitTreeTypes<'_>>::Data>

You can use usize or HierarchyIndex for index.

unsafe fn get_unchecked( &self, index: impl TryInto<HierarchyIndex<<Self as HibitTree>::LevelMask, Self::LevelCount>>, ) -> <Self as HibitTreeTypes<'_>>::DataUnchecked

Safety

fn get_or_default( &self, index: impl TryInto<HierarchyIndex<<Self as HibitTree>::LevelMask, Self::LevelCount>>, ) -> <Self as HibitTreeTypes<'_>>::DataOrDefault

where Self::DefaultData: IsConstTrue,

Panic

fn iter(&self) -> Iter<'_, Self>

fn map<F>(self, f: F) -> Map<Self, F>

where for<'a, 'b> F: UnaryFunction<<Self as HibitTreeTypes<'a>>::Data> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>,

See crate::map

fn map_w_default<F>(self, f: F) -> Map<Self, F, ConstTrue>

where Self::DefaultData: IsConstTrue, for<'a, 'b> F: UnaryFunction<<Self as HibitTreeTypes<'a>>::Data> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>,

See crate::map_w_default

fn ref_map<F>(&self, f: F) -> Map<&Self, F>

where for<'a, 'b> F: UnaryFunction<<Self as HibitTreeTypes<'a>>::Data> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>,

See crate::map

fn ref_map_w_default<F>(&self, f: F) -> Map<&Self, F, ConstTrue>

where Self::DefaultData: IsConstTrue, for<'a, 'b> F: UnaryFunction<<Self as HibitTreeTypes<'a>>::Data> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<Self as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<Self as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>,

See crate::map_w_default

fn index_range() -> RangeTo<usize>

Index range this SparseHierarchy can handle - 0..width^depth.

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

where S: Borrowable<Borrowed: HibitTree>, for<'a, 'b> F: UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::Data> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>, D: ConstBool,

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

type DataUnchecked = <F as UnaryFunction<<<S as Borrowable>::Borrowed as HibitTreeTypes<'this>>::DataUnchecked>>::Output

type DataOrDefault = <F as UnaryFunction<<<S as Borrowable>::Borrowed as HibitTreeTypes<'this>>::DataOrDefault>>::Output

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

impl<S, F, D> LazyHibitTree for Map<S, F, D>

where Map<S, F, D>: RegularHibitTree,

fn materialize<T>(self) -> T

where Self: RegularHibitTree, T: FromHibitTree<Self, LevelMask = Self::LevelMask, LevelCount = Self::LevelCount>,

Make a concrete collection from a lazy/virtual one.

fn materialize_filtered<T, F>(self, f: F) -> T

where Self: RegularHibitTree, T: FromHibitTree<Self, LevelMask = Self::LevelMask, LevelCount = Self::LevelCount>, for<'a, 'b> F: UnaryFunction<&'a HibitTreeData<'b, Self>, Output = bool>,