foldkit 0.133.0 → 0.135.0

package/dist/test/scene.js

@@ -1,6 +1,7 @@
-import { Array, Context, Effect, Function, Option, Predicate, String as String_, pipe, } from 'effect';
+import { Array, Context, Effect, Equal, Function, Option, Predicate, String as String_, pipe, } from 'effect';
 import { dual } from 'effect/Function';
-import { FOLDKIT_MOUNT_KEY, FileHandlerSymbol, __clearRuntime as clearHtmlRuntime, __setRuntime as setHtmlRuntime, } from '../html/index.js';
+import { kebabToPascal } from '../customElement/index.js';
+import { FOLDKIT_MOUNT_KEY, FileHandlerSymbol, __clearRuntime as clearHtmlRuntime, __htmlBuilder as htmlBuilderFor, __setRuntime as setHtmlRuntime, } from '../html/index.js';
 import { MountTracker } from '../mount/index.js';
 import { Dispatch } from '../runtime/index.js';
 import { assertAllCommandsResolved, assertAllMountsResolved, assertAllUnmountsAcknowledged, assertExactCommands, assertExactMounts, assertHasCommands, assertHasMounts, assertNoUnacknowledgedUnmounts, assertNoUnresolvedCommands, assertNoUnresolvedMounts, assertResolveUnambiguous, assertZeroCommands, assertZeroMounts, formatCommand, formatMatcher, formatMountList, formatMountMatcher, mountMatches, resolveAllInternal, resolveByMatcher, resolveMountByMatcher, } from './internal.js';
@@ -128,7 +129,7 @@ const renderView = (viewFn, model, dispatch) => {
     setHtmlRuntime(dispatch.dispatchSync, sceneContext);
     let result;
     try {
-        result = viewFn(model);
+        result = viewFn(model, htmlBuilderFor());
     }
     finally {
         clearHtmlRuntime();
@@ -157,7 +158,7 @@ const EVENT_NAMES = {
     pointerdown: 'OnPointerDown',
     pointerup: 'OnPointerUp',
 };
-const captureFromElement = (simulation, element, description, eventName, invokeHandler) => {
+const maybeCaptureFromElement = (simulation, element, description, eventName, invokeHandler) => {
     const internal = toInternal(simulation);
     const maybeHandler = Option.fromNullishOr(element.data?.on?.[eventName]);
     if (Option.isNone(maybeHandler)) {
@@ -168,27 +169,9 @@ const captureFromElement = (simulation, element, description, eventName, invokeH
     internal.capturingDispatch.reset();
     // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
     invokeHandler(maybeHandler.value);
-    const captured = internal.capturingDispatch.getCapturedMessage();
-    if (Predicate.isUndefined(captured)) {
-        return simulation;
-    }
-    assertNoUnresolvedCommands(internal.commands, 'when an interaction dispatched a new Message');
-    assertNoUnresolvedMounts(internal.mounts, 'when an interaction dispatched a new Message');
-    assertNoUnacknowledgedUnmounts(unacknowledgedEndedMountsOf(internal.mountSlots), 'when an interaction dispatched a new Message');
-    /* eslint-disable @typescript-eslint/consistent-type-assertions */
-    const capturedMessage = captured;
-    const result = internal.updateFn(internal.model, capturedMessage);
-    const [nextModel, commands] = result;
-    const outMessage = result.length === 3 ? result[2] : internal.outMessage;
-    return {
-        ...internal,
-        model: nextModel,
-        message: capturedMessage,
-        commands: Array.appendAll(internal.commands, commands),
-        outMessage,
-    };
-    /* eslint-enable @typescript-eslint/consistent-type-assertions */
+    return Option.map(Option.fromNullishOr(internal.capturingDispatch.getCapturedMessage()), captured => applyExternalMessage(simulation, captured, 'when an interaction dispatched a new Message'));
 };
+const captureFromElement = (simulation, element, description, eventName, invokeHandler) => Option.getOrElse(maybeCaptureFromElement(simulation, element, description, eventName, invokeHandler), () => simulation);
 const invokeAndCapture = (simulation, target, eventName, invokeHandler) => {
     const internal = toInternal(simulation);
     const scopedTarget = applyScopeToTarget(internal.scope, target);
@@ -262,8 +245,7 @@ const assertFileHandler = (handler, expectedTag, helperName) => {
 };
 // STEPS
 /** Sets the initial Model for a scene test. */
-export { with_ as with };
-const with_ = (model) => {
+export const given = (model) => {
     const step = (simulation) => {
         const internal = toInternal(simulation);
         // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
@@ -415,6 +397,119 @@ const expectEndedMountsStep = (...matchers) => (simulation) => {
     };
     /* eslint-enable @typescript-eslint/consistent-type-assertions */
 };
+const applyExternalMessage = (simulation, message, context) => {
+    const internal = toInternal(simulation);
+    assertNoUnresolvedCommands(internal.commands, context);
+    assertNoUnresolvedMounts(internal.mounts, context);
+    assertNoUnacknowledgedUnmounts(unacknowledgedEndedMountsOf(internal.mountSlots), context);
+    /* eslint-disable @typescript-eslint/consistent-type-assertions */
+    const messageAsParent = message;
+    const result = internal.updateFn(internal.model, messageAsParent);
+    const [nextModel, commands] = result;
+    const outMessage = result.length === 3 ? result[2] : internal.outMessage;
+    return {
+        ...internal,
+        model: nextModel,
+        message: messageAsParent,
+        commands: Array.appendAll(internal.commands, commands),
+        outMessage,
+    };
+    /* eslint-enable @typescript-eslint/consistent-type-assertions */
+};
+/** Feeds a Message through update as if a Subscription had emitted it,
+ *  then re-renders. Use it for Messages whose real cause is a Subscription
+ *  (a timer tick, a WebSocket frame, a global listener), which have no
+ *  element in the rendered tree to interact with. Do NOT reach for it when
+ *  the Message has a DOM affordance: click the actual button instead, so
+ *  the test exercises the handler wiring this step skips. Like an
+ *  interaction, it throws if unresolved Commands, unresolved Mounts, or
+ *  unacknowledged unmounts are pending. */
+const emitSubscriptionMessage = (message) => (simulation) => applyExternalMessage(simulation, message, 'when a Subscription emitted a new Message');
+const MANAGED_RESOURCE_CONTEXT = 'when a ManagedResource dispatched a new Message';
+/** Declares that a ManagedResource's acquire succeeded, feeding the entry's
+ *  `onAcquired` Message through update the way the runtime would. The step
+ *  takes exactly the arguments the entry's `onAcquired` declares: a handler
+ *  that consumes the acquired value needs one here, and a handler that
+ *  ignores it needs none. Requires the current Model to request the
+ *  resource: the runtime only acquires while `modelToMaybeRequirements`
+ *  returns Some, so drive the Model into that state through real steps
+ *  first. */
+const acquireManagedResource = (entry, ...args) => (simulation) => {
+    const internal = toInternal(simulation);
+    const maybeRequirements = entry.modelToMaybeRequirements(internal.model);
+    if (Option.isNone(maybeRequirements)) {
+        throw new Error(`I tried to acquire the ManagedResource "${entry.resource.key}" but the current Model does not request it.\n\n` +
+            'modelToMaybeRequirements returned None. The runtime only acquires while the Model requests the resource, so drive that transition through real steps first.');
+    }
+    return applyExternalMessage(simulation, entry.onAcquired(...args), MANAGED_RESOURCE_CONTEXT);
+};
+/** Declares that a ManagedResource's acquire failed, feeding the entry's
+ *  `onAcquireError(error)` Message through update the way the runtime
+ *  would. Requires the current Model to request the resource, the same as
+ *  {@link acquireManagedResource}: the runtime only attempts acquisition
+ *  while `modelToMaybeRequirements` returns Some. */
+const failAcquireManagedResource = (entry, error) => (simulation) => {
+    const internal = toInternal(simulation);
+    const maybeRequirements = entry.modelToMaybeRequirements(internal.model);
+    if (Option.isNone(maybeRequirements)) {
+        throw new Error(`I tried to fail acquiring the ManagedResource "${entry.resource.key}" but the current Model does not request it.\n\n` +
+            'modelToMaybeRequirements returned None. The runtime only attempts acquisition while the Model requests the resource, so drive that transition through real steps first.');
+    }
+    return applyExternalMessage(simulation, entry.onAcquireError(error), MANAGED_RESOURCE_CONTEXT);
+};
+/** Declares that a ManagedResource was released, feeding the entry's
+ *  `onReleased()` Message through update. Models the runtime's Some to
+ *  None transition, which releases and then dispatches `onReleased()`, so
+ *  it requires the current Model to no longer request the resource: drive
+ *  the Model out of the requesting state through real steps first. The
+ *  runtime's Some to Some re-acquire (structurally changed requirements),
+ *  which also dispatches `onReleased()` and then `onAcquired(value)` while
+ *  the Model still requests the resource, has no step yet. */
+const releaseManagedResource = (entry) => (simulation) => {
+    const internal = toInternal(simulation);
+    const maybeRequirements = entry.modelToMaybeRequirements(internal.model);
+    if (Option.isSome(maybeRequirements)) {
+        throw new Error(`I tried to release the ManagedResource "${entry.resource.key}" but the current Model still requests it.\n\n` +
+            'modelToMaybeRequirements returned Some. This step models the Some to None transition, so drive the Model out of the requesting state through real steps first.');
+    }
+    return applyExternalMessage(simulation, entry.onReleased(), MANAGED_RESOURCE_CONTEXT);
+};
+/** Dispatches a CustomEvent a rendered custom element declares, feeding the
+ *  Message its `On*` event mapping produces through update. The event name
+ *  and detail are typed by the spec's event Schemas. The element must be in
+ *  the rendered tree with the event's attribute attached, so the test
+ *  exercises the same mapping the browser event would. */
+const emitCustomElementEvent = (spec, target, eventName, detail) => (simulation) => {
+    if (!Object.hasOwn(spec.events, eventName)) {
+        const declared = Object.keys(spec.events).join(', ');
+        throw new Error(`I tried to emit "${eventName}" but the '${spec.tag}' element does not declare it.\n\n` +
+            `Declared events: ${String_.isEmpty(declared) ? '(none)' : declared}.`);
+    }
+    const internal = toInternal(simulation);
+    const scopedTarget = applyScopeToTarget(internal.scope, target);
+    const { maybeElement, description } = resolveTarget(internal.html, scopedTarget);
+    if (Option.isNone(maybeElement)) {
+        throw new Error(`I could not find an element matching ${description}.\n\n` +
+            'Check that your selector matches an element in the current view.');
+    }
+    const element = maybeElement.value;
+    if (element.data?.on?.[eventName] === undefined) {
+        throw new Error(`I found an element matching ${description} but it has no ${eventName} handler.\n\n` +
+            `Make sure the element has the On${kebabToPascal(eventName)} attribute from its CustomElement builder.`);
+    }
+    // NOTE: the OnCustomEvent handler only dispatches when the event is a
+    // real CustomEvent instance, so the synthetic event must be constructed
+    // with `new CustomEvent(...)`, never a plain object literal like the
+    // other interaction helpers use. A None capture means nothing was
+    // dispatched, and since the handler dispatches unconditionally for a
+    // genuine CustomEvent, that can only be the instanceof check failing
+    // (a CustomEvent realm mismatch in the test environment).
+    const maybeNext = maybeCaptureFromElement(simulation, element, description, eventName, handler => {
+        handler(new CustomEvent(eventName, { detail }));
+    });
+    return Option.getOrThrowWith(maybeNext, () => new Error(`I dispatched "${eventName}" on the element matching ${description} but its handler produced no Message.\n\n` +
+        "The OnCustomEvent handler only dispatches for CustomEvent instances, so the synthetic event failed the runtime's instanceof check. This points to a CustomEvent realm mismatch in the test environment."));
+};
 /** Steps that operate on the pending Commands of a scene simulation.
  *  Destructure as `const { Command } = Scene` for concise call sites. */
 export const Command = {
@@ -450,6 +545,73 @@ export const Mount = {
      *  every Mount that fires and then unmounts during a scene. */
     expectEnded: expectEndedMountsStep,
 };
+/** Steps that model Messages arriving from a Subscription.
+ *  Destructure as `const { Subscription } = Scene` for concise call sites. */
+export const Subscription = {
+    /** Feeds a Message through update as if a Subscription had emitted it,
+     *  then re-renders. Only for Messages whose real cause is a Subscription;
+     *  if the Message has a DOM affordance, click it instead. */
+    emit: emitSubscriptionMessage,
+};
+/** Steps that model the lifecycle Messages of a ManagedResource. The test
+ *  declares the lifecycle outcome the way `Scene.Command.resolve` declares a
+ *  Command result, and each step checks the current Model against the
+ *  entry's `modelToMaybeRequirements` gate first, mirroring the runtime's
+ *  None to Some and Some to None transitions. The Some to Some re-acquire
+ *  transition has no step yet. Destructure as
+ *  `const { ManagedResource } = Scene` for concise call sites. */
+export const ManagedResource = {
+    /** Declares a successful acquire, feeding the entry's `onAcquired` Message
+     *  through update. Takes exactly the arguments `onAcquired` declares. The
+     *  current Model must request the resource. */
+    acquire: acquireManagedResource,
+    /** Declares a failed acquire, feeding `onAcquireError(error)` through
+     *  update. The current Model must request the resource. */
+    failAcquire: failAcquireManagedResource,
+    /** Declares a release, feeding `onReleased()` through update. The current
+     *  Model must no longer request the resource. */
+    release: releaseManagedResource,
+};
+/** Steps that model CustomEvents arriving from a rendered custom element.
+ *  Destructure as `const { CustomElement } = Scene` for concise call sites. */
+export const CustomElement = {
+    /** Dispatches a declared CustomEvent through the element's event mapping.
+     *  The event name and detail are typed by the spec's event Schemas. */
+    emit: emitCustomElementEvent,
+};
+/** Asserts that the OutMessage is Some with the expected value.
+ *
+ *  The tracked OutMessage is the third element of the most recent update
+ *  result that had one. An update branch that returns a two-tuple leaves
+ *  the previous value latched in place, so keep every branch of an
+ *  OutMessage-returning update on the three-tuple shape, returning
+ *  `Option.none()` when there is nothing to report. */
+export const expectOutMessage = (expected) => (simulation) => {
+    const internal = toInternal(simulation);
+    const outMessage = internal.outMessage;
+    if (!Option.isOption(outMessage) ||
+        Option.isNone(outMessage) ||
+        !Equal.equals(outMessage.value, expected)) {
+        throw new Error(`Expected OutMessage:\n\n    Some(${JSON.stringify(expected)})\n\nBut got:\n\n    ${JSON.stringify(outMessage)}`);
+    }
+    return simulation;
+};
+/** Asserts that the OutMessage is None.
+ *
+ *  The tracked OutMessage is the third element of the most recent update
+ *  result that had one. An update branch that returns a two-tuple leaves
+ *  the previous value latched in place, so keep every branch of an
+ *  OutMessage-returning update on the three-tuple shape, returning
+ *  `Option.none()` when there is nothing to report. */
+export const expectNoOutMessage = () => (simulation) => {
+    const internal = toInternal(simulation);
+    const outMessage = internal.outMessage;
+    if (!Predicate.isUndefined(outMessage) &&
+        !(Option.isOption(outMessage) && Option.isNone(outMessage))) {
+        throw new Error(`Expected no OutMessage but got:\n\n    ${JSON.stringify(outMessage)}`);
+    }
+    return simulation;
+};
 /** Runs a function for side effects (e.g. assertions) without breaking the step chain. */
 export const tap = (f) => (simulation) => {
     f(simulation);
@@ -960,6 +1122,24 @@ export const expectAll = (locatorAll) => ({
     ...buildExpectAllChain(locatorAll, false),
     not: buildExpectAllChain(locatorAll, true),
 });
+// VIEW ADAPTERS
+/** Adapts a Submodel view that declares `ViewInputs` to the `(model, h)`
+ *  shape `Scene.scene` takes. `defaults` supplies the full `ViewInputs`
+ *  once; the returned factory accepts per-test overrides for everything
+ *  except `toView`, so tests vary value inputs while the renderer stays
+ *  pinned:
+ *
+ *  ```ts
+ *  const sceneView = Scene.withViewInputs(view, {
+ *    value: 5,
+ *    toView: testToView,
+ *  })
+ *
+ *  Scene.scene({ update, view: sceneView() }, ...)
+ *  Scene.scene({ update, view: sceneView({ isDisabled: true }) }, ...)
+ *  ```
+ */
+export const withViewInputs = (view, defaults) => (overrides) => (model, h) => view(model, { ...defaults, ...overrides }, h);
 // SCENE
 /** Executes a scene test. Throws if any Commands remain unresolved. */
 export const scene = (config, ...steps) => {

package/dist/test/story.d.ts

@@ -26,7 +26,7 @@ export type StorySimulation<Model, Message, OutMessage = undefined> = Readonly<{
     outMessage: OutMessage;
 }>;
 /** A callable step that sets the initial Model. Carries phantom type for compile-time validation. */
-export type WithStep<Model> = Readonly<{
+export type GivenStep<Model> = Readonly<{
     _phantomModel: Model;
 }> & (<M, Message, OutMessage = undefined>(simulation: StorySimulation<M, Message, OutMessage>) => StorySimulation<M, Message, OutMessage>);
 /** A model-assertion step produced by {@link model}. */
@@ -34,12 +34,11 @@ export type ModelStep<Model> = Readonly<{
     readonly _tag: 'ModelStep';
     readonly assert: (model: Model) => void;
 }>;
-/** A single step in a story: a {@link WithStep}, a {@link ModelStep},
+/** A single step in a story: a {@link GivenStep}, a {@link ModelStep},
  *  or a simulation transform. */
-export type StoryStep<Model> = WithStep<NoInfer<Model>> | ModelStep<NoInfer<Model>> | ((sim: StorySimulation<any, any, any>) => StorySimulation<any, any, any>);
+export type StoryStep<Model> = GivenStep<NoInfer<Model>> | ModelStep<NoInfer<Model>> | ((sim: StorySimulation<any, any, any>) => StorySimulation<any, any, any>);
 /** Sets the initial Model for a test story. */
-export { with_ as with };
-declare const with_: <Model>(model: Model) => WithStep<Model>;
+export declare const given: <Model>(model: Model) => GivenStep<Model>;
 /** Sends a Message through update. Commands stay pending until resolve or
  *  resolveAll. */
 export declare const message: <MessageInput>(message_: MessageInput) => <Model, Message, OutMessage>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;

package/dist/test/story.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"story.d.ts","sourceRoot":"","sources":["../../src/test/story.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAS,MAAM,EAAmB,MAAM,QAAQ,CAAA;AAEtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,KAAK,KAAK,aAAa,MAAM,mCAAmC,CAAA;AACvE,OAAO,KAAK,EACV,UAAU,EAEV,cAAc,EACd,QAAQ,EAET,MAAM,eAAe,CAAA;AActB,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAA;AAEpD;;8EAE8E;AAC9E,KAAK,kBAAkB,CAAC,aAAa,GAAG,OAAO,IAAI,QAAQ,CAAC;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;oEAIoE;AACpE,KAAK,2BAA2B,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,IAC/D,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GACtC,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAC5E,aAAa,CAAC,kBAAkB,CAC9B,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,GACD,aAAa,CAAC,2BAA2B,CACvC,IAAI,EACJ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,CAAA;AAEL,yDAAyD;AACzD,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAC7E,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACnC,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAEF,qGAAqG;AACrG,MAAM,MAAM,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC;IAAE,aAAa,EAAE,KAAK,CAAA;CAAE,CAAC,GAC9D,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EAClC,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAChD,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAE/C,wDAAwD;AACxD,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;CACxC,CAAC,CAAA;AAEF;iCACiC;AACjC,MAAM,MAAM,SAAS,CAAC,KAAK,IACvB,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GACxB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GACzB,CAAC,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;AA8B7E,+CAA+C;AAC/C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,QAAA,MAAM,KAAK,GAAI,KAAK,EAAE,OAAO,KAAK,KAAG,QAAQ,CAAC,KAAK,CAiBlD,CAAA;AAED;kBACkB;AAClB,eAAO,MAAM,OAAO,GACjB,YAAY,EAAE,UAAU,YAAY,MACpC,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAoB5C,CAAA;AA4EH,4DAA4D;AAC5D,eAAO,MAAM,KAAK,GAAI,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,KAAG,SAAS,CAAC,KAAK,CAGtE,CAAA;AAqCF;yEACyE;AACzE,eAAO,MAAM,OAAO;IAClB,yEAAyE;;SAlHxE,IAAI,SAAS,MAAM,EAAE,aAAa,cACrB,2BAA2B,CAAC,IAAI,EAAE,aAAa,CAAC,iBAC7C,aAAa,GAC3B,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACxC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;SAC/C,aAAa,YACF,kBAAkB,CAAC,aAAa,CAAC,iBAC5B,aAAa,GAC3B,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACxC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;;IAyGhD;;;;gFAI4E;0BA/D3E,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,gBACjB,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,MAEjD,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA4D9C,sEAAsE;sCA3CxD,aAAa,CAAC,cAAc,CAAC,MAC1C,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA0C9C,iGAAiG;wCAhCnF,aAAa,CAAC,cAAc,CAAC,MAC1C,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA+B9C,kDAAkD;gCAvBjD,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;CAuBtC,CAAA;AAEV,mEAAmE;AACnE,eAAO,MAAM,gBAAgB,GAC1B,QAAQ,EAAE,UAAU,QAAQ,MAC5B,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KACrE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAe3D,CAAA;AAEH,2CAA2C;AAC3C,eAAO,MAAM,kBAAkB,SAE5B,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KACrE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAc3D,CAAA;AAIH,uEAAuE;AACvE,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,QAAQ,EAAE,CACR,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAC5D,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GACjD,IAAI,CAAA;IACP,CAAC,KAAK,EAAE,OAAO,EACb,QAAQ,EAAE,CACR,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,EAChD,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GACjD,IAAI,CAAA;CAoCR,CAAA"}
+{"version":3,"file":"story.d.ts","sourceRoot":"","sources":["../../src/test/story.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAS,MAAM,EAAmB,MAAM,QAAQ,CAAA;AAEtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,KAAK,KAAK,aAAa,MAAM,mCAAmC,CAAA;AACvE,OAAO,KAAK,EACV,UAAU,EAEV,cAAc,EACd,QAAQ,EAET,MAAM,eAAe,CAAA;AActB,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAA;AAEpD;;8EAE8E;AAC9E,KAAK,kBAAkB,CAAC,aAAa,GAAG,OAAO,IAAI,QAAQ,CAAC;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;oEAIoE;AACpE,KAAK,2BAA2B,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,IAC/D,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GACtC,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAC5E,aAAa,CAAC,kBAAkB,CAC9B,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,GACD,aAAa,CAAC,2BAA2B,CACvC,IAAI,EACJ,GAAG,EACH,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CACvC,CAAA;AAEL,yDAAyD;AACzD,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAC7E,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACnC,UAAU,EAAE,UAAU,CAAA;CACvB,CAAC,CAAA;AAEF,qGAAqG;AACrG,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC;IAAE,aAAa,EAAE,KAAK,CAAA;CAAE,CAAC,GAC/D,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EAClC,UAAU,EAAE,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAChD,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAE/C,wDAAwD;AACxD,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;CACxC,CAAC,CAAA;AAEF;iCACiC;AACjC,MAAM,MAAM,SAAS,CAAC,KAAK,IACvB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GACzB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GACzB,CAAC,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;AA8B7E,+CAA+C;AAC/C,eAAO,MAAM,KAAK,GAAI,KAAK,EAAE,OAAO,KAAK,KAAG,SAAS,CAAC,KAAK,CAiB1D,CAAA;AAED;kBACkB;AAClB,eAAO,MAAM,OAAO,GACjB,YAAY,EAAE,UAAU,YAAY,MACpC,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAoB5C,CAAA;AA4EH,4DAA4D;AAC5D,eAAO,MAAM,KAAK,GAAI,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,KAAG,SAAS,CAAC,KAAK,CAGtE,CAAA;AAqCF;yEACyE;AACzE,eAAO,MAAM,OAAO;IAClB,yEAAyE;;SAlHxE,IAAI,SAAS,MAAM,EAAE,aAAa,cACrB,2BAA2B,CAAC,IAAI,EAAE,aAAa,CAAC,iBAC7C,aAAa,GAC3B,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACxC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;SAC/C,aAAa,YACF,kBAAkB,CAAC,aAAa,CAAC,iBAC5B,aAAa,GAC3B,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACxC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;;IAyGhD;;;;gFAI4E;0BA/D3E,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,gBACjB,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,MAEjD,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA4D9C,sEAAsE;sCA3CxD,aAAa,CAAC,cAAc,CAAC,MAC1C,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA0C9C,iGAAiG;wCAhCnF,aAAa,CAAC,cAAc,CAAC,MAC1C,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;IA+B9C,kDAAkD;gCAvBjD,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;CAuBtC,CAAA;AAEV,mEAAmE;AACnE,eAAO,MAAM,gBAAgB,GAC1B,QAAQ,EAAE,UAAU,QAAQ,MAC5B,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KACrE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAe3D,CAAA;AAEH,2CAA2C;AAC3C,eAAO,MAAM,kBAAkB,SAE5B,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KACrE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAc3D,CAAA;AAIH,uEAAuE;AACvE,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,QAAQ,EAAE,CACR,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAC5D,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GACjD,IAAI,CAAA;IACP,CAAC,KAAK,EAAE,OAAO,EACb,QAAQ,EAAE,CACR,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,EAChD,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GACjD,IAAI,CAAA;CAoCR,CAAA"}

package/dist/test/story.js

@@ -5,8 +5,7 @@ const toInternal = (simulation) =>
 simulation;
 // STEPS
 /** Sets the initial Model for a test story. */
-export { with_ as with };
-const with_ = (model) => {
+export const given = (model) => {
     const step = (simulation) => {
         const internal = toInternal(simulation);
         // eslint-disable-next-line @typescript-eslint/consistent-type-assertions

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "foldkit",
-  "version": "0.133.0",
+  "version": "0.135.0",
   "description": "A TypeScript frontend framework, built on Effect and architected like Elm",
   "type": "module",
   "main": "./dist/index.js",