Module differential_dataflow::operators::distinct

Reduce the collection to one occurrence of each distinct element.

The distinct_total and distinct_total_u operators are optimizations of the more general distinct and distinct_u operators for the case in which time is totally ordered.

Traits

DistinctTotal	Extension trait for the distinct differential dataflow method.
DistinctTotalCore	Extension trait for the distinct_total_core differential dataflow method.