Trait differential_dataflow::trace::layers::Builder

pub trait Builder {
    type Trie: Trie;
    fn boundary(&mut self) -> usize;
    fn done(self) -> Self::Trie;
}

A type used to assemble collections.

Associated Types

type Trie: Trie

The type of collection produced.

Loading content...

Required methods

fn boundary(&mut self) -> usize

Requests a commitment to the offset of the current-most sub-collection.

This is most often used by parent collections to indicate that some set of values are now logically distinct from the next set of values, and that the builder should acknowledge this and report the limit (to store as an offset in the parent collection).

fn done(self) -> Self::Trie

Finalizes the building process and returns the collection.

Loading content...

Implementors

impl<K: HashOrdered + Clone + Default, L: Builder> Builder for HashedBuilder<K, L>

type Trie = HashedLayer<K, L::Trie>

fn boundary(&mut self) -> usize

Looks at the contents of self.temp and extends self.keys appropriately.

This is where the "hash map" structure is produced. Up until this point, all (key, usize) pairs were committed to self.temp, where they awaited layout. That now happens here.

fn done(self) -> Self::Trie

impl<K: Ord + Clone, L: Builder> Builder for OrderedBuilder<K, L>

type Trie = OrderedLayer<K, L::Trie>

fn boundary(&mut self) -> usize

fn done(self) -> Self::Trie

impl<K: Ord + Clone, R: Monoid + Clone> Builder for OrderedLeafBuilder<K, R>

type Trie = OrderedLeaf<K, R>

fn boundary(&mut self) -> usize

fn done(self) -> Self::Trie

Loading content...