SetRouteVia

trait Sum

trait Mirror

class Object

trait Matchable

class Any

Type members

The current URL will be recorded in history. User can hit ''Back'' button to reach it.

Implemented via pushState in the History API.

See also: https://developer.mozilla.org/en-US/docs/Web/API/History/pushState

The current URL will not be recorded in history. User can't hit ''Back'' button to reach it.

Implemented via replaceState in the History API.

See also: https://developer.mozilla.org/en-US/docs/Web/API/History/replaceState

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.

The names of the product elements

The name of the type