From 4f63ba893b7392f73964b29546964932784728e0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20V=C3=A1zquez=20Acosta?= Date: Thu, 13 Feb 2025 18:32:53 +0100 Subject: [PATCH] Add 'Webapi.Dom.MediaQueryList' https://developer.mozilla.org/en-US/docs/Web/API/MediaQueryList --- src/Webapi/Dom/Webapi__Dom__MediaQueryList.res | 8 ++++++++ src/Webapi/Dom/Webapi__Dom__Window.res | 2 +- src/Webapi/Webapi__Dom.res | 1 + 3 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 src/Webapi/Dom/Webapi__Dom__MediaQueryList.res diff --git a/src/Webapi/Dom/Webapi__Dom__MediaQueryList.res b/src/Webapi/Dom/Webapi__Dom__MediaQueryList.res new file mode 100644 index 0000000..1a77a91 --- /dev/null +++ b/src/Webapi/Dom/Webapi__Dom__MediaQueryList.res @@ -0,0 +1,8 @@ +type t + +include Webapi__Dom__EventTarget.Impl({ + type t = t +}) + +@get external matches: t => bool = "matches" +@get external media: t => string = "media" diff --git a/src/Webapi/Dom/Webapi__Dom__Window.res b/src/Webapi/Dom/Webapi__Dom__Window.res index 82dfaa6..ac043eb 100644 --- a/src/Webapi/Dom/Webapi__Dom__Window.res +++ b/src/Webapi/Dom/Webapi__Dom__Window.res @@ -12,7 +12,7 @@ type scrollbars /* "bar object" */ type speechSynthesis type statusbar /* "bar object" */ type toolbar /* "bar object" */ -type mediaQueryList /* CSSOM View module */ +type mediaQueryList = Webapi__Dom__MediaQueryList.t /* CSSOM View module */ type transferable type idleCallbackId /* used by requestIdleCallback and cancelIdleCallback */ diff --git a/src/Webapi/Webapi__Dom.res b/src/Webapi/Webapi__Dom.res index 33fde08..d505f06 100644 --- a/src/Webapi/Webapi__Dom.res +++ b/src/Webapi/Webapi__Dom.res @@ -47,6 +47,7 @@ module Image = Webapi__Dom__Image module InputEvent = Webapi__Dom__InputEvent module KeyboardEvent = Webapi__Dom__KeyboardEvent module Location = Webapi__Dom__Location +module MediaQueryList = Webapi__Dom__MediaQueryList module MouseEvent = Webapi__Dom__MouseEvent module MutationObserver = Webapi__Dom__MutationObserver module MutationRecord = Webapi__Dom__MutationRecord