@rescript/webapi 0.1.0-experimental-29b94b3

package/src/FileAPI.res

@@ -0,0 +1,218 @@
+@@warning("-30")
+
+open Prelude
+open EventAPI
+
+type endingType =
+  | @as("native") Native
+  | @as("transparent") Transparent
+
+type readableStreamReaderMode = | @as("byob") Byob
+
+type fileSystemHandleKind =
+  | @as("directory") Directory
+  | @as("file") File
+
+type writeCommandType =
+  | @as("seek") Seek
+  | @as("truncate") Truncate
+  | @as("write") Write
+
+/**
+A file-like object of immutable, raw data. Blobs represent data that isn't necessarily in a JavaScript-native format. The File interface is based on Blob, inheriting blob functionality and expanding it to support files on the user's system.
+[See Blob on MDN](https://developer.mozilla.org/docs/Web/API/Blob)
+*/
+type blob = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Blob/size)
+    */
+  size: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Blob/type)
+    */
+  @as("type")
+  type_: string,
+}
+
+/**
+This Streams API interface represents a readable stream of byte data. The Fetch API offers a concrete instance of a ReadableStream through the body property of a Response object.
+[See ReadableStream on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
+*/
+type readableStream<'r> = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/locked)
+    */
+  locked: bool,
+}
+
+/**
+This Streams API interface provides a standard abstraction for writing streaming data to a destination, known as a sink. This object comes with built-in backpressure and queuing.
+[See WritableStream on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream)
+*/
+type writableStream<'w> = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/locked)
+    */
+  locked: bool,
+}
+
+/**
+This Streams API interface represents a controller allowing control of a WritableStream's state. When constructing a WritableStream, the underlying sink is given a corresponding WritableStreamDefaultController instance to manipulate.
+[See WritableStreamDefaultController on MDN](https://developer.mozilla.org/docs/Web/API/WritableStreamDefaultController)
+*/
+type writableStreamDefaultController = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStreamDefaultController/signal)
+    */
+  signal: abortSignal,
+}
+
+/**
+Provides information about files and allows JavaScript in a web page to access their content.
+[See File on MDN](https://developer.mozilla.org/docs/Web/API/File)
+*/
+type file = {
+  ...blob,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/lastModified)
+    */
+  lastModified: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/webkitRelativePath)
+    */
+  webkitRelativePath: string,
+}
+
+/**
+[See FileSystemHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemHandle)
+*/
+type fileSystemHandle = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemHandle/kind)
+    */
+  kind: fileSystemHandleKind,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemHandle/name)
+    */
+  name: string,
+}
+
+/**
+[See FileSystemDirectoryHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryHandle)
+*/
+type fileSystemDirectoryHandle = {
+  ...fileSystemHandle,
+}
+
+/**
+[See FileSystemFileHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemFileHandle)
+*/
+type fileSystemFileHandle = {
+  ...fileSystemHandle,
+}
+
+/**
+[See FileSystemWritableFileStream on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream)
+*/
+type fileSystemWritableFileStream = {
+  ...writableStream<any>,
+}
+
+@unboxed
+type blobPart =
+  | String(string)
+  | Blob(blob)
+// | ArrayBuffer(ArrayBuffer.t)
+// | TypedArray(TypedArray.t<int>)
+
+type queuingStrategy<'t> = any
+
+type underlyingSink<'t> = any
+
+type readableStreamReader<'t> = any
+
+type writableStreamDefaultWriter<'t> = any
+
+type fileSystemWriteChunkType = any
+
+type underlyingSourceCancelCallback = JSON.t => Promise.t<unit>
+
+type blobPropertyBag = {
+  @as("type") mutable type_?: string,
+  mutable endings?: endingType,
+}
+
+type underlyingByteSource = {
+  @as("type") mutable type_: unknown,
+  mutable autoAllocateChunkSize?: int,
+  mutable start?: unknown,
+  mutable pull?: unknown,
+  mutable cancel?: underlyingSourceCancelCallback,
+}
+
+type readableStreamGetReaderOptions = {
+  /**
+    Creates a ReadableStreamBYOBReader and locks the stream to the new reader.
+
+This call behaves the same way as the no-argument variant, except that it only works on readable byte streams, i.e. streams which were constructed specifically with the ability to handle "bring your own buffer" reading. The returned BYOB reader provides the ability to directly read individual chunks from the stream via its read() method, into developer-supplied buffers, allowing more precise control over allocation.
+    */
+  mutable mode?: readableStreamReaderMode,
+}
+
+type readableWritablePair<'r, 'w> = {
+  mutable readable: readableStream<'r>,
+  /**
+    Provides a convenient, chainable way of piping this readable stream through a transform stream (or any other { writable, readable } pair). It simply pipes the stream into the writable side of the supplied pair, and returns the readable side for further use.
+
+Piping a stream will lock it for the duration of the pipe, preventing any other consumer from acquiring a reader.
+    */
+  mutable writable: writableStream<'w>,
+}
+
+type streamPipeOptions = {
+  /**
+    Pipes this readable stream to a given writable stream destination. The way in which the piping process behaves under various error conditions can be customized with a number of passed options. It returns a promise that fulfills when the piping process completes successfully, or rejects if any errors were encountered.
+
+Piping a stream will lock it for the duration of the pipe, preventing any other consumer from acquiring a reader.
+
+Errors and closures of the source and destination streams propagate as follows:
+
+An error in this source readable stream will abort destination, unless preventAbort is truthy. The returned promise will be rejected with the source's error, or with any error that occurs during aborting the destination.
+
+An error in destination will cancel this source readable stream, unless preventCancel is truthy. The returned promise will be rejected with the destination's error, or with any error that occurs during canceling the source.
+
+When this source readable stream closes, destination will be closed, unless preventClose is truthy. The returned promise will be fulfilled once this process completes, unless an error is encountered while closing the destination, in which case it will be rejected with that error.
+
+If destination starts out closed or closing, this source readable stream will be canceled, unless preventCancel is true. The returned promise will be rejected with an error indicating piping to a closed stream failed, or with any error that occurs during canceling the source.
+
+The signal option can be set to an AbortSignal to allow aborting an ongoing pipe operation via the corresponding AbortController. In this case, this source readable stream will be canceled, and destination aborted, unless the respective options preventCancel or preventAbort are set.
+    */
+  mutable preventClose?: bool,
+  mutable preventAbort?: bool,
+  mutable preventCancel?: bool,
+  mutable signal?: abortSignal,
+}
+
+type filePropertyBag = {
+  ...blobPropertyBag,
+  mutable lastModified?: int,
+}
+
+type fileSystemGetFileOptions = {mutable create?: bool}
+
+type fileSystemGetDirectoryOptions = {mutable create?: bool}
+
+type fileSystemRemoveOptions = {mutable recursive?: bool}
+
+type fileSystemCreateWritableOptions = {mutable keepExistingData?: bool}
+
+type writeParams = {
+  @as("type") mutable type_: writeCommandType,
+  mutable size?: Null.t<int>,
+  mutable position?: Null.t<int>,
+  mutable data?: Null.t<unknown>,
+}

package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryEntry.res

@@ -0,0 +1,42 @@
+open FileAndDirectoryEntriesAPI
+
+external asFileSystemEntry: fileSystemDirectoryEntry => fileSystemEntry = "%identity"
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
+*/
+@send
+external getParent: (
+  fileSystemDirectoryEntry,
+  ~successCallback: fileSystemEntryCallback=?,
+  ~errorCallback: errorCallback=?,
+) => unit = "getParent"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/createReader)
+*/
+@send
+external createReader: fileSystemDirectoryEntry => fileSystemDirectoryReader = "createReader"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/getFile)
+*/
+@send
+external getFile: (
+  fileSystemDirectoryEntry,
+  ~path: string=?,
+  ~options: fileSystemFlags=?,
+  ~successCallback: fileSystemEntryCallback=?,
+  ~errorCallback: errorCallback=?,
+) => unit = "getFile"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/getDirectory)
+*/
+@send
+external getDirectory: (
+  fileSystemDirectoryEntry,
+  ~path: string=?,
+  ~options: fileSystemFlags=?,
+  ~successCallback: fileSystemEntryCallback=?,
+  ~errorCallback: errorCallback=?,
+) => unit = "getDirectory"

package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryReader.res

@@ -0,0 +1,12 @@
+open DOMAPI
+open FileAndDirectoryEntriesAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader/readEntries)
+*/
+@send
+external readEntries: (
+  fileSystemDirectoryReader,
+  ~successCallback: fileSystemEntriesCallback,
+  ~errorCallback: errorCallback=?,
+) => unit = "readEntries"

package/src/FileAndDirectoryEntriesAPI/FileSystemEntry.res

@@ -0,0 +1,11 @@
+open FileAndDirectoryEntriesAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
+*/
+@send
+external getParent: (
+  fileSystemEntry,
+  ~successCallback: fileSystemEntryCallback=?,
+  ~errorCallback: errorCallback=?,
+) => unit = "getParent"

package/src/FileAndDirectoryEntriesAPI.res

@@ -0,0 +1,87 @@
+@@warning("-30")
+
+open Prelude
+
+/**
+[See FileSystemEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry)
+*/
+type rec fileSystemEntry = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isFile)
+    */
+  isFile: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isDirectory)
+    */
+  isDirectory: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/fullPath)
+    */
+  fullPath: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/filesystem)
+    */
+  filesystem: fileSystem,
+}
+
+/**
+[See FileSystemDirectoryEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry)
+*/
+and fileSystemDirectoryEntry = {
+  // Base properties from FileSystemEntry
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isFile)
+    */
+  isFile: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isDirectory)
+    */
+  isDirectory: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/fullPath)
+    */
+  fullPath: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/filesystem)
+    */
+  filesystem: fileSystem,
+  // End base properties from FileSystemEntry
+}
+
+/**
+[See FileSystem on MDN](https://developer.mozilla.org/docs/Web/API/FileSystem)
+*/
+and fileSystem = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystem/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystem/root)
+    */
+  root: fileSystemDirectoryEntry,
+}
+
+/**
+[See FileSystemDirectoryReader on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader)
+*/
+type fileSystemDirectoryReader = {}
+
+type fileSystemFlags = {
+  mutable create?: bool,
+  mutable exclusive?: bool,
+}
+
+type fileSystemEntryCallback = fileSystemEntry => unit
+
+type errorCallback = domException => unit
+
+type fileSystemEntriesCallback = array<fileSystemEntry> => unit

package/src/GamepadAPI/GamepadHapticActuator.res

@@ -0,0 +1,17 @@
+open GamepadAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/playEffect)
+*/
+@send
+external playEffect: (
+  gamepadHapticActuator,
+  ~type_: gamepadHapticEffectType,
+  ~params: gamepadEffectParameters=?,
+) => Promise.t<gamepadHapticsResult> = "playEffect"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/reset)
+*/
+@send
+external reset: gamepadHapticActuator => Promise.t<gamepadHapticsResult> = "reset"

package/src/GamepadAPI.res

@@ -0,0 +1,85 @@
+@@warning("-30")
+type gamepadMappingType =
+  | @as("standard") Standard
+  | @as("xr-standard") XrStandard
+
+type gamepadHapticEffectType =
+  | @as("dual-rumble") DualRumble
+  | @as("trigger-rumble") TriggerRumble
+
+type gamepadHapticsResult =
+  | @as("complete") Complete
+  | @as("preempted") Preempted
+
+/**
+An individual button of a gamepad or other controller, allowing access to the current state of different types of buttons available on the control device.
+[See GamepadButton on MDN](https://developer.mozilla.org/docs/Web/API/GamepadButton)
+*/
+type gamepadButton = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadButton/pressed)
+    */
+  pressed: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadButton/touched)
+    */
+  touched: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadButton/value)
+    */
+  value: float,
+}
+
+/**
+This Gamepad API interface represents hardware in the controller designed to provide haptic feedback to the user (if available), most commonly vibration hardware.
+[See GamepadHapticActuator on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator)
+*/
+type gamepadHapticActuator = {}
+
+/**
+This Gamepad API interface defines an individual gamepad or other controller, allowing access to information such as button presses, axis positions, and id.
+[See Gamepad on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad)
+*/
+type gamepad = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/id)
+    */
+  id: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/index)
+    */
+  index: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/connected)
+    */
+  connected: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/timestamp)
+    */
+  timestamp: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/mapping)
+    */
+  mapping: gamepadMappingType,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/axes)
+    */
+  axes: array<float>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/buttons)
+    */
+  buttons: array<gamepadButton>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad/vibrationActuator)
+    */
+  vibrationActuator: gamepadHapticActuator,
+}
+
+type gamepadEffectParameters = {
+  mutable duration?: int,
+  mutable startDelay?: int,
+  mutable strongMagnitude?: float,
+  mutable weakMagnitude?: float,
+  mutable leftTrigger?: float,
+  mutable rightTrigger?: float,
+}

package/src/GeolocationAPI/Geolocation.res

@@ -0,0 +1,29 @@
+open GeolocationAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/getCurrentPosition)
+*/
+@send
+external getCurrentPosition: (
+  geolocation,
+  ~successCallback: positionCallback,
+  ~errorCallback: positionErrorCallback=?,
+  ~options: positionOptions=?,
+) => unit = "getCurrentPosition"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/watchPosition)
+*/
+@send
+external watchPosition: (
+  geolocation,
+  ~successCallback: positionCallback,
+  ~errorCallback: positionErrorCallback=?,
+  ~options: positionOptions=?,
+) => int = "watchPosition"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/clearWatch)
+*/
+@send
+external clearWatch: (geolocation, int) => unit = "clearWatch"

package/src/GeolocationAPI/GeolocationCoordinates.res

@@ -0,0 +1,7 @@
+open GeolocationAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/toJSON)
+*/
+@send
+external toJSON: geolocationCoordinates => Dict.t<string> = "toJSON"

package/src/GeolocationAPI/GeolocationPosition.res

@@ -0,0 +1,7 @@
+open GeolocationAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/toJSON)
+*/
+@send
+external toJSON: geolocationPosition => Dict.t<string> = "toJSON"

package/src/GeolocationAPI.res

@@ -0,0 +1,78 @@
+@@warning("-30")
+/**
+An object able to programmatically obtain the position of the device. It gives Web content access to the location of the device. This allows a Web site or app to offer customized results based on the user's location.
+[See Geolocation on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation)
+*/
+type geolocation = {}
+
+/**
+[See GeolocationCoordinates on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates)
+*/
+type geolocationCoordinates = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/accuracy)
+    */
+  accuracy: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/latitude)
+    */
+  latitude: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/longitude)
+    */
+  longitude: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/altitude)
+    */
+  altitude: Null.t<float>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/altitudeAccuracy)
+    */
+  altitudeAccuracy: Null.t<float>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/heading)
+    */
+  heading: Null.t<float>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/speed)
+    */
+  speed: Null.t<float>,
+}
+
+/**
+[See GeolocationPosition on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition)
+*/
+type geolocationPosition = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/coords)
+    */
+  coords: geolocationCoordinates,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/timestamp)
+    */
+  timestamp: int,
+}
+
+/**
+[See GeolocationPositionError on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPositionError)
+*/
+type geolocationPositionError = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPositionError/code)
+    */
+  code: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPositionError/message)
+    */
+  message: string,
+}
+
+type positionOptions = {
+  mutable enableHighAccuracy?: bool,
+  mutable timeout?: int,
+  mutable maximumAge?: int,
+}
+
+type positionCallback = geolocationPosition => unit
+
+type positionErrorCallback = geolocationPositionError => unit