foldkit 0.43.2 → 0.45.0

package/dist/test/query.js

@@ -0,0 +1,227 @@
+import { Array, Equal, Match, Option, Predicate, Record, String as String_, flow, pipe, } from 'effect';
+import { dual } from 'effect/Function';
+import { evo } from '../struct';
+const ID_PATTERN = /^#([a-zA-Z0-9_-]+)/;
+const CLASS_PATTERN = /^\.([a-zA-Z0-9_-]+)/;
+const ATTRIBUTE_PATTERN = /^\[([a-zA-Z][a-zA-Z0-9_-]*)(?:(\^)?="([^"]*)")?\]/;
+const TAG_PATTERN = /^([a-zA-Z][a-zA-Z0-9-]*)/;
+const WHITESPACE_PATTERN = /\s+/;
+const matchGroup = (regex) => (input) => pipe(input, String_.match(regex), Option.flatMap(match => pipe(match, Array.get(1), Option.map(group => ({
+    consumed: match[0],
+    group,
+})))));
+const emptySelector = {
+    tag: Option.none(),
+    id: Option.none(),
+    classes: [],
+    attributes: [],
+};
+const tryParseId = (input, accumulator) => pipe(input, matchGroup(ID_PATTERN), Option.map(({ consumed, group }) => parseModifiers(input.slice(consumed.length), evo(accumulator, {
+    id: () => Option.some(group),
+}))));
+const tryParseClass = (input, accumulator) => pipe(input, matchGroup(CLASS_PATTERN), Option.map(({ consumed, group }) => parseModifiers(input.slice(consumed.length), evo(accumulator, {
+    classes: Array.append(group),
+}))));
+const tryParseAttribute = (input, accumulator) => pipe(input, String_.match(ATTRIBUTE_PATTERN), Option.flatMap(match => pipe(match, Array.get(1), Option.map(name => {
+    const mode = match[2] === '^' ? 'StartsWith' : 'Exact';
+    return parseModifiers(input.slice(match[0].length), evo(accumulator, {
+        attributes: Array.append({
+            name,
+            value: Option.fromNullable(match[3]),
+            mode,
+        }),
+    }));
+}))));
+const parseModifiers = (input, accumulator) => {
+    if (String_.isEmpty(input))
+        return accumulator;
+    return pipe(tryParseId(input, accumulator), Option.orElse(() => tryParseClass(input, accumulator)), Option.orElse(() => tryParseAttribute(input, accumulator)), Option.getOrElse(() => {
+        throw new Error(`I could not parse the selector at "${input}".\n\n` +
+            'Supported selectors: tag, #id, .class, [attr], [attr="value"], [attr^="prefix"], ' +
+            'and descendant combinators (space).');
+    }));
+};
+const parseCompoundSelector = (segment) => pipe(segment, String_.match(TAG_PATTERN), Option.match({
+    onNone: () => parseModifiers(segment, emptySelector),
+    onSome: match => parseModifiers(segment.slice(match[0].length), evo(emptySelector, { tag: () => Array.get(match, 1) })),
+}));
+export const parseSelector = (input) => {
+    const trimmed = String_.trim(input);
+    if (String_.isEmpty(trimmed)) {
+        throw new Error('I received an empty selector.\n\n' +
+            'Provide a CSS selector like "button", "#email", or \'[role="tab"]\'.');
+    }
+    return pipe(trimmed, String_.split(WHITESPACE_PATTERN), Array.map(parseCompoundSelector));
+};
+// NODE UTILITIES
+const lookupAttribute = (name) => (vnode) => pipe(vnode.data?.attrs?.[name], Option.fromNullable, Option.orElse(() => Option.fromNullable(vnode.data?.props?.[name])));
+const lookupStringAttribute = (name) => (vnode) => Option.map(lookupAttribute(name)(vnode), String);
+const isElement = (node) => !Predicate.isUndefined(node.sel);
+const isVNode = (child) => !Predicate.isString(child);
+const vnodeChildren = (vnode) => Array.filterMap(vnode.children ?? [], Option.liftPredicate(isVNode));
+const collectDescendants = (vnode) => Array.flatMap(vnodeChildren(vnode), child => [
+    child,
+    ...collectDescendants(child),
+]);
+const FORM_CONTROL_TAGS = ['input', 'select', 'textarea', 'button', 'output'];
+const isFormControl = (node) => pipe(node.sel, Option.fromNullable, Option.exists(sel => Array.contains(FORM_CONTROL_TAGS, sel)));
+const findById = (root) => (id) => Array.findFirst([root, ...collectDescendants(root)], flow(lookupStringAttribute('id'), Option.exists(Equal.equals(id))));
+// MATCHING
+const compareByMode = (mode, expected) => (actual) => Match.value(mode).pipe(Match.when('StartsWith', () => actual.startsWith(expected)), Match.when('Exact', () => actual === expected), Match.exhaustive);
+const matchesValue = (maybeExpected, mode) => (maybeActual) => Option.match(maybeActual, {
+    onNone: () => false,
+    onSome: actual => Option.match(maybeExpected, {
+        onNone: () => true,
+        onSome: expected => compareByMode(mode, expected)(actual),
+    }),
+});
+const matchesAttribute = (vnode) => ({ name, value, mode }) => {
+    if (name === 'key') {
+        return pipe(vnode.key, Option.fromNullable, Option.map(key => typeof key === 'symbol' ? key.toString() : String(key)), matchesValue(value, mode));
+    }
+    return pipe(vnode, lookupAttribute(name), Option.filter(actual => actual !== false), Option.map(String), matchesValue(value, mode));
+};
+const matchesSimpleSelector = (selector) => (vnode) => isElement(vnode) &&
+    Option.match(selector.tag, {
+        onNone: () => true,
+        onSome: tag => vnode.sel === tag,
+    }) &&
+    Option.match(selector.id, {
+        onNone: () => true,
+        onSome: id => pipe(vnode, lookupStringAttribute('id'), Option.exists(Equal.equals(id))),
+    }) &&
+    Array.every(selector.classes, className => vnode.data?.class?.[className] === true) &&
+    Array.every(selector.attributes, matchesAttribute(vnode));
+// IMPLICIT ROLES
+const IMPLICIT_ROLE_MAP = {
+    a: 'link',
+    article: 'article',
+    button: 'button',
+    form: 'form',
+    h1: 'heading',
+    h2: 'heading',
+    h3: 'heading',
+    h4: 'heading',
+    h5: 'heading',
+    h6: 'heading',
+    li: 'listitem',
+    nav: 'navigation',
+    ol: 'list',
+    option: 'option',
+    select: 'combobox',
+    table: 'table',
+    textarea: 'textbox',
+    ul: 'list',
+};
+const INPUT_TYPE_ROLE_MAP = {
+    checkbox: 'checkbox',
+    number: 'spinbutton',
+    radio: 'radio',
+    range: 'slider',
+    reset: 'button',
+    search: 'searchbox',
+    submit: 'button',
+};
+const inputRole = (vnode) => pipe(vnode, lookupStringAttribute('type'), Option.getOrElse(() => 'text'), Option.liftPredicate(typeString => typeString !== 'hidden'), Option.map(typeString => pipe(INPUT_TYPE_ROLE_MAP, Record.get(typeString), Option.getOrElse(() => 'textbox'))));
+const implicitRole = (vnode) => pipe(vnode.sel, Option.fromNullable, Option.flatMap(tag => tag === 'input' ? inputRole(vnode) : Record.get(IMPLICIT_ROLE_MAP, tag)));
+const resolveRole = (vnode) => pipe(vnode, lookupStringAttribute('role'), Option.orElse(() => implicitRole(vnode)));
+// ACCESSIBLE NAME
+const nonEmptyString = (value) => Option.filter(Option.some(String(value)), String_.isNonEmpty);
+const nameFromLabelledBy = (root) => (vnode) => pipe(vnode, lookupAttribute('aria-labelledby'), Option.flatMap(nonEmptyString), Option.map(labelledBy => pipe(labelledBy, String_.split(WHITESPACE_PATTERN), Array.filterMap(flow(findById(root), Option.map(textContent))), Array.join(' '))), Option.filter(String_.isNonEmpty));
+const nameFromAriaLabel = (vnode) => pipe(vnode, lookupAttribute('aria-label'), Option.flatMap(nonEmptyString));
+const nameFromLabelFor = (vnode, root) => pipe(vnode, lookupStringAttribute('id'), Option.flatMap(idString => pipe([root, ...collectDescendants(root)], Array.findFirst(node => node.sel === 'label' &&
+    pipe(node, lookupStringAttribute('for'), Option.exists(Equal.equals(idString)))), Option.map(textContent))));
+const nameFromTextContent = (vnode) => Option.filter(Option.some(textContent(vnode)), String_.isNonEmpty);
+const nameFromTitle = (vnode) => pipe(vnode, lookupAttribute('title'), Option.flatMap(nonEmptyString));
+const accessibleName = (vnode, root) => pipe(vnode, nameFromLabelledBy(root), Option.orElse(() => nameFromAriaLabel(vnode)), Option.orElse(() => nameFromLabelFor(vnode, root)), Option.orElse(() => nameFromTextContent(vnode)), Option.orElse(() => nameFromTitle(vnode)), Option.getOrElse(() => ''));
+// PUBLIC API
+const findAllImpl = (selectorString) => (html) => {
+    const selector = parseSelector(selectorString);
+    const allNodes = [html, ...collectDescendants(html)];
+    return pipe(Array.head(selector), Option.map(firstSegment => Array.reduce(Array.drop(selector, 1), Array.filter(allNodes, matchesSimpleSelector(firstSegment)), (candidates, segment) => Array.filter(Array.flatMap(candidates, collectDescendants), matchesSimpleSelector(segment)))), Option.getOrElse(() => []));
+};
+/** Finds the first VNode matching the CSS selector. */
+export const find = dual(2, (html, selectorString) => pipe(html, findAllImpl(selectorString), Array.head));
+/** Finds all VNodes matching the CSS selector. */
+export const findAll = dual(2, (html, selectorString) => findAllImpl(selectorString)(html));
+/** Extracts all text content from a VNode tree, depth-first. */
+export const textContent = (vnode) => {
+    if (Predicate.isString(vnode.text))
+        return vnode.text;
+    return pipe(vnode.children ?? [], Array.map(child => Predicate.isString(child) ? child : textContent(child)), Array.join(''));
+};
+const attrImpl = (vnode, name) => {
+    if (name === 'class') {
+        return pipe(vnode.data?.class, Option.fromNullable, Option.map(flow(Record.toEntries, Array.filter(([, isActive]) => isActive), Array.map(([className]) => className), Array.join(' '))), Option.filter(String_.isNonEmpty));
+    }
+    return lookupStringAttribute(name)(vnode);
+};
+/** Reads an attribute or prop value from a VNode. */
+export const attr = dual(2, attrImpl);
+// ACCESSIBLE LOCATORS
+/** Finds the first element with the given ARIA role and optional accessible name. */
+export const getByRole = (role, options) => (html) => {
+    const maybeName = Option.fromNullable(options?.name);
+    return Array.findFirst([html, ...collectDescendants(html)], node => pipe(node, resolveRole, Option.exists(Equal.equals(role))) &&
+        Option.match(maybeName, {
+            onNone: () => true,
+            onSome: name => accessibleName(node, html) === name,
+        }));
+};
+/** Finds all elements with the given ARIA role and optional accessible name. */
+export const getAllByRole = (html, role, options) => {
+    const maybeName = Option.fromNullable(options?.name);
+    return Array.filter([html, ...collectDescendants(html)], node => pipe(node, resolveRole, Option.exists(Equal.equals(role))) &&
+        Option.match(maybeName, {
+            onNone: () => true,
+            onSome: Equal.equals(accessibleName(node, html)),
+        }));
+};
+/** Finds the most specific element matching the given text content.
+ *  Skips text VNodes (sel undefined) — only returns actual DOM elements. */
+export const getByText = (target, options) => (html) => {
+    const exact = options?.exact !== false;
+    const textMatches = (node) => {
+        const nodeText = textContent(node);
+        return exact ? nodeText === target : String_.includes(target)(nodeText);
+    };
+    return pipe([html, ...collectDescendants(html)], Array.filter(node => isElement(node) && textMatches(node)), Array.findFirst(match => !Array.some(Array.filter(collectDescendants(match), isElement), textMatches)));
+};
+/** Finds the first element with the given placeholder attribute. */
+export const getByPlaceholder = (placeholderValue) => (html) => Array.findFirst([html, ...collectDescendants(html)], flow(lookupStringAttribute('placeholder'), Option.exists(Equal.equals(placeholderValue))));
+/** Finds the first element with the given label text. Checks `aria-label`
+ *  first, then `<label for="id">` association, then `<label>` nesting,
+ *  then `aria-labelledby` reverse lookup. */
+export const getByLabel = (labelValue) => (html) => {
+    const allNodes = [html, ...collectDescendants(html)];
+    return pipe(Array.findFirst(allNodes, flow(lookupStringAttribute('aria-label'), Option.exists(Equal.equals(labelValue)))), Option.orElse(() => pipe(Array.filter(allNodes, node => node.sel === 'label' && textContent(node) === labelValue), Array.filterMap(labelNode => pipe(lookupStringAttribute('for')(labelNode), Option.flatMap(findById(html)), Option.orElse(() => Array.findFirst(collectDescendants(labelNode), isFormControl)))), Array.head)), Option.orElse(() => Array.findFirst(allNodes, flow(nameFromLabelledBy(html), Option.exists(Equal.equals(labelValue))))));
+};
+const makeLocator = (resolve, description) => Object.assign(resolve, { description });
+/** Creates a Locator that finds an element by ARIA role and optional accessible name. */
+export const role = (roleValue, options) => makeLocator(getByRole(roleValue, options), Option.match(Option.fromNullable(options?.name), {
+    onNone: () => roleValue,
+    onSome: name => `${roleValue} "${name}"`,
+}));
+/** Creates a Locator that finds an element by placeholder attribute. */
+export const placeholder = (placeholderValue) => makeLocator(getByPlaceholder(placeholderValue), `placeholder "${placeholderValue}"`);
+/** Creates a Locator that finds an element by aria-label. */
+export const label = (labelValue) => makeLocator(getByLabel(labelValue), `label "${labelValue}"`);
+/** Creates a Locator that finds the most specific element matching the given text content. */
+export const text = (target, options) => makeLocator(getByText(target, options), `text "${target}"`);
+/** Creates a Locator that wraps a CSS selector. Escape hatch for cases
+ *  where no accessible attribute is available. */
+export const selector = (css) => makeLocator(flow(findAllImpl(css), Array.head), `"${css}"`);
+/** Creates a scoped Locator that finds the child within the parent.
+ *  Composes via `Option.flatMap` — the parent is resolved first, then
+ *  the child is searched within the parent's subtree. */
+export const within = dual(2, (parent, child) => makeLocator(flow(parent, Option.flatMap(child)), `${child.description} within ${parent.description}`));
+/** Resolves a target (CSS selector string or Locator) against a VNode tree. */
+export const resolveTarget = (html, target) => {
+    if (typeof target === 'string') {
+        return {
+            maybeElement: pipe(html, findAllImpl(target), Array.head),
+            description: `"${target}"`,
+        };
+    }
+    return { maybeElement: target(html), description: target.description };
+};

package/dist/test/scene.d.ts

@@ -0,0 +1,106 @@
+import type { CommandDefinition } from '../command';
+import type { Html, KeyboardModifiers } from '../html';
+import type { VNode } from '../vdom';
+import type { AnyCommand, ResolverPair } from './internal';
+import type { Locator } from './query';
+export type { AnyCommand, ResolverPair };
+export type { Locator } from './query';
+export { find, findAll, textContent, attr, getByRole, getAllByRole, getByText, getByPlaceholder, getByLabel, role, placeholder, label, selector, text, within, } from './query';
+export { sceneMatchers } from './matchers';
+/** An immutable test simulation that includes the rendered VNode tree.
+ *  The Model and Message are intentionally opaque — Scene tests assert
+ *  through the view, not the model. Use Story for model-level assertions. */
+export type SceneSimulation<Model, Message, OutMessage = undefined> = Readonly<{
+    /** @internal Phantom type — preserves Model and Message for step chain inference. */
+    _phantom: [Model, Message];
+    commands: ReadonlyArray<AnyCommand>;
+    outMessage: OutMessage;
+    html: VNode;
+}>;
+/** A callable step that sets the initial Model. Carries phantom type for compile-time validation. */
+type WithStep<Model> = Readonly<{
+    _phantomModel: Model;
+}> & (<M, Message, OutMessage = undefined>(simulation: SceneSimulation<M, Message, OutMessage>) => SceneSimulation<M, Message, OutMessage>);
+/** A single step in a scene — either a `with` step or a scene simulation transform. */
+export type SceneStep<Model, Message, OutMessage> = WithStep<NoInfer<Model>> | ((simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>);
+/** Sets the initial Model for a scene test. */
+export { with_ as with };
+declare const with_: <Model>(model: Model) => WithStep<Model>;
+/** Resolves a specific pending Command with the given result Message. */
+export declare const resolve: {
+    <Name extends string, ResultMessage>(definition: CommandDefinition<Name, ResultMessage>, resultMessage: ResultMessage): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    <Name extends string, ResultMessage, ParentMessage>(definition: CommandDefinition<Name, ResultMessage>, resultMessage: ResultMessage, toParentMessage: (message: ResultMessage) => ParentMessage): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Resolves all listed Commands with their result Messages. Handles cascading resolution. */
+export declare const resolveAll: (pairs: ReadonlyArray<ResolverPair>) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+/** Runs a function for side effects (e.g. assertions) without breaking the step chain. */
+export declare const tap: <Model, Message, OutMessage = undefined>(f: (simulation: SceneSimulation<Model, Message, OutMessage>) => void) => (simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+/** Simulates a click on the element matching the target. */
+export declare const click: (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+/** Simulates form submission on the element matching the target. */
+export declare const submit: (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+/** Simulates typing a value into the input matching the target.
+ *  Dual: `type(target, value)` or `type(value)` for data-last piping. */
+export { type_ as type };
+declare const type_: {
+    (target: string | Locator, value: string): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (value: string): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Simulates a keydown event on the element matching the target.
+ *  Dual: `keydown(target, key, modifiers?)` or `keydown(key, modifiers?)` for data-last piping. */
+export declare const keydown: {
+    (target: string | Locator, key: string): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (target: string | Locator, key: string, modifiers: Partial<KeyboardModifiers>): <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (key: string): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    (key: string, modifiers: Partial<KeyboardModifiers>): (target: string | Locator) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Creates an inline assertion step. Resolves the Locator against
+ *  the current view and asserts on the result. */
+export { expect_ as expect };
+declare const expect_: (locator: Locator) => {
+    not: {
+        toExist: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toBeAbsent: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveText: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toContainText: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveAttr: (name: string, value?: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveClass: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveStyle: (name: string, value?: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveHook: (name: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveHandler: (name: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toHaveValue: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toBeDisabled: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toBeEnabled: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+        toBeChecked: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    };
+    toExist: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toBeAbsent: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveText: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toContainText: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveAttr: (name: string, value?: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveClass: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveStyle: (name: string, value?: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveHook: (name: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveHandler: (name: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toHaveValue: (expected: string) => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toBeDisabled: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toBeEnabled: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+    toBeChecked: () => <Model, Message, OutMessage = undefined>(simulation: SceneSimulation<Model, Message, OutMessage>) => SceneSimulation<Model, Message, OutMessage>;
+};
+/** Adapts a submodel view for Scene testing. In the Submodel pattern, the view
+ *  takes a `toParentMessage` function that maps child Messages to parent Messages.
+ *  Scene tests the child in isolation, so `childView` passes the identity function
+ *  and erases the parent type. */
+export declare const childView: <Model>(viewFn: (model: Model, toParentMessage: (message: any) => any) => Html) => ((model: Model) => Html);
+/** Executes a scene test. Throws if any Commands remain unresolved. */
+export declare const scene: {
+    <Model, Message, OutMessage>(config: Readonly<{
+        update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<AnyCommand>, OutMessage];
+        view: (model: Model) => Html;
+    }>, ...steps: ReadonlyArray<SceneStep<Model, Message, OutMessage>>): void;
+    <Model, Message>(config: Readonly<{
+        update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<AnyCommand>];
+        view: (model: Model) => Html;
+    }>, ...steps: ReadonlyArray<SceneStep<Model, Message, undefined>>): void;
+};
+//# sourceMappingURL=scene.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scene.d.ts","sourceRoot":"","sources":["../../src/test/scene.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA;AAEtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,KAAK,EAAE,UAAU,EAAgB,YAAY,EAAE,MAAM,YAAY,CAAA;AAMxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAGtC,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,CAAA;AAExC,YAAY,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EACL,IAAI,EACJ,OAAO,EACP,WAAW,EACX,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,IAAI,EACJ,WAAW,EACX,KAAK,EACL,QAAQ,EACR,IAAI,EACJ,MAAM,GACP,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1C;;6EAE6E;AAC7E,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAC7E,qFAAqF;IACrF,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAC1B,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACnC,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,KAAK,CAAA;CACZ,CAAC,CAAA;AAEF,qGAAqG;AACrG,KAAK,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC;IAAE,aAAa,EAAE,KAAK,CAAA;CAAE,CAAC,GACvD,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,uFAAuF;AACvF,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,IAC5C,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GACxB,CAAC,CACC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAgKrD,+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,yEAAyE;AACzE,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,EACjC,UAAU,EAAE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,EAClD,aAAa,EAAE,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,CAAA;IAChD,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,EAAE,aAAa,EAChD,UAAU,EAAE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,EAClD,aAAa,EAAE,aAAa,EAC5B,eAAe,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,aAAa,GACzD,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,CAAA;CAsC/C,CAAA;AAEH,6FAA6F;AAC7F,eAAO,MAAM,UAAU,GACpB,OAAO,aAAa,CAAC,YAAY,CAAC,MAClC,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,CA+C5C,CAAA;AAEH,0FAA0F;AAC1F,eAAO,MAAM,GAAG,GACb,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EACrC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,MAGpE,YAAY,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAG5C,CAAA;AAIH,4DAA4D;AAC5D,eAAO,MAAM,KAAK,GACf,QAAQ,MAAM,GAAG,OAAO,MACxB,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,CAGzC,CAAA;AAEN,oEAAoE;AACpE,eAAO,MAAM,MAAM,GAChB,QAAQ,MAAM,GAAG,OAAO,MACxB,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,CAGzC,CAAA;AAEN;yEACyE;AACzE,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,QAAA,MAAM,KAAK,EAAE;IACX,CACE,MAAM,EAAE,MAAM,GAAG,OAAO,EACxB,KAAK,EAAE,MAAM,GACZ,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,CAAA;IAChD,CACE,KAAK,EAAE,MAAM,GACZ,CACD,MAAM,EAAE,MAAM,GAAG,OAAO,KACrB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EAC1C,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;CAUjD,CAAA;AAED;mGACmG;AACnG,eAAO,MAAM,OAAO,EAAE;IACpB,CACE,MAAM,EAAE,MAAM,GAAG,OAAO,EACxB,GAAG,EAAE,MAAM,GACV,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,CAAA;IAChD,CACE,MAAM,EAAE,MAAM,GAAG,OAAO,EACxB,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,OAAO,CAAC,iBAAiB,CAAC,GACpC,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,CAAA;IAChD,CACE,GAAG,EAAE,MAAM,GACV,CACD,MAAM,EAAE,MAAM,GAAG,OAAO,KACrB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EAC1C,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;IAChD,CACE,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,OAAO,CAAC,iBAAiB,CAAC,GACpC,CACD,MAAM,EAAE,MAAM,GAAG,OAAO,KACrB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,GAAG,SAAS,EAC1C,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;CAmBjD,CAAA;AAgPD;kDACkD;AAClD,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAC5B,QAAA,MAAM,OAAO,GAAI,SAAS,OAAO;;wBAvO9B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;2BAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;+BA6MvB,MAAM,MA/M5B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;kCA+MpB,MAAM,MAjN/B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;2BAiN3B,MAAM,UAAU,MAAM,MAnNxC,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;gCAmNtB,MAAM,MArN7B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;4BAqN1B,MAAM,UAAU,MAAM,MAvNzC,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;2BAuN3B,MAAM,MAzNxB,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;8BAyNxB,MAAM,MA3N3B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;gCA2NtB,MAAM,MA7N7B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;6BAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;4BAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;4BAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;;oBAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;uBAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;2BA6MvB,MAAM,MA/M5B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;8BA+MpB,MAAM,MAjN/B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;uBAiN3B,MAAM,UAAU,MAAM,MAnNxC,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;4BAmNtB,MAAM,MArN7B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;wBAqN1B,MAAM,UAAU,MAAM,MAvNzC,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;uBAuN3B,MAAM,MAzNxB,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;0BAyNxB,MAAM,MA3N3B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;4BA2NtB,MAAM,MA7N7B,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;yBAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;wBAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;wBAF7C,KAAK,EAAE,OAAO,EAAE,UAAU,0BACb,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KACtD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC;CAwO9C,CAAA;AAIF;;;kCAGkC;AAClC,eAAO,MAAM,SAAS,GACnB,KAAK,EACJ,QAAQ,CACN,KAAK,EAAE,KAAK,EAEZ,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,GAAG,KACnC,IAAI,KACR,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAES,CAAA;AAIrC,uEAAuE;AACvE,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EACzB,MAAM,EAAE,QAAQ,CAAC;QACf,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAA;QAC5D,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;KAC7B,CAAC,EACF,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,GAC7D,IAAI,CAAA;IACP,CAAC,KAAK,EAAE,OAAO,EACb,MAAM,EAAE,QAAQ,CAAC;QACf,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAA;QAChD,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;KAC7B,CAAC,EACF,GAAG,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,GAC5D,IAAI,CAAA;CAmDR,CAAA"}