Expand description
Bounded, reversible expression-tree outline over SIM’s standard view stack.
ExpressionTreeSurfaceCodec implements
sim_lib_view::SurfaceCodec. Its input is an ordinary
ExpressionTreeSnapshot value: collapsed nodes carry no fetched child or
face payload, while expanded child pages are either complete or end in an
explicit continuation. The codec projects that one value to desktop and
phone layouts from sim_lib_view::SurfaceCaps, decodes standard Intents,
and commits them to existing expr-tree/* operations with their declared
capabilities.
Structs§
- Expression
Tree Snapshot - One revisioned, finite surface snapshot.
- Expression
Tree Surface Codec - Reversible, stateless codec for a revisioned expression-tree snapshot.
- Face
Snapshot - One already bounded source or result face.
- Node
Detail - Expanded details for one cell row.
- Node
Snapshot - One finite directory or cell snapshot.
- Receipt
Summary - Bounded calculation-receipt facts shown in one outline row.
- Timestamp
Summary - Optional human timestamps used only for explanation.
Enums§
- Child
Page - Fetched child state for an expanded directory.
- Face
State - A source or result face outcome safe to expose to a surface.
- Freshness
- Every non-evaluating expression-tree freshness state.
Constants§
- EXPRESSION_
TREE_ SURFACE_ CODEC_ ID - Stable registry id for the expression-tree reversible surface.
Functions§
- crate_
identity - Returns the crate’s public view-library identity.
- expression_
tree_ surface_ codec_ symbol - Returns the expression-tree surface registry symbol.
- register_
expression_ tree_ surface_ codec - Registers the canonical expression-tree reversible surface in a view registry.
- runtime_
identity - Returns the runtime library identity composed by this view.