Module program 

The compiled program and the wire it speaks on, from beck_host — the half of this platform that is program-shaped rather than machine-shaped, and that a browser tab therefore also runs (docs/17-playground.md §17.2). Re-exported at the paths they have always had: beck_rt::program::Runtime is beck_host::program::Runtime. The bridge between a compiled program and the runtime that drives it.

This is the “Roc platform” of Beck (docs/05-tier-lowering.md §5.2): an effectful Rust host owning I/O, scheduling and memory, executing the pure program. The program supplies four closures the splitter sliced out of the signal graph — validate, the fold, its initial state, and the view — and the host supplies everything those closures are not allowed to have.

Note what is not here: no domain types, no todo, no HTML template. That is the whole claim of Phase 1 over Phase 0 — the same runtime, with the application arriving as compiled Core rather than as hand-written Rust.

Structs

At

A viewer, somewhere.

Runtime

The compiled program plus the capabilities the host holds on its behalf.

Traits

Viewer

Who a view is rendered for, or a command proposed by.

Functions

describe

A Core value’s shape, for beck explain.