🥮 mooncakes.io

moonbit-community/proton/extension does not have a README file

EventWakeup

source

The opaque native callback supplied to an extension event source.

ExtensionAdapterError

source
pub(all) suberror ExtensionAdapterError {
  TypedSpecInvalid(extension_id~ : String, detail~ : String)
} derive(
Debug)

Failures while adapting a framework extension to the app command runtime.

ExtensionAdapterError::message

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

ExtensionAdapterError::output

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

ExtensionAdapterError::to_repr

source

ExtensionAdapterError::to_string

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

Event

source
pub struct Event {
  extension_id : String
  extension_namespace : String
  name : String
  payload : Json
}

One event produced by an extension-owned native event source.

EventSource

source
pub struct EventSource {
  start : (
EventWakeup) -> Unit raise
  stop : () -> Unit
  drain : () -> Array[Event] raise
}

A native event source integrated with Proton's host event loop.

start installs an opaque native wakeup before the source begins producing events. Native callbacks enqueue their payload and invoke that wakeup; Proton later calls drain on the runtime owner thread. stop must be idempotent and wait until the source can no longer invoke the wakeup.

Extension

source
type Extension

Extension::command_spec

source

Extension::id

source
fn Extension::id(self : Extension) -> String

RendererCapability

source
pub struct RendererCapability {
  extension : Extension
  scope : Json
}

A typed extension capability that can be granted to a renderer.

Extension packages build this value after validating their public scope types. Applications pass it to App::capability without handling extension identifiers or raw permission JSON.

capability

source
fn capability(extension : Extension, scope? : Json) -> RendererCapability

Builds a renderer capability from an extension definition and its validated internal scope.

This constructor is intended for extension authors. Application-facing extension packages should expose a typed capability function instead.

event

source

Encodes a typed extension event for delivery to renderer subscribers.

event_source

source
fn event_source(start : (
EventWakeup) -> Unit raise, stop : () -> Unit, drain : () -> Array[Event] raise) -> EventSource

Defines a wake-driven event source with explicit teardown.

typed

source

Builds an installable extension from typed command descriptors.

Validation is deferred until application configuration so invalid static extension metadata follows the facade's ordinary adaptation error path.

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io