Expand description
The application model: state, messages, commands, and the reducer.
Elm-style unidirectional flow: update(&mut App, Msg) is pure state
mutation — it never blocks and never touches the disk. Side effects are
requested as Commands that the main loop drains to the worker thread,
plus two main-thread specials ($EDITOR suspension and OSC 52 copy).
Structs§
- App
- The whole application state.
- Computations
State - Computations workspace state.
- Confirm
State - Confirm overlay state.
- Date
Picker State - Date-picker overlay state (stale extension / today pinning).
- DiagRow
- One row of the merged diagnostics overlay.
- Diagnostics
State - Diagnostics overlay state.
- Explorer
State - Explorer workspace state.
- FixPreview
State - Fix preview overlay state.
- Graph
State - Graph workspace state.
- NewConcept
State - New-concept form state.
- Outline
State - Outline overlay state.
- Palette
State - Palette overlay state.
- Refactor
State - Refactor modal state: intent → (decision) → preview.
- Toast
- A transient status message.
- TreeRow
- One visible row of the flattened tree.
- Trust
State - Mission-control workspace state.
Enums§
- Cohort
- A cohort filter applied to the attention queue.
- ColorBy
- The dimension the graph colors nodes by.
- Command
- A side-effect request executed by the worker thread.
- Comp
Pane - Which computations pane has focus.
- Confirm
Action - What a confirm overlay confirms.
- Diag
Filter - Diagnostics overlay filter.
- Explorer
Pane - Which explorer pane has focus.
- Load
Phase - What background work is in flight, for the status-bar spinner.
- Msg
- An input message consumed by
App::update. - Overlay
- An open overlay. Overlays stack;
Esccloses the topmost. - Palette
Mode - The palette’s mode, derived from its input prefix.
- Palette
Results - The palette’s computed results.
- Preview
Report - A dry-run (or applied) refactor report.
- Queue
Sort - Attention-queue sort order.
- Refactor
Op - A refactor operation, shared by preview and apply.
- Remove
Choice - The remove modal’s decision, mapped 1:1 to
okf_core::RemoveOptions. - Tree
RowKind - The payload of a tree row.
- TreeSel
- What the tree selection points at. Selection is held by identifier, not index, so it survives snapshot swaps.
- Trust
Panel - Which mission-control panel has focus.
- Verb
Kind - The refactor verb a modal drives.