nustack

Atoms

The atom kinds made concrete. Each doc deep-dives one atom kind: own mutation, accepted child slots, sub-shapes, examples.

Docs

  1. 00-map.md - cheatsheet: all atoms and sub-shapes in tables, plus the grand composition matrix.
  2. 01-ref.md - address atom: dynamic resolution, read / write slot roles.
  3. 02-query.md - value-producing atom: ScalarQuery, StreamQuery, Literal as the trivial Scalar.
  4. 03-command.md - mutating atom: ScalarCommand and the rules around it.
  5. 04-action.md - dual-citizen atom: mutates Context and yields. ScalarAction (Pop, Swap, Create) and StreamAction (Drain, DeleteReturning).
  6. 05-flow.md - Command-composing atom: Strategy and Control sub-shapes.
  7. 06-span.md - transparent Interaction sub-kind: Bracket (Snapshot, Transaction) and Policy (Retry, TryCatch).
  8. 07-form.md - typed surface over Refs and value-nodes, gated by the observability matrix.

On this page