Optimize 'sizeMap'

[sjakobi]

I think sizeMap could be faster in the cases where either the keys or the values are of constant size.

[mgsloan]

Not sure if it's worth the extra logic, since you still need to traverse the whole map to figure out how many members it has.

[sjakobi]

I'll write a benchmark to check.

[sjakobi]

Not sure if it's worth the extra logic, since you still need to traverse the whole map to figure out how many members it has.

Ah, I see what you mean now. Well, I think that's a downside to using mono-foldable's olength here: in contrast to IntMap and HashMap , Map actually has an O(1) size function. It's the same with the respective Set versions.

[mgsloan]

Oh, awesome, didn't realize Map and Set had that info available!