@rescript/webapi 0.1.0-alpha-b1d58f9

package/src/cssom/CSSStyleValue.res

@@ -0,0 +1,17 @@
+/**
+[See CSSStyleValue on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleValue)
+*/
+@editor.completeFrom(CSSStyleValue)
+type t = private {}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleValue/parse_static)
+*/
+@throws(JsExn) @scope("CSSStyleValue")
+external parse: (~property: string, ~cssText: string) => t = "parse"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleValue/parseAll_static)
+*/
+@throws(JsExn) @scope("CSSStyleValue")
+external parseAll: (~property: string, ~cssText: string) => array<t> = "parseAll"

package/src/cssom/MediaList.res

@@ -0,0 +1,29 @@
+@editor.completeFrom(MediaList)
+type t = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/mediaText)
+    */
+  mutable mediaText: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/length)
+    */
+  length: int,
+}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/item)
+*/
+@send
+external item: (t, int) => Null.t<string> = "item"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/appendMedium)
+*/
+@send
+external appendMedium: (t, string) => unit = "appendMedium"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/deleteMedium)
+*/
+@throws(JsExn) @send
+external deleteMedium: (t, string) => unit = "deleteMedium"

package/src/cssom/MediaQueryList.res

@@ -0,0 +1,18 @@
+/**
+Stores information on a media query applied to a document, and handles sending notifications to listeners when the media query state change (i.e. when the media query test starts or stops evaluating to true).
+[See MediaQueryList on MDN](https://developer.mozilla.org/docs/Web/API/MediaQueryList)
+*/
+@editor.completeFrom(MediaQueryList)
+type t = private {
+  ...DOM.eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaQueryList/media)
+    */
+  media: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaQueryList/matches)
+    */
+  matches: bool,
+}
+
+include EventTarget.Impl({type t = t})

package/src/cssom/StylePropertyMap.res

@@ -0,0 +1,56 @@
+/**
+[See StylePropertyMap on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap)
+*/
+@editor.completeFrom(StylePropertyMap)
+type t = private {
+  ...StylePropertyMapReadOnly.t,
+}
+
+external asStylePropertyMapReadOnly: t => StylePropertyMapReadOnly.t = "%identity"
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/getAll)
+*/
+@throws(JsExn) @send
+external getAll: (t, string) => array<CSSStyleValue.t> = "getAll"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/has)
+*/
+@throws(JsExn) @send
+external has: (t, string) => bool = "has"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/set)
+*/
+@throws(JsExn) @send
+external set: (t, ~property: string, ~values: CSSStyleValue.t) => unit = "set"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/set)
+*/
+@throws(JsExn) @send
+external set2: (t, ~property: string, ~values: string) => unit = "set"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/append)
+*/
+@throws(JsExn) @send
+external append: (t, ~property: string, ~values: CSSStyleValue.t) => unit = "append"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/append)
+*/
+@throws(JsExn) @send
+external append2: (t, ~property: string, ~values: string) => unit = "append"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/delete)
+*/
+@throws(JsExn) @send
+external delete: (t, string) => unit = "delete"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap/clear)
+*/
+@send
+external clear: t => unit = "clear"

package/src/cssom/StylePropertyMapReadOnly.res

@@ -0,0 +1,22 @@
+/**
+[See StylePropertyMapReadOnly on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly)
+*/
+@editor.completeFrom(StylePropertyMapReadOnly)
+type t = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/size)
+    */
+  size: int,
+}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/getAll)
+*/
+@throws(JsExn) @send
+external getAll: (t, string) => array<CSSStyleValue.t> = "getAll"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/has)
+*/
+@throws(JsExn) @send
+external has: (t, string) => bool = "has"

package/src/cssom/StyleSheet.res

@@ -0,0 +1,152 @@
+@@warning("-30")
+
+/**
+A single style sheet. CSS style sheets will further implement the more specialized CSSStyleSheet interface.
+[See StyleSheet on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet)
+*/
+type rec t = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/type)
+    */
+  @as("type")
+  type_: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/href)
+    */
+  href: Null.t<string>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/ownerNode)
+    */
+  ownerNode: Null.t<unknown>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/parentStyleSheet)
+    */
+  parentStyleSheet: Null.t<cssStyleSheet>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/title)
+    */
+  title: Null.t<string>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/media)
+    */
+  media: MediaList.t,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/disabled)
+    */
+  mutable disabled: bool,
+}
+
+/**
+A single CSS style sheet. It inherits properties and methods from its parent, StyleSheet.
+[See CSSStyleSheet on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+@editor.completeFrom(CSSStyleSheet) and cssStyleSheet = {
+  // Base properties from StyleSheet
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/type)
+    */
+  @as("type")
+  type_: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/href)
+    */
+  href: Null.t<string>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/ownerNode)
+    */
+  ownerNode: Null.t<unknown>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/parentStyleSheet)
+    */
+  parentStyleSheet: Null.t<cssStyleSheet>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/title)
+    */
+  title: Null.t<string>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/media)
+    */
+  media: MediaList.t,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/disabled)
+    */
+  mutable disabled: bool,
+  // End base properties from StyleSheet
+
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/ownerRule)
+    */
+  ownerRule: Null.t<cssRule>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/cssRules)
+    */
+  cssRules: cssRuleList,
+}
+
+/**
+A single CSS rule. There are several types of rules, listed in the Type constants section below.
+[See CSSRule on MDN](https://developer.mozilla.org/docs/Web/API/CSSRule)
+*/
+and cssRule = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRule/cssText)
+    */
+  mutable cssText: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRule/parentRule)
+    */
+  parentRule: Null.t<cssRule>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRule/parentStyleSheet)
+    */
+  parentStyleSheet: Null.t<cssStyleSheet>,
+}
+
+/**
+A CSSRuleList is an (indirect-modify only) array-like object containing an ordered collection of CSSRule objects.
+[See CSSRuleList on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList)
+*/
+@editor.completeFrom(CSSRuleList) and cssRuleList = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList/length)
+    */
+  length: int,
+}
+
+type init = {
+  mutable baseURL?: string,
+  mutable media?: unknown,
+  mutable disabled?: bool,
+}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet)
+*/
+@new
+external make: (~options: init=?) => cssStyleSheet = "CSSStyleSheet"
+
+external asStyleSheet: cssStyleSheet => t = "%identity"
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/insertRule)
+*/
+@throws(JsExn) @send
+external insertRule: (cssStyleSheet, ~rule: string, ~index: int=?) => int = "insertRule"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/deleteRule)
+*/
+@send
+external deleteRule: (cssStyleSheet, int) => unit = "deleteRule"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/replace)
+*/
+@send
+external replace: (cssStyleSheet, string) => promise<cssStyleSheet> = "replace"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet/replaceSync)
+*/
+@throws(JsExn) @send
+external replaceSync: (cssStyleSheet, string) => unit = "replaceSync"

package/src/cssom/StyleSheetList.res

@@ -0,0 +1,17 @@
+/**
+A list of StyleSheet.
+[See StyleSheetList on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheetList)
+*/
+@editor.completeFrom(StyleSheetList)
+type t = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheetList/length)
+    */
+  length: int,
+}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheetList/item)
+*/
+@send
+external item: (t, int) => Null.t<StyleSheet.cssStyleSheet> = "item"

package/src/device/GamepadHapticActuator.res

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

package/src/device/GamepadTypes.res

@@ -0,0 +1,86 @@
+@@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 WebApiGamepad 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)
+*/
+@editor.completeFrom(GamepadHapticActuator)
+type gamepadHapticActuator = private {}
+
+/**
+This WebApiGamepad API interface defines an individual gamepad or other controller, allowing access to information such as button presses, axis positions, and id.
+[See WebApiGamepad 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/device/Geolocation.res

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

package/src/device/GeolocationCoordinates.res

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

package/src/device/GeolocationPosition.res

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

package/src/device/GeolocationTypes.res

@@ -0,0 +1,81 @@
+@@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 WebApiGeolocation on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation)
+*/
+@editor.completeFrom(WebApiGeolocation)
+type geolocation = private {}
+
+/**
+[See GeolocationCoordinates on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates)
+*/
+@editor.completeFrom(GeolocationCoordinates)
+type geolocationCoordinates = private {
+  /**
+    [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)
+*/
+@editor.completeFrom(GeolocationPosition)
+type geolocationPosition = private {
+  /**
+    [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

package/src/device/LockManager.res

@@ -0,0 +1,26 @@
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/LockManager/request)
+*/
+@send
+external request: (
+  WebLocksTypes.lockManager,
+  ~name: string,
+  ~callback: WebLocksTypes.lockGrantedCallback,
+) => promise<JSON.t> = "request"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/LockManager/request)
+*/
+@send
+external request2: (
+  WebLocksTypes.lockManager,
+  ~name: string,
+  ~options: WebLocksTypes.lockOptions,
+  ~callback: WebLocksTypes.lockGrantedCallback,
+) => promise<JSON.t> = "request"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/LockManager/query)
+*/
+@send
+external query: WebLocksTypes.lockManager => promise<WebLocksTypes.lockManagerSnapshot> = "query"

package/src/device/ScreenOrientation.res

@@ -0,0 +1,7 @@
+include EventTarget.Impl({type t = DOM.screenOrientation})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ScreenOrientation/unlock)
+*/
+@throws(JsExn) @send
+external unlock: DOM.screenOrientation => unit = "unlock"

package/src/device/ScreenWakeLockTypes.res

@@ -0,0 +1,26 @@
+@@warning("-30")
+
+type wakeLockType = | @as("screen") Screen
+
+/**
+[See WakeLock on MDN](https://developer.mozilla.org/docs/Web/API/WakeLock)
+*/
+@editor.completeFrom(WakeLock)
+type wakeLock = private {}
+
+/**
+[See WakeLockSentinel on MDN](https://developer.mozilla.org/docs/Web/API/WakeLockSentinel)
+*/
+@editor.completeFrom(WakeLockSentinel)
+type wakeLockSentinel = private {
+  ...DOM.eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WakeLockSentinel/released)
+    */
+  released: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WakeLockSentinel/type)
+    */
+  @as("type")
+  type_: wakeLockType,
+}

package/src/device/WakeLock.res

@@ -0,0 +1,8 @@
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WakeLock/request)
+*/
+@send
+external request: (
+  ScreenWakeLockTypes.wakeLock,
+  ~type_: ScreenWakeLockTypes.wakeLockType=?,
+) => promise<ScreenWakeLockTypes.wakeLockSentinel> = "request"

package/src/device/WakeLockSentinel.res

@@ -0,0 +1,7 @@
+include EventTarget.Impl({type t = ScreenWakeLockTypes.wakeLockSentinel})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WakeLockSentinel/release)
+*/
+@send
+external release: ScreenWakeLockTypes.wakeLockSentinel => promise<unit> = "release"

package/src/device/WebLocksTypes.res

@@ -0,0 +1,45 @@
+@@warning("-30")
+
+type lockMode =
+  | @as("exclusive") Exclusive
+  | @as("shared") Shared
+
+/**
+[See LockManager on MDN](https://developer.mozilla.org/docs/Web/API/LockManager)
+*/
+@editor.completeFrom(LockManager)
+type lockManager = private {}
+
+/**
+[See Lock on MDN](https://developer.mozilla.org/docs/Web/API/Lock)
+*/
+type lock = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Lock/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Lock/mode)
+    */
+  mode: lockMode,
+}
+
+type lockInfo = {
+  mutable name?: string,
+  mutable mode?: lockMode,
+  mutable clientId?: string,
+}
+
+type lockManagerSnapshot = {
+  mutable held?: array<lockInfo>,
+  mutable pending?: array<lockInfo>,
+}
+
+type lockOptions = {
+  mutable mode?: lockMode,
+  mutable ifAvailable?: bool,
+  mutable steal?: bool,
+  mutable signal?: DOM.abortSignal,
+}
+
+type lockGrantedCallback = lock => promise<JSON.t>