Merge pull request #75 from chexxor/add-history

Add DOM.HTML.History.

Author: garyb

src/DOM/HTML/History.js

@@ -0,0 +1,46 @@
+"use strict";
+
+exports.back = function(history) {
+  return function() {
+    return history.back();
+  };
+};
+exports.forward = function(history) {
+  return function() {
+    return history.forward();
+  };
+};
+exports.go = function(delta) {
+  return function(history) {
+    return function() {
+      return history.go(delta);
+    };
+  };
+};
+exports.pushState = function(a) {
+  return function(docTitle) {
+    return function(url) {
+      return function(history) {
+        return function() {
+          return history.pushState(a, docTitle, url);
+        };
+      };
+    };
+  };
+};
+exports.replaceState = function(a) {
+  return function(docTitle) {
+    return function(url) {
+      return function(history) {
+        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,28 @@
+module DOM.HTML.History where
+
+import Control.Monad.Eff (Eff)
+import DOM.HTML.Types (HISTORY, History)
+import Data.Foreign (Foreign)
+import Data.Newtype (class Newtype)
+import Prelude (class Eq, class Ord, Unit)
+
+-- DocumentTitle will set value of `document.title`
+newtype DocumentTitle = DocumentTitle String
+derive instance eqDocumentTitle :: Eq DocumentTitle
+derive instance ordDocumentTitle :: Ord DocumentTitle
+derive instance newtypeDocumentTitle :: Newtype DocumentTitle _
+newtype Delta = Delta Int
+derive instance eqDelta :: Eq Delta
+derive instance ordDelta :: Ord Delta
+derive instance newtypeDelta :: Newtype Delta _
+newtype URL = URL String
+derive instance eqURL :: Eq URL
+derive instance ordURL :: Ord URL
+derive instance newtypeURL :: Newtype URL _
+
+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. Delta -> History -> Eff (history :: HISTORY | e) Unit
+foreign import pushState :: forall e. Foreign -> DocumentTitle -> URL -> History -> Eff (history :: HISTORY | e) Unit
+foreign import replaceState :: forall e. Foreign -> DocumentTitle -> URL -> History -> Eff (history :: HISTORY | e) Unit
+foreign import state :: forall e. History -> Eff (history :: HISTORY | e) Foreign

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