You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would like to be able to easily query the number of entries in an index. I would expect len(index) to work. However, the __len__ attribute isn't defined. I recently discovered index.get_size(), which gives me exactly what I want, although it isn't documented. Could we rename get_size to __len__, or have __len__ call get_size? Alternatively, could we document get_size?
I'm happy to open a PR to do this, but it'll have to wait until next week.
The text was updated successfully, but these errors were encountered:
I would like to be able to easily query the number of entries in an index. I would expect
len(index)
to work. However, the__len__
attribute isn't defined. I recently discoveredindex.get_size()
, which gives me exactly what I want, although it isn't documented. Could we renameget_size
to__len__
, or have__len__
callget_size
? Alternatively, could we documentget_size
?I'm happy to open a PR to do this, but it'll have to wait until next week.
The text was updated successfully, but these errors were encountered: