using @moonbit-community/proton/manifest { type AppEntry }

using @moonbit-community/proton/native { type BridgeDiagnostic }

using @moonbit-community/proton/native { type BridgeLifecycleState }

using @moonbit-community/proton/core { type AppCommandRequestContext as CommandContext }

using @moonbit-community/proton/command { type CommandRegistrar }

using @moonbit-community/proton/native { type Menu }

using @moonbit-community/proton/native { type MenuBar }

using @moonbit-community/proton/native { type MenuItem }

using @moonbit-community/proton/native { type NativeError }

using @moonbit-community/proton/manifest { type PermissionGrant }

using @moonbit-community/proton/manifest { type PermissionOrigin }

using @moonbit-community/proton/command { type PermissionScopeValidationError }

using @moonbit-community/proton/native { type ProcessResult }

using @moonbit-community/proton/native { type Runtime }

using @moonbit-community/proton/native { type RuntimeConfig }

using @moonbit-community/proton/native { type RuntimeEvent }

using @moonbit-community/proton/native { type RuntimeInfo }

using @moonbit-community/proton/native { type RuntimeLaunchInput }

using @moonbit-community/proton/native { type TitlebarStyle }

using @moonbit-community/proton/native { type Window }

using @moonbit-community/proton/native { type WindowConfig }

using @moonbit-community/proton/native { type WindowMonitor }

using @moonbit-community/proton/native { type WindowSizeHint }

using @moonbit-community/proton/native { type WindowState }

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

pub(all) suberror AppConfigurationError {
  InvalidSetting(name~ : String, message~ : String)
  Bootstrap(
@moonbit-community/proton/bootstrap.BootstrapError
BootstrapError)
  ExtensionDependencyCycle(extension_id~ : String)
  ExtensionUnavailable(extension_id~ : String, requested_by~ : String?, state~ : String)
  ExtensionAdaptationFailed(extension_id~ : String, error~ : 
@moonbit-community/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~ : 
@moonbit-community/proton/native.NativeError
NativeError)
  ClosedDuringStartup
} derive(
@moonbitlang/core/debug.Debug
Debug)

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

pub(all) suberror AppRunError {
  EventLoopError(String)
  ConfigurationError(AppConfigurationError)
  UnsupportedNativeFeature(feature~ : String)
  NativeRuntimeError(action~ : String, error~ : 
@moonbit-community/proton/native.NativeError
NativeError)
  CommandExtensionLifecycleError(CommandExtensionLifecycleError)
  LifecycleHookError(LifecycleHookError)
  EntryLoadError(AppEntryError)
  BridgeStartupError(
@moonbit-community/proton/native.BridgeDiagnostic
BridgeDiagnostic)
  BridgeRuntimeError(
@moonbit-community/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(
@moonbit-community/proton/native.NativeError
NativeError)
  WaitInterrupted(detail~ : String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) suberror WindowSessionError {
  UnknownWindow(id~ : String)
  AlreadyOpen(id~ : String)
  StaleWindow(id~ : String)
  UnknownView(id~ : String)
  AlreadyExists(id~ : String)
  StaleView(id~ : String)
  Cancelled
  OperationFailed(action~ : String, error~ : 
@moonbit-community/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 struct PendingUpdate {
  version : String
  revision : UInt64
  notes_url : String?
  size : Int64
  channel : 
@moonbit-community/proton/updater.UpdateChannel
UpdateChannel
  offer : 
@moonbit-community/proton/updater.AvailableUpdate
AvailableUpdate
}

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 enum UpdateCheck {
  NotConfigured
  UpToDate
  Available(PendingUpdate)
}

pub enum UpdateInstallOutcome {
  Installed
  AlreadyInstalled
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ViewEvent {
  LoadingChanged(is_loading~ : Bool)
  Navigated(url~ : String)
  TitleUpdated(title~ : String)
  LoadFailed(url~ : String, error_code~ : Int, error_text~ : String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ViewHandle {
  id : String
  native_id : Int64
  set_view_bounds : (Int, Int, Int, Int) -> Unit raise WindowSessionError
  set_view_visible : (Bool) -> Unit raise WindowSessionError
  set_view_z_order : (Int) -> Unit raise WindowSessionError
  load_view_url : (String) -> Unit raise WindowSessionError
  load_view_html : (String, String) -> Unit raise WindowSessionError
  eval_view_script : (String) -> Unit raise WindowSessionError
  send_view_command : (String, Int?) -> Unit raise WindowSessionError
  read_view_state : () -> 
@moonbit-community/proton/native.ViewState
ViewState raise WindowSessionError
  close_view : () -> Unit raise WindowSessionError
}