@hegeldev/hegel 0.1.0

package/dist/generator.d.ts

@@ -0,0 +1,80 @@
+/**
+ * JSON Schema type for generator schemas.
+ */
+export type JsonSchema = Record<string, unknown>;
+/**
+ * Core Generator interface.
+ * All generators implement this interface.
+ */
+export interface Generator<T> {
+    /**
+     * Generate a value of type T.
+     */
+    generate(): T;
+    /**
+     * Get the JSON Schema for this generator, or null if unavailable.
+     * When a schema is available, generation is more efficient (single socket round-trip).
+     */
+    schema(): JsonSchema | null;
+    /**
+     * Transform generated values with a function.
+     * Note: This invalidates the schema, causing compositional generation.
+     */
+    map<U>(f: (value: T) => U): Generator<U>;
+    /**
+     * Dependent generation where the next generator depends on the generated value.
+     * Note: This invalidates the schema, causing compositional generation.
+     */
+    flatMap<U>(f: (value: T) => Generator<U>): Generator<U>;
+    /**
+     * Filter generated values by a predicate.
+     * Note: This invalidates the schema, causing compositional generation.
+     * @param predicate - Function that returns true for valid values
+     */
+    filter(predicate: (value: T) => boolean): Generator<T>;
+}
+/**
+ * Abstract base class providing default implementations of map, flatMap, and filter.
+ * Concrete generators only need to implement generate() and schema().
+ */
+export declare abstract class BaseGenerator<T> implements Generator<T> {
+    abstract generate(): T;
+    abstract schema(): JsonSchema | null;
+    map<U>(f: (value: T) => U): Generator<U>;
+    flatMap<U>(f: (value: T) => Generator<U>): Generator<U>;
+    filter(predicate: (value: T) => boolean): Generator<T>;
+}
+/**
+ * Schema-based generator that uses a JSON schema for generation.
+ * Provides efficient single socket round-trip generation.
+ */
+export declare class SchemaGenerator<T> extends BaseGenerator<T> {
+    private readonly _schema;
+    constructor(_schema: JsonSchema);
+    generate(): T;
+    schema(): JsonSchema;
+}
+/**
+ * Function-based generator that wraps a generation function.
+ * May or may not have a schema.
+ */
+export declare class FuncGenerator<T> extends BaseGenerator<T> {
+    private readonly genFn;
+    private readonly _schema;
+    constructor(genFn: () => T, _schema?: JsonSchema | null);
+    generate(): T;
+    schema(): JsonSchema | null;
+}
+/**
+ * Generator that filters values by a predicate.
+ * Retries up to 3 times before rejecting.
+ * Always has no schema.
+ */
+export declare class FilteredGenerator<T> extends BaseGenerator<T> {
+    private readonly source;
+    private readonly predicate;
+    constructor(source: Generator<T>, predicate: (value: T) => boolean);
+    generate(): T;
+    schema(): null;
+}
+//# sourceMappingURL=generator.d.ts.map

package/dist/generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../src/generator.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEhD;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B;;OAEG;IACH,QAAQ,IAAI,CAAC,CAAA;IAEb;;;OAGG;IACH,MAAM,IAAI,UAAU,GAAG,IAAI,CAAA;IAE3B;;;OAGG;IACH,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAExC;;;OAGG;IACH,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAEvD;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;CACvD;AAED;;;GAGG;AACH,8BAAsB,aAAa,CAAC,CAAC,CAAE,YAAW,SAAS,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,QAAQ,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,IAAI,UAAU,GAAG,IAAI;IAEpC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;IAIxC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;IAIvD,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC;CAGvD;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,UAAU;IAIhD,QAAQ,IAAI,CAAC;IAIb,MAAM,IAAI,UAAU;CAGrB;AAED;;;GAGG;AACH,qBAAa,aAAa,CAAC,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,CAAC;IAElD,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBADP,KAAK,EAAE,MAAM,CAAC,EACd,OAAO,GAAE,UAAU,GAAG,IAAW;IAKpD,QAAQ,IAAI,CAAC;IAIb,MAAM,IAAI,UAAU,GAAG,IAAI;CAG5B;AAiDD;;;;GAIG;AACH,qBAAa,iBAAiB,CAAC,CAAC,CAAE,SAAQ,aAAa,CAAC,CAAC,CAAC;IAEtD,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,SAAS;gBADT,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EACpB,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO;IAKnD,QAAQ,IAAI,CAAC;IAgBb,MAAM,IAAI,IAAI;CAGf"}

package/dist/generator.js

@@ -0,0 +1,128 @@
+import { generateFromSchema, assume } from "./connection.js";
+import { LABELS } from "./labels.js";
+import { discardableGroup, group } from "./spans.js";
+/**
+ * Abstract base class providing default implementations of map, flatMap, and filter.
+ * Concrete generators only need to implement generate() and schema().
+ */
+export class BaseGenerator {
+    map(f) {
+        return new MappedGenerator(this, f);
+    }
+    flatMap(f) {
+        return new FlatMappedGenerator(this, f);
+    }
+    filter(predicate) {
+        return new FilteredGenerator(this, predicate);
+    }
+}
+/**
+ * Schema-based generator that uses a JSON schema for generation.
+ * Provides efficient single socket round-trip generation.
+ */
+export class SchemaGenerator extends BaseGenerator {
+    _schema;
+    constructor(_schema) {
+        super();
+        this._schema = _schema;
+    }
+    generate() {
+        return generateFromSchema(this._schema);
+    }
+    schema() {
+        return this._schema;
+    }
+}
+/**
+ * Function-based generator that wraps a generation function.
+ * May or may not have a schema.
+ */
+export class FuncGenerator extends BaseGenerator {
+    genFn;
+    _schema;
+    constructor(genFn, _schema = null) {
+        super();
+        this.genFn = genFn;
+        this._schema = _schema;
+    }
+    generate() {
+        return this.genFn();
+    }
+    schema() {
+        return this._schema;
+    }
+}
+/**
+ * Generator that transforms values from another generator.
+ * Always has no schema (transformation invalidates it).
+ */
+class MappedGenerator extends BaseGenerator {
+    source;
+    f;
+    constructor(source, f) {
+        super();
+        this.source = source;
+        this.f = f;
+    }
+    generate() {
+        return this.f(this.source.generate());
+    }
+    schema() {
+        return null;
+    }
+}
+/**
+ * Generator for dependent generation.
+ * The next generator depends on the value from the first generator.
+ * Always has no schema.
+ */
+class FlatMappedGenerator extends BaseGenerator {
+    source;
+    f;
+    constructor(source, f) {
+        super();
+        this.source = source;
+        this.f = f;
+    }
+    generate() {
+        return group(LABELS.FLAT_MAP, () => {
+            const intermediate = this.source.generate();
+            const nextGen = this.f(intermediate);
+            return nextGen.generate();
+        });
+    }
+    schema() {
+        return null;
+    }
+}
+/**
+ * Generator that filters values by a predicate.
+ * Retries up to 3 times before rejecting.
+ * Always has no schema.
+ */
+export class FilteredGenerator extends BaseGenerator {
+    source;
+    predicate;
+    constructor(source, predicate) {
+        super();
+        this.source = source;
+        this.predicate = predicate;
+    }
+    generate() {
+        for (let i = 0; i < 3; i++) {
+            const result = discardableGroup(LABELS.FILTER, () => {
+                const value = this.source.generate();
+                return this.predicate(value) ? value : null;
+            });
+            if (result !== null) {
+                return result;
+            }
+        }
+        assume(false);
+        throw new Error("unreachable"); // assume(false) exits the process
+    }
+    schema() {
+        return null;
+    }
+}
+//# sourceMappingURL=generator.js.map

package/dist/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../src/generator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AA2CpD;;;GAGG;AACH,MAAM,OAAgB,aAAa;IAIjC,GAAG,CAAI,CAAkB;QACvB,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACrC,CAAC;IAED,OAAO,CAAI,CAA6B;QACtC,OAAO,IAAI,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACzC,CAAC;IAED,MAAM,CAAC,SAAgC;QACrC,OAAO,IAAI,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,eAAmB,SAAQ,aAAgB;IACzB;IAA7B,YAA6B,OAAmB;QAC9C,KAAK,EAAE,CAAA;QADoB,YAAO,GAAP,OAAO,CAAY;IAEhD,CAAC;IAED,QAAQ;QACN,OAAO,kBAAkB,CAAI,IAAI,CAAC,OAAO,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,OAAO,CAAA;IACrB,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,aAAiB,SAAQ,aAAgB;IAEjC;IACA;IAFnB,YACmB,KAAc,EACd,UAA6B,IAAI;QAElD,KAAK,EAAE,CAAA;QAHU,UAAK,GAAL,KAAK,CAAS;QACd,YAAO,GAAP,OAAO,CAA0B;IAGpD,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,OAAO,CAAA;IACrB,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,eAAsB,SAAQ,aAAgB;IAE/B;IACA;IAFnB,YACmB,MAAoB,EACpB,CAAkB;QAEnC,KAAK,EAAE,CAAA;QAHU,WAAM,GAAN,MAAM,CAAc;QACpB,MAAC,GAAD,CAAC,CAAiB;IAGrC,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IACvC,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,mBAA0B,SAAQ,aAAgB;IAEnC;IACA;IAFnB,YACmB,MAAoB,EACpB,CAA6B;QAE9C,KAAK,EAAE,CAAA;QAHU,WAAM,GAAN,MAAM,CAAc;QACpB,MAAC,GAAD,CAAC,CAA4B;IAGhD,CAAC;IAED,QAAQ;QACN,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAA;YAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;YACpC,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAA;QAC3B,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAqB,SAAQ,aAAgB;IAErC;IACA;IAFnB,YACmB,MAAoB,EACpB,SAAgC;QAEjD,KAAK,EAAE,CAAA;QAHU,WAAM,GAAN,MAAM,CAAc;QACpB,cAAS,GAAT,SAAS,CAAuB;IAGnD,CAAC;IAED,QAAQ;QACN,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE;gBAClD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAA;gBACpC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;YAC7C,CAAC,CAAC,CAAA;YAEF,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,MAAM,CAAA;YACf,CAAC;QACH,CAAC;QAED,MAAM,CAAC,KAAK,CAAC,CAAA;QACb,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAA,CAAC,kCAAkC;IACnE,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;CACF"}

package/dist/generators/collections.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Collection generators: arrays, sets, and maps.
+ *
+ * @packageDocumentation
+ */
+import { Generator } from "./core.js";
+export interface CollectionOptions {
+    minSize?: number;
+    maxSize?: number;
+}
+export interface ArrayOptions extends CollectionOptions {
+    unique?: boolean;
+}
+/** Generate arrays with elements from the given generator. */
+export declare function arrays<T>(elements: Generator<T>, options?: ArrayOptions): Generator<T[]>;
+/** Generate Sets with elements from the given generator. */
+export declare function sets<T>(elements: Generator<T>, options?: CollectionOptions): Generator<Set<T>>;
+/** Generate Maps with keys and values from the given generators. */
+export declare function maps<K, V>(keys: Generator<K>, values: Generator<V>, options?: CollectionOptions): Generator<Map<K, V>>;
+//# sourceMappingURL=collections.d.ts.map

package/dist/generators/collections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../src/generators/collections.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,SAAS,EAAkB,MAAM,WAAW,CAAC;AAEtD,MAAM,WAAW,iBAAiB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAuED,8DAA8D;AAC9D,wBAAgB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAExF;AA8DD,4DAA4D;AAC5D,wBAAgB,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAE9F;AA4ED,oEAAoE;AACpE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EACvB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAClB,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,iBAAiB,GAC1B,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAEtB"}

package/dist/generators/collections.js

@@ -0,0 +1,209 @@
+/**
+ * Collection generators: arrays, sets, and maps.
+ *
+ * @packageDocumentation
+ */
+import { Collection, Labels } from "../testCase.js";
+import { Generator, BasicGenerator } from "./core.js";
+// ---------------------------------------------------------------------------
+// Arrays
+// ---------------------------------------------------------------------------
+class ArraysGenerator extends Generator {
+    elements;
+    minSize;
+    maxSize;
+    unique;
+    basic;
+    constructor(elements, options) {
+        super();
+        const minSize = options?.minSize ?? 0;
+        const maxSize = options?.maxSize ?? null;
+        const unique = options?.unique ?? false;
+        if (maxSize !== null && minSize > maxSize) {
+            throw new Error("Cannot have maxSize < minSize");
+        }
+        this.elements = elements;
+        this.minSize = minSize;
+        this.maxSize = maxSize;
+        this.unique = unique;
+        const elementBasic = elements.asBasic();
+        if (elementBasic) {
+            const schema = {
+                type: "list",
+                unique,
+                elements: elementBasic.schema,
+                min_size: minSize,
+            };
+            if (maxSize !== null)
+                schema["max_size"] = maxSize;
+            this.basic = new BasicGenerator(schema, (raw) => {
+                if (!Array.isArray(raw))
+                    throw new Error(`Expected array, got ${typeof raw}`);
+                return raw.map((v) => elementBasic.parseRaw(v));
+            });
+        }
+        else {
+            this.basic = null;
+        }
+    }
+    doDraw(tc) {
+        if (this.basic)
+            return this.basic.doDraw(tc);
+        tc.startSpan(Labels.LIST);
+        const collection = new Collection(tc, this.minSize, this.maxSize ?? undefined);
+        const result = [];
+        while (collection.more()) {
+            const element = this.elements.doDraw(tc);
+            if (this.unique) {
+                if (result.some((existing) => JSON.stringify(existing) === JSON.stringify(element))) {
+                    collection.reject("duplicate element");
+                    continue;
+                }
+            }
+            result.push(element);
+        }
+        tc.stopSpan();
+        return result;
+    }
+    asBasic() {
+        return this.basic;
+    }
+}
+/** Generate arrays with elements from the given generator. */
+export function arrays(elements, options) {
+    return new ArraysGenerator(elements, options);
+}
+class SetsGenerator extends Generator {
+    elements;
+    minSize;
+    maxSize;
+    basic;
+    constructor(elements, options) {
+        super();
+        const minSize = options?.minSize ?? 0;
+        const maxSize = options?.maxSize ?? null;
+        if (maxSize !== null && minSize > maxSize) {
+            throw new Error("Cannot have maxSize < minSize");
+        }
+        this.elements = elements;
+        this.minSize = minSize;
+        this.maxSize = maxSize;
+        const elementBasic = elements.asBasic();
+        if (elementBasic) {
+            const schema = {
+                type: "list",
+                unique: true,
+                elements: elementBasic.schema,
+                min_size: minSize,
+            };
+            if (maxSize !== null)
+                schema["max_size"] = maxSize;
+            this.basic = new BasicGenerator(schema, (raw) => {
+                if (!Array.isArray(raw))
+                    throw new Error(`Expected array, got ${typeof raw}`);
+                return new Set(raw.map((v) => elementBasic.parseRaw(v)));
+            });
+        }
+        else {
+            this.basic = null;
+        }
+    }
+    doDraw(tc) {
+        if (this.basic)
+            return this.basic.doDraw(tc);
+        tc.startSpan(Labels.SET);
+        const collection = new Collection(tc, this.minSize, this.maxSize ?? undefined);
+        const result = new Set();
+        while (collection.more()) {
+            const element = this.elements.doDraw(tc);
+            if (result.has(element)) {
+                collection.reject("duplicate element");
+                continue;
+            }
+            result.add(element);
+        }
+        tc.stopSpan();
+        return result;
+    }
+    asBasic() {
+        return this.basic;
+    }
+}
+/** Generate Sets with elements from the given generator. */
+export function sets(elements, options) {
+    return new SetsGenerator(elements, options);
+}
+class MapsGenerator extends Generator {
+    keys;
+    values;
+    minSize;
+    maxSize;
+    basic;
+    constructor(keys, values, options) {
+        super();
+        const minSize = options?.minSize ?? 0;
+        const maxSize = options?.maxSize ?? null;
+        if (maxSize !== null && minSize > maxSize) {
+            throw new Error("Cannot have maxSize < minSize");
+        }
+        this.keys = keys;
+        this.values = values;
+        this.minSize = minSize;
+        this.maxSize = maxSize;
+        const keyBasic = keys.asBasic();
+        const valueBasic = values.asBasic();
+        if (keyBasic && valueBasic) {
+            const schema = {
+                type: "dict",
+                keys: keyBasic.schema,
+                values: valueBasic.schema,
+                min_size: minSize,
+            };
+            if (maxSize !== null)
+                schema["max_size"] = maxSize;
+            this.basic = new BasicGenerator(schema, (raw) => {
+                if (!Array.isArray(raw))
+                    throw new Error(`Expected array, got ${typeof raw}`);
+                const map = new Map();
+                for (const entry of raw) {
+                    if (!Array.isArray(entry) || entry.length !== 2) {
+                        throw new Error("Expected [key, value] pair");
+                    }
+                    map.set(keyBasic.parseRaw(entry[0]), valueBasic.parseRaw(entry[1]));
+                }
+                return map;
+            });
+        }
+        else {
+            this.basic = null;
+        }
+    }
+    doDraw(tc) {
+        if (this.basic)
+            return this.basic.doDraw(tc);
+        tc.startSpan(Labels.MAP);
+        const collection = new Collection(tc, this.minSize, this.maxSize ?? undefined);
+        const result = new Map();
+        while (collection.more()) {
+            tc.startSpan(Labels.MAP_ENTRY);
+            const key = this.keys.doDraw(tc);
+            const value = this.values.doDraw(tc);
+            tc.stopSpan();
+            if (result.has(key)) {
+                collection.reject("duplicate key");
+                continue;
+            }
+            result.set(key, value);
+        }
+        tc.stopSpan();
+        return result;
+    }
+    asBasic() {
+        return this.basic;
+    }
+}
+/** Generate Maps with keys and values from the given generators. */
+export function maps(keys, values, options) {
+    return new MapsGenerator(keys, values, options);
+}
+//# sourceMappingURL=collections.js.map

package/dist/generators/collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../src/generators/collections.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAY,UAAU,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAWtD,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,eAAmB,SAAQ,SAAc;IAC5B,QAAQ,CAAe;IACvB,OAAO,CAAS;IAChB,OAAO,CAAgB;IACvB,MAAM,CAAU;IAChB,KAAK,CAA6B;IAEnD,YAAY,QAAsB,EAAE,OAAsB;QACxD,KAAK,EAAE,CAAC;QACR,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,KAAK,CAAC;QAExC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,GAAG,OAAO,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QAErB,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,MAAM,GAA4B;gBACtC,IAAI,EAAE,MAAM;gBACZ,MAAM;gBACN,QAAQ,EAAE,YAAY,CAAC,MAAM;gBAC7B,QAAQ,EAAE,OAAO;aAClB,CAAC;YACF,IAAI,OAAO,KAAK,IAAI;gBAAE,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC;YAEnD,IAAI,CAAC,KAAK,GAAG,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,EAAE,CAAC,CAAC;gBAC9E,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7C,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAQ,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;oBACpF,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;oBACvC,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,EAAE,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,OAAO;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED,8DAA8D;AAC9D,MAAM,UAAU,MAAM,CAAI,QAAsB,EAAE,OAAsB;IACtE,OAAO,IAAI,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,aAAiB,SAAQ,SAAiB;IAC7B,QAAQ,CAAe;IACvB,OAAO,CAAS;IAChB,OAAO,CAAgB;IACvB,KAAK,CAAgC;IAEtD,YAAY,QAAsB,EAAE,OAA2B;QAC7D,KAAK,EAAE,CAAC;QACR,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;QAEzC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,GAAG,OAAO,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QAEvB,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,MAAM,GAA4B;gBACtC,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,YAAY,CAAC,MAAM;gBAC7B,QAAQ,EAAE,OAAO;aAClB,CAAC;YACF,IAAI,OAAO,KAAK,IAAI;gBAAE,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC;YAEnD,IAAI,CAAC,KAAK,GAAG,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,EAAE,CAAC,CAAC;gBAC9E,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7C,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAK,CAAC;QAC5B,OAAO,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxB,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;QACD,EAAE,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,OAAO;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED,4DAA4D;AAC5D,MAAM,UAAU,IAAI,CAAI,QAAsB,EAAE,OAA2B;IACzE,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,aAAoB,SAAQ,SAAoB;IACnC,IAAI,CAAe;IACnB,MAAM,CAAe;IACrB,OAAO,CAAS;IAChB,OAAO,CAAgB;IACvB,KAAK,CAAmC;IAEzD,YAAY,IAAkB,EAAE,MAAoB,EAAE,OAA2B;QAC/E,KAAK,EAAE,CAAC;QACR,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;QAEzC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,GAAG,OAAO,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QAEvB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAEpC,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAA4B;gBACtC,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,QAAQ,CAAC,MAAM;gBACrB,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,QAAQ,EAAE,OAAO;aAClB,CAAC;YACF,IAAI,OAAO,KAAK,IAAI;gBAAE,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC;YAEnD,IAAI,CAAC,KAAK,GAAG,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,EAAE,CAAC,CAAC;gBAC9E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAQ,CAAC;gBAC5B,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;oBACxB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;oBAChD,CAAC;oBACD,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtE,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7C,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAQ,CAAC;QAC/B,OAAO,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YACzB,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACrC,EAAE,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,EAAE,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,OAAO;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED,oEAAoE;AACpE,MAAM,UAAU,IAAI,CAClB,IAAkB,EAClB,MAAoB,EACpB,OAA2B;IAE3B,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC"}

package/dist/generators/combinators.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Value combinators: just, sampledFrom, oneOf, optional.
+ *
+ * @packageDocumentation
+ */
+import { Generator } from "./core.js";
+/** Generate a constant value. */
+export declare function just<T>(value: T): Generator<T>;
+/** Pick from a fixed list of values. Panics if empty. */
+export declare function sampledFrom<T>(elements: T[]): Generator<T>;
+/** Choose from multiple generators of the same type. */
+export declare function oneOf<T>(...generators: Generator<T>[]): Generator<T>;
+/** Generate either a value from the inner generator, or null. */
+export declare function optional<T>(inner: Generator<T>): Generator<T | null>;
+//# sourceMappingURL=combinators.d.ts.map

package/dist/generators/combinators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../../src/generators/combinators.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,SAAS,EAAkB,MAAM,WAAW,CAAC;AAiBtD,iCAAiC;AACjC,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAE9C;AAyBD,yDAAyD;AACzD,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAE1D;AAgDD,wDAAwD;AACxD,wBAAgB,KAAK,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAEpE;AAgDD,iEAAiE;AACjE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,CAEpE"}

package/dist/generators/combinators.js

@@ -0,0 +1,143 @@
+/**
+ * Value combinators: just, sampledFrom, oneOf, optional.
+ *
+ * @packageDocumentation
+ */
+import { Labels, generateRaw } from "../testCase.js";
+import { Generator, BasicGenerator } from "./core.js";
+class JustGenerator extends Generator {
+    value;
+    constructor(value) {
+        super();
+        this.value = value;
+    }
+    doDraw(_tc) {
+        return this.value;
+    }
+    asBasic() {
+        const value = this.value;
+        return new BasicGenerator({ type: "constant", value: null }, () => value);
+    }
+}
+/** Generate a constant value. */
+export function just(value) {
+    return new JustGenerator(value);
+}
+class SampledFromGenerator extends Generator {
+    elements;
+    schema;
+    constructor(elements) {
+        super();
+        if (elements.length === 0) {
+            throw new Error("sampledFrom requires at least one element");
+        }
+        this.elements = [...elements];
+        this.schema = { type: "integer", min_value: 0, max_value: this.elements.length - 1 };
+    }
+    doDraw(tc) {
+        return this.elements[generateRaw(tc, this.schema)];
+    }
+    asBasic() {
+        const elements = this.elements;
+        return new BasicGenerator(this.schema, (raw) => elements[raw]);
+    }
+}
+/** Pick from a fixed list of values. Panics if empty. */
+export function sampledFrom(elements) {
+    return new SampledFromGenerator(elements);
+}
+class OneOfGenerator extends Generator {
+    sources;
+    basic;
+    constructor(sources) {
+        super();
+        if (sources.length === 0) {
+            throw new Error("oneOf requires at least one generator");
+        }
+        this.sources = sources;
+        const basics = sources.map((g) => g.asBasic());
+        if (basics.every((b) => b !== null)) {
+            const validBasics = basics;
+            const taggedSchemas = validBasics.map((b, i) => ({
+                type: "tuple",
+                elements: [{ type: "constant", value: i }, b.schema],
+            }));
+            this.basic = new BasicGenerator({ type: "one_of", generators: taggedSchemas }, (raw) => {
+                if (!Array.isArray(raw))
+                    throw new Error(`Expected array, got ${typeof raw}`);
+                const tag = raw[0];
+                return validBasics[tag].parseRaw(raw[1]);
+            });
+        }
+        else {
+            this.basic = null;
+        }
+    }
+    doDraw(tc) {
+        if (this.basic)
+            return this.basic.doDraw(tc);
+        tc.startSpan(Labels.ONE_OF);
+        const index = generateRaw(tc, {
+            type: "integer",
+            min_value: 0,
+            max_value: this.sources.length - 1,
+        });
+        const result = this.sources[index].doDraw(tc);
+        tc.stopSpan();
+        return result;
+    }
+    asBasic() {
+        return this.basic;
+    }
+}
+/** Choose from multiple generators of the same type. */
+export function oneOf(...generators) {
+    return new OneOfGenerator(generators);
+}
+class OptionalGenerator extends Generator {
+    inner;
+    basic;
+    constructor(inner) {
+        super();
+        this.inner = inner;
+        const innerBasic = inner.asBasic();
+        if (innerBasic) {
+            const nullSchema = {
+                type: "tuple",
+                elements: [{ type: "constant", value: 0 }, { type: "null" }],
+            };
+            const valueSchema = {
+                type: "tuple",
+                elements: [{ type: "constant", value: 1 }, innerBasic.schema],
+            };
+            this.basic = new BasicGenerator({ type: "one_of", generators: [nullSchema, valueSchema] }, (raw) => {
+                if (!Array.isArray(raw))
+                    throw new Error(`Expected array, got ${typeof raw}`);
+                const tag = raw[0];
+                if (tag === 0)
+                    return null;
+                return innerBasic.parseRaw(raw[1]);
+            });
+        }
+        else {
+            this.basic = null;
+        }
+    }
+    doDraw(tc) {
+        if (this.basic)
+            return this.basic.doDraw(tc);
+        tc.startSpan(Labels.OPTIONAL);
+        const isSome = generateRaw(tc, { type: "boolean" });
+        const result = isSome ? this.inner.doDraw(tc) : null;
+        tc.stopSpan();
+        return result;
+    }
+    asBasic() {
+        return this.basic;
+    }
+}
+/** Generate either a value from the inner generator, or null. */
+export function optional(inner) {
+    return new OptionalGenerator(inner);
+}
+//# sourceMappingURL=combinators.js.map

package/dist/generators/combinators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"combinators.js","sourceRoot":"","sources":["../../src/generators/combinators.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAY,MAAM,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAEtD,MAAM,aAAiB,SAAQ,SAAY;IACZ;IAA7B,YAA6B,KAAQ;QACnC,KAAK,EAAE,CAAC;QADmB,UAAK,GAAL,KAAK,CAAG;IAErC,CAAC;IAED,MAAM,CAAC,GAAa;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAEQ,OAAO;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,OAAO,IAAI,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC;CACF;AAED,iCAAiC;AACjC,MAAM,UAAU,IAAI,CAAI,KAAQ;IAC9B,OAAO,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,oBAAwB,SAAQ,SAAY;IAC/B,QAAQ,CAAM;IACd,MAAM,CAA0B;IAEjD,YAAY,QAAa;QACvB,KAAK,EAAE,CAAC;QACR,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC;IAC/D,CAAC;IAEQ,OAAO;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAa,CAAC,CAAC,CAAC;IAC3E,CAAC;CACF;AAED,yDAAyD;AACzD,MAAM,UAAU,WAAW,CAAI,QAAa;IAC1C,OAAO,IAAI,oBAAoB,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,cAAkB,SAAQ,SAAY;IACzB,OAAO,CAAiB;IACxB,KAAK,CAA2B;IAEjD,YAAY,OAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QAEvB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,WAAW,GAAG,MAA6B,CAAC;YAClD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC;aACrD,CAAC,CAAC,CAAC;YACJ,IAAI,CAAC,KAAK,GAAG,IAAI,cAAc,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;gBACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,EAAE,CAAC,CAAC;gBAC9E,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAW,CAAC;gBAC7B,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7C,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE;YAC5B,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,CAAC;YACZ,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;SACnC,CAAW,CAAC;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9C,EAAE,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,OAAO;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED,wDAAwD;AACxD,MAAM,UAAU,KAAK,CAAI,GAAG,UAA0B;IACpD,OAAO,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,iBAAqB,SAAQ,SAAmB;IACnC,KAAK,CAAe;IACpB,KAAK,CAAkC;IAExD,YAAY,KAAmB;QAC7B,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QAEnB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,UAAU,GAAG;gBACjB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;aAC7D,CAAC;YACF,MAAM,WAAW,GAAG;gBAClB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC;aAC9D,CAAC;YACF,IAAI,CAAC,KAAK,GAAG,IAAI,cAAc,CAC7B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,EACzD,CAAC,GAAG,EAAE,EAAE;gBACN,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,EAAE,CAAC,CAAC;gBAC9E,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAW,CAAC;gBAC7B,IAAI,GAAG,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAY;QACjB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7C,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAY,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrD,EAAE,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,OAAO;QACd,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAI,KAAmB;IAC7C,OAAO,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC"}

package/dist/generators/compose.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Composition generators: composite and record.
+ *
+ * @packageDocumentation
+ */
+import { TestCase } from "../testCase.js";
+import { Generator } from "./core.js";
+/** Create a generator from an imperative function. */
+export declare function composite<T>(fn: (tc: TestCase) => T): Generator<T>;
+/**
+ * Generate plain objects by drawing each field from its generator.
+ * Uses the schema-based path (tuple schema) when all fields have asBasic(),
+ * otherwise falls back to composite draws with a FIXED_DICT span.
+ *
+ * @example
+ * ```ts
+ * const userGen = record({
+ *   name: text({ minSize: 1 }),
+ *   age: integers({ minValue: 0, maxValue: 120 }),
+ *   active: booleans(),
+ * });
+ * ```
+ */
+export declare function record<T extends Record<string, unknown>>(schema: {
+    [K in keyof T]: Generator<T[K]>;
+}): Generator<T>;
+//# sourceMappingURL=compose.d.ts.map

package/dist/generators/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/generators/compose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAU,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAkB,MAAM,WAAW,CAAC;AAYtD,sDAAsD;AACtD,wBAAgB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAElE;AAkDD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE;KAC/D,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAChC,GAAG,SAAS,CAAC,CAAC,CAAC,CAEf"}