Skip to content

Commit

Permalink
feat: add worker related doms
Browse files Browse the repository at this point in the history
  • Loading branch information
tonyfettes committed Jul 20, 2024
1 parent 659ce0e commit e519d20
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions jscomp/others/dom.ml
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,12 @@ type cssStyleSheet
(* events (early) *)
type 'a eventTarget_like
type eventTarget = _baseClass eventTarget_like
type _messagePort
type messagePort = _messagePort eventTarget_like
type _serviceWorker
type serviceWorker = _serviceWorker eventTarget_like
type _worker
type worker = _worker eventTarget_like

(* nodes *)
type 'a _node
Expand Down Expand Up @@ -203,6 +209,7 @@ type _htmlVideoElement
type htmlVideoElement = _htmlVideoElement htmlElement_like
type location
type window
type windowProxy
type _xmlDocument
type xmlDocument = _xmlDocument document_like

Expand Down Expand Up @@ -236,6 +243,8 @@ type _inputEvent
type inputEvent = _inputEvent uiEvent_like
type _keyboardEvent
type keyboardEvent = _keyboardEvent uiEvent_like
type _messageEvent
type messageEvent = _messageEvent event_like
type 'a _mouseEvent
type 'a mouseEvent_like = 'a _mouseEvent uiEvent_like
type mouseEvent = _baseClass mouseEvent_like
Expand Down Expand Up @@ -291,5 +300,6 @@ type svgPoint

(* special *)
type eventPointerId
type messageChannel

module Storage = Dom_storage

0 comments on commit e519d20

Please sign in to comment.