@typeonce/effect-machine 0.3.0 → 0.5.0

package/dist/internal/machine/topology.js

@@ -0,0 +1,347 @@
+/**
+ * Internal machine topology and target helpers.
+ *
+ * @since 0.4.0
+ */
+import * as Option from "effect/Option";
+import { hasProperty } from "effect/Predicate";
+import * as Schema from "effect/Schema";
+export const TargetTypeId = "~effect/Machine/Target";
+export const TargetSnapshotTypeId = Symbol("effect/Machine/TargetSnapshot");
+export const StateInputTypeId = Symbol("effect/Machine/StateInput");
+export const StateConstructionTypeId = Symbol("effect/Machine/StateConstruction");
+export const HistoryTargetTypeId = Symbol("effect/Machine/HistoryTarget");
+export const ChoiceTargetTypeId = Symbol("effect/Machine/ChoiceTarget");
+export const makeHistoryTarget = (path, parent) => ({
+    [HistoryTargetTypeId]: HistoryTargetTypeId,
+    path,
+    parent
+});
+export const isHistoryTarget = (u) => hasProperty(u, HistoryTargetTypeId);
+export const makeChoiceTarget = (path, parent, values) => ({
+    [ChoiceTargetTypeId]: ChoiceTargetTypeId,
+    path,
+    parent,
+    ...(values === undefined ? {} : { values })
+});
+export const isChoiceTarget = (u) => hasProperty(u, ChoiceTargetTypeId);
+export const getStateNodeDefinition = (path, definition) => {
+    if (!Schema.isSchema(definition) && definition.type === "history") {
+        return {
+            schema: undefined,
+            output: undefined,
+            annotations: definition.annotations,
+            type: "history",
+            history: definition.history === "deep" ? "deep" : "shallow",
+            initial: undefined,
+            states: undefined
+        };
+    }
+    if (!Schema.isSchema(definition) && definition.type === "choice") {
+        return {
+            schema: undefined,
+            output: undefined,
+            annotations: definition.annotations,
+            type: "choice",
+            history: undefined,
+            initial: undefined,
+            states: undefined
+        };
+    }
+    if (Schema.isSchema(definition)) {
+        return {
+            schema: definition,
+            output: undefined,
+            annotations: Schema.resolveAnnotations(definition),
+            type: "atomic",
+            history: undefined,
+            initial: undefined,
+            states: undefined
+        };
+    }
+    if (!hasProperty(definition, "schema") || !Schema.isSchema(definition.schema)) {
+        throw new Error(`Machine.make expected state "${path}" to be a tagged schema or state node config`);
+    }
+    if (definition.type === "parallel" && !hasProperty(definition, "states")) {
+        throw new Error(`Machine.make expected parallel state "${path}" to declare child regions`);
+    }
+    if (hasProperty(definition, "states")) {
+        const type = definition.type;
+        if (type === "final") {
+            throw new Error(`Machine.make expected compound state "${path}" to be active`);
+        }
+        if (definition.type === "parallel") {
+            return {
+                schema: definition.schema,
+                output: Schema.isSchema(definition.output) ? definition.output : undefined,
+                annotations: Schema.resolveAnnotations(definition.schema),
+                type: "parallel",
+                history: undefined,
+                initial: undefined,
+                states: definition.states
+            };
+        }
+        if (typeof definition.initial !== "string") {
+            throw new Error(`Machine.make expected compound state "${path}" to declare an initial child`);
+        }
+        return {
+            schema: definition.schema,
+            output: undefined,
+            annotations: Schema.resolveAnnotations(definition.schema),
+            type: "compound",
+            history: undefined,
+            initial: definition.initial,
+            states: definition.states
+        };
+    }
+    const output = Schema.isSchema(definition.output) ? definition.output : undefined;
+    return definition.type === "final"
+        ? {
+            schema: definition.schema,
+            output,
+            annotations: Schema.resolveAnnotations(definition.schema),
+            type: "final",
+            history: undefined,
+            initial: undefined,
+            states: undefined
+        }
+        : {
+            schema: definition.schema,
+            output: undefined,
+            annotations: Schema.resolveAnnotations(definition.schema),
+            type: "atomic",
+            history: undefined,
+            initial: undefined,
+            states: undefined
+        };
+};
+export const compileStateNodes = (states) => {
+    const byPath = new Map();
+    let order = 0;
+    const compile = (tree, parent) => {
+        const paths = [];
+        for (const key of Object.keys(tree)) {
+            if (key.includes(".")) {
+                throw new Error(`Machine state keys cannot contain ".": "${key}"`);
+            }
+            const path = parent === undefined ? key : `${parent}.${key}`;
+            const definition = getStateNodeDefinition(path, tree[key]);
+            let node;
+            let childStates;
+            const base = { path, key, annotations: definition.annotations, order };
+            switch (definition.type) {
+                case "atomic":
+                    node = {
+                        ...base,
+                        type: "atomic",
+                        schema: definition.schema,
+                        output: undefined,
+                        history: undefined,
+                        parent,
+                        children: [],
+                        initial: undefined
+                    };
+                    break;
+                case "compound":
+                    node = {
+                        ...base,
+                        type: "compound",
+                        schema: definition.schema,
+                        output: undefined,
+                        history: undefined,
+                        parent,
+                        children: [],
+                        initial: `${path}.${definition.initial}`
+                    };
+                    childStates = definition.states;
+                    break;
+                case "parallel":
+                    node = {
+                        ...base,
+                        type: "parallel",
+                        schema: definition.schema,
+                        output: definition.output,
+                        history: undefined,
+                        parent,
+                        children: [],
+                        initial: undefined
+                    };
+                    childStates = definition.states;
+                    break;
+                case "final":
+                    node = {
+                        ...base,
+                        type: "final",
+                        schema: definition.schema,
+                        output: definition.output,
+                        history: undefined,
+                        parent,
+                        children: [],
+                        initial: undefined
+                    };
+                    break;
+                case "history":
+                    if (parent === undefined) {
+                        throw new Error(`Machine history state "${path}" must belong to a parent state`);
+                    }
+                    node = {
+                        ...base,
+                        type: "history",
+                        schema: undefined,
+                        output: undefined,
+                        history: definition.history,
+                        parent,
+                        children: [],
+                        initial: undefined
+                    };
+                    break;
+                case "choice":
+                    if (parent === undefined) {
+                        throw new Error(`Machine choice state "${path}" must belong to a parent state`);
+                    }
+                    node = {
+                        ...base,
+                        type: "choice",
+                        schema: undefined,
+                        output: undefined,
+                        history: undefined,
+                        parent,
+                        children: [],
+                        initial: undefined
+                    };
+                    break;
+            }
+            byPath.set(path, node);
+            order += 1;
+            if (definition.type === "history" || definition.type === "choice") {
+                continue;
+            }
+            paths.push(path);
+            if (childStates !== undefined) {
+                const children = compile(childStates, path);
+                if (node.type === "compound") {
+                    if (!children.includes(node.initial) && byPath.get(node.initial)?.type !== "choice") {
+                        throw new Error(`Machine.make expected compound state "${path}" initial child to exist`);
+                    }
+                    node = { ...node, children };
+                }
+                else if (node.type === "parallel") {
+                    node = { ...node, children };
+                }
+                else {
+                    throw new Error(`Machine state "${path}" cannot declare child states`);
+                }
+                byPath.set(path, node);
+            }
+        }
+        return paths;
+    };
+    return {
+        byPath,
+        roots: compile(states, undefined)
+    };
+};
+const dynamicTransitionTargets = { type: "dynamic" };
+const transitionTargets = (handler) => typeof handler === "object" && handler !== null && "targets" in handler && handler.targets !== undefined
+    ? { type: "declared", paths: Array.from(handler.targets) }
+    : dynamicTransitionTargets;
+export const transitionDefinitions = (machine) => {
+    const definitions = [];
+    for (const node of machine.stateNodes.byPath.values()) {
+        const config = machine.handlers[node.path];
+        if (config === undefined) {
+            continue;
+        }
+        if (node.type === "choice") {
+            const choice = config.choice;
+            if (choice !== undefined) {
+                definitions.push({
+                    source: node.path,
+                    trigger: { type: "choice" },
+                    reenter: false,
+                    targets: transitionTargets(choice)
+                });
+            }
+            continue;
+        }
+        for (const event of Reflect.ownKeys(config.on ?? {})) {
+            const handler = config.on?.[event];
+            definitions.push({
+                source: node.path,
+                trigger: { type: "event", event },
+                reenter: typeof handler === "object" && handler !== null && handler.reenter === true,
+                targets: transitionTargets(handler)
+            });
+        }
+        if (config.always !== undefined) {
+            definitions.push({
+                source: node.path,
+                trigger: { type: "always" },
+                reenter: false,
+                targets: transitionTargets(config.always)
+            });
+        }
+        if (config.onDone !== undefined) {
+            definitions.push({
+                source: node.path,
+                trigger: { type: "done" },
+                reenter: false,
+                targets: transitionTargets(config.onDone)
+            });
+        }
+    }
+    return definitions;
+};
+export const makeTarget = (path, value, options) => ({
+    [TargetTypeId]: TargetTypeId,
+    [TargetSnapshotTypeId]: options?.snapshot,
+    path,
+    value,
+    values: options?.values
+});
+export const isTarget = (u) => hasProperty(u, TargetTypeId);
+export const makeStateInput = (input) => ({
+    [StateInputTypeId]: StateInputTypeId,
+    input
+});
+export const isStateInput = (u) => hasProperty(u, StateInputTypeId);
+export const isSnapshot = (u) => hasProperty(u, "path") && hasProperty(u, "value");
+export const getSnapshotByPath = (snapshot, path, parents) => {
+    if (snapshot.path === path) {
+        return Option.some(snapshot);
+    }
+    if (!path.startsWith(`${snapshot.path}.`)) {
+        return Option.none();
+    }
+    if (parents !== undefined) {
+        parents[snapshot.path] = snapshot.value;
+    }
+    if (hasProperty(snapshot, "state") && isSnapshot(snapshot.state)) {
+        return getSnapshotByPath(snapshot.state, path, parents);
+    }
+    if (hasProperty(snapshot, "states") && typeof snapshot.states === "object" && snapshot.states !== null) {
+        for (const child of Object.values(snapshot.states)) {
+            if (isSnapshot(child)) {
+                const result = getSnapshotByPath(child, path, parents);
+                if (Option.isSome(result)) {
+                    return result;
+                }
+            }
+        }
+    }
+    return Option.none();
+};
+export const getNode = (machine, path) => {
+    const node = machine.stateNodes.byPath.get(path);
+    if (node === undefined) {
+        throw new Error(`Machine expected state path "${path}" to exist`);
+    }
+    return node;
+};
+export const getStateNodeSchema = (node) => {
+    if (node.schema === undefined) {
+        throw new Error(`Machine pseudo-state "${node.path}" has no active value schema`);
+    }
+    return node.schema;
+};
+//# sourceMappingURL=topology.js.map

package/dist/internal/machine/topology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.js","sourceRoot":"","sources":["../../../src/internal/machine/topology.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,MAAM,CAAC,MAAM,YAAY,GAAG,wBAAwB,CAAA;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,+BAA+B,CAAC,CAAA;AAE1F,MAAM,CAAC,MAAM,gBAAgB,GAAkB,MAAM,CAAC,2BAA2B,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,uBAAuB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAA;AAEhG,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAA;AAuBtF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;IACjF,CAAC,mBAAmB,CAAC,EAAE,mBAAmB;IAC1C,IAAI;IACJ,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAsB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAA;AAEtG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,MAAc,EACd,MAA0C,EAC5B,EAAE,CAAC,CAAC;IAClB,CAAC,kBAAkB,CAAC,EAAE,kBAAkB;IACxC,IAAI;IACJ,MAAM;IACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAqB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAA;AAwDnG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,UAA0D,EAC3B,EAAE;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YAC3D,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC;YAClD,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;IACH,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,8CAA8C,CAAC,CAAA;IACrG,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,4BAA4B,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAY,UAAU,CAAC,IAAI,CAAA;QACrC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,gBAAgB,CAAC,CAAA;QAChF,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO;gBACL,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBAC1E,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC;gBACzD,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,SAAS;gBAClB,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAA;QACH,CAAC;QACD,IAAI,OAAO,UAAU,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,+BAA+B,CAAC,CAAA;QAC/F,CAAC;QACD,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC;YACzD,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACjF,OAAO,UAAU,CAAC,IAAI,KAAK,OAAO;QAChC,CAAC,CAAC;YACA,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC;YACzD,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB;QACD,CAAC,CAAC;YACA,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC;YACzD,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS;YAClB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,SAAS;SAClB,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAA4B,EAAsB,EAAE;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;IACnD,IAAI,KAAK,GAAG,CAAC,CAAA;IAEb,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAE,MAA0B,EAAyB,EAAE;QAC7F,MAAM,KAAK,GAAkB,EAAE,CAAA;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,GAAG,CAAC,CAAA;YACpE,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAA;YAC5D,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,CAAC,CAAA;YAC3D,IAAI,IAAuB,CAAA;YAC3B,IAAI,WAA0C,CAAA;YAC9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,CAAA;YACtE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ;oBACX,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,GAAG,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE;qBACzC,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,UAAU;oBACb,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,WAAW,GAAG,UAAU,CAAC,MAAM,CAAA;oBAC/B,MAAK;gBACP,KAAK,OAAO;oBACV,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,OAAO;wBACb,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,SAAS;oBACZ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,iCAAiC,CAAC,CAAA;oBAClF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,UAAU,CAAC,OAAO;wBAC3B,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,iCAAiC,CAAC,CAAA;oBACjF,CAAC;oBACD,IAAI,GAAG;wBACL,GAAG,IAAI;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,SAAS;wBACjB,OAAO,EAAE,SAAS;wBAClB,MAAM;wBACN,QAAQ,EAAE,EAAE;wBACZ,OAAO,EAAE,SAAS;qBACnB,CAAA;oBACD,MAAK;YACT,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACtB,KAAK,IAAI,CAAC,CAAA;YACV,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClE,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;gBAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACpF,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,0BAA0B,CAAC,CAAA;oBAC1F,CAAC;oBACD,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACpC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAA;gBAC9B,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,+BAA+B,CAAC,CAAA;gBACxE,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACxB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;KACZ,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,EAAE,IAAI,EAAE,SAAS,EAAW,CAAA;AAE7D,MAAM,iBAAiB,GAAG,CAAC,OAAgB,EAA6B,EAAE,CACxE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,SAAS,IAAI,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;IACtG,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAgC,CAAC,EAAE;IACnF,CAAC,CAAC,wBAAwB,CAAA;AAE9B,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAoB,EACyB,EAAE;IAC/C,MAAM,WAAW,GAAwC,EAAE,CAAA;IAC3D,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAuC,CAAA;QAChF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAI,MAAc,CAAC,MAAM,CAAA;YACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACf,MAAM,EAAE,IAAI,CAAC,IAAI;oBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC3B,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC;iBACnC,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;YAClC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBACjC,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;gBACpF,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC;aACpC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC3B,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC1C,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC;gBACf,MAAM,EAAE,IAAI,CAAC,IAAI;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;gBACzB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;aAC1C,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAIxB,IAAa,EACb,KAAiD,EACjD,OAUC,EACgC,EAAE,CACnC,CAAC;IACC,CAAC,YAAY,CAAC,EAAE,YAAY;IAC5B,CAAC,oBAAoB,CAAC,EAAE,OAAO,EAAE,QAAQ;IACzC,IAAI;IACJ,KAAK;IACL,MAAM,EAAE,OAAO,EAAE,MAAM;CACxB,CAAoC,CAAA;AAEvC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;AAEnG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAc,EAAE,CAAC,CAAC;IAC7D,CAAC,gBAAgB,CAAC,EAAE,gBAAgB;IACpC,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAmB,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAE7F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAgD,EAAE,CACrF,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAiD,EACjD,IAAY,EACZ,OAAiC,EACuB,EAAE;IAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;IACzC,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACvG,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;gBACtD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAA;gBACf,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAE,IAAY,EAAqB,EAAE;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,YAAY,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAuB,EAAwB,EAAE;IAClF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,IAAI,8BAA8B,CAAC,CAAA;IACnF,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAA;AACpB,CAAC,CAAA"}

package/dist/internal/testing/machine/arbitrary.d.ts

@@ -0,0 +1,36 @@
+import * as Schema from "effect/Schema";
+import { FastCheck } from "effect/testing";
+/**
+ * Warning emitted when schema arbitrary generation must enforce an opaque
+ * filter through rejection sampling.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface SchemaArbitraryOpaqueFilterWarning {
+    readonly _tag: "OpaqueFilter";
+    readonly path: ReadonlyArray<PropertyKey>;
+    readonly description?: string;
+}
+/**
+ * Non-fatal diagnostic emitted while deriving a schema arbitrary.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type SchemaArbitraryWarning = SchemaArbitraryOpaqueFilterWarning;
+/**
+ * Diagnostics collected while deriving a schema arbitrary.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface SchemaArbitraryReport {
+    readonly warnings: ReadonlyArray<SchemaArbitraryWarning>;
+}
+/** @internal */
+export declare const toArbitraryWithReport: <S extends Schema.Constraint>(schema: S) => {
+    value: FastCheck.Arbitrary<S["Type"]>;
+    report: SchemaArbitraryReport;
+};
+//# sourceMappingURL=arbitrary.d.ts.map

package/dist/internal/testing/machine/arbitrary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitrary.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/arbitrary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE1C;;;;;;GAMG;AACH,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAAG,kCAAkC,CAAA;AAEvE;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,sBAAsB,CAAC,CAAA;CACzD;AAgED,gBAAgB;AAChB,eAAO,MAAM,qBAAqB,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;;;CAG1E,CAAA"}

package/dist/internal/testing/machine/arbitrary.js

@@ -0,0 +1,68 @@
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+import { FastCheck } from "effect/testing";
+const reportChecks = (warnings, checks, path) => {
+    const visit = (check, covered) => {
+        const arbitrary = check.annotations?.arbitrary;
+        const nextCovered = covered || arbitrary?.constraint !== undefined || arbitrary?.candidate !== undefined;
+        if (check._tag !== "Filter") {
+            for (const child of check.checks)
+                visit(child, nextCovered);
+        }
+        else if (!nextCovered) {
+            const description = check.annotations?.representation?.id ?? check.annotations?.identifier ??
+                check.annotations?.expected;
+            warnings.push({
+                _tag: "OpaqueFilter",
+                path,
+                ...(description === undefined ? {} : { description })
+            });
+        }
+    };
+    checks?.forEach((check) => visit(check, false));
+};
+const reportFor = (ast) => {
+    const warnings = [];
+    const stack = new WeakSet();
+    const visit = (ast, path) => {
+        if (stack.has(ast))
+            return;
+        stack.add(ast);
+        reportChecks(warnings, ast.checks, path);
+        switch (ast._tag) {
+            case "Declaration":
+                ast.typeParameters.forEach((typeParameter) => visit(typeParameter, path));
+                break;
+            case "Arrays": {
+                const elements = [...ast.elements, ...ast.rest];
+                elements.forEach((type, index) => visit(type, [...path, index]));
+                break;
+            }
+            case "Objects":
+                ast.propertySignatures.forEach((property) => visit(property.type, [...path, property.name]));
+                ast.indexSignatures.forEach((index) => {
+                    visit(index.parameter, path);
+                    visit(index.type, path);
+                });
+                break;
+            case "Union":
+                ast.types.forEach((type) => visit(type, path));
+                break;
+            case "TemplateLiteral":
+                ast.parts.forEach((part, index) => visit(SchemaAST.toEncoded(part), [...path, index]));
+                break;
+            case "Suspend":
+                visit(ast.thunk(), path);
+                break;
+        }
+        stack.delete(ast);
+    };
+    visit(ast, []);
+    return { warnings };
+};
+/** @internal */
+export const toArbitraryWithReport = (schema) => ({
+    value: Schema.toArbitrary(schema)(FastCheck),
+    report: reportFor(schema.ast)
+});
+//# sourceMappingURL=arbitrary.js.map

package/dist/internal/testing/machine/arbitrary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitrary.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/arbitrary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAiC1C,MAAM,YAAY,GAAG,CACnB,QAAuC,EACvC,MAAoC,EACpC,IAAgC,EAC1B,EAAE;IACR,MAAM,KAAK,GAAG,CAAC,KAA+B,EAAE,OAAgB,EAAQ,EAAE;QACxE,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,EAAE,SAAS,CAAA;QAC9C,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,EAAE,UAAU,KAAK,SAAS,IAAI,SAAS,EAAE,SAAS,KAAK,SAAS,CAAA;QACxG,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;QAC7D,CAAC;aAAM,IAAI,CAAC,WAAW,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,EAAE,cAAc,EAAE,EAAE,IAAI,KAAK,CAAC,WAAW,EAAE,UAAU;gBACxF,KAAK,CAAC,WAAW,EAAE,QAAQ,CAAA;YAC7B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,cAAc;gBACpB,IAAI;gBACJ,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;aACtD,CAAC,CAAA;QACJ,CAAC;IACH,CAAC,CAAA;IACD,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AACjD,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,GAAkB,EAAyB,EAAE;IAC9D,MAAM,QAAQ,GAAkC,EAAE,CAAA;IAClD,MAAM,KAAK,GAAG,IAAI,OAAO,EAAiB,CAAA;IAC1C,MAAM,KAAK,GAAG,CAAC,GAAkB,EAAE,IAAgC,EAAQ,EAAE;QAC3E,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAM;QAC1B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACd,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACxC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,aAAa;gBAChB,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAA;gBACzE,MAAK;YACP,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC/C,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;gBAChE,MAAK;YACP,CAAC;YACD,KAAK,SAAS;gBACZ,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAC5F,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;oBACpC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;oBAC5B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBACzB,CAAC,CAAC,CAAA;gBACF,MAAK;YACP,KAAK,OAAO;gBACV,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;gBAC9C,MAAK;YACP,KAAK,iBAAiB;gBACpB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;gBACtF,MAAK;YACP,KAAK,SAAS;gBACZ,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAA;gBACxB,MAAK;QACT,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACnB,CAAC,CAAA;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IACd,OAAO,EAAE,QAAQ,EAAE,CAAA;AACrB,CAAC,CAAA;AAED,gBAAgB;AAChB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAA8B,MAAS,EAAE,EAAE,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC;IAC5C,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;CAC9B,CAAC,CAAA"}

package/dist/internal/testing/machine/exploration.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Bounded breadth-first exploration over concrete planner events.
+ *
+ * @since 0.4.0
+ */
+import * as Effect from "effect/Effect";
+import * as Machine from "../../../Machine.js";
+import type { Exploration, ExplorationCompleteness, ExplorationKey, ExplorationNode, ExplorationPredicate, ExploreOptions, ReachabilityFailure, RunError, RunFailure, RunServices } from "../../../testing/MachineTest.js";
+import type { EnsureExecutable } from "../../machine/readiness.js";
+import { type InvariantError } from "./invariant.js";
+type AnyMachine = Machine.Machine.Any;
+type ReadyMachine<M extends AnyMachine> = M & EnsureExecutable<Machine.Machine.States<M>, Machine.Machine.UnhandledStates<M>, Machine.Machine.OutputStates<M>>;
+export declare const explore: <M extends AnyMachine, Key extends ExplorationKey>(machine: ReadyMachine<M>, options: ExploreOptions<M, Key>) => Effect.Effect<Exploration<M, Key>, RunFailure<RunError<M>, M> | InvariantError<M>, RunServices<M>>;
+declare const ReachabilityError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "MachineTestReachabilityError";
+} & Readonly<A>;
+export declare class ReachabilityError<M extends AnyMachine = AnyMachine, Key extends ExplorationKey = ExplorationKey> extends ReachabilityError_base<{
+    readonly name: string;
+    readonly expectation: "reachable" | "unreachable";
+    readonly reason: ReachabilityFailure;
+    readonly message: string;
+    readonly completeness: ExplorationCompleteness<M, Key>;
+    readonly witness?: ExplorationNode<M, Key>;
+}> {
+}
+export declare const findShortest: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, predicate: ExplorationPredicate<M, Key>) => ExplorationNode<M, Key> | undefined;
+export declare const assertReachable: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, name: string, predicate: ExplorationPredicate<M, Key>) => Effect.Effect<ExplorationNode<M, Key>, ReachabilityError<M, Key>>;
+export declare const assertUnreachable: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, name: string, predicate: ExplorationPredicate<M, Key>) => Effect.Effect<void, ReachabilityError<M, Key>>;
+export {};
+//# sourceMappingURL=exploration.d.ts.map

package/dist/internal/testing/machine/exploration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,WAAW,EACX,uBAAuB,EAGvB,cAAc,EACd,eAAe,EACf,oBAAoB,EAEpB,cAAc,EACd,mBAAmB,EAEnB,QAAQ,EACR,UAAU,EACV,WAAW,EAGZ,MAAM,iCAAiC,CAAA;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAGtE,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAIrC,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAClC,CAAC,GACD,gBAAgB,CAChB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAClC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAChC,CAAA;AAwDH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EACtE,SAAS,YAAY,CAAC,CAAC,CAAC,EACxB,SAAS,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,KAC9B,MAAM,CAAC,MAAM,CACd,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAC9C,WAAW,CAAC,CAAC,CAAC,CA+If,CAAA;;;;AAED,qBAAa,iBAAiB,CAC5B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,GAAG,SAAS,cAAc,GAAG,cAAc,CAC3C,SAAQ,uBAAiD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CAC3C,CAAC;CAAG;AAQL,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC3E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,SAA8C,CAAA;AAE3E,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC9E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAkBlE,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAChF,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CA6B/C,CAAA"}