mizchi/luna/core - mooncakes.io

README
U
AsyncState
U
Attr
U
ComponentRef
U
Context
U
EventHandler
U
MatchCase
U
Node
U
Owner
U
Resource
U
Signal
U
Trigger
U
TriggerType
U
TrustedHtml
U
VAsync
U
VElement
U
VErrorBoundary
U
VInternalRef
U
VSwitch
U
VWcIsland
V
action
V
all
V
any
V
async_
V
attr_dynamic
V
attr_dynamic_style
V
attr_handler
V
attr_static
V
attr_style
V
batch
V
batch_end
V
batch_start
V
combine2
V
combine3
V
combine4
V
component
V
component_ref
V
computed
V
create_context
V
create_root
V
create_root_with_dispose
V
deferred
V
effect
V
effect_once
V
effect_when
V
error_boundary
V
event_handler
V
flatten
V
for_each
V
fragment
V
get_owner
V
h
V
handler
V
handler_from_callback
V
has_dynamic_content
V
has_owner
V
internal_ref
V
match_case
V
memo
V
on
V
on_cleanup
V
on_immediate
V
on_mount
V
previous
V
previous_with_initial
V
provide
V
raw_html
V
raw_trusted_html
V
register_disposer
V
register_owner_cleanup
V
render_effect
V
resource
V
resource_rejected
V
resource_resolved
V
run_with_owner
V
select
V
show
V
signal
V
switch_
V
text
V
text_dyn
V
text_of
V
unsafe_trusted_html
V
untracked
V
use_context
V
watch
V
watch_immediate
V
wc_component_ref
V
wc_island

mizchi/luna/core does not have a README file

StaticDomAttr

type StaticDomAttr = Attr[Unit, String]

Static DOM attribute - no event handlers, string values

StaticDomNode

source

type StaticDomNode = Node[Unit, String]

Static DOM node - no event handlers, string attributes Use for SSR, static site generation, or pre-rendering

Attr

source

pub(all) enum Attr[E, A] {
  VStatic(A)
  VDynamic(() -> A)
  VHandler(EventHandler[E])
  VAction(String)
}

Attribute value that can be static or dynamic (signal-based) Type parameter A represents the attribute value type:

Web: A = String (HTML attributes are strings)
TUI: A = TuiAttrValue (typed values like Dimension, Color)

ComponentRef

source

pub(all) struct ComponentRef[T] {
  url : String
  props : T
  trigger : TriggerType
}

Component reference for type-safe Island embedding Represents a client-side Web Components Island that can be embedded in server-rendered HTML

url: Path to the client JavaScript (e.g., "/static/counter.js")
props: Component props (must be ToJson serializable)
trigger: When to hydrate the component

EventHandler

source

pub struct EventHandler[E] {
  callback : (E) -> Unit
}

Event handler type - newtype wrapper for callback function

EventHandler::get_callback

source

fn[E] EventHandler::get_callback(self : EventHandler[E]) -> ((E) -> Unit)

Get the callback function

MatchCase

source

pub struct MatchCase[E, A] {
  when : () -> Bool
  render : () -> Node[E, A]
}

Match case for Switch - pairs a condition with content

Node

source

pub(all) enum Node[E, A] {
  Element(VElement[E, A])
  Text(String)
  DynamicText(() -> String)
  Fragment(Array[Node[E, A]])
  Show(condition~ : () -> Bool, child~ : () -> Node[E, A])
  For(render~ : () -> Array[Node[E, A]])
  Component(render~ : () -> Node[E, A])
  WcIsland(VWcIsland[E, A])
  Async(VAsync[E, A])
  ErrorBoundary(VErrorBoundary[E, A])
  Switch(VSwitch[E, A])
  InternalRef(VInternalRef[E, A])
  RawHtml(String)
}

Virtual DOM node types Type parameter A represents the attribute value type (see Attr[E, A])

TriggerType

source

#alias(Trigger)
pub(all) enum TriggerType {
  Load
  Idle
  Visible
  Media(String)
  None
}

Hydration trigger types - when to hydrate a component

TriggerType::parse

source

fn TriggerType::parse(s : String) -> TriggerType

Parse TriggerType from string.

test {
  // Round-trip test: parse then to_string
  inspect(@core.TriggerType::parse("load").to_string(), content="load")
  inspect(@core.TriggerType::parse("idle").to_string(), content="idle")
  inspect(@core.TriggerType::parse("visible").to_string(), content="visible")
  inspect(@core.TriggerType::parse("none").to_string(), content="none")
  inspect(
    @core.TriggerType::parse("media:(min-width: 1024px)").to_string(),
    content="media:(min-width: 1024px)",
  )
}

TriggerType::to_string

source

fn TriggerType::to_string(self : TriggerType) -> String

Convert TriggerType to attribute value.

test {
  inspect(@core.TriggerType::Load.to_string(), content="load")
  inspect(@core.TriggerType::Idle.to_string(), content="idle")
  inspect(@core.TriggerType::Visible.to_string(), content="visible")
  inspect(
    @core.TriggerType::Media("(max-width: 768px)").to_string(),
    content="media:(max-width: 768px)",
  )
  inspect(@core.TriggerType::None.to_string(), content="none")
}

TrustedHtml

source

pub(all) struct TrustedHtml {
  content : String
}

Explicit wrapper for HTML that has already been trusted by the caller.

TrustedHtml::to_string

source

fn TrustedHtml::to_string(self : TrustedHtml) -> String

VAsync

source

pub struct VAsync[E, A] {
  render : async () -> Node[E, A]
  fallback : () -> Node[E, A]
  on_error : (Error) -> Node[E, A]?
}

Virtual Async node for async rendering with error handling Note: async functions implicitly raise Error, no need for raise? annotation

VElement

source

pub struct VElement[E, A] {
  tag : String
  attrs : Array[(String, Attr[E, A])]
  children : Array[Node[E, A]]
}

Virtual element node

VErrorBoundary

source

pub struct VErrorBoundary[E, A] {
  children : () -> Node[E, A] raise
  fallback : (Error, () -> Unit) -> Node[E, A] raise
}

Virtual ErrorBoundary node for catching rendering errors Similar to Solid.js ErrorBoundary - catches errors during:

Child component rendering
Effects and memos within children Does NOT catch:
Event handler errors
Async errors outside render cycle

VInternalRef

source

pub struct VInternalRef[E, A] {
  url : String
  state : String
  trigger : TriggerType
  styles : String
  children : Array[Node[E, A]]
}

Virtual Internal Reference node for type-safe Island embedding

VSwitch

source

pub struct VSwitch[E, A] {
  cases : Array[MatchCase[E, A]]
  fallback : () -> Node[E, A]?
}

Virtual Switch node - renders first matching case Similar to Solid.js /

cases: array of condition-content pairs, evaluated in order
fallback: optional content when no case matches

VWcIsland

source

pub struct VWcIsland[E, A] {
  name : String
  url : String
  styles : String
  state : String
  trigger : TriggerType
  children : Array[Node[E, A]]
}

Virtual Web Components Island node - Web Components based hydration unit Uses Declarative Shadow DOM for SSR and DOM Parts for partial updates

action

source

fn[E, V, Act : Show] action(a : Act) -> Attr[E, V]

Create an action attribute value - dispatches named action on event Used for declarative event handling with enum types: ("onclick", action(Increment)) // requires derive(Show)

Example:

pub enum MyAction { Increment; Decrement } derive(Show)
h("button", [("onclick", action(Increment))], [...])

async_

source

fn[E, A] async_(render~ : async () -> Node[E, A], fallback~ : () -> Node[E, A], on_error? : (Error) -> Node[E, A]?) -> Node[E, A]

Create an async VNode with fallback

render: async function that produces the content (may raise errors)
fallback: shown while loading or on error (if no on_error handler)
on_error: optional custom error UI handler

attr_dynamic

source

fn[E, A] attr_dynamic(getter : () -> A) -> Attr[E, A]

Create a dynamic attribute value. The value is computed lazily on each render.

test {
  let mut count = 0
  let attr : @core.Attr[Unit, String] = @core.attr_dynamic(fn() {
    "count-" + count.to_string()
  })
  guard attr is VDynamic(getter) else { fail("expected VDynamic") }
  inspect(getter(), content="count-0")
  count = 5
  inspect(getter(), content="count-5")
}

attr_dynamic_style

source

fn[E] attr_dynamic_style(getter : () -> String) -> Attr[E, String]

Create a dynamic style attribute value Note: For Web (A = String), the getter returns a style string

attr_handler

source

fn[E, A] attr_handler(handler : EventHandler[E]) -> Attr[E, A]

Create a handler attribute value

attr_static

source

fn[E, A] attr_static(value : A) -> Attr[E, A]

Create a static attribute value.

test {
  let attr : @core.Attr[Unit, String] = @core.attr_static("my-class")
  guard attr is VStatic(v) else { fail("expected VStatic") }
  inspect(v, content="my-class")
}

attr_style

source

fn[E] attr_style(style : String) -> Attr[E, String]

Create a style attribute value (string form, e.g. "color: red; margin: 10px") Note: For Web (A = String), pass the style string directly

component

source

fn[E, A] component(render : () -> Node[E, A]) -> Node[E, A]

Create a component VNode. Wraps a render function as a component boundary.

test {
  let node : @core.Node[Unit, String] = @core.component(fn() {
    @core.h("div", [], [@core.text("Component")])
  })
  guard node is Component(render~) else { fail("expected Component") }
  guard render() is Element(el) else { fail("expected Element") }
  inspect(el.tag, content="div")
}

component_ref

source

fn[T] component_ref(url : String, props : T, trigger? : TriggerType) -> ComponentRef[T]

Create a ComponentRef for a Web Components Island

component_tag_name

source

fn component_tag_name(url : String) -> String

Derive a valid custom element name for a component module URL. Plain filenames need a hyphen so browsers can attach Declarative Shadow DOM.

error_boundary

source

fn[E, A] error_boundary(children~ : () -> Node[E, A] raise, fallback~ : (Error, () -> Unit) -> Node[E, A] raise) -> Node[E, A]

Create an error boundary VNode Catches errors during child rendering and displays fallback UI

children: lazy function that produces child content (may throw)
fallback: function receiving (error, reset) that produces fallback UI
- error: the caught Error
- reset: function to retry rendering children

Example:

error_boundary(
  children=fn() { risky_component() },
  fallback=fn(err, reset) {
    h("div", [], [
      text("Error: " + err.to_string()),
      h("button", [("onclick", handler(fn(_) { reset() }))], [text("Retry")])
    ])
  }
)

event_handler

source

fn event_handler() -> EventHandler[Unit]

Create a placeholder event handler for SSR (noop)

for_each

source

fn[E, A] for_each(items : () -> Array[Node[E, A]]) -> Node[E, A]

Create a list VNode. Renders a dynamic list of nodes.

test {
  let items = ["a", "b", "c"]
  let node : @core.Node[Unit, String] = @core.for_each(fn() {
    items.map(fn(s) { @core.text(s) })
  })
  guard node is For(render~) else { fail("expected For") }
  inspect(render().length(), content="3")
}

fragment

source

fn[E, A] fragment(children : Array[Node[E, A]]) -> Node[E, A]

Create a fragment VNode. Groups multiple nodes without a wrapper element.

test {
  let node : @core.Node[Unit, String] = @core.fragment([
    @core.text("Hello"),
    @core.text(" "),
    @core.text("World"),
  ])
  guard node is Fragment(children) else { fail("expected Fragment") }
  inspect(children.length(), content="3")
}

h

source

fn[E, A] h(tag : String, attrs : Array[(String, Attr[E, A])], children : Array[Node[E, A]]) -> Node[E, A]

Create a VNode element. The main building block for creating virtual DOM elements.

test {
  let node : @core.Node[Unit, String] = @core.h(
    "div",
    [("class", @core.attr_static("container"))],
    [@core.text("Hello")],
  )
  guard node is Element(el) else { fail("expected Element") }
  inspect(el.tag, content="div")
}

handler

source

fn[E] handler(f : (E) -> Unit) -> EventHandler[E]

Create an event handler from a callback.

test {
  let h : @core.EventHandler[Int] = @core.handler(fn(x) { let _ = x * 2 })
  inspect(h.get_callback()(5), content="()")
}

handler_from_callback

source

fn handler_from_callback(f : () -> Unit) -> EventHandler[Unit]

Create an event handler from a simple callback (ignores event, for SSR compatibility)

has_dynamic_content

source

fn[E, A] has_dynamic_content(attrs : Array[(String, Attr[E, A])]) -> Bool

Check if element has dynamic content that needs hydration

internal_ref

source

fn[E, A] internal_ref(url : String, state : String, trigger? : TriggerType, styles? : String, children? : Array[Node[E, A]]) -> Node[E, A]

Create an internal reference VNode (for server_dom.wc_island())

match_case

source

fn[E, A] match_case(when~ : () -> Bool, render~ : () -> Node[E, A]) -> MatchCase[E, A]

Create a match case for Switch

when: condition function, evaluated lazily
render: content to render when condition is true

raw_html

source

fn[E, A] raw_html(content : String) -> Node[E, A]

Create a raw HTML VNode (content is not escaped). Use with caution: content should be trusted or sanitized.

test {
  let node : @core.Node[Unit, String] = @core.raw_html("<strong>Bold</strong>")
  guard node is RawHtml(html) else { fail("expected RawHtml") }
  inspect(html, content="<strong>Bold</strong>")
}

raw_trusted_html

source

fn[E, A] raw_trusted_html(content : TrustedHtml) -> Node[E, A]

Create a raw HTML VNode from an explicit trusted wrapper.

show

source

fn[E, A] show(when : () -> Bool, child : () -> Node[E, A]) -> Node[E, A]

Create a conditional VNode. Only renders the child when the condition is true.

test {
  let visible = true
  let node : @core.Node[Unit, String] = @core.show(fn() { visible }, fn() {
    @core.text("Visible!")
  })
  guard node is Show(condition~, ..) else { fail("expected Show") }
  inspect(condition(), content="true")
}

switch_

source

fn[E, A] switch_(cases~ : Array[MatchCase[E, A]], fallback? : () -> Node[E, A]?) -> Node[E, A]

Create a switch VNode - renders first matching case Similar to Solid.js /

Example:

switch_(
  cases=[
    match_case(when=fn() { state.get() == 1 }, render=fn() { text("One") }),
    match_case(when=fn() { state.get() == 2 }, render=fn() { text("Two") }),
  ],
  fallback=Some(fn() { text("Other") })
)

text

source

fn[E, A] text(content : String) -> Node[E, A]

Create a text VNode.

test {
  let node : @core.Node[Unit, String] = @core.text("Hello World")
  guard node is Text(s) else { fail("expected Text") }
  inspect(s, content="Hello World")
}

text_dyn

source

fn[E, A] text_dyn(content : () -> String) -> Node[E, A]

Create a dynamic text VNode. The content is computed lazily on each render.

test {
  let mut count = 5
  let node : @core.Node[Unit, String] = @core.text_dyn(fn() {
    count.to_string()
  })
  guard node is DynamicText(getter) else { fail("expected DynamicText") }
  inspect(getter(), content="5")
  count = 10
  inspect(getter(), content="10")
}

unsafe_trusted_html

source

fn unsafe_trusted_html(content : String) -> TrustedHtml

wc_component_ref

source

fn[T] wc_component_ref(url : String, props : T, trigger? : TriggerType) -> ComponentRef[T]

Alias for component_ref — kept for backward source compatibility within the workspace.

wc_island

source

fn[E, A] wc_island(name : String, url : String, styles : String, state : String, children : Array[Node[E, A]], trigger? : TriggerType) -> Node[E, A]

Create a Web Components island VNode for partial hydration Uses Declarative Shadow DOM for SSR

Source Files

Site source Report issue Packages Build queue Skills Statistics

#StaticDomAttr

#StaticDomNode

#Attr

#ComponentRef

#EventHandler

#EventHandler::get_callback

#MatchCase

#Node

#TriggerType

#TriggerType::parse

#TriggerType::to_string

#TrustedHtml

#TrustedHtml::to_string

#VAsync

#VElement

#VErrorBoundary

#VInternalRef

#VSwitch

#VWcIsland

#action

#async_

#attr_dynamic

#attr_dynamic_style

#attr_handler

#attr_static

#attr_style

#component

#component_ref

#component_tag_name

#error_boundary

#event_handler

#for_each

#fragment

#h

#handler

#handler_from_callback

#has_dynamic_content

#internal_ref

#match_case

#raw_html

#raw_trusted_html

#show

#switch_

#text

#text_dyn

#unsafe_trusted_html

#wc_component_ref

#wc_island

Source Files

StaticDomAttr

StaticDomNode

Attr

ComponentRef

EventHandler

EventHandler::get_callback

MatchCase

Node

TriggerType

TriggerType::parse

TriggerType::to_string

TrustedHtml

TrustedHtml::to_string

VAsync

VElement

VErrorBoundary

VInternalRef

VSwitch

VWcIsland

action

async_

attr_dynamic

attr_dynamic_style

attr_handler

attr_static

attr_style

component

component_ref

component_tag_name

error_boundary

event_handler

for_each

fragment

h

handler

handler_from_callback

has_dynamic_content

internal_ref

match_case

raw_html

raw_trusted_html

show

switch_

text

text_dyn

unsafe_trusted_html

wc_component_ref

wc_island