Trait lattices::ght::GhtPrefixIter

pub trait GhtPrefixIter<KeyPrefix> {
    type Item: VariadicExt;

    // Required method
    fn prefix_iter<'a>(
        &'a self,
        prefix: KeyPrefix,
    ) -> impl Iterator<Item = <Self::Item as VariadicExt>::AsRefVar<'a>>
       where Self::Item: 'a;
}

A trait to iterate through the items in a Ght based on a prefix of the schema.

Required Associated Types

type Item: VariadicExt

the schema output

Required Methods

fn prefix_iter<'a>( &'a self, prefix: KeyPrefix, ) -> impl Iterator<Item = <Self::Item as VariadicExt>::AsRefVar<'a>>

where Self::Item: 'a,

given a prefix, return an iterator through the items below

Object Safety

This trait is not object safe.

Implementors

impl<'k, Head, Node, PrefixRest> GhtPrefixIter<(&'k Head, PrefixRest)> for GhtInner<Head, Node>

where Head: Eq + Hash + Clone, Node: GeneralizedHashTrieNode + GhtPrefixIter<PrefixRest>,

type Item = <Node as GhtPrefixIter<PrefixRest>>::Item

impl<Head, Node> GhtPrefixIter<()> for GhtInner<Head, Node>

where Self: GeneralizedHashTrieNode, Head: Eq + Hash + Clone, Node: GeneralizedHashTrieNode,

type Item = <GhtInner<Head, Node> as GeneralizedHashTrieNode>::Schema

impl<KeyPrefixRef, Schema, ValType, Storage> GhtPrefixIter<KeyPrefixRef> for GhtLeaf<Schema, ValType, Storage>

where KeyPrefixRef: 'static + RefVariadic, Schema: 'static + VariadicExt + Hash + Eq + SplitBySuffix<ValType>, ValType: VariadicExt + Split<KeyPrefixRef::UnRefVar>, KeyPrefixRef::UnRefVar: PartialEqVariadic, Storage: 'static + VariadicCollection<Schema = Schema>,

type Item = Schema