From a7524b7beaced27d0f73a8dded3daaacd7192b20 Mon Sep 17 00:00:00 2001 From: toastal Date: Sat, 31 Jul 2021 15:29:31 +0700 Subject: [PATCH] Add Navigator.onLine https://html.spec.whatwg.org/multipage/system-state.html#dom-navigator-online-dev --- CHANGELOG.md | 1 + src/Web/HTML/Navigator.js | 6 ++++++ src/Web/HTML/Navigator.purs | 2 ++ 3 files changed, 9 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ce31436..79b9224 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,7 @@ Breaking changes: New features: - Added `languages` value for `Navigator` (#59 by @toastal) - Added `HTMLHtmlElement` module and `documentElement` function `HTMLDocument` (#60 by @toastal) +- Added `onLine` value for `Navigator` (#61 by @toastal) Bugfixes: diff --git a/src/Web/HTML/Navigator.js b/src/Web/HTML/Navigator.js index d03fc12..66c5e23 100644 --- a/src/Web/HTML/Navigator.js +++ b/src/Web/HTML/Navigator.js @@ -12,6 +12,12 @@ exports.languages = function (navigator) { }; }; +exports.onLine = function (navigator) { + return function () { + return navigator.onLine; + }; +}; + exports.platform = function (navigator) { return function () { return navigator.platform; diff --git a/src/Web/HTML/Navigator.purs b/src/Web/HTML/Navigator.purs index f2f2452..ae99fd9 100644 --- a/src/Web/HTML/Navigator.purs +++ b/src/Web/HTML/Navigator.purs @@ -8,6 +8,8 @@ foreign import language :: Navigator -> Effect String foreign import languages :: Navigator -> Effect (Array String) +foreign import onLine :: Navigator -> Effect Boolean + foreign import platform :: Navigator -> Effect String foreign import userAgent :: Navigator -> Effect String