Missing attributes property access on Element

[flip111]

https://developer.mozilla.org/en-US/docs/Web/API/Element

Element.attributes Read only
Returns a NamedNodeMap object containing the assigned attributes of the corresponding HTML element.

There are some functions to work with attributes here https://pursuit.purescript.org/packages/purescript-web-dom/5.0.0/docs/Web.DOM.Element just sometimes you would like to know which attributes are available before calling getAttribute

[garyb]

Please link to the actual standard, as per the issue template!

Here's the IDL: https://dom.spec.whatwg.org/#interface-element

I think it was skipped as we don't have a NamedNodeMap implemented in this library yet either.