bors[bot] f564a9ce51
Merge #849
849: Update nbHits count with filtered documents r=MarinPostma a=balajisivaraman

Closes #764 
close #1039

After discussing with @MarinPostma on Slack, this is my first attempt at implementing this for the basic flow that will go through `bucket_sort_with_distinct`.

A few thoughts here: 

- For getting the count of filtered documents alone, I originally thought of using `filter_map.values().filter(|&&v| !v).count()`. In a few cases, this was the same as what I have now implemented. But I realised I couldn't do something similar for `distinct`. So for being consistent, I have implemented both in a similar fashion.
- I also needed the `contains_key` check to ensure we're not counting the same document ID twice.

@MarinPostma also mentioned that this will be an approximation since the sort is lazy. In the test example that I've updated, the actual filtered count will be just 19 (for `male` records), but due to the `limit` in play, it returns 32 (filtering out 11 records overall).

Please let me know if this is the kind of fix we are looking for, and I can implement it in the placeholder search also.

Co-authored-by: Balaji Sivaraman <balaji@balajisivaraman.com>
2020-11-26 09:53:13 +00:00
..
2020-09-30 13:20:40 +02:00
2020-10-22 15:46:20 +02:00
2020-05-23 12:20:28 +02:00
2020-10-22 16:12:55 +02:00
2020-09-22 16:05:40 +02:00
2020-10-22 15:46:20 +02:00
2020-09-28 14:40:06 +02:00
2020-08-24 14:14:11 +02:00
2020-10-19 17:16:25 +02:00
2020-10-15 09:43:54 +02:00
2020-07-15 18:56:19 +02:00
2020-11-02 15:10:09 +01:00
2020-05-12 15:34:08 +02:00