Thanks for the reply. In Elm, I am using the following:
button [ onClick <| Download ] [ text “Save” ]
Where should I add the attributes that you mention? Do I have to do the download function as a Javascript set of methods and define ports or can I just add the attribute to the button object?
Thanks.