using @justjavac/proton/manifest { type AppEntry }

using @justjavac/proton/native { type BridgeDiagnostic }

using @justjavac/proton/native { type BridgeLifecycleState }

using @justjavac/proton/core { type AppCommandRequestContext as CommandContext }

using @justjavac/proton/command { type CommandRegistrar }

using @justjavac/proton/native { type Menu }

using @justjavac/proton/native { type MenuBar }

using @justjavac/proton/native { type MenuItem }

using @justjavac/proton/native { type NativeError }

using @justjavac/proton/manifest { type PermissionGrant }

using @justjavac/proton/manifest { type PermissionOrigin }

using @justjavac/proton/command { type PermissionScopeValidationError }

using @justjavac/proton/native { type ProcessResult }

using @justjavac/proton/native { type Runtime }

using @justjavac/proton/native { type RuntimeConfig }

using @justjavac/proton/native { type RuntimeEvent }

using @justjavac/proton/native { type RuntimeInfo }

using @justjavac/proton/native { type RuntimeLaunchInput }

using @justjavac/proton/native { type TitlebarStyle }

using @justjavac/proton/native { type Window }

using @justjavac/proton/native { type WindowConfig }

using @justjavac/proton/native { type WindowMonitor }

using @justjavac/proton/native { type WindowSizeHint }

using @justjavac/proton/native { type WindowState }

pub(all) suberror AppCleanupError {
  CommandExtension(CommandExtensionLifecycleError)
  LifecycleHook(LifecycleHookError)
  WindowDestroy(
@justjavac/proton/native.NativeError
NativeError)
  RuntimeDestroy(
@justjavac/proton/native.NativeError
NativeError)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror AppConfigurationError {
  InvalidSetting(name~ : String, message~ : String)
  Bootstrap(
@justjavac/proton/bootstrap.BootstrapError
BootstrapError)
  ExtensionDependencyCycle(extension_id~ : String)
  ExtensionUnavailable(extension_id~ : String, requested_by~ : String?, state~ : String)
  ExtensionAdaptationFailed(extension_id~ : String, error~ : 
@justjavac/proton/extension.ExtensionAdapterError
ExtensionAdapterError)
  InvalidJavaScriptNamespace(js_namespace~ : String)
  InvalidJavaScriptApi(js_namespace~ : String, api_name~ : String)
  InvalidEntryUrl(url~ : String, reason~ : String)
  InvalidPermissionGrant(detail~ : String)
  MissingPermissionGrant(extension_id~ : String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror AppEntryError {
  ReadFailed(path~ : String, detail~ : String)
  NativeLoad(action~ : String, error~ : 
@justjavac/proton/native.NativeError
NativeError)
  ClosedDuringStartup
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror AppPathError {
  InvalidIdentifier(identifier~ : String)
  MissingHomeDirectory(platform~ : String)
  PlatformProbe(
@justjavac/proton/native.NativeError
NativeError)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror AppRunError {
  RunnerError(String)
  ConfigurationError(AppConfigurationError)
  UnsupportedNativeFeature(feature~ : String)
  NativeRuntimeError(action~ : String, error~ : 
@justjavac/proton/native.NativeError
NativeError)
  RuntimeWakeupError(RuntimeWakeupError)
  CommandExtensionLifecycleError(CommandExtensionLifecycleError)
  LifecycleHookError(LifecycleHookError)
  EntryLoadError(AppEntryError)
  BridgeStartupError(
@justjavac/proton/native.BridgeDiagnostic
BridgeDiagnostic)
  BridgeRuntimeError(
@justjavac/proton/native.BridgeDiagnostic
BridgeDiagnostic)
  CleanupFailed(primary~ : String?, failures~ : Array[AppCleanupError])
  UnexpectedTaskFailure(detail~ : String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror CommandExtensionLifecycleError {
  ApplicationRegistrationFailed(detail~ : String)
  RegistrationFailed(extension_id~ : String, detail~ : String)
  DestroyFailed(extension_id~ : String, detail~ : String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror LifecycleHookError {
  ApplicationStart(index~ : Int, detail~ : String)
  ApplicationShutdown(index~ : Int, detail~ : String)
  WindowReady(index~ : Int, detail~ : String)
  WindowClose(index~ : Int, detail~ : String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror NotificationDeliveryError {
  Native(
@justjavac/proton/native.NativeError
NativeError)
  WaitInterrupted(detail~ : String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror RuntimeWakeupError {
  UnsupportedFeature(feature~ : String)
  PipeCreateFailed(detail~ : String)
  SourceOpenFailed(source~ : String, detail~ : String)
  SourceClosed
  MissingNotification
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror WindowSessionError {
  UnknownWindow(id~ : String)
  AlreadyOpen(id~ : String)
  StaleWindow(id~ : String)
  Cancelled
  OperationFailed(action~ : String, error~ : 
@justjavac/proton/native.NativeError
NativeError)
  StartupFailed(id~ : String, error~ : AppRunError)
} derive(
@moonbitlang/core/debug.Debug
Debug)

type App

pub struct ApplicationContext {
  tasks : 
@moonbitlang/async.TaskGroup
TaskGroup[Unit]
  windows : WindowManager
}

pub struct BrowserHandle {
  id : String
  native_id : Int64
  load_browser_url : (String) -> Unit raise WindowSessionError
  load_browser_html : (String, String) -> Unit raise WindowSessionError
  eval_browser_script : (String) -> Unit raise WindowSessionError
  send_browser_command : (String, Int?) -> Unit raise WindowSessionError
}

pub(all) enum BrowserPermissionDecision {
  Allow
  Deny
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CertificateError {
  url : String
  error_code : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DownloadDecision {
  Deny
  ShowSaveDialog
  SaveTo(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DownloadEvent {
  id : Int
  state : String
  received_bytes : Int64
  total_bytes : Int64
  percent : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DownloadRequest {
  id : Int
  url : String
  suggested_name : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MediaPermissionRequest {
  origin : String
  permissions : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum NavigationDecision {
  Allow
  Deny
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NavigationRequest {
  url : String
  http_method : String
  user_gesture : Bool
  redirect : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum PopupDecision {
  Deny
  OpenInCurrent
  OpenInWindow(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PopupRequest {
  url : String
  disposition : Int
  user_gesture : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum WindowCloseDecision {
  Allow
  Deny
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct WindowContext {
  id : String
  window : 
@justjavac/proton/native.WindowRef
WindowRef
  handle : WindowHandle
  windows : WindowManager
  tasks : 
@moonbitlang/async.TaskGroup
TaskGroup[Unit]
  events : WindowEventEmitter
}

pub(all) enum WindowEvent {
  StateChanged(
@justjavac/proton/native.WindowState
WindowState)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct WindowEventEmitter {
  emit_event : async (
@justjavac/proton_contract.ContractRoute
ContractRoute, String, Json) -> Unit noraise
}

pub struct WindowHandle {
  id : String
  native_id : Int64
  show_window : () -> Unit raise WindowSessionError
  hide_window : () -> Unit raise WindowSessionError
  close_window : () -> Unit raise WindowSessionError
  focus_window : () -> Unit raise WindowSessionError
  set_window_title : (String) -> Unit raise WindowSessionError
  set_window_size : (Int, Int) -> Unit raise WindowSessionError
  minimize_window : () -> Unit raise WindowSessionError
  maximize_window : () -> Unit raise WindowSessionError
  restore_window : () -> Unit raise WindowSessionError
  set_window_fullscreen : (Bool) -> Unit raise WindowSessionError
  set_window_position : (Int, Int) -> Unit raise WindowSessionError
  set_window_always_on_top : (Bool) -> Unit raise WindowSessionError
  set_window_zoom_percent : (Int) -> Unit raise WindowSessionError
  read_window_state : () -> 
@justjavac/proton/native.WindowState
WindowState raise WindowSessionError
  browser : BrowserHandle
}