This library contains a set of the bindings to the HTML5 History API methods. This allows you to programmatically travel backwards and forwards in the browser history as well as detect changes to the url path or hash.
You can change the url path by performing either the
setPath : String -> Task error ()
history.pushState(null, "", path).
setPath moves the browser history forwards, which means that if you press the browser's back button after performing the
setPath task, you will go back to the previous page (the one before you have called
replacePath : String -> Task error ()
history.replaceState(null, "", path).
replacePath does not move the browser history forwards, which means that if you press the browser's back button after performing the
replacePath task, you will not go back to the previous page (the one before you have called
replacePath). You will probably end up in some completely different page.
In most cases, you will want to use
setPath. If you use
setPath, the previous pages will be accessible to the user by pressing the browser's back button. If this is the behavior you seek, use
replacePath is meant for transient states, i.e. states you do not want to go back to by pressing the browser back button. These states may include, but not limited to, login forms or slideshows. These have in common the fact that you want them to have specific urls you can just copy-paste and have them work but you may not want them to be accessible to the user by pressing the back button.
You can move through the browser history by performing either the
go : Int -> Task error ()
go task allows you to move either forwards or backwards in the browser history. If given a positive number, the browser will go forwards in the browser history by the given amount, if available. If given a negative number, the browser will go backwards in the browser history by the absolute value of the given amount, if available.
back : Task error ()
back task is equivalent to pressing the browser back button or calling
go -1. This will point the browser to the previous page, if available.
forward : Task error ()
forward task is equivalent to pressing the browser forward button on calling
go 1. This will point the browser to the next page, if available.
You can react to url path changes with the
path signal, to url hash changes with the
hash signal, and to general history changes with the
path : Signal String
This is a
Signal of the url path that changes whenever the url path is modified, either by interaction or through code. This
Signal is key to being able to route pages in single page applications as they save you a potentially expensive trip back to the server.
Paths are usually of the form:
/index.html /blog/entry1.html /users/4973/profile.html
hash : Signal String
This is a
Signal of the url hash that changes whenever the url hash is modified, usually by interaction. Sometimes, when you click on an
a tag, the browser will not refresh the page. Instead, it will focus on the area surrounding the
a tag. This is usually done to separate a given page into multiple sections which can directly be access through the url. Sometimes, you may want to react in a particular way given the selected hash (such as performing a specific animation, or loading a particular asset).
Hashes are usually of the form:
#myTag #section3 #Biography
length : Signal Int
This is a
Signal representing the current length of the browser history. This is occasionally useful, mostly as a heuristic to decide on whether to use
Signal can also be used as a general browser-history-has-changed
Signal as it is updated whenever the browser history has changed.