Currency Switcher for WooCommerce

It would be great to have a default set of functions that developers can use for other parts of the website. I am creating a webshop with WooCommerce where multiple websites components show the prices.

Ive now written some custom functions so i can get the correct symbol or currency code set in wccs.

I couldn’t find anything in the documentation for this (might have looked wrong :)) but it would be great to have as a standard feature for developers.

Also it would be great to have an option for returning the currency dropdown as raw data (array) so developers can build their own version of a dropdown with the currency data.