TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.54k stars 183 forks source link

Document the collection invariant #384

Open bkirwi opened 1 year ago

bkirwi commented 1 year ago

In particular, the timestamp of a batch should always be less than or equal to the timestamps of all the tuples in that batch.

This is technically already documented on delay, but it seems useful to also document it in the places where the caller needs to take responsibility for it.