Module program 

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.