Add detailsElement and toggleEvent objects.

See:
- https://html.spec.whatwg.org/multipage/interactive-elements.html#the-details-element ;
- https://html.spec.whatwg.org/multipage/indices.html#event-toggle ;
- https://developer.mozilla.org/en-US/docs/Web/HTML/Element/details#attributes ;
- https://developer.mozilla.org/en-US/docs/Web/HTML/Element/details#events .

Author: SylvainBoilard

CHANGES.md

@@ -24,6 +24,7 @@
 * Runtime: allow dynlink of precompiled js with separate compilation (#1676)
 * Runtime: reimplement the runtime of weak and ephemeron (#1707)
 * Lib: Modify Typed_array API for compatibility with WebAssembly
+* Lib: add details element and toggle event (#1728)
 * Toplevel: no longer set globals for toplevel initialization
 
 ## Bug fixes

lib/js_of_ocaml/dom_html.ml

@@ -452,6 +452,14 @@ and clipboardEvent = object
   method clipboardData : dataTransfer t readonly_prop
 end
 
+and toggleEvent = object
+  inherit event
+
+  method newState : js_string t readonly_prop
+
+  method oldState : js_string t readonly_prop
+end
+
 and dataTransfer = object
   method dropEffect : js_string t prop
 
@@ -959,6 +967,8 @@ module Event = struct
 
   let waiting = Dom.Event.make "waiting"
 
+  let toggle = Dom.Event.make "toggle"
+
   let make = Dom.Event.make
 end
 
@@ -1372,6 +1382,16 @@ class type anchorElement = object
   method _type : js_string t prop
 end
 
+class type detailsElement = object ('self)
+  inherit element
+
+  method open_ : bool t prop
+
+  method name : js_string t prop
+
+  method ontoggle : ('self t, toggleEvent t) event_listener prop
+end
+
 class type imageElement = object ('self)
   inherit element
 
@@ -2736,6 +2756,8 @@ module CoerceTo = struct
 
   let del e = unsafeCoerce "del" e
 
+  let details e = unsafeCoerce "details" e
+
   let div e = unsafeCoerce "div" e
 
   let dl e = unsafeCoerce "dl" e

lib/js_of_ocaml/dom_html.mli

@@ -458,6 +458,14 @@ and clipboardEvent = object
   method clipboardData : dataTransfer t readonly_prop
 end
 
+and toggleEvent = object
+  inherit event
+
+  method newState : js_string t readonly_prop
+
+  method oldState : js_string t readonly_prop
+end
+
 and dataTransfer = object
   method dropEffect : js_string t prop
 
@@ -1190,6 +1198,16 @@ class type anchorElement = object
   method _type : js_string t prop
 end
 
+class type detailsElement = object ('self)
+  inherit element
+
+  method open_ : bool t prop
+
+  method name : js_string t prop
+
+  method ontoggle : ('self t, toggleEvent t) event_listener prop
+end
+
 class type imageElement = object ('self)
   inherit element
 
@@ -2503,6 +2521,8 @@ module Event : sig
 
   val waiting : mediaEvent t typ
 
+  val toggle : toggleEvent t typ
+
   val make : string -> 'a typ
 end
 
@@ -3048,6 +3068,8 @@ module CoerceTo : sig
 
   val del : #element t -> modElement t opt
 
+  val details : #element t -> detailsElement t opt
+
   val div : #element t -> divElement t opt
 
   val embed : #element t -> embedElement t opt

lib/tyxml/tyxml_cast_sigs.ml

@@ -280,7 +280,7 @@ module type TO = sig
 
   val of_dd : [> Html_types.dd ] elt -> Dom_html.element Js.t
 
-  val of_details : [> Html_types.details ] elt -> Dom_html.element Js.t
+  val of_details : [> Html_types.details ] elt -> Dom_html.detailsElement Js.t
 
   val of_dfn : [> Html_types.dfn ] elt -> Dom_html.element Js.t
 

lib/tyxml/tyxml_cast_sigs.mli

@@ -279,7 +279,7 @@ module type TO = sig
 
   val of_dd : [> Html_types.dd ] elt -> Dom_html.element Js.t
 
-  val of_details : [> Html_types.details ] elt -> Dom_html.element Js.t
+  val of_details : [> Html_types.details ] elt -> Dom_html.detailsElement Js.t
 
   val of_dfn : [> Html_types.dfn ] elt -> Dom_html.element Js.t