Dictionary.map_keys
map_keysfunction
Documentation
Maps a function over each key in this dictionary.
Arguments
function
: The function to apply to each key in the dictionary, taking a key and returning a new key.
Examples
Doubling all keys in the dictionary.
import Standard.Examples
example_map_keys = Examples.dictionary.map_keys *2