🥮 mooncakes.io
README

#proton/core

moonbit-community/proton/core owns the bridge between native MoonBit code and page JavaScript.

It provides:

  • op registration and dispatch
  • command host dispatch over the IPC protocol
  • window.__MoonBit__ bridge wiring
  • extension events

Application lifecycle and app composition belong in the root proton facade, which owns the source-built native runtime and its async host loop.

#
CommandPermissionError

source
pub(all) suberror CommandPermissionError {
  Missing(extension_id~ : String)
  Foreign(expected~ : String, actual~ : String)
} derive(Eq, 
Debug)

A command attempted to use a capability outside its request grant.

#
CommandPermissionError::equal

source

#
CommandPermissionError::message

source
fn CommandPermissionError::message(self : CommandPermissionError) -> String

#
CommandPermissionError::not_equal

source

#
CommandPermissionError::to_repr

source

#
OpDispatchError

source
pub(all) suberror OpDispatchError {
  InvalidPayload(name~ : String, detail~ : String)
  UnknownOp(name~ : String)
  HandlerFailed(name~ : String, detail~ : String)
  HostClosed
  AsyncHandlerRequiresAsync(name~ : String)
  RequestContextRequired(name~ : String)
} derive(Eq, 
Debug)

Failures while decoding and invoking one registered operation.

#
OpDispatchError::equal

source

#
OpDispatchError::message

source
fn OpDispatchError::message(self : OpDispatchError) -> String

#
OpDispatchError::not_equal

source
fn OpDispatchError::not_equal(x : OpDispatchError, y : OpDispatchError) -> Bool

#
OpDispatchError::output

source
fn OpDispatchError::output(self : OpDispatchError, logger : &Logger) -> Unit

#
OpDispatchError::to_repr

source

#
OpDispatchError::to_string

source
fn OpDispatchError::to_string(self : OpDispatchError) -> String

#
OpRegistrationError

source
pub(all) suberror OpRegistrationError {
  EmptyName
  DuplicateName(name~ : String)
  HostClosed
  RegistrationSealed
} derive(Eq, 
Debug)

Failures while adding command handlers to an operation registry.

#
OpRegistrationError::equal

source

#
OpRegistrationError::message

source
fn OpRegistrationError::message(self : OpRegistrationError) -> String

#
OpRegistrationError::not_equal

source

#
OpRegistrationError::output

source
fn OpRegistrationError::output(self : OpRegistrationError, logger : &Logger) -> Unit

#
OpRegistrationError::to_repr

source

#
OpRegistrationError::to_string

source
fn OpRegistrationError::to_string(self : OpRegistrationError) -> String

#
AppCommandHost

source
type AppCommandHost

Command host for user app code.

The framework decides how this host is connected to the window runtime. App authors register commands and run the host without depending on the underlying IPC implementation.

#
AppCommandHost::close

source
fn AppCommandHost::close(self : AppCommandHost) -> Unit

Closes this command host and rejects future dispatches.

#
AppCommandHost::dispatch_ipc

source

Dispatches one IPC request on the current async loop.

#
AppCommandHost::dispatch_ipc_with_context

source

Dispatches one IPC request with request-scoped context.

#
AppCommandHost::new

source
fn AppCommandHost::new(expose_error_details? : Bool) -> AppCommandHost

Creates an empty app command host.

Handler diagnostics remain in backend logs by default. Set expose_error_details only for a trusted development frontend.

#
AppCommandHost::op

source
fn[Payload : 
FromJson, Reply : ToJson] AppCommandHost::op(self : AppCommandHost, name : String, callback : (Payload) -> Reply raise?) -> Unit raise OpRegistrationError

Registers a synchronous app command.

#
AppCommandHost::op_async

source
fn[Payload : 
FromJson, Reply : ToJson] AppCommandHost::op_async(self : AppCommandHost, name : String, callback : async (Payload) -> Reply) -> Unit raise OpRegistrationError

Registers an async app command.

#
AppCommandHost::op_async_with_context

source
fn[Payload : 
FromJson, Reply : ToJson] AppCommandHost::op_async_with_context(self : AppCommandHost, name : String, callback : async (AppCommandRequestContext, Payload) -> Reply) -> Unit raise OpRegistrationError

Registers an async app command that receives request-scoped context.

#
AppCommandHost::registered_ops

source
fn AppCommandHost::registered_ops(self : AppCommandHost) -> Array[String]

Returns registered command names in registration order.

#
AppCommandHost::seal_registrations

source
fn AppCommandHost::seal_registrations(self : AppCommandHost) -> Unit

Prevents later command registration while keeping existing commands usable.

#
AppCommandRequestContext

source
pub struct AppCommandRequestContext {
  window : CommandWindow?
  window_id : String
  source_origin : String
  page_instance : String?
  permission_extension : String?
  permission_scope_value : Json?
  tasks : 
TaskGroup[Unit]
  wake_signal : RuntimeWakeSignal
  emit_event : async (
ContractRoute, String, Json) -> Unit noraise
  locale_preferences : 
LocalePreferences
}

Request-scoped context for one bridged app command dispatch.

#
AppCommandRequestContext::emit

source
async fn[Payload : ToJson] AppCommandRequestContext::emit(self : AppCommandRequestContext, event : 
Event[Payload], payload : Payload) -> Unit

Emits a typed event to the renderer page that issued this command.

#
AppCommandRequestContext::locale

source

Returns the immutable application locale selected at startup.

#
AppCommandRequestContext::page_instance

source
fn AppCommandRequestContext::page_instance(self : AppCommandRequestContext) -> String?

Returns the renderer page instance that issued this request, when the context came from the native bridge.

#
AppCommandRequestContext::permission_scope

source
fn AppCommandRequestContext::permission_scope(self : AppCommandRequestContext, extension_id : String) -> Json raise CommandPermissionError

Returns this request's extension-specific permission scope.

#
AppCommandRequestContext::preferred_languages

source

Returns the application's ordered language preferences.

#
AppCommandRequestContext::source_origin

source
fn AppCommandRequestContext::source_origin(self : AppCommandRequestContext) -> String

#
AppCommandRequestContext::task_group

source

Returns the task group owned by this command lifecycle.

Child tasks are cancelled and joined when the issuing window closes.

#
AppCommandRequestContext::wait_for_wake

source
async fn AppCommandRequestContext::wait_for_wake(self : AppCommandRequestContext, revision : Int64) -> Unit

#
AppCommandRequestContext::wake_revision

source
fn AppCommandRequestContext::wake_revision(self : AppCommandRequestContext) -> Int64

#
AppCommandRequestContext::wake_signal

source

#
AppCommandRequestContext::window

source

#
AppCommandRequestContext::window_id

source
fn AppCommandRequestContext::window_id(self : AppCommandRequestContext) -> String

#
CommandWindow

source
pub struct CommandWindow {
  show_message_dialog : async (String?, String, String) -> Unit
  show_confirm_dialog : async (String?, String, String) -> Bool
  open_file_dialog : async (String?, String?) -> String?
  save_file_dialog : async (String?, String?) -> String?
  choose_directory_dialog : async (String?, String?) -> String?
}

Window-scoped application capabilities available to one command request. The native window identity and implementation remain owned by the Proton runtime; extensions can only invoke these semantic operations.

#
CommandWindow::choose_directory

source
async fn CommandWindow::choose_directory(self : CommandWindow, title : String?, path : String?) -> String?

#
CommandWindow::confirm

source
async fn CommandWindow::confirm(self : CommandWindow, title : String?, message : String, level : String) -> Bool

#
CommandWindow::open_file

source
async fn CommandWindow::open_file(self : CommandWindow, title : String?, path : String?) -> String?

#
CommandWindow::save_file

source
async fn CommandWindow::save_file(self : CommandWindow, title : String?, path : String?) -> String?

#
CommandWindow::show_message

source
async fn CommandWindow::show_message(self : CommandWindow, title : String?, message : String, level : String) -> Unit

#
MbtProcessHost

source
type MbtProcessHost

Command host intended to run in the MBT process.

The host is independent from the browser window, so application code can use normal MoonBit syntax, state, and async handlers without living in the GUI process.

#
MbtProcessHost::close

source
fn MbtProcessHost::close(self : MbtProcessHost) -> Unit

Closes this host and rejects future dispatches.

#
MbtProcessHost::dispatch_async

source

Dispatches one decoded IPC request on the current async loop.

User command hosts use this path so async ops run inside the user process event loop instead of creating a nested event loop elsewhere.

#
MbtProcessHost::dispatch_async_with_context

source

Dispatches one decoded IPC request with request-scoped context.

#
MbtProcessHost::new

source
fn MbtProcessHost::new(expose_error_details? : Bool) -> MbtProcessHost

Creates an empty MBT-side command host.

Handler diagnostics remain in backend logs by default. Set expose_error_details only for a trusted development frontend.

#
MbtProcessHost::op

source
fn[Payload : 
FromJson, Reply : ToJson] MbtProcessHost::op(self : MbtProcessHost, name : String, callback : (Payload) -> Reply raise?) -> Unit raise OpRegistrationError

Registers a synchronous MBT-side op.

#
MbtProcessHost::op_async

source
fn[Payload : 
FromJson, Reply : ToJson] MbtProcessHost::op_async(self : MbtProcessHost, name : String, callback : async (Payload) -> Reply) -> Unit raise OpRegistrationError

Registers an async MBT-side op.

#
MbtProcessHost::op_async_with_context

source
fn[Payload : 
FromJson, Reply : ToJson] MbtProcessHost::op_async_with_context(self : MbtProcessHost, name : String, callback : async (AppCommandRequestContext, Payload) -> Reply) -> Unit raise OpRegistrationError

Registers an async MBT-side op that receives request-scoped context.

#
MbtProcessHost::registered_ops

source
fn MbtProcessHost::registered_ops(self : MbtProcessHost) -> Array[String]

Returns registered op names in registration order.

#
RuntimeWakeSignal

source
pub struct RuntimeWakeSignal {
  revision : Int64
  condition : 
Cond
}

Scheduler-local notification shared by the runtime pump and command tasks. The revision makes waiting race-free when a notification arrives between a native poll and suspension on the condition variable.

#
RuntimeWakeSignal::new

source

#
RuntimeWakeSignal::notify

source
fn RuntimeWakeSignal::notify(self : RuntimeWakeSignal) -> Unit

#
RuntimeWakeSignal::revision

source
fn RuntimeWakeSignal::revision(self : RuntimeWakeSignal) -> Int64

#
RuntimeWakeSignal::wait_for_change

source
async fn RuntimeWakeSignal::wait_for_change(self : RuntimeWakeSignal, revision : Int64) -> Unit

#
TemplateReplacement

source
type TemplateReplacement

#
moonbit_global_name

source
fn moonbit_global_name() -> String

Returns the root JavaScript namespace used by Proton runtime helpers. JavaScript bridges and generated helper scripts should agree on this value when exposing Proton functionality on window.

#
moonbit_op_binding_name

source
fn moonbit_op_binding_name() -> String

Returns the native binding name used by the op bridge. Native dispatch glue and injected runtime scripts both use this name to route op calls through the same binding.

#
render_js_template

source
fn render_js_template(template : String, replacements : Array[TemplateReplacement]) -> String

Applies a sequence of token replacements to a JavaScript template string. Replacements are processed in order, which allows later entries to build on earlier substitutions when generating runtime helper scripts.

#
replacement

source
fn replacement(token : String, value : String) -> TemplateReplacement

Creates a single token replacement entry for render_js_template. This keeps call sites readable when several template tokens need to be substituted together.

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io