Наблюдение: watch, inspect, describe

Модель наблюдают двумя способами: код приложения следит за единицей, а инструмент — например, DevTools, журнал или тест — исследует модель целиком.

watch

watch(unit, fn, {scope?}) вызывает fn при каждом обновлении unit и возвращает Subscription: функцию прекращения наблюдения; вызов .unsubscribe() делает то же самое.

• При заданном scope наблюдатель видит обновления только этой изолированной области состояния (scope), но не за её пределами.
• Без него наблюдатель видит работу вне всех областей.
• Наблюдатель также принадлежит поколению кода, которое его создало. Когда горячая замена завершает это поколение, наблюдатель завершается вместе с ним, даже если область продолжает жить.

import { allSettled, event, fork, store, watch } from "@fiberfx/hypergraph";

const increment = event();
const $count = store(0).on(increment, (n) => n + 1);

export async function seen() {
  const scope = fork();
  const values: number[] = [];
  const stop = watch($count, (n) => values.push(n), { scope });
  await allSettled(increment, { scope });
  increment(); // outside the scope: not seen
  stop();
  return values; // [1]
}

Вектор watch.scoped-store-not-global фиксирует строку с пометкой not seen: наблюдатель области ничего не записывает для вызова вне неё.

watch и unit.watch

Для хранилища (store) они намеренно различаются:

Используйте watch для реакции в области. Операция watch в тестовом векторе соответствия записывает также текущее состояние, поэтому трасса, например ромба из урока о связях, начинается с состояния каждого хранилища.

inspect

inspect импортируется из отдельной точки входа @fiberfx/hypergraph/inspect, поэтому приложение без инспекции не включает его в свой состав.

inspect({scope?, kinds?, fn}) вызывает fn для каждого наблюдения и возвращает Subscription.

• При заданном scope видит только эту область. Без него видит работу вне всех областей и не видит работу внутри них.
• При заданном kinds видит только перечисленные виды.
• Когда отписывается последний подписчик, ядро прекращает запись, поэтому после этого инспекция ничего не стоит.

Наблюдение имеет вид {type, unit, scope, gen, value, cause}. unit — sid единицы либо идентификатор времени выполнения, если компилятор ещё не назначил ей имя. cause — ближайшая предшествующая единица в запуске либо null для внешнего вызова.

import { allSettled, event, fork, store } from "@fiberfx/hypergraph";
import { inspect, type Observation } from "@fiberfx/hypergraph/inspect";

const increment = event();
const $count = store(0, { sid: "count" }).on(increment, (n) => n + 1);

export async function updates() {
  const scope = fork();
  const seen: Observation[] = [];
  const subscription = inspect({ scope, kinds: ["update"], fn: (o) => seen.push(o) });
  await allSettled(increment, { scope });
  subscription.unsubscribe();
  return seen.filter((o) => o.unit === "count").map((o) => o.value);
}

Виды наблюдений

skip — информационное наблюдение, которое можно исключить через kinds; оно отвечает на вопрос, почему sample не сработал. declare поступает инспекторам вне областей. Declaration имеет вид {unit, kind, sid?, name?, derived?, owner?, gen}; owner пока не задаётся — его должен назначить компилятор.

declare с пометкой fresh обозначает хранилище, которое есть только в новом поколении: оно начинает с исходного значения, ничего не потеряно, поэтому это информация, а не сброс (вектор hmr.new-is-information-not-a-reset).

describe

describe(reason) из той же точки входа формулирует причину сброса для разработчика — для консоли, панели поверх страницы или DevTools:

import { describe } from "@fiberfx/hypergraph/inspect";

export const line = describe({ kind: "shape", from: "runtime:number", to: "runtime:string" });
// "shape changed from runtime:number to runtime:string"

Типы Observation, Declaration, Kind и ResetReason также экспортируются из @fiberfx/hypergraph/inspect.