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
@@ -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