I had initially thought of proposing also adding dict.map_keys() and then implementing set.map() in terms of that function, but as I thought about it more, I couldn't think of a strong reason to add that other than just doing it for completeness' sake, so I did it in terms of set.fold() instead.
I had initially thought of proposing also adding
dict.map_keys()
and then implementingset.map()
in terms of that function, but as I thought about it more, I couldn't think of a strong reason to add that other than just doing it for completeness' sake, so I did it in terms ofset.fold()
instead.Resolves #636.