From 0a5936e50c058bd95900cc71436669670b07851c Mon Sep 17 00:00:00 2001 From: toastal Date: Mon, 7 Dec 2020 13:33:35 +0700 Subject: [PATCH] window.devicePixelRatio --- src/Web/HTML/Window.js | 6 ++++++ src/Web/HTML/Window.purs | 3 +++ 2 files changed, 9 insertions(+) diff --git a/src/Web/HTML/Window.js b/src/Web/HTML/Window.js index 0048eac..4eb257f 100644 --- a/src/Web/HTML/Window.js +++ b/src/Web/HTML/Window.js @@ -176,6 +176,12 @@ exports.scrollY = function (window) { }; }; +exports.devicePixelRatio = function(window) { + return function() { + return window.devicePixelRatio; + }; +}; + exports.localStorage = function (window) { return function () { return window.localStorage; diff --git a/src/Web/HTML/Window.purs b/src/Web/HTML/Window.purs index bd9a82f..4f86f47 100644 --- a/src/Web/HTML/Window.purs +++ b/src/Web/HTML/Window.purs @@ -25,6 +25,7 @@ module Web.HTML.Window , scrollBy , scrollX , scrollY + , devicePixelRatio , localStorage , sessionStorage , requestAnimationFrame @@ -114,6 +115,8 @@ foreign import scrollX :: Window -> Effect Int foreign import scrollY :: Window -> Effect Int +foreign import devicePixelRatio :: Window -> Effect Number + foreign import localStorage :: Window -> Effect Storage foreign import sessionStorage :: Window -> Effect Storage