Add scroll, scrollTo, scrollBy, scrollIntoView

[Shou]

We add Element.scroll, Element.scrollTo,
Element.scrollBy, and Element.scrollIntoView.

---

There are more missing methods but this is a start, and what I personally need at the moment. We can also re-export scroll, scrollTo, and scrollBy with unsafeCoerce from Window -> Element in purescript-web-html.

[garyb]

Thanks for working on this, but it belongs to the CSSOM rather than the DOM. We do have a repo for it, but there's still no initial release or anything. I'll try to get something up soon, and then we can move this over there.

[Shou]

I'll close this PR now then. Let me know when you've got something up, I'd love to help if I have time.

[andys8]

There are scroll operations for window in web-html Web.HTML.Window but the ones on element like element.scrollIntoView seem to be missing as of today.

@garyb I've a question 2 years later ... 😅 Why would these functions belong to WebCSSOM? I've trouble to understand why would be added to CSS OM. Could you explain?

Update

I did find occurences of similar methods for Element: scrollLeft and it's likely that here would be the best place to add the other scroll methods. If that's the case, should this PR be revived, rebased and reopened? Do you want me to create an issue to track this?

[garyb]

It's because they're defined in the CSSOM spec: https://drafts.csswg.org/cssom-view/#dom-element-scrollintoview

But actually, actually it's CSSOM-view which is yet another thing! I guess those Window scroll operations shouldn't be there, I just let them in mistakenly (the blame says I was the one who added them).

[andys8]

Uh, interesting. There seem to be more examples (besides scroll methods) that are relevant for Element where this would also be the case.

https://pursuit.purescript.org/packages/purescript-web-html/3.1.0/docs/Web.HTML.HTMLElement#v:getBoundingClientRect

https://pursuit.purescript.org/packages/purescript-web-dom/5.0.0/docs/Web.DOM.Element#v:scrollLeft

https://pursuit.purescript.org/packages/purescript-web-dom/5.0.0/docs/Web.DOM.Element#v:clientTop