On this pageFunctions
Navigation
/**
* Opens the given href in a new browsing context (tab or window, at the browser's discretion).
* The current page is unchanged. Subject to popup blockers when not called from a user-gesture handler.
*/
(href: string): Effect<void>/** Pushes a new URL to browser history and triggers Foldkit's URL change handling. */
(url: string): Effect<void>/** Replaces the current URL in browser history and triggers Foldkit's URL change handling. */
(url: string): Effect<void>/** A URL request to an external page (different origin). */
const External: CallableTaggedStruct<"External", {
href: String
}>/** A URL request to a page within the application (same origin). */
const Internal: CallableTaggedStruct<"Internal", {
url: Struct<{
hash: Option<String>
host: String
pathname: String
port: Option<String>
protocol: String
search: Option<String>
}>
}>/** Union of `Internal` and `External` URL request types. */
const UrlRequest: Union<readonly [
CallableTaggedStruct<"Internal", {
url: Struct<{
hash: Option<String>
host: String
pathname: String
port: Option<String>
protocol: String
search: Option<String>
}>
}>,
CallableTaggedStruct<"External", {
href: String
}>
]>