Struct differential_dataflow::trace::layers::ordered::OrderedLayer

pub struct OrderedLayer<K, L, O = usize> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug,  {
    pub keys: Vec<K>,
    pub offs: Vec<O>,
    pub vals: L,
}

A level of the trie, with keys and offsets into a lower layer.

In this representation, the values for keys[i] are found at vals[offs[i] .. offs[i+1]].

Fields

keys: Vec<K>

The keys of the layer.

offs: Vec<O>

The offsets associate with each key.

The bounds for keys[i] are (offs[i], offs[i+1]). The offset array is guaranteed to be one element longer than the keys array, ensuring that these accesses do not panic.

vals: L

The ranges of values associated with the keys.

Trait Implementations

impl<K, L, O> Trie for OrderedLayer<K, L, O> where
    K: Ord + Clone,
    L: Trie,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

type Item = (K, L::Item)

The type of item from which the type is constructed.

type Cursor = OrderedCursor<L>

The type of cursor used to navigate the type.

type MergeBuilder = OrderedBuilder<K, L::MergeBuilder, O>

The type used to merge instances of the type together.

type TupleBuilder = OrderedBuilder<K, L::TupleBuilder, O>

The type used to assemble instances of the type from its Items.

fn keys(&self) -> usize

The number of distinct keys, as distinct from the total number of tuples.

fn tuples(&self) -> usize

The total number of tuples in the collection.

fn cursor_from(&self, lower: usize, upper: usize) -> Self::Cursor

Returns a cursor over a range of data, commonly used by others to restrict navigation to sub-collections.

fn cursor(&self) -> Self::Cursor

Returns a cursor capable of navigating the collection.

fn merge(&self, other: &Self) -> Self

Merges two collections into a third.

impl<K, L, O> Cursor<OrderedLayer<K, L, O>> for OrderedCursor<L> where
    K: Ord,
    L: Trie,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

type Key = K

The type revealed by the cursor.

fn key<'a>(&self, storage: &'a OrderedLayer<K, L, O>) -> &'a Self::Key

Reveals the current key.

fn step(&mut self, storage: &OrderedLayer<K, L, O>)

Advances the cursor by one element.

fn seek(&mut self, storage: &OrderedLayer<K, L, O>, key: &Self::Key)

Advances the cursor until the location where key would be expected.

fn valid(&self, _storage: &OrderedLayer<K, L, O>) -> bool

Returns true if the cursor points at valid data. Returns false if the cursor is exhausted.

fn rewind(&mut self, storage: &OrderedLayer<K, L, O>)

Rewinds the cursor to its initial state.

fn reposition(
    &mut self,
    storage: &OrderedLayer<K, L, O>,
    lower: usize,
    upper: usize
)

Repositions the cursor to a different range of values.

impl<K: Clone, L: Clone, O: Clone> Clone for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

fn clone(&self) -> OrderedLayer<K, L, O>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Eq, L: Eq, O: Eq> Eq for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

impl<K: PartialEq, L: PartialEq, O: PartialEq> PartialEq<OrderedLayer<K, L, O>> for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

fn eq(&self, other: &OrderedLayer<K, L, O>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &OrderedLayer<K, L, O>) -> bool

This method tests for !=.

impl<K: Debug, L: Debug, O: Debug> Debug for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

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

Formats the value using the given formatter.

impl<K, L, O> StructuralPartialEq for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

impl<K, L, O> StructuralEq for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug, 

impl<K, L, O> Abomonation for OrderedLayer<K, L, O> where
    K: Ord,
    O: OrdOffset,
    <O as TryFrom<usize>>::Error: Debug,
    <O as TryInto<usize>>::Error: Debug,
    Vec<K>: Abomonation,
    K: Abomonation,
    Vec<O>: Abomonation,
    O: Abomonation,
    L: Abomonation, 

unsafe fn entomb<W: Write>(&self, _write: &mut W) -> Result<()>

Write any additional information about &self beyond its binary representation.

fn extent(&self) -> usize

Reports the number of further bytes required to entomb self.

unsafe fn exhume<'a, 'b>(
    &'a mut self,
    bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>

Recover any information for &mut self not evident from its binary representation.