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
it occurs to me, strictly speaking, all you need is the total length, current index, and the ability to remove to implement these methods. TraverseFilter seems to have all those.
Should we add those to TraverseFilter and optimize the implementations on the strict collections?
The text was updated successfully, but these errors were encountered:
it occurs to me, strictly speaking, all you need is the total length, current index, and the ability to remove to implement these methods. TraverseFilter seems to have all those.
Should we add those to TraverseFilter and optimize the implementations on the strict collections?
The text was updated successfully, but these errors were encountered: