Merge pull request #43 from stephanoskomnenos/intersection-observer-api

Add IntersectionObserverAPI

Author: nojaf

src/DOMAPI/Document.js

@@ -458,3 +458,5 @@ external hasStorageAccess: document => promise<bool> = "hasStorageAccess"
 */
 @send
 external requestStorageAccess: document => promise<unit> = "requestStorageAccess"
+
+let isInstanceOf = (_: 't): bool => %raw(`param instanceof Document`)

src/DOMAPI/Document.res

@@ -498,3 +498,5 @@ Returns true if qualifiedName is now present, and false otherwise.
 include Impl({
   type t = element
 })
+
+let isInstanceOf = (_: 't): bool => %raw(`param instanceof Element`)

src/DOMAPI/Element.js

@@ -0,0 +1,69 @@
+@@warning("-30")
+
+open DOMAPI
+
+@editor.completeFrom(IntersectionObserverRoot)
+type root
+
+/**
+provides a way to asynchronously observe changes in the intersection of a target element with an ancestor element or with a top-level document's viewport.
+[See IntersectionObserver on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver)
+*/
+@editor.completeFrom(IntersectionObserver)
+type intersectionObserver = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/root)
+    */
+  root: root,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/rootMargin)
+    */
+  rootMargin: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/thresholds)
+    */
+  thresholds: array<float>,
+}
+
+/**
+This Intersection Observer API interface describes the intersection between the target element and its root container at a specific moment of transition.
+[See IntersectionObserverEntry on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry)
+*/
+type intersectionObserverEntry = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/time)
+    */
+  time: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/rootBounds)
+    */
+  rootBounds: Null.t<domRectReadOnly>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/boundingClientRect)
+    */
+  boundingClientRect: domRectReadOnly,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/intersectionRect)
+    */
+  intersectionRect: domRectReadOnly,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/isIntersecting)
+    */
+  isIntersecting: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/intersectionRatio)
+    */
+  intersectionRatio: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserverEntry/target)
+    */
+  target: element,
+}
+
+type intersectionObserverInit = {
+  mutable root?: root,
+  mutable rootMargin?: string,
+  mutable threshold?: array<float>,
+}
+
+type intersectionObserverCallback = (array<intersectionObserverEntry>, intersectionObserver) => unit

src/DOMAPI/Element.res

@@ -0,0 +1,35 @@
+open DOMAPI
+open IntersectionObserverAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver)
+*/
+@new
+external make: (
+  ~callback: intersectionObserverCallback,
+  ~options: intersectionObserverInit=?,
+) => intersectionObserver = "IntersectionObserver"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/observe)
+*/
+@send
+external observe: (intersectionObserver, element) => unit = "observe"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/unobserve)
+*/
+@send
+external unobserve: (intersectionObserver, element) => unit = "unobserve"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/disconnect)
+*/
+@send
+external disconnect: intersectionObserver => unit = "disconnect"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/takeRecords)
+*/
+@send
+external takeRecords: intersectionObserver => array<intersectionObserverEntry> = "takeRecords"

src/IntersectionObserverAPI.js

@@ -0,0 +1,22 @@
+open DOMAPI
+open IntersectionObserverAPI
+
+external fromDocument: document => root = "%identity"
+external fromElement: element => root = "%identity"
+external fromNull: root = "null"
+
+type decoded =
+  | Element(element)
+  | Document(document)
+  | Null
+
+let decode = (t: root): decoded => {
+  open Prelude
+  if Element.isInstanceOf(t) {
+    Element(t->unsafeConversation)
+  } else if Document.isInstanceOf(t) {
+    Document(t->unsafeConversation)
+  } else {
+    Null
+  }
+}