@hegeldev/hegel 0.1.0

package/dist/derive.d.ts

@@ -0,0 +1,225 @@
+/**
+ * Type-directed generator derivation for the Hegel library.
+ *
+ * TypeScript erases interface and type information at compile time, but
+ * **classes** persist at runtime with real constructors and field names.
+ * This module uses TypeScript legacy decorators (`experimentalDecorators`)
+ * to associate generators with class fields. Users annotate their class
+ * with `@field(gen)` on each property, then call `deriveGenerator(MyClass)`
+ * to get a composite generator that builds instances by generating each
+ * field independently.
+ *
+ * For plain-object records (no class needed), use {@link recordGenerator}.
+ *
+ * For sum types (discriminated unions), {@link variantGenerator} builds
+ * a generator that picks a variant uniformly at random and produces an
+ * object with the discriminant tag and generated fields.
+ *
+ * @example
+ * ```ts
+ * class Point {
+ *   \@field(floats(-100, 100))
+ *   x!: number;
+ *
+ *   \@field(floats(-100, 100))
+ *   y!: number;
+ * }
+ *
+ * const gen = deriveGenerator(Point);
+ * // draw(gen) returns a Point instance with random x, y
+ * ```
+ *
+ * @packageDocumentation
+ */
+import { Generator } from "./generators/index.js";
+import type { TestCaseData } from "./runner.js";
+/**
+ * Metadata entry for a single field.
+ * @internal
+ */
+export interface FieldMeta {
+    /** The property name on the class instance. */
+    name: string | symbol;
+    /** The generator to use for this field. */
+    generator: Generator;
+    /** The order the decorator was applied (for deterministic iteration). */
+    order: number;
+}
+/**
+ * Type for class constructors in the metadata map.
+ * @internal
+ */
+type AnyConstructor = new (...args: any[]) => any;
+/**
+ * Map from constructor → ordered list of field metadata.
+ * Each class that uses `@field(...)` gets an entry here.
+ * @internal
+ */
+export declare const _classFieldMeta: Map<AnyConstructor, FieldMeta[]>;
+/**
+ * Reset the field order counter. Only for testing.
+ * @internal
+ */
+export declare function _resetFieldOrder(): void;
+/**
+ * Decorator that associates a {@link Generator} with a class field.
+ *
+ * Use this on each field of a class before calling {@link deriveGenerator}.
+ * Fields are generated in decorator-application order (typically top to
+ * bottom in the class body).
+ *
+ * Requires `experimentalDecorators: true` in `tsconfig.json`.
+ *
+ * @example
+ * ```ts
+ * class User {
+ *   \@field(text(1, 50))
+ *   name!: string;
+ *
+ *   \@field(integers(18, 120))
+ *   age!: number;
+ * }
+ * ```
+ *
+ * @param gen - The generator to use for this field's values.
+ */
+export declare function field<T>(gen: Generator<T>): PropertyDecorator;
+/**
+ * A generator that produces instances of a class by generating each
+ * decorated field independently.
+ *
+ * Uses a FIXED_DICT span (label 10) to group the field generations,
+ * matching the Hegel protocol's semantic for record/struct types.
+ *
+ * @typeParam T - The class type being generated.
+ */
+export declare class DerivedGenerator<T> extends Generator<T> {
+    /** @internal */
+    readonly _ctor: new () => T;
+    /** @internal */
+    readonly _fields: ReadonlyArray<FieldMeta>;
+    constructor(ctor: new () => T, fields: FieldMeta[]);
+    doDraw(data: TestCaseData): Promise<T>;
+}
+/**
+ * Derive a generator for a class from its `@field(...)` annotations.
+ *
+ * Reads the generator metadata registered by the {@link field} decorator
+ * and returns a {@link DerivedGenerator} that produces instances of the
+ * class with each field independently generated.
+ *
+ * @param ctor - The class constructor (must have a no-arg constructor).
+ * @throws {Error} If the class has no `@field` annotations.
+ *
+ * @example
+ * ```ts
+ * class Config {
+ *   \@field(booleans()) debug!: boolean;
+ *   \@field(integers(1, 65535)) port!: number;
+ * }
+ * const gen = deriveGenerator(Config);
+ * const cfg = await draw(gen); // Config { debug: true, port: 8080 }
+ * ```
+ */
+export declare function deriveGenerator<T>(ctor: new () => T): DerivedGenerator<T>;
+/**
+ * A generator that produces plain objects from a schema mapping.
+ *
+ * Uses a FIXED_DICT span (label 10) internally.
+ *
+ * @typeParam T - The resulting object type.
+ */
+export declare class RecordDerivedGenerator<T> extends Generator<T> {
+    /** @internal */
+    readonly _entries: ReadonlyArray<[string, Generator]>;
+    constructor(entries: Array<[string, Generator]>);
+    doDraw(data: TestCaseData): Promise<T>;
+}
+/**
+ * Derive a generator for a plain-object record type from a schema mapping
+ * field names to generators.
+ *
+ * This is the "no-class" alternative: the user provides the structure
+ * explicitly as an object mapping field names to generators. The result
+ * is a generator that produces plain objects with the specified fields.
+ *
+ * @example
+ * ```ts
+ * const pointGen = recordGenerator({
+ *   x: floats(-100, 100),
+ *   y: floats(-100, 100),
+ * });
+ * const pt = await draw(pointGen); // { x: 42.5, y: -3.14 }
+ * ```
+ *
+ * @param schema - Mapping from field name to its generator.
+ * @throws {Error} If the schema has no fields.
+ */
+export declare function recordGenerator<S extends Record<string, Generator>>(schema: S): RecordDerivedGenerator<{
+    [K in keyof S]: S[K] extends Generator<infer V> ? V : never;
+}>;
+/**
+ * A single variant in a discriminated union.
+ */
+export interface VariantDef {
+    /** The discriminant value (e.g., "circle", "rectangle"). */
+    tag: string;
+    /**
+     * Generator for the variant's fields. When `null`, the variant has no
+     * extra data — the generator produces `{ type: tag }` only.
+     */
+    fields: Generator | null;
+}
+/**
+ * A generator that produces values of a discriminated union type.
+ *
+ * Picks a variant uniformly at random, generates its fields, and returns
+ * an object with the discriminant key set to the variant tag, plus the
+ * generated field values spread in. Uses an ENUM_VARIANT span (label 15)
+ * for each generated value.
+ *
+ * @typeParam T - The union type being generated.
+ */
+export declare class VariantGenerator<T> extends Generator<T> {
+    /** @internal */
+    readonly _variants: ReadonlyArray<VariantDef>;
+    /** @internal */
+    readonly _discriminant: string;
+    /** @internal */
+    private readonly _indexGen;
+    constructor(variants: VariantDef[], discriminant: string);
+    doDraw(data: TestCaseData): Promise<T>;
+}
+/**
+ * Derive a generator for a discriminated union (sum type).
+ *
+ * Takes a mapping from variant tag names to their field generators (or
+ * `null` for data-less variants). Returns a {@link VariantGenerator}
+ * that picks a variant uniformly at random and generates its fields.
+ *
+ * @example
+ * ```ts
+ * type Shape =
+ *   | { type: "circle"; radius: number }
+ *   | { type: "rectangle"; width: number; height: number };
+ *
+ * const shapeGen = variantGenerator<Shape>({
+ *   circle: recordGenerator({ radius: floats(0.1, 100) }),
+ *   rectangle: recordGenerator({
+ *     width: floats(0.1, 100),
+ *     height: floats(0.1, 100),
+ *   }),
+ * });
+ *
+ * const shape = await draw(shapeGen);
+ * // { type: "circle", radius: 42.5 }  or  { type: "rectangle", width: 10, height: 20 }
+ * ```
+ *
+ * @param variants - Mapping from tag name to field generator (or `null`
+ *   for data-less variants).
+ * @param discriminant - The discriminant property name. Defaults to `"type"`.
+ * @throws {Error} If fewer than 2 variants are provided.
+ */
+export declare function variantGenerator<T>(variants: Record<string, Generator | null>, discriminant?: string): VariantGenerator<T>;
+export {};
+//# sourceMappingURL=derive.d.ts.map

package/dist/derive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../src/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,SAAS,EAAkB,MAAM,uBAAuB,CAAC;AAElE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAMhD;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,2CAA2C;IAC3C,SAAS,EAAE,SAAS,CAAC;IACrB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AAEH,KAAK,cAAc,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,eAAe,kCAAyC,CAAC;AAKtE;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CAEvC;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAU7D;AAMD;;;;;;;;GAQG;AACH,qBAAa,gBAAgB,CAAC,CAAC,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IACnD,gBAAgB;IAChB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC5B,gBAAgB;IAChB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;gBAE/B,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE;IAM5C,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC;CAY7C;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CASzE;AAMD;;;;;;GAMG;AACH,qBAAa,sBAAsB,CAAC,CAAC,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IACzD,gBAAgB;IAChB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;gBAE1C,OAAO,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAKzC,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC;CAY7C;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EACjE,MAAM,EAAE,CAAC,GACR,sBAAsB,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,CAQzF;AAMD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,4DAA4D;IAC5D,GAAG,EAAE,MAAM,CAAC;IACZ;;;OAGG;IACH,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;;;;;GASG;AACH,qBAAa,gBAAgB,CAAC,CAAC,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IACnD,gBAAgB;IAChB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,gBAAgB;IAChB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gBAAgB;IAChB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;gBAEvC,QAAQ,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,MAAM;IAWlD,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC;CAc7C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAChC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC,EAC1C,YAAY,SAAS,GACpB,gBAAgB,CAAC,CAAC,CAAC,CAUrB"}

package/dist/derive.js

@@ -0,0 +1,296 @@
+/**
+ * Type-directed generator derivation for the Hegel library.
+ *
+ * TypeScript erases interface and type information at compile time, but
+ * **classes** persist at runtime with real constructors and field names.
+ * This module uses TypeScript legacy decorators (`experimentalDecorators`)
+ * to associate generators with class fields. Users annotate their class
+ * with `@field(gen)` on each property, then call `deriveGenerator(MyClass)`
+ * to get a composite generator that builds instances by generating each
+ * field independently.
+ *
+ * For plain-object records (no class needed), use {@link recordGenerator}.
+ *
+ * For sum types (discriminated unions), {@link variantGenerator} builds
+ * a generator that picks a variant uniformly at random and produces an
+ * object with the discriminant tag and generated fields.
+ *
+ * @example
+ * ```ts
+ * class Point {
+ *   \@field(floats(-100, 100))
+ *   x!: number;
+ *
+ *   \@field(floats(-100, 100))
+ *   y!: number;
+ * }
+ *
+ * const gen = deriveGenerator(Point);
+ * // draw(gen) returns a Point instance with random x, y
+ * ```
+ *
+ * @packageDocumentation
+ */
+import { Generator, BasicGenerator } from "./generators/index.js";
+import { startSpan, stopSpan, Labels } from "./runner.js";
+/**
+ * Map from constructor → ordered list of field metadata.
+ * Each class that uses `@field(...)` gets an entry here.
+ * @internal
+ */
+export const _classFieldMeta = new Map();
+/** Global counter to ensure deterministic field ordering. @internal */
+let _fieldOrder = 0;
+/**
+ * Reset the field order counter. Only for testing.
+ * @internal
+ */
+export function _resetFieldOrder() {
+    _fieldOrder = 0;
+}
+// ---------------------------------------------------------------------------
+// @field decorator
+// ---------------------------------------------------------------------------
+/**
+ * Decorator that associates a {@link Generator} with a class field.
+ *
+ * Use this on each field of a class before calling {@link deriveGenerator}.
+ * Fields are generated in decorator-application order (typically top to
+ * bottom in the class body).
+ *
+ * Requires `experimentalDecorators: true` in `tsconfig.json`.
+ *
+ * @example
+ * ```ts
+ * class User {
+ *   \@field(text(1, 50))
+ *   name!: string;
+ *
+ *   \@field(integers(18, 120))
+ *   age!: number;
+ * }
+ * ```
+ *
+ * @param gen - The generator to use for this field's values.
+ */
+export function field(gen) {
+    return function (target, propertyKey) {
+        const ctor = target.constructor;
+        let list = _classFieldMeta.get(ctor);
+        if (!list) {
+            list = [];
+            _classFieldMeta.set(ctor, list);
+        }
+        list.push({ name: propertyKey, generator: gen, order: _fieldOrder++ });
+    };
+}
+// ---------------------------------------------------------------------------
+// DerivedGenerator
+// ---------------------------------------------------------------------------
+/**
+ * A generator that produces instances of a class by generating each
+ * decorated field independently.
+ *
+ * Uses a FIXED_DICT span (label 10) to group the field generations,
+ * matching the Hegel protocol's semantic for record/struct types.
+ *
+ * @typeParam T - The class type being generated.
+ */
+export class DerivedGenerator extends Generator {
+    /** @internal */
+    _ctor;
+    /** @internal */
+    _fields;
+    constructor(ctor, fields) {
+        super();
+        this._ctor = ctor;
+        this._fields = [...fields].sort((a, b) => a.order - b.order);
+    }
+    async doDraw(data) {
+        await startSpan(Labels.FIXED_DICT, data);
+        try {
+            const instance = new this._ctor();
+            for (const f of this._fields) {
+                instance[f.name] = await f.generator.doDraw(data);
+            }
+            return instance;
+        }
+        finally {
+            await stopSpan({}, data);
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// deriveGenerator
+// ---------------------------------------------------------------------------
+/**
+ * Derive a generator for a class from its `@field(...)` annotations.
+ *
+ * Reads the generator metadata registered by the {@link field} decorator
+ * and returns a {@link DerivedGenerator} that produces instances of the
+ * class with each field independently generated.
+ *
+ * @param ctor - The class constructor (must have a no-arg constructor).
+ * @throws {Error} If the class has no `@field` annotations.
+ *
+ * @example
+ * ```ts
+ * class Config {
+ *   \@field(booleans()) debug!: boolean;
+ *   \@field(integers(1, 65535)) port!: number;
+ * }
+ * const gen = deriveGenerator(Config);
+ * const cfg = await draw(gen); // Config { debug: true, port: 8080 }
+ * ```
+ */
+export function deriveGenerator(ctor) {
+    const fields = _classFieldMeta.get(ctor);
+    if (!fields || fields.length === 0) {
+        throw new Error(`No @field annotations found on ${ctor.name}. ` +
+            `Decorate fields with @field(generator) before calling deriveGenerator().`);
+    }
+    return new DerivedGenerator(ctor, fields);
+}
+// ---------------------------------------------------------------------------
+// recordGenerator — anonymous record derivation (no class needed)
+// ---------------------------------------------------------------------------
+/**
+ * A generator that produces plain objects from a schema mapping.
+ *
+ * Uses a FIXED_DICT span (label 10) internally.
+ *
+ * @typeParam T - The resulting object type.
+ */
+export class RecordDerivedGenerator extends Generator {
+    /** @internal */
+    _entries;
+    constructor(entries) {
+        super();
+        this._entries = entries;
+    }
+    async doDraw(data) {
+        await startSpan(Labels.FIXED_DICT, data);
+        try {
+            const result = {};
+            for (const [key, gen] of this._entries) {
+                result[key] = await gen.doDraw(data);
+            }
+            return result;
+        }
+        finally {
+            await stopSpan({}, data);
+        }
+    }
+}
+/**
+ * Derive a generator for a plain-object record type from a schema mapping
+ * field names to generators.
+ *
+ * This is the "no-class" alternative: the user provides the structure
+ * explicitly as an object mapping field names to generators. The result
+ * is a generator that produces plain objects with the specified fields.
+ *
+ * @example
+ * ```ts
+ * const pointGen = recordGenerator({
+ *   x: floats(-100, 100),
+ *   y: floats(-100, 100),
+ * });
+ * const pt = await draw(pointGen); // { x: 42.5, y: -3.14 }
+ * ```
+ *
+ * @param schema - Mapping from field name to its generator.
+ * @throws {Error} If the schema has no fields.
+ */
+export function recordGenerator(schema) {
+    const entries = Object.entries(schema);
+    if (entries.length === 0) {
+        throw new Error("recordGenerator requires at least one field.");
+    }
+    return new RecordDerivedGenerator(entries);
+}
+/**
+ * A generator that produces values of a discriminated union type.
+ *
+ * Picks a variant uniformly at random, generates its fields, and returns
+ * an object with the discriminant key set to the variant tag, plus the
+ * generated field values spread in. Uses an ENUM_VARIANT span (label 15)
+ * for each generated value.
+ *
+ * @typeParam T - The union type being generated.
+ */
+export class VariantGenerator extends Generator {
+    /** @internal */
+    _variants;
+    /** @internal */
+    _discriminant;
+    /** @internal */
+    _indexGen;
+    constructor(variants, discriminant) {
+        super();
+        this._variants = variants;
+        this._discriminant = discriminant;
+        this._indexGen = new BasicGenerator({
+            type: "integer",
+            min_value: 0,
+            max_value: variants.length - 1,
+        });
+    }
+    async doDraw(data) {
+        await startSpan(Labels.ENUM_VARIANT, data);
+        try {
+            const index = await this._indexGen.doDraw(data);
+            const variant = this._variants[index];
+            if (variant.fields !== null) {
+                const fields = await variant.fields.doDraw(data);
+                return { [this._discriminant]: variant.tag, ...fields };
+            }
+            return { [this._discriminant]: variant.tag };
+        }
+        finally {
+            await stopSpan({}, data);
+        }
+    }
+}
+/**
+ * Derive a generator for a discriminated union (sum type).
+ *
+ * Takes a mapping from variant tag names to their field generators (or
+ * `null` for data-less variants). Returns a {@link VariantGenerator}
+ * that picks a variant uniformly at random and generates its fields.
+ *
+ * @example
+ * ```ts
+ * type Shape =
+ *   | { type: "circle"; radius: number }
+ *   | { type: "rectangle"; width: number; height: number };
+ *
+ * const shapeGen = variantGenerator<Shape>({
+ *   circle: recordGenerator({ radius: floats(0.1, 100) }),
+ *   rectangle: recordGenerator({
+ *     width: floats(0.1, 100),
+ *     height: floats(0.1, 100),
+ *   }),
+ * });
+ *
+ * const shape = await draw(shapeGen);
+ * // { type: "circle", radius: 42.5 }  or  { type: "rectangle", width: 10, height: 20 }
+ * ```
+ *
+ * @param variants - Mapping from tag name to field generator (or `null`
+ *   for data-less variants).
+ * @param discriminant - The discriminant property name. Defaults to `"type"`.
+ * @throws {Error} If fewer than 2 variants are provided.
+ */
+export function variantGenerator(variants, discriminant = "type") {
+    const entries = Object.entries(variants);
+    if (entries.length < 2) {
+        throw new Error("variantGenerator requires at least 2 variants.");
+    }
+    const defs = entries.map(([tag, gen]) => ({
+        tag,
+        fields: gen,
+    }));
+    return new VariantGenerator(defs, discriminant);
+}
+//# sourceMappingURL=derive.js.map

package/dist/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../src/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AA2B1D;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,EAA+B,CAAC;AAEtE,uEAAuE;AACvE,IAAI,WAAW,GAAG,CAAC,CAAC;AAEpB;;;GAGG;AACH,MAAM,UAAU,gBAAgB;IAC9B,WAAW,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,KAAK,CAAI,GAAiB;IACxC,OAAO,UAAU,MAAc,EAAE,WAA4B;QAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,WAA6B,CAAC;QAClD,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,GAAG,EAAE,CAAC;YACV,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAoB,SAAQ,SAAY;IACnD,gBAAgB;IACP,KAAK,CAAc;IAC5B,gBAAgB;IACP,OAAO,CAA2B;IAE3C,YAAY,IAAiB,EAAE,MAAmB;QAChD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAkB;QAC7B,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5B,QAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;gBAAS,CAAC;YACT,MAAM,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;CACF;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,eAAe,CAAI,IAAiB;IAClD,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,kCAAkC,IAAI,CAAC,IAAI,IAAI;YAC7C,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,gBAAgB,CAAI,IAAI,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,8EAA8E;AAC9E,kEAAkE;AAClE,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,sBAA0B,SAAQ,SAAY;IACzD,gBAAgB;IACP,QAAQ,CAAqC;IAEtD,YAAY,OAAmC;QAC7C,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAkB;QAC7B,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,MAAM,GAA4B,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;YACD,OAAO,MAAW,CAAC;QACrB,CAAC;gBAAS,CAAC;YACT,MAAM,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAS;IAET,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,sBAAsB,CAE9B,OAAO,CAAC,CAAC;AACd,CAAC;AAmBD;;;;;;;;;GASG;AACH,MAAM,OAAO,gBAAoB,SAAQ,SAAY;IACnD,gBAAgB;IACP,SAAS,CAA4B;IAC9C,gBAAgB;IACP,aAAa,CAAS;IAC/B,gBAAgB;IACC,SAAS,CAAyB;IAEnD,YAAY,QAAsB,EAAE,YAAoB;QACtD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,aAAa,GAAG,YAAY,CAAC;QAClC,IAAI,CAAC,SAAS,GAAG,IAAI,cAAc,CAAS;YAC1C,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,CAAC;YACZ,SAAS,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAkB;QAC7B,MAAM,SAAS,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YACvC,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACjD,OAAO,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,GAAG,EAAE,GAAI,MAAiB,EAAO,CAAC;YAC3E,CAAC;YACD,OAAO,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,GAAG,EAAO,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,MAAM,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA0C,EAC1C,YAAY,GAAG,MAAM;IAErB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,IAAI,GAAiB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,GAAG;QACH,MAAM,EAAE,GAAG;KACZ,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,gBAAgB,CAAI,IAAI,EAAE,YAAY,CAAC,CAAC;AACrD,CAAC"}

package/dist/embedded.d.ts

@@ -0,0 +1,38 @@
+export declare enum Verbosity {
+    Quiet = "quiet",
+    Normal = "normal",
+    Verbose = "verbose",
+    Debug = "debug"
+}
+/**
+ * Special error thrown by assume() to signal test rejection.
+ */
+export declare class RejectError extends Error {
+    constructor();
+}
+/**
+ * Builder class for configuring and running Hegel tests.
+ */
+export declare class Hegel {
+    private testFn;
+    private _testCases;
+    private _verbosity;
+    constructor(testFn: () => void);
+    /**
+     * Set the number of test cases to run.
+     */
+    testCases(n: number): this;
+    /**
+     * Set the verbosity level.
+     */
+    verbosity(v: Verbosity): this;
+    /**
+     * Run the test.
+     */
+    run(): Promise<void>;
+}
+/**
+ * Simple wrapper for running a Hegel test with default options.
+ */
+export declare function hegel(testFn: () => void): Promise<void>;
+//# sourceMappingURL=embedded.d.ts.map

package/dist/embedded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"embedded.d.ts","sourceRoot":"","sources":["../src/embedded.ts"],"names":[],"mappings":"AAkBA,oBAAY,SAAS;IACnB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED;;GAEG;AACH,qBAAa,WAAY,SAAQ,KAAK;;CAKrC;AAED;;GAEG;AACH,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,UAAU,CAA8B;gBAEpC,MAAM,EAAE,MAAM,IAAI;IAI9B;;OAEG;IACH,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAK1B;;OAEG;IACH,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI;IAK7B;;OAEG;IACH,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC;CAGrB;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvD"}