🥮 mooncakes.io
README

#proton/manifest

moonbit-community/proton/manifest defines the runtime manifest types shared by bootstrap, native handoff, and the root facade.

It is a data package. Parsing belongs in bootstrap; application lifecycle belongs in the root proton facade.

#
AppEntry

source
pub(all) enum AppEntry {
  Html(String)
  Url(String)
  File(String)
  Asset(String)
} derive(Eq, 
Debug)

Declarative entry content loaded into a Proton application window.
impl Show for AppEntry

#
AppEntry::equal

source
fn AppEntry::equal(AppEntry, AppEntry) -> Bool

#
AppEntry::not_equal

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

#
AppEntry::output

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

#
AppEntry::to_repr

source

#
AppEntry::to_string

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

#
AppManifest

source
pub struct AppManifest {
  window : WindowManifest
  entry : AppEntry
  windows : Array[AppWindowManifest]
  debug : Int
  extensions : Map[String, ExtensionSetting]
  permissions : Array[PermissionGrant]
}

Declarative application manifest consumed by the runtime.

#
AppManifest::extension_setting

source
fn AppManifest::extension_setting(self : AppManifest, name : String) -> ExtensionSetting?

Returns one configured extension setting, if present in the manifest. It returns None when the manifest does not mention the extension key at all.

#
AppManifest::extension_settings

source
fn AppManifest::extension_settings(self : AppManifest) -> Array[(String, ExtensionSetting)]

Returns the configured extension entries as name/setting pairs. Each pair contains the manifest key together with its normalized declarative enablement state.

#
AppManifest::new

source
fn AppManifest::new(window : WindowManifest, entry : AppEntry, debug? : Int, windows? : Array[AppWindowManifest], extensions? : Map[String, ExtensionSetting], permissions? : Array[PermissionGrant]) -> AppManifest

Builds an app manifest. The defaults match the minimal declarative shape accepted by bootstrap so callers can opt into debug, extra windows, or extensions incrementally.

#
AppManifest::permission_grants

source
fn AppManifest::permission_grants(self : AppManifest) -> Array[PermissionGrant]

#
AppWindowManifest

source
pub struct AppWindowManifest {
  id : String
  window : WindowManifest
  entry : AppEntry
  open_on_start : Bool
} derive(Eq, 
Debug)

Declarative secondary window entry consumed by runtime manifests.

#
AppWindowManifest::equal

source

#
AppWindowManifest::new

source
fn AppWindowManifest::new(id : String, window : WindowManifest, entry : AppEntry, open_on_start? : Bool) -> AppWindowManifest

Builds a declarative secondary window entry. Secondary windows keep their own id, window settings, and entry payload in the manifest document.

#
AppWindowManifest::not_equal

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

#
AppWindowManifest::output

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

#
AppWindowManifest::to_repr

source

#
AppWindowManifest::to_string

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

#
ExtensionSetting

source
pub(all) enum ExtensionSetting {
  Disabled
  Enabled
} derive(Eq, 
Debug)

Runtime extension setting produced from MoonBit app code.

Extension-specific configuration is carried by the permission scope, which is validated at configuration time through resolve_permission and read per request through AppCommandRequestContext::permission_scope. This type only records whether an extension is active.

#
ExtensionSetting::disabled

source

Builds a disabled extension setting. Use this when the manifest should preserve an explicit opt-out entry.

#
ExtensionSetting::enabled

source

Builds an enabled extension setting.

#
ExtensionSetting::equal

source

#
ExtensionSetting::is_enabled

source
fn ExtensionSetting::is_enabled(self : ExtensionSetting) -> Bool

Returns whether this setting enables an extension.

#
ExtensionSetting::not_equal

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

#
ExtensionSetting::output

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

#
ExtensionSetting::to_repr

source

#
ExtensionSetting::to_string

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

#
PermissionGrant

source
pub struct PermissionGrant {
  window : String
  origin : PermissionOrigin
  extension : String
  scope : Json
}

Grants one extension to one trusted source in one application window.

Extension registration and permission grants are deliberately separate: registering an extension makes its backend implementation available, while a grant decides which renderer may invoke it. scope is interpreted by the extension and is always copied at the manifest boundary.

#
PermissionGrant::extension

source
fn PermissionGrant::extension(self : PermissionGrant) -> String

#
PermissionGrant::new

source
fn PermissionGrant::new(window : String, origin : PermissionOrigin, extension : String, scope? : Json) -> PermissionGrant

#
PermissionGrant::origin

source

#
PermissionGrant::scope

source
fn PermissionGrant::scope(self : PermissionGrant) -> Json

#
PermissionGrant::window

source
fn PermissionGrant::window(self : PermissionGrant) -> String

#
PermissionOrigin

source
pub(all) enum PermissionOrigin {
  App
  Entry
} derive(Eq, 
Debug)

Selects the trusted page source covered by a permission grant.

#
PermissionOrigin::equal

source

#
PermissionOrigin::not_equal

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

#
PermissionOrigin::to_repr

source

#
TitlebarStyle

source
pub(all) enum TitlebarStyle {
  Default
  Overlay
} derive(Eq, 
Debug)

Controls whether web content remains below or extends beneath the native titlebar. Platforms without overlay support keep the default titlebar.

#
TitlebarStyle::equal

source

#
TitlebarStyle::not_equal

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

#
TitlebarStyle::output

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

#
TitlebarStyle::to_repr

source

#
TitlebarStyle::to_string

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

#
WindowManifest

source
pub struct WindowManifest {
  title : String
  width : Int
  height : Int
  size_hint : WindowSizeHint
  titlebar_style : TitlebarStyle
} derive(Eq, 
Debug)

Declarative window settings consumed by runtime manifests.

#
WindowManifest::equal

source

#
WindowManifest::new

source
fn WindowManifest::new(title : String, width : Int, height : Int, size_hint? : WindowSizeHint, titlebar_style? : TitlebarStyle) -> WindowManifest

Builds a manifest window configuration. This is the declarative window shape consumed by bootstrap and later turned into runtime WindowConfig values.

#
WindowManifest::not_equal

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

#
WindowManifest::output

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

#
WindowManifest::to_repr

source

#
WindowManifest::to_string

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

#
WindowSizeHint

source
pub(all) enum WindowSizeHint {
  None
  Fixed
  Min
  Max
} derive(Eq, 
Debug)

Declarative sizing hint used by manifest windows.

#
WindowSizeHint::equal

source

#
WindowSizeHint::not_equal

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

#
WindowSizeHint::output

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

#
WindowSizeHint::to_repr

source

#
WindowSizeHint::to_string

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

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io