Struct ZeroTrie 

pub struct ZeroTrie<Store>(/* private fields */);

A data structure that compactly maps from byte sequences to integers.

There are several variants of ZeroTrie which are very similar but are optimized for different use cases:

• ZeroTrieSimpleAscii is the most compact structure. Very fast for small data. Only stores ASCII-encoded strings. Can be const-constructed!
• ZeroTriePerfectHash is also compact, but it also supports arbitrary binary strings. It also scales better to large data. Cannot be const-constructed.
• ZeroTrieExtendedCapacity can be used if more than 2^32 bytes are required.

You can create a ZeroTrie directly, in which case the most appropriate backing implementation will be chosen.

Backing Store

The data structure has a flexible backing data store. The only requirement for most functionality is that it implement AsRef<[u8]>. All of the following are valid ZeroTrie types:

• ZeroTrie<[u8]> (dynamically sized type: must be stored in a reference or Box)
• ZeroTrie<&[u8]> (borrows its data from a u8 buffer)
• ZeroTrie<Vec<u8>> (fully owned data)
• ZeroTrie<ZeroVec<u8>> (the recommended borrowed-or-owned signature)
• Cow<ZeroTrie<[u8]>> (another borrowed-or-owned signature)
• ZeroTrie<Cow<[u8]>> (another borrowed-or-owned signature)

Examples

use litemap::LiteMap;
use zerotrie::ZeroTrie;

let mut map = LiteMap::<&[u8], usize>::new_vec();
map.insert("foo".as_bytes(), 1);
map.insert("bar".as_bytes(), 2);
map.insert("bazzoo".as_bytes(), 3);

let trie = ZeroTrie::try_from(&map)?;

assert_eq!(trie.get("foo"), Some(1));
assert_eq!(trie.get("bar"), Some(2));
assert_eq!(trie.get("bazzoo"), Some(3));
assert_eq!(trie.get("unknown"), None);

Implementations

impl<Store> ZeroTrie<Store>

pub fn into_store(self) -> Store

Takes the byte store from this trie.

pub fn convert_store<NewStore>(self) -> ZeroTrie<NewStore>

where NewStore: From<Store>,

Converts this trie’s store to a different store implementing the From trait.

For example, use this to change ZeroTrie<Vec<u8>> to ZeroTrie<Cow<[u8]>>.

impl<Store> ZeroTrie<Store>

where Store: AsRef<[u8]>,

pub fn get<K>(&self, key: K) -> Option<usize>

where K: AsRef<[u8]>,

Queries the trie for a string.

pub fn is_empty(&self) -> bool

Returns true if the trie is empty.

pub fn byte_len(&self) -> usize

Returns the size of the trie in number of bytes.

To get the number of keys in the trie, use .iter().count().

Trait Implementations

impl<Store: Clone> Clone for ZeroTrie<Store>

fn clone(&self) -> ZeroTrie<Store>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Store: Debug> Debug for ZeroTrie<Store>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Store: PartialEq> PartialEq for ZeroTrie<Store>

fn eq(&self, other: &ZeroTrie<Store>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, Store> Yokeable<'a> for ZeroTrie<Store>

where Store: 'static, Self: Sized,

type Output = ZeroTrie<Store>

This type MUST be Self with the 'static replaced with 'a, i.e. Self<'a>

fn transform(&self) -> &Self::Output

This method must cast self between &'a Self<'static> and &'a Self<'a>.

fn transform_owned(self) -> Self::Output

This method must cast self between Self<'static> and Self<'a>.

unsafe fn make(this: Self::Output) -> Self

This method can be used to cast away Self<'a>’s lifetime.

fn transform_mut<F>(&'a mut self, f: F)

where F: 'static + for<'b> FnOnce(&'b mut Self::Output),

This method must cast self between &'a mut Self<'static> and &'a mut Self<'a>, and pass it to f.

impl<'zf, Store1, Store2> ZeroFrom<'zf, ZeroTrie<Store1>> for ZeroTrie<Store2>

where Store2: ZeroFrom<'zf, Store1>,

Available on crate feature zerofrom only.

fn zero_from(other: &'zf ZeroTrie<Store1>) -> Self

Clone the other C into a struct that may retain references into C.

impl<Store: Copy> Copy for ZeroTrie<Store>

impl<Store: Eq> Eq for ZeroTrie<Store>

impl<Store> StructuralPartialEq for ZeroTrie<Store>