// Do not edit. This file is generated.
// MoonBit type: NavigationOptions
// Specifications: html.idl

///|
/// [NavigationOptions](https://developer.mozilla.org/en-US/docs/Web/API/NavigationOptions)
#external
pub type NavigationOptions

///|
pub impl TJsValue for NavigationOptions with to_js(self : NavigationOptions) -> JsValue = "%identity"

///|
pub impl FromJsAny for NavigationOptions with from_js_any(value : JsAny) -> NavigationOptions = "%identity"

///|
pub fn NavigationOptions::new(info? : JsValue) -> NavigationOptions {
  navigation_options_ffi(opt_to_js(info))
}

///|
pub fn NavigationOptions::empty() -> NavigationOptions {
  navigation_options_empty_ffi()
}

///|
pub fn NavigationOptions::info(self : NavigationOptions) -> JsValue? {
  navigation_options_get_info_ffi(TJsValue::to_js(self)).to_option()
}

///|
#cfg(target="js")
extern "js" fn navigation_options_ffi(info : JsValue) -> NavigationOptions =
  #|(info) => {
  #|  const obj = {};
  #|  if (info !== undefined) obj.info = info;
  #|  return obj;
  #|}

///|
#cfg(target="js")
extern "js" fn navigation_options_empty_ffi() -> NavigationOptions = "() => {}"

///|
#cfg(target="js")
extern "js" fn navigation_options_get_info_ffi(obj : JsValue) -> JsValue = "(obj) => obj.info"

///|
#cfg(target="wasm-gc")
fn navigation_options_ffi(info : JsValue) -> NavigationOptions = "webapi_NavigationOptions" "new"

///|
#cfg(target="wasm-gc")
fn navigation_options_empty_ffi() -> NavigationOptions = "webapi_Dictionary" "empty"

///|
#cfg(target="wasm-gc")
fn navigation_options_get_info_ffi(obj : JsValue) -> JsValue = "webapi_NavigationOptions" "get_info"