Module streaming_merge

Module streaming_merge 

Source
Expand description

Merge that deals with an arbitrary size of streaming inputs. This is an order-preserving merge.

Macrosยง

merge_helper ๐Ÿ”’
primitive_merge_helper ๐Ÿ”’

Structsยง

SortedSpillFile
StreamingMergeBuilder