Add HTMLDocument.currentScript

[cprussin]

Add bindings to Document.currentScript and Element.getAttribute().

Note that in an attempt to properly implement the note mentioned here regarding different DOM implementation handling for non existent attributes, the FFI code in this PR has slightly more logic than the trivial implementation. I don't know how you typically handle cases like this--if you care to target all DOM implementations, I think this is the right thing to do. If you only care to target later implementations, or if you think consumers should handle this check in purescript code, then I can make it trivial and maybe export a binding to hasAttribute as well? Let me know what you'd prefer here if you'd like modifications and I'm happy to oblige.

[cprussin]

Friendly nudge @garyb . Any chance of getting it merged and released? Thanks!

[garyb]

getAttribute should be defined for Element in purescript-web-dom rather than HTMLElement in here, but this looks good otherwise!

[cprussin]

@garyb removed, thanks. Didn't realize that it already existed elsewhere :)

[cprussin]

FWIW is there any clear guideline on what goes in purescript-web-dom vs purescript-web-html? Seems like the border is a bit blurry to me.

[garyb]

• -web-dom implements https://www.w3.org/TR/dom/
• -web-html implements https://www.w3.org/TR/html5/

So the border for what belongs where is definitely clear, but as to why what belongs where, it's definitely pretty arbitrary seeming 😄

[cprussin]

Oh, that's pretty clear 😆 . Thanks!

[garyb]

I think the main distinction is the types/interfaces in the DOM spec also apply to things like SVG documents.