🥮 mooncakes.io
    Sign in

    #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