Skip to main content

read_filtered_page

Function read_filtered_page 

Source
pub fn read_filtered_page(path: &Path, query: &PageQuery) -> Result<OutputPage>
Expand description

Reads one page under a filter. next_cursor advances past every record the read consumed, not just the ones it returned: a filtered-out record is still evidence that has been examined, so a follower resuming from the cursor neither replays it nor stalls behind it.