window.devicePixelRatio

Author: toastal

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;

src/Web/HTML/Window.purs

@@ -25,6 +25,7 @@ module Web.HTML.Window
   , scrollBy
   , scrollX
   , scrollY
+  , devicePixelRatio
   , localStorage
   , sessionStorage
   , requestAnimationFrame
@@ -40,6 +41,7 @@ module Web.HTML.Window
 import Data.Maybe (Maybe)
 import Data.Nullable (Nullable, toMaybe)
 import Effect (Effect)
+import Effect.Uncurried (EffectFn1, runEffectFn1)
 import Prelude (class Eq, class Ord, Unit, (<$>))
 import Unsafe.Coerce (unsafeCoerce)
 import Web.Event.EventTarget (EventTarget)
@@ -114,6 +116,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