WindowLocation
window.location.href will be directly set to the new URL.
If the new URL is part of the current SPA, the entire SPA will be reloaded.
The current URL will be recorded in history. User can hit ''Back'' button to reach it.
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait SetRouteVia
class Object
trait Matchable
class Any