Add DOM.HTML.History.

Author: chexxor

src/DOM/HTML/History.js

@@ -0,0 +1,51 @@
+// module DOM.HTML.History
+
+exports.history = function(window) {
+  return function() {
+    return window.history;
+  };
+}
+exports.back = function(history) {
+  return function() {
+    return history.back();
+  };
+};
+exports.forward = function(history) {
+  return function() {
+    return history.forward();
+  };
+};
+exports.go = function(history) {
+  return function(delta) {
+    return function() {
+      return history.go(delta);
+    };
+  };
+};
+exports.pushState = function(history) {
+  return function(a) {
+    return function(docTitle) {
+      return function(url) {
+        return function() {
+          return history.pushState(a, docTitle, url);
+        };
+      };
+    };
+  };
+};
+exports.replaceState = function(history) {
+  return function(a) {
+    return function(docTitle) {
+      return function(url) {
+        return function() {
+          return history.replaceState(a, docTitle, url);
+        };
+      };
+    };
+  };
+};
+exports.state = function(history) {
+  return function() {
+    return history.state;
+  };
+};

src/DOM/HTML/History.purs

@@ -0,0 +1,17 @@
+module DOM.HTML.History where
+
+import Control.Monad.Eff (Eff)
+import DOM.HTML.Types (HISTORY, History, Window)
+import Prelude (Unit)
+
+-- DocumentTitle will set value of `document.title`
+newtype DocumentTitle = DocumentTitle String
+newtype Delta = Delta Int
+newtype URL = URL String -- Unsure how to better type this.
+
+foreign import back :: forall e. History -> Eff (history :: HISTORY | e) Unit
+foreign import forward :: forall e. History -> Eff (history :: HISTORY | e) Unit
+foreign import go :: forall e. History -> Delta -> Eff (history :: HISTORY | e) Unit
+foreign import pushState :: forall a e. History -> a -> DocumentTitle -> URL -> Eff (history :: HISTORY | e) Unit
+foreign import replaceState :: forall a e. History -> a -> DocumentTitle -> URL -> Eff (history :: HISTORY | e) Unit
+foreign import state :: forall a e. History -> Eff (history :: HISTORY | e) a

src/DOM/HTML/Types.purs

@@ -2,10 +2,12 @@
 module DOM.HTML.Types
   ( Navigator
   , Location
+  , History
   , Window
   , ALERT
-  , PROMPT
   , CONFIRM
+  , HISTORY
+  , PROMPT
   , WINDOW
   , windowToEventTarget
   , HTMLDocument
@@ -227,8 +229,12 @@ foreign import data Location :: *
 
 foreign import data Window :: *
 
+foreign import data History :: *
+
 foreign import data ALERT :: !
 
+foreign import data HISTORY :: !
+
 foreign import data PROMPT :: !
 
 foreign import data CONFIRM :: !

src/DOM/HTML/Window.js

@@ -18,6 +18,12 @@ exports.location = function (window) {
   };
 };
 
+exports.history = function(window) {
+  return function() {
+    return window.history;
+  };
+}
+
 exports.innerWidth = function (window) {
   return function () {
     return window.innerWidth;

src/DOM/HTML/Window.purs

@@ -2,6 +2,7 @@ module DOM.HTML.Window
   ( document
   , navigator
   , location
+  , history
   , innerWidth
   , innerHeight
   , alert
@@ -23,19 +24,21 @@ module DOM.HTML.Window
   , scrollY
   ) where
 
-import Prelude (Unit, (<$>))
-import Data.Maybe (Maybe)
-import Data.Nullable (Nullable, toMaybe)
 import Control.Monad.Eff (Eff)
 import DOM (DOM)
-import DOM.HTML.Types (Window, Location, Navigator, HTMLDocument, ALERT, CONFIRM, PROMPT, WINDOW)
+import DOM.HTML.Types (ALERT, CONFIRM, HISTORY, HTMLDocument, History, Location, Navigator, PROMPT, WINDOW, Window)
+import Data.Maybe (Maybe)
+import Data.Nullable (Nullable, toMaybe)
+import Prelude (Unit, (<$>))
 
 foreign import document :: forall eff. Window -> Eff (dom :: DOM | eff) HTMLDocument
 
 foreign import navigator :: forall eff. Window -> Eff (dom :: DOM | eff) Navigator
 
 foreign import location :: forall eff. Window -> Eff (dom :: DOM | eff) Location
 
+foreign import history :: forall e. Window -> Eff (history :: HISTORY | e) History
+
 foreign import innerWidth :: forall eff. Window -> Eff (dom :: DOM | eff) Int
 
 foreign import innerHeight :: forall eff. Window -> Eff (dom :: DOM | eff) Int