@rescript/webapi 0.1.0-experimental-29b94b3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (281) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +14 -0
  3. package/package.json +38 -0
  4. package/rescript.json +19 -0
  5. package/src/CSSFontLoadingAPI/FontFace.res +34 -0
  6. package/src/CSSFontLoadingAPI/FontFaceSet.res +112 -0
  7. package/src/CSSFontLoadingAPI.res +101 -0
  8. package/src/CanvasAPI/ImageBitmap.res +8 -0
  9. package/src/CanvasAPI/OffscreenCanvas.res +123 -0
  10. package/src/CanvasAPI.res +55 -0
  11. package/src/ChannelMessagingAPI/MessagePort.res +120 -0
  12. package/src/ChannelMessagingAPI.res +13 -0
  13. package/src/ClipboardAPI/Clipboard.res +106 -0
  14. package/src/ClipboardAPI/ClipboardItem.res +21 -0
  15. package/src/ClipboardAPI.res +31 -0
  16. package/src/CredentialManagementAPI/CredentialsContainer.res +31 -0
  17. package/src/CredentialManagementAPI.res +140 -0
  18. package/src/DOMAPI/Animation.res +137 -0
  19. package/src/DOMAPI/AnimationEffect.res +19 -0
  20. package/src/DOMAPI/CSSRuleList.res +7 -0
  21. package/src/DOMAPI/CSSStyleDeclaration.res +36 -0
  22. package/src/DOMAPI/CSSStyleSheet.res +32 -0
  23. package/src/DOMAPI/CSSStyleValue.res +13 -0
  24. package/src/DOMAPI/CaretPosition.res +4 -0
  25. package/src/DOMAPI/CharacterData.res +272 -0
  26. package/src/DOMAPI/Comment.res +278 -0
  27. package/src/DOMAPI/CustomElementRegistry.res +31 -0
  28. package/src/DOMAPI/DOMImplementation.res +30 -0
  29. package/src/DOMAPI/DOMMatrix.res +169 -0
  30. package/src/DOMAPI/DOMMatrixReadOnly.res +103 -0
  31. package/src/DOMAPI/DOMPoint.res +29 -0
  32. package/src/DOMAPI/DOMPointReadOnly.res +24 -0
  33. package/src/DOMAPI/DOMRect.res +23 -0
  34. package/src/DOMAPI/DOMRectList.res +4 -0
  35. package/src/DOMAPI/DOMRectReadOnly.res +17 -0
  36. package/src/DOMAPI/DOMTokenList.res +72 -0
  37. package/src/DOMAPI/Document.res +634 -0
  38. package/src/DOMAPI/DocumentFragment.res +261 -0
  39. package/src/DOMAPI/DocumentTimeline.res +9 -0
  40. package/src/DOMAPI/Element.res +634 -0
  41. package/src/DOMAPI/ElementInternals.res +39 -0
  42. package/src/DOMAPI/FileList.res +8 -0
  43. package/src/DOMAPI/HTMLAnchorElement.res +693 -0
  44. package/src/DOMAPI/HTMLAreaElement.res +687 -0
  45. package/src/DOMAPI/HTMLAudioElement.res +750 -0
  46. package/src/DOMAPI/HTMLBRElement.res +686 -0
  47. package/src/DOMAPI/HTMLBaseElement.res +687 -0
  48. package/src/DOMAPI/HTMLBodyElement.res +687 -0
  49. package/src/DOMAPI/HTMLButtonElement.res +714 -0
  50. package/src/DOMAPI/HTMLCanvasElement.res +741 -0
  51. package/src/DOMAPI/HTMLCollection.res +15 -0
  52. package/src/DOMAPI/HTMLCollectionOf.res +16 -0
  53. package/src/DOMAPI/HTMLDListElement.res +690 -0
  54. package/src/DOMAPI/HTMLDataElement.res +687 -0
  55. package/src/DOMAPI/HTMLDataListElement.res +697 -0
  56. package/src/DOMAPI/HTMLDialogElement.res +715 -0
  57. package/src/DOMAPI/HTMLDivElement.res +686 -0
  58. package/src/DOMAPI/HTMLElement.res +685 -0
  59. package/src/DOMAPI/HTMLEmbedElement.res +693 -0
  60. package/src/DOMAPI/HTMLFieldSetElement.res +718 -0
  61. package/src/DOMAPI/HTMLFormControlsCollection.res +16 -0
  62. package/src/DOMAPI/HTMLFormElement.res +720 -0
  63. package/src/DOMAPI/HTMLFrameSetElement.res +697 -0
  64. package/src/DOMAPI/HTMLHRElement.res +686 -0
  65. package/src/DOMAPI/HTMLHeadElement.res +687 -0
  66. package/src/DOMAPI/HTMLHeadingElement.res +693 -0
  67. package/src/DOMAPI/HTMLHtmlElement.res +687 -0
  68. package/src/DOMAPI/HTMLIFrameElement.res +696 -0
  69. package/src/DOMAPI/HTMLImageElement.res +696 -0
  70. package/src/DOMAPI/HTMLInputElement.res +773 -0
  71. package/src/DOMAPI/HTMLLIElement.res +686 -0
  72. package/src/DOMAPI/HTMLLabelElement.res +690 -0
  73. package/src/DOMAPI/HTMLLegendElement.res +693 -0
  74. package/src/DOMAPI/HTMLLinkElement.res +687 -0
  75. package/src/DOMAPI/HTMLMapElement.res +686 -0
  76. package/src/DOMAPI/HTMLMediaElement.res +749 -0
  77. package/src/DOMAPI/HTMLMenuElement.res +687 -0
  78. package/src/DOMAPI/HTMLMetaElement.res +687 -0
  79. package/src/DOMAPI/HTMLMeterElement.res +690 -0
  80. package/src/DOMAPI/HTMLModElement.res +686 -0
  81. package/src/DOMAPI/HTMLOListElement.res +690 -0
  82. package/src/DOMAPI/HTMLObjectElement.res +717 -0
  83. package/src/DOMAPI/HTMLOptGroupElement.res +697 -0
  84. package/src/DOMAPI/HTMLOptionElement.res +693 -0
  85. package/src/DOMAPI/HTMLOptionsCollection.res +21 -0
  86. package/src/DOMAPI/HTMLOutputElement.res +711 -0
  87. package/src/DOMAPI/HTMLParagraphElement.res +701 -0
  88. package/src/DOMAPI/HTMLPictureElement.res +693 -0
  89. package/src/DOMAPI/HTMLPreElement.res +686 -0
  90. package/src/DOMAPI/HTMLProgressElement.res +697 -0
  91. package/src/DOMAPI/HTMLQuoteElement.res +690 -0
  92. package/src/DOMAPI/HTMLScriptElement.res +699 -0
  93. package/src/DOMAPI/HTMLSelectElement.res +762 -0
  94. package/src/DOMAPI/HTMLSlotElement.res +713 -0
  95. package/src/DOMAPI/HTMLSourceElement.res +693 -0
  96. package/src/DOMAPI/HTMLSpanElement.res +687 -0
  97. package/src/DOMAPI/HTMLStyleElement.res +690 -0
  98. package/src/DOMAPI/HTMLTableCaptionElement.res +714 -0
  99. package/src/DOMAPI/HTMLTableCellElement.res +701 -0
  100. package/src/DOMAPI/HTMLTableElement.res +755 -0
  101. package/src/DOMAPI/HTMLTableRowElement.res +713 -0
  102. package/src/DOMAPI/HTMLTableSectionElement.res +730 -0
  103. package/src/DOMAPI/HTMLTemplateElement.res +697 -0
  104. package/src/DOMAPI/HTMLTextAreaElement.res +758 -0
  105. package/src/DOMAPI/HTMLTimeElement.res +687 -0
  106. package/src/DOMAPI/HTMLTitleElement.res +690 -0
  107. package/src/DOMAPI/HTMLTrackElement.res +690 -0
  108. package/src/DOMAPI/HTMLUListElement.res +690 -0
  109. package/src/DOMAPI/HTMLVideoElement.res +778 -0
  110. package/src/DOMAPI/IdleDeadline.res +7 -0
  111. package/src/DOMAPI/ImageData.res +18 -0
  112. package/src/DOMAPI/Location.res +22 -0
  113. package/src/DOMAPI/MediaList.res +19 -0
  114. package/src/DOMAPI/MediaQueryList.res +82 -0
  115. package/src/DOMAPI/NamedNodeMap.res +45 -0
  116. package/src/DOMAPI/Navigator.res +114 -0
  117. package/src/DOMAPI/Node.res +179 -0
  118. package/src/DOMAPI/NodeFilter.res +4 -0
  119. package/src/DOMAPI/NodeIterator.res +13 -0
  120. package/src/DOMAPI/NodeList.res +8 -0
  121. package/src/DOMAPI/NodeListOf.res +9 -0
  122. package/src/DOMAPI/Range.res +149 -0
  123. package/src/DOMAPI/SVGGraphicsElement.res +675 -0
  124. package/src/DOMAPI/SVGLength.res +11 -0
  125. package/src/DOMAPI/ScreenOrientation.res +88 -0
  126. package/src/DOMAPI/Selection.res +103 -0
  127. package/src/DOMAPI/ShadowRoot.res +274 -0
  128. package/src/DOMAPI/StylePropertyMap.res +50 -0
  129. package/src/DOMAPI/StylePropertyMapReadOnly.res +13 -0
  130. package/src/DOMAPI/StyleSheetList.res +7 -0
  131. package/src/DOMAPI/Text.res +285 -0
  132. package/src/DOMAPI/TextTrackList.res +89 -0
  133. package/src/DOMAPI/TimeRanges.res +19 -0
  134. package/src/DOMAPI/TreeWalker.res +43 -0
  135. package/src/DOMAPI/VideoColorSpace.res +13 -0
  136. package/src/DOMAPI/VideoFrame.res +111 -0
  137. package/src/DOMAPI/Window.res +582 -0
  138. package/src/DOMAPI/XPathExpression.res +12 -0
  139. package/src/DOMAPI/XPathResult.res +13 -0
  140. package/src/DOMAPI.res +9668 -0
  141. package/src/EncryptedMediaExtensionsAPI/MediaKeySession.res +132 -0
  142. package/src/EncryptedMediaExtensionsAPI/MediaKeyStatusMap.res +13 -0
  143. package/src/EncryptedMediaExtensionsAPI/MediaKeySystemAccess.res +13 -0
  144. package/src/EncryptedMediaExtensionsAPI/MediaKeys.res +28 -0
  145. package/src/EncryptedMediaExtensionsAPI.res +100 -0
  146. package/src/EventAPI/AbortController.res +15 -0
  147. package/src/EventAPI/AbortSignal.res +106 -0
  148. package/src/EventAPI/Event.res +35 -0
  149. package/src/EventAPI/EventTarget.res +86 -0
  150. package/src/EventAPI.res +215 -0
  151. package/src/FetchAPI/FormData.res +58 -0
  152. package/src/FetchAPI/Headers.res +50 -0
  153. package/src/FetchAPI/Request.res +57 -0
  154. package/src/FetchAPI/Response.res +105 -0
  155. package/src/FetchAPI/URLSearchParams.res +68 -0
  156. package/src/FetchAPI.res +287 -0
  157. package/src/FileAPI/Blob.res +37 -0
  158. package/src/FileAPI/File.res +42 -0
  159. package/src/FileAPI/FileSystemDirectoryHandle.res +46 -0
  160. package/src/FileAPI/FileSystemFileHandle.res +23 -0
  161. package/src/FileAPI/FileSystemHandle.res +7 -0
  162. package/src/FileAPI/FileSystemWritableFileStream.res +63 -0
  163. package/src/FileAPI/ReadableStream.res +61 -0
  164. package/src/FileAPI/WritableStream.res +29 -0
  165. package/src/FileAPI/WritableStreamDefaultController.res +8 -0
  166. package/src/FileAPI.res +218 -0
  167. package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryEntry.res +42 -0
  168. package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryReader.res +12 -0
  169. package/src/FileAndDirectoryEntriesAPI/FileSystemEntry.res +11 -0
  170. package/src/FileAndDirectoryEntriesAPI.res +87 -0
  171. package/src/GamepadAPI/GamepadHapticActuator.res +17 -0
  172. package/src/GamepadAPI.res +85 -0
  173. package/src/GeolocationAPI/Geolocation.res +29 -0
  174. package/src/GeolocationAPI/GeolocationCoordinates.res +7 -0
  175. package/src/GeolocationAPI/GeolocationPosition.res +7 -0
  176. package/src/GeolocationAPI.res +78 -0
  177. package/src/Global.res +302 -0
  178. package/src/HistoryAPI/History.res +33 -0
  179. package/src/HistoryAPI.res +26 -0
  180. package/src/IndexedDBAPI/IDBDatabase.res +135 -0
  181. package/src/IndexedDBAPI/IDBFactory.res +31 -0
  182. package/src/IndexedDBAPI/IDBIndex.res +74 -0
  183. package/src/IndexedDBAPI/IDBObjectStore.res +167 -0
  184. package/src/IndexedDBAPI/IDBTransaction.res +102 -0
  185. package/src/IndexedDBAPI.res +205 -0
  186. package/src/MediaCapabilitiesAPI/MediaCapabilities.res +19 -0
  187. package/src/MediaCapabilitiesAPI.res +81 -0
  188. package/src/MediaCaptureAndStreamsAPI/MediaDeviceInfo.res +7 -0
  189. package/src/MediaCaptureAndStreamsAPI/MediaDevices.res +113 -0
  190. package/src/MediaCaptureAndStreamsAPI/MediaStream.res +142 -0
  191. package/src/MediaCaptureAndStreamsAPI/MediaStreamTrack.res +122 -0
  192. package/src/MediaCaptureAndStreamsAPI.res +194 -0
  193. package/src/MediaSessionAPI/MediaMetadata.res +7 -0
  194. package/src/MediaSessionAPI/MediaSession.res +17 -0
  195. package/src/MediaSessionAPI.res +83 -0
  196. package/src/NotificationAPI/Notification.res +102 -0
  197. package/src/NotificationAPI.res +82 -0
  198. package/src/PerformanceAPI/Performance.res +169 -0
  199. package/src/PerformanceAPI/PerformanceEntry.res +7 -0
  200. package/src/PerformanceAPI/PerformanceMark.res +15 -0
  201. package/src/PerformanceAPI.res +86 -0
  202. package/src/PermissionsAPI/Permissions.res +7 -0
  203. package/src/PermissionsAPI.res +39 -0
  204. package/src/PictureInPicture.res +18 -0
  205. package/src/PictureInPictureAPI.res +18 -0
  206. package/src/Prelude/DOMException.res +7 -0
  207. package/src/Prelude/DOMStringList.res +15 -0
  208. package/src/Prelude.res +39 -0
  209. package/src/PushManagerAPI/PushManager.res +25 -0
  210. package/src/PushManagerAPI/PushSubscription.res +19 -0
  211. package/src/PushManagerAPI.res +67 -0
  212. package/src/RemotePlaybackAPI/RemotePlayback.res +102 -0
  213. package/src/RemotePlaybackAPI.res +21 -0
  214. package/src/ResizeObserverAPI/ResizeObserver.res +27 -0
  215. package/src/ResizeObserverAPI.res +58 -0
  216. package/src/ScreenWakeLockAPI/WakeLock.res +7 -0
  217. package/src/ScreenWakeLockAPI/WakeLockSentinel.res +88 -0
  218. package/src/ScreenWakeLockAPI.res +26 -0
  219. package/src/ServiceWorkerAPI/Cache.res +100 -0
  220. package/src/ServiceWorkerAPI/CacheStorage.res +46 -0
  221. package/src/ServiceWorkerAPI/NavigationPreloadManager.res +25 -0
  222. package/src/ServiceWorkerAPI/ServiceWorker.res +101 -0
  223. package/src/ServiceWorkerAPI/ServiceWorkerContainer.res +114 -0
  224. package/src/ServiceWorkerAPI/ServiceWorkerRegistration.res +114 -0
  225. package/src/ServiceWorkerAPI.res +134 -0
  226. package/src/StorageAPI/StorageManager.res +26 -0
  227. package/src/StorageAPI.res +10 -0
  228. package/src/ViewTransitionsAPI/ViewTransition.res +7 -0
  229. package/src/ViewTransitionsAPI.res +23 -0
  230. package/src/VisualViewportAPI.res +38 -0
  231. package/src/WebAudioAPI/AnalyserNode.res +180 -0
  232. package/src/WebAudioAPI/AudioBuffer.res +35 -0
  233. package/src/WebAudioAPI/AudioBufferSourceNode.res +183 -0
  234. package/src/WebAudioAPI/AudioContext.res +266 -0
  235. package/src/WebAudioAPI/AudioListener.res +1 -0
  236. package/src/WebAudioAPI/AudioNode.res +143 -0
  237. package/src/WebAudioAPI/AudioParam.res +56 -0
  238. package/src/WebAudioAPI/AudioProcessingEvent.res +38 -0
  239. package/src/WebAudioAPI/AudioScheduledSourceNode.res +171 -0
  240. package/src/WebAudioAPI/AudioWorkletNode.res +160 -0
  241. package/src/WebAudioAPI/BaseAudioContext.res +212 -0
  242. package/src/WebAudioAPI/BiquadFilterNode.res +168 -0
  243. package/src/WebAudioAPI/ChannelMergerNode.res +157 -0
  244. package/src/WebAudioAPI/ChannelSplitterNode.res +159 -0
  245. package/src/WebAudioAPI/ConstantSourceNode.res +172 -0
  246. package/src/WebAudioAPI/ConvolverNode.res +157 -0
  247. package/src/WebAudioAPI/DelayNode.res +150 -0
  248. package/src/WebAudioAPI/DynamicsCompressorNode.res +162 -0
  249. package/src/WebAudioAPI/GainNode.res +149 -0
  250. package/src/WebAudioAPI/IIRFilterNode.res +168 -0
  251. package/src/WebAudioAPI/MediaElementAudioSourceNode.res +168 -0
  252. package/src/WebAudioAPI/MediaStreamAudioDestinationNode.res +168 -0
  253. package/src/WebAudioAPI/MediaStreamAudioSourceNode.res +168 -0
  254. package/src/WebAudioAPI/OfflineAudioCompletionEvent.res +40 -0
  255. package/src/WebAudioAPI/OfflineAudioContext.res +246 -0
  256. package/src/WebAudioAPI/OscillatorNode.res +176 -0
  257. package/src/WebAudioAPI/PannerNode.res +150 -0
  258. package/src/WebAudioAPI/PeriodicWave.res +8 -0
  259. package/src/WebAudioAPI/StereoPannerNode.res +157 -0
  260. package/src/WebAudioAPI/WaveShaperNode.res +157 -0
  261. package/src/WebAudioAPI/Worklet.res +13 -0
  262. package/src/WebAudioAPI.res +1271 -0
  263. package/src/WebCryptoAPI/Crypto.res +13 -0
  264. package/src/WebCryptoAPI/SubtleCrypto.res +173 -0
  265. package/src/WebCryptoAPI.res +71 -0
  266. package/src/WebLocksAPI/LockManager.res +29 -0
  267. package/src/WebLocksAPI.res +47 -0
  268. package/src/WebMIDIAPI.res +37 -0
  269. package/src/WebSocketsAPI/CloseEvent.res +37 -0
  270. package/src/WebSocketsAPI/MessageEvent.res +38 -0
  271. package/src/WebSocketsAPI/WebSocket.res +130 -0
  272. package/src/WebSocketsAPI.res +125 -0
  273. package/src/WebSpeechAPI/SpeechSynthesis.res +112 -0
  274. package/src/WebSpeechAPI/SpeechSynthesisUtterance.res +88 -0
  275. package/src/WebSpeechAPI.res +82 -0
  276. package/src/WebStorageAPI/Storage.res +44 -0
  277. package/src/WebStorageAPI/StorageEvent.res +37 -0
  278. package/src/WebStorageAPI.res +57 -0
  279. package/src/WebVTTAPI/TextTrack.res +96 -0
  280. package/src/WebVTTAPI/TextTrackCueList.res +10 -0
  281. package/src/WebVTTAPI.res +122 -0
@@ -0,0 +1,215 @@
1
+ @@warning("-30")
2
+
3
+ open Prelude
4
+
5
+ @unboxed
6
+ type eventType =
7
+ | @as("abort") Abort
8
+ | @as("auxclick") Auxclick
9
+ | @as("beforeinput") Beforeinput
10
+ | @as("beforetoggle") Beforetoggle
11
+ | @as("blur") Blur
12
+ | @as("cancel") Cancel
13
+ | @as("canplay") Canplay
14
+ | @as("canplaythrough") Canplaythrough
15
+ | @as("change") Change
16
+ | @as("click") Click
17
+ | @as("close") Close
18
+ | @as("contextlost") Contextlost
19
+ | @as("contextmenu") Contextmenu
20
+ | @as("contextrestored") Contextrestored
21
+ | @as("copy") Copy
22
+ | @as("cuechange") Cuechange
23
+ | @as("cut") Cut
24
+ | @as("dblclick") Dblclick
25
+ | @as("drag") Drag
26
+ | @as("dragend") Dragend
27
+ | @as("dragenter") Dragenter
28
+ | @as("dragleave") Dragleave
29
+ | @as("dragover") Dragover
30
+ | @as("dragstart") Dragstart
31
+ | @as("drop") Drop
32
+ | @as("durationchange") Durationchange
33
+ | @as("emptied") Emptied
34
+ | @as("ended") Ended
35
+ | @as("error") Error
36
+ | @as("focus") Focus
37
+ | @as("formdata") Formdata
38
+ | @as("input") Input
39
+ | @as("invalid") Invalid
40
+ | @as("keydown") Keydown
41
+ | @as("keypress") Keypress
42
+ | @as("keyup") Keyup
43
+ | @as("load") Load
44
+ | @as("loadeddata") Loadeddata
45
+ | @as("loadedmetadata") Loadedmetadata
46
+ | @as("loadstart") Loadstart
47
+ | @as("mousedown") Mousedown
48
+ | @as("mouseenter") Mouseenter
49
+ | @as("mouseleave") Mouseleave
50
+ | @as("mousemove") Mousemove
51
+ | @as("mouseout") Mouseout
52
+ | @as("mouseover") Mouseover
53
+ | @as("mouseup") Mouseup
54
+ | @as("paste") Paste
55
+ | @as("pause") Pause
56
+ | @as("play") Play
57
+ | @as("playing") Playing
58
+ | @as("progress") Progress
59
+ | @as("ratechange") Ratechange
60
+ | @as("reset") Reset
61
+ | @as("resize") Resize
62
+ | @as("scroll") Scroll
63
+ | @as("scrollend") Scrollend
64
+ | @as("securitypolicyviolation") Securitypolicyviolation
65
+ | @as("seeked") Seeked
66
+ | @as("seeking") Seeking
67
+ | @as("select") Select
68
+ | @as("slotchange") Slotchange
69
+ | @as("stalled") Stalled
70
+ | @as("submit") Submit
71
+ | @as("suspend") Suspend
72
+ | @as("timeupdate") Timeupdate
73
+ | @as("toggle") Toggle
74
+ | @as("volumechange") Volumechange
75
+ | @as("waiting") Waiting
76
+ | @as("webkitanimationend") Webkitanimationend
77
+ | @as("webkitanimationiteration") Webkitanimationiteration
78
+ | @as("webkitanimationstart") Webkitanimationstart
79
+ | @as("webkittransitionend") Webkittransitionend
80
+ | @as("wheel") Wheel
81
+ | @as("animationstart") Animationstart
82
+ | @as("animationiteration") Animationiteration
83
+ | @as("animationend") Animationend
84
+ | @as("animationcancel") Animationcancel
85
+ | @as("transitionrun") Transitionrun
86
+ | @as("transitionstart") Transitionstart
87
+ | @as("transitionend") Transitionend
88
+ | @as("transitioncancel") Transitioncancel
89
+ | @as("pointerover") Pointerover
90
+ | @as("pointerenter") Pointerenter
91
+ | @as("pointerdown") Pointerdown
92
+ | @as("pointermove") Pointermove
93
+ | @as("pointerup") Pointerup
94
+ | @as("pointercancel") Pointercancel
95
+ | @as("pointerout") Pointerout
96
+ | @as("pointerleave") Pointerleave
97
+ | @as("gotpointercapture") Gotpointercapture
98
+ | @as("lostpointercapture") Lostpointercapture
99
+ | @as("selectstart") Selectstart
100
+ | @as("selectionchange") Selectionchange
101
+ | @as("touchstart") Touchstart
102
+ | @as("touchend") Touchend
103
+ | @as("touchmove") Touchmove
104
+ | @as("touchcancel") Touchcancel
105
+ | Custom(string)
106
+
107
+ type eventListener<'event> = 'event => unit
108
+
109
+ /**
110
+ EventTarget is a DOM interface implemented by objects that can receive events and may have listeners for them.
111
+ [See EventTarget on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget)
112
+ */
113
+ type eventTarget = {}
114
+
115
+ /**
116
+ An event which takes place in the DOM.
117
+ [See Event on MDN](https://developer.mozilla.org/docs/Web/API/Event)
118
+ */
119
+ type event = {
120
+ /**
121
+ Returns the type of event, e.g. "click", "hashchange", or "submit".
122
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/type)
123
+ */
124
+ @as("type")
125
+ type_: eventType,
126
+ /**
127
+ Returns the object to which event is dispatched (its target).
128
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/target)
129
+ */
130
+ target: Null.t<eventTarget>,
131
+ /**
132
+ Returns the object whose event listener's callback is currently being invoked.
133
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/currentTarget)
134
+ */
135
+ currentTarget: Null.t<eventTarget>,
136
+ /**
137
+ Returns the event's phase, which is one of NONE, CAPTURING_PHASE, AT_TARGET, and BUBBLING_PHASE.
138
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/eventPhase)
139
+ */
140
+ eventPhase: int,
141
+ /**
142
+ Returns true or false depending on how event was initialized. True if event goes through its target's ancestors in reverse tree order, and false otherwise.
143
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/bubbles)
144
+ */
145
+ bubbles: bool,
146
+ /**
147
+ Returns true or false depending on how event was initialized. Its return value does not always carry meaning, but true can indicate that part of the operation during which event was dispatched, can be canceled by invoking the preventDefault() method.
148
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/cancelable)
149
+ */
150
+ cancelable: bool,
151
+ /**
152
+ Returns true if preventDefault() was invoked successfully to indicate cancelation, and false otherwise.
153
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/defaultPrevented)
154
+ */
155
+ defaultPrevented: bool,
156
+ /**
157
+ Returns true or false depending on how event was initialized. True if event invokes listeners past a ShadowRoot node that is the root of its target, and false otherwise.
158
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/composed)
159
+ */
160
+ composed: bool,
161
+ /**
162
+ Returns true if event was dispatched by the user agent, and false otherwise.
163
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/isTrusted)
164
+ */
165
+ isTrusted: bool,
166
+ /**
167
+ Returns the event's timestamp as the number of milliseconds measured relative to the time origin.
168
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/timeStamp)
169
+ */
170
+ timeStamp: float,
171
+ }
172
+
173
+ /**
174
+ A controller object that allows you to abort one or more DOM requests as and when desired.
175
+ [See AbortController on MDN](https://developer.mozilla.org/docs/Web/API/AbortController)
176
+ */
177
+ type rec abortController = {
178
+ /**
179
+ Returns the AbortSignal object associated with this object.
180
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/AbortController/signal)
181
+ */
182
+ signal: abortSignal,
183
+ }
184
+
185
+ /**
186
+ A signal object that allows you to communicate with a DOM request (such as a Fetch) and abort it if required via an AbortController object.
187
+ [See AbortSignal on MDN](https://developer.mozilla.org/docs/Web/API/AbortSignal)
188
+ */
189
+ and abortSignal = {
190
+ ...eventTarget,
191
+ /**
192
+ Returns true if this AbortSignal's AbortController has signaled to abort, and false otherwise.
193
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/AbortSignal/aborted)
194
+ */
195
+ aborted: bool,
196
+ /**
197
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/AbortSignal/reason)
198
+ */
199
+ reason: JSON.t,
200
+ }
201
+
202
+ type eventListenerOptions = {mutable capture?: bool}
203
+
204
+ type addEventListenerOptions = {
205
+ ...eventListenerOptions,
206
+ mutable passive?: bool,
207
+ mutable once?: bool,
208
+ mutable signal?: abortSignal,
209
+ }
210
+
211
+ type eventInit = {
212
+ mutable bubbles?: bool,
213
+ mutable cancelable?: bool,
214
+ mutable composed?: bool,
215
+ }
@@ -0,0 +1,58 @@
1
+ open FetchAPI
2
+ open FileAPI
3
+ open DOMAPI
4
+
5
+ /**
6
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData)
7
+ */
8
+ @new
9
+ external make: (~form: htmlFormElement=?, ~submitter: htmlElement=?) => formData = "FormData"
10
+
11
+ /**
12
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/append)
13
+ */
14
+ @send
15
+ external append: (formData, ~name: string, ~value: string) => unit = "append"
16
+
17
+ /**
18
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/append)
19
+ */
20
+ @send
21
+ external append2: (formData, ~name: string, ~blobValue: blob, ~filename: string=?) => unit =
22
+ "append"
23
+
24
+ /**
25
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/delete)
26
+ */
27
+ @send
28
+ external delete: (formData, string) => unit = "delete"
29
+
30
+ /**
31
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/get)
32
+ */
33
+ @send
34
+ external get: (formData, string) => formDataEntryValue = "get"
35
+
36
+ /**
37
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/getAll)
38
+ */
39
+ @send
40
+ external getAll: (formData, string) => array<formDataEntryValue> = "getAll"
41
+
42
+ /**
43
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/has)
44
+ */
45
+ @send
46
+ external has: (formData, string) => bool = "has"
47
+
48
+ /**
49
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/set)
50
+ */
51
+ @send
52
+ external set: (formData, ~name: string, ~value: string) => unit = "set"
53
+
54
+ /**
55
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FormData/set)
56
+ */
57
+ @send
58
+ external set2: (formData, ~name: string, ~blobValue: blob, ~filename: string=?) => unit = "set"
@@ -0,0 +1,50 @@
1
+ open FetchAPI
2
+ open Prelude
3
+
4
+ /**
5
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers)
6
+ */
7
+ @new
8
+ external make: (~init: array<array<string>>=?) => headers = "Headers"
9
+
10
+ /**
11
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers)
12
+ */
13
+ @new
14
+ external make2: (~init: any=?) => headers = "Headers"
15
+
16
+ /**
17
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/append)
18
+ */
19
+ @send
20
+ external append: (headers, ~name: string, ~value: string) => unit = "append"
21
+
22
+ /**
23
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/delete)
24
+ */
25
+ @send
26
+ external delete: (headers, string) => unit = "delete"
27
+
28
+ /**
29
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/get)
30
+ */
31
+ @send
32
+ external get: (headers, string) => string = "get"
33
+
34
+ /**
35
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/getSetCookie)
36
+ */
37
+ @send
38
+ external getSetCookie: headers => array<string> = "getSetCookie"
39
+
40
+ /**
41
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/has)
42
+ */
43
+ @send
44
+ external has: (headers, string) => bool = "has"
45
+
46
+ /**
47
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Headers/set)
48
+ */
49
+ @send
50
+ external set: (headers, ~name: string, ~value: string) => unit = "set"
@@ -0,0 +1,57 @@
1
+ open FetchAPI
2
+ open FileAPI
3
+ open Prelude
4
+
5
+ /**
6
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request)
7
+ */
8
+ @new
9
+ external make: (~input: request, ~init: requestInit=?) => request = "Request"
10
+
11
+ /**
12
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request)
13
+ */
14
+ @new
15
+ external make2: (~input: string, ~init: requestInit=?) => request = "Request"
16
+
17
+ /**
18
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/arrayBuffer)
19
+ */
20
+ @send
21
+ external arrayBuffer: request => Promise.t<ArrayBuffer.t> = "arrayBuffer"
22
+
23
+ /**
24
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/blob)
25
+ */
26
+ @send
27
+ external blob: request => Promise.t<blob> = "blob"
28
+
29
+ /**
30
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/bytes)
31
+ */
32
+ @send
33
+ external bytes: request => Promise.t<array<int>> = "bytes"
34
+
35
+ /**
36
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/formData)
37
+ */
38
+ @send
39
+ external formData: request => Promise.t<formData> = "formData"
40
+
41
+ /**
42
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/json)
43
+ */
44
+ @send
45
+ external json: request => Promise.t<JSON.t> = "json"
46
+
47
+ /**
48
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/text)
49
+ */
50
+ @send
51
+ external text: request => Promise.t<string> = "text"
52
+
53
+ /**
54
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/clone)
55
+ */
56
+ @send
57
+ external clone: request => request = "clone"
@@ -0,0 +1,105 @@
1
+ open FetchAPI
2
+ open FileAPI
3
+ open Prelude
4
+
5
+ /**
6
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
7
+ */
8
+ @new
9
+ external make: (~body: readableStream<unit>=?, ~init: responseInit=?) => response = "Response"
10
+
11
+ /**
12
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
13
+ */
14
+ @new
15
+ external make2: (~body: blob=?, ~init: responseInit=?) => response = "Response"
16
+
17
+ /**
18
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
19
+ */
20
+ @new
21
+ external make3: (~body: DataView.t=?, ~init: responseInit=?) => response = "Response"
22
+
23
+ /**
24
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
25
+ */
26
+ @new
27
+ external make4: (~body: ArrayBuffer.t=?, ~init: responseInit=?) => response = "Response"
28
+
29
+ /**
30
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
31
+ */
32
+ @new
33
+ external make5: (~body: formData=?, ~init: responseInit=?) => response = "Response"
34
+
35
+ /**
36
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
37
+ */
38
+ @new
39
+ external make6: (~body: urlSearchParams=?, ~init: responseInit=?) => response = "Response"
40
+
41
+ /**
42
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response)
43
+ */
44
+ @new
45
+ external make7: (~body: string=?, ~init: responseInit=?) => response = "Response"
46
+
47
+ /**
48
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/arrayBuffer)
49
+ */
50
+ @send
51
+ external arrayBuffer: response => Promise.t<ArrayBuffer.t> = "arrayBuffer"
52
+
53
+ /**
54
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/blob)
55
+ */
56
+ @send
57
+ external blob: response => Promise.t<blob> = "blob"
58
+
59
+ /**
60
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/bytes)
61
+ */
62
+ @send
63
+ external bytes: response => Promise.t<array<int>> = "bytes"
64
+
65
+ /**
66
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/formData)
67
+ */
68
+ @send
69
+ external formData: response => Promise.t<formData> = "formData"
70
+
71
+ /**
72
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/json)
73
+ */
74
+ @send
75
+ external json: response => Promise.t<JSON.t> = "json"
76
+
77
+ /**
78
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Request/text)
79
+ */
80
+ @send
81
+ external text: response => Promise.t<string> = "text"
82
+
83
+ /**
84
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response/error_static)
85
+ */
86
+ @scope("Response")
87
+ external error: unit => response = "error"
88
+
89
+ /**
90
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response/redirect_static)
91
+ */
92
+ @scope("Response")
93
+ external redirect: (~url: string, ~status: int=?) => response = "redirect"
94
+
95
+ /**
96
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response/json_static)
97
+ */
98
+ @scope("Response")
99
+ external jsonR: (~data: JSON.t, ~init: responseInit=?) => response = "json"
100
+
101
+ /**
102
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response/clone)
103
+ */
104
+ @send
105
+ external clone: response => response = "clone"
@@ -0,0 +1,68 @@
1
+ open FetchAPI
2
+ open Prelude
3
+
4
+ /**
5
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams)
6
+ */
7
+ @new
8
+ external make: (~init: array<array<string>>=?) => urlSearchParams = "URLSearchParams"
9
+
10
+ /**
11
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams)
12
+ */
13
+ @new
14
+ external make2: (~init: any=?) => urlSearchParams = "URLSearchParams"
15
+
16
+ /**
17
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams)
18
+ */
19
+ @new
20
+ external make3: (~init: string=?) => urlSearchParams = "URLSearchParams"
21
+
22
+ /**
23
+ Appends a specified key/value pair as a new search parameter.
24
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/append)
25
+ */
26
+ @send
27
+ external append: (urlSearchParams, ~name: string, ~value: string) => unit = "append"
28
+
29
+ /**
30
+ Deletes the given search parameter, and its associated value, from the list of all search parameters.
31
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/delete)
32
+ */
33
+ @send
34
+ external delete: (urlSearchParams, ~name: string, ~value: string=?) => unit = "delete"
35
+
36
+ /**
37
+ Returns the first value associated to the given search parameter.
38
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/get)
39
+ */
40
+ @send
41
+ external get: (urlSearchParams, string) => string = "get"
42
+
43
+ /**
44
+ Returns all the values association with a given search parameter.
45
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/getAll)
46
+ */
47
+ @send
48
+ external getAll: (urlSearchParams, string) => array<string> = "getAll"
49
+
50
+ /**
51
+ Returns a Boolean indicating if such a search parameter exists.
52
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/has)
53
+ */
54
+ @send
55
+ external has: (urlSearchParams, ~name: string, ~value: string=?) => bool = "has"
56
+
57
+ /**
58
+ Sets the value associated to a given search parameter to the given value. If there were several values, delete the others.
59
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/set)
60
+ */
61
+ @send
62
+ external set: (urlSearchParams, ~name: string, ~value: string) => unit = "set"
63
+
64
+ /**
65
+ [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/sort)
66
+ */
67
+ @send
68
+ external sort: urlSearchParams => unit = "sort"