
4 Jul
2012
4 Jul
'12
9:54 a.m.
On 7/4/2012 5:02 AM, Thomas Schilling wrote:
I'm surprised that these functions already exists in Data.Map. What are the use cases?
One can use the indexing functions to retrieve a random element from the container, or to random-shuffle a container in n log n time.