bupkis 0.1.2 → 0.3.0

package/dist/esm/types.d.ts

@@ -1,58 +1,366 @@
 /**
- * Types used throughout _BUPKIS_, mainly related to the
- * `expect()`/`expectAsync()` API.
+ * Types used throughout _BUPKIS_.
+ *
+ * May be useful for those building on top of _BUPKIS_.
+ *
+ * @example
+ *
+ * ```ts
+ * // namespace
+ * import { types } from 'bupkis';
+ * // subpath import
+ * import type * as alsoTypes from 'bupkis/types';
+ * ```
  *
  * @packageDocumentation
  */
-import type { ArrayValues, NonEmptyTuple, Constructor as TypeFestConstructor } from 'type-fest';
+import type { ArrayValues, TupleToUnion, Constructor as TypeFestConstructor, UnionToIntersection } from 'type-fest';
 import type { z } from 'zod/v4';
-import type { AnyAssertion, AnyAsyncAssertion, AnyAsyncAssertions, AnySyncAssertion, AnySyncAssertions, AssertionPart, AssertionParts, AssertionSlot, NoNeverTuple, PhraseLiteral, PhraseLiteralChoice, PhraseLiteralChoiceSlot, PhraseLiteralSlot } from './assertion/assertion-types.js';
-import { type Expect, type ExpectAsync } from './api.js';
+import type { AnyAssertion, AnyAsyncAssertion, AnyAsyncAssertions, AnySyncAssertion, AnySyncAssertions, AssertionFunctionAsync, AssertionFunctionSync, AssertionImplFnAsync, AssertionImplFnSync, AssertionImplSchemaAsync, AssertionImplSchemaSync, AssertionPart, AssertionParts, AssertionSchemaAsync, AssertionSchemaSync, AssertionSlot, AssertionSlots, BuiltinAsyncAssertions, BuiltinSyncAssertions, NoNeverTuple, PhraseLiteral, PhraseLiteralChoice, PhraseLiteralChoiceSlot, PhraseLiteralSlot, RawAssertionImplSchemaSync } from './assertion/assertion-types.js';
 /**
- * Helper type to create negated version of assertion parts. For phrase
- * literals, creates "not phrase" version. For phrase arrays, creates negated
- * versions of each phrase in the array.
+ * Creates a negated version of a tuple of
+ * {@link AssertionPart | AssertionParts}.
+ *
+ * For {@link PhraseLiteral | PhraseLiterals}, creates a
+ * {@link Negation | "not" variant}. For
+ * {@link PhraseLiteralChoice | PhraseLiteralChoices}, creates negated versions
+ * of each `Phrase` in the array.
+ *
+ * Does not affect Zod schemas.
+ *
+ * @template Parts Parts containing `PhraseLiterals` or `PhraseLiteralChoices`
+ *   to negate.
  */
-export type AddNegation<T extends readonly AssertionPart[]> = T extends readonly [
+export type AddNegation<Parts extends readonly AssertionPart[]> = Parts extends readonly [
     infer First extends AssertionPart,
     ...infer Rest extends readonly AssertionPart[]
-] ? First extends NonEmptyTuple<string> ? readonly [
+] ? First extends PhraseLiteralChoice ? readonly [
     {
-        [K in keyof First]: First[K] extends string ? Negation<First[K]> : never;
+        [K in keyof First]: First[K] extends PhraseLiteral ? Negation<First[K]> : never;
     },
     ...AddNegation<Rest>
-] : First extends string ? readonly [Negation<First>, ...AddNegation<Rest>] : readonly [First, ...AddNegation<Rest>] : readonly [];
+] : First extends PhraseLiteral ? readonly [Negation<First>, ...AddNegation<Rest>] : readonly [First, ...AddNegation<Rest>] : readonly [];
+/**
+ * Base set of properties included in both {@link Expect} and {@link ExpectAsync}.
+ *
+ * @preventExpand
+ */
+export interface BaseExpect {
+    /**
+     * Creates a new synchronous assertion.
+     */
+    createAssertion: CreateAssertionFn;
+    /**
+     * Creates a new asynchronous assertion.
+     */
+    createAsyncAssertion: CreateAsyncAssertionFn;
+    /**
+     * Fails immediately with optional `reason`.
+     *
+     * @param reason Reason for failure
+     * @throws {AssertionError}
+     */
+    fail: FailFn;
+}
+export type * from './assertion/assertion-types.js';
+/**
+ * The main API as returned by a {@link UseFn}.
+ *
+ * @template BaseSyncAssertions Base set of synchronous
+ *   {@link Assertion Assertions}; will be the builtin sync assertions, at
+ *   minimum)
+ * @template BaseAsyncAssertions Base set of asynchronous
+ *   {@link Assertion Assertions}; will be the builtin async assertions, at
+ *   minimum)
+ * @template ExtendedSyncAssertions Synchronous assertions extracted from
+ *   `MixedAssertions`
+ * @template ExtendedAsyncAssertions Asynchronous assertions extracted from
+ *   `MixedAssertions`
+ */
+export interface Bupkis<BaseSyncAssertions extends AnySyncAssertions, BaseAsyncAssertions extends AnyAsyncAssertions, ExtendedSyncAssertions extends readonly AnySyncAssertion[] = readonly [], ExtendedAsyncAssertions extends readonly AnyAsyncAssertion[] = readonly []> {
+    /**
+     * A new {@link Expect} function which handles {@link ExtendedSyncAssertions}
+     * and {@link BaseSyncAssertions}
+     */
+    expect: Expect<Concat<BaseSyncAssertions, ExtendedSyncAssertions>, Concat<BaseAsyncAssertions, ExtendedAsyncAssertions>>;
+    /**
+     * A new {@link ExpectAsync} function which handles
+     * {@link ExtendedAsyncAssertions} and {@link BaseAsyncAssertions}
+     */
+    expectAsync: ExpectAsync<Concat<BaseAsyncAssertions, ExtendedAsyncAssertions>, Concat<BaseSyncAssertions, ExtendedSyncAssertions>>;
+    /**
+     * For composing arrays of assertions, one after another.
+     *
+     * The _only_ chainable API in <span class="bupkis">Bupkis</span>.
+     *
+     * @since 0.1.0
+     * @example
+     *
+     * ```ts
+     * const { expect } = use([...someAssertions]).use([...otherAssertions]);
+     * ```
+     */
+    use: UseFn<Concat<BaseSyncAssertions, ExtendedSyncAssertions>, Concat<BaseAsyncAssertions, ExtendedAsyncAssertions>>;
+}
 /**
  * Helper type to concatenate two tuples
  */
-export type Concat<A extends readonly unknown[], B extends readonly unknown[]> = readonly [...A, ...B];
+export type Concat<TupleA extends readonly unknown[], TupleB extends readonly unknown[]> = readonly [...TupleA, ...TupleB];
 /**
  * A constructor based on {@link TypeFestConstructor type-fest's Constructor}
  * with a default instance type argument.
  */
-export type Constructor<T = any, Arguments extends unknown[] = any[]> = TypeFestConstructor<T, Arguments>;
-export type FilterAsyncAssertions<T extends readonly AnyAssertion[]> = T extends readonly [
-    infer S extends AnyAssertion,
+export type Constructor<Instance = any, Args extends unknown[] = any[]> = TypeFestConstructor<Instance, Args>;
+/**
+ * The main factory function for creating synchronous assertions.
+ */
+export interface CreateAssertionFn {
+    /**
+     * Create a synchronous `Assertion` from {@link AssertionParts parts} and a
+     * {@link z.ZodType Zod schema}.
+     *
+     * @template Parts Parts defining the shape of the assertion, including
+     *   Phrases and Zod schemas
+     * @template Impl Assertion implementation as a Zod schema
+     * @template Slots Inferred slots based on the provided `Parts`
+     * @returns New `AssertionSchemaSync` object
+     */
+    <const Parts extends AssertionParts, Impl extends RawAssertionImplSchemaSync<Parts>, Slots extends AssertionSlots<Parts>>(parts: Parts, impl: Impl): AssertionSchemaSync<Parts, AssertionImplSchemaSync<Parts>, Slots>;
+    /**
+     * Create a synchronous `Assertion` from {@link AssertionParts parts} and an
+     * implementation function.
+     *
+     * @template Parts Parts defining the shape of the assertion, including
+     *   Phrases and Zod schemas
+     * @template Impl Assertion implementation as a function
+     * @template Slots Inferred slots based on the provided `Parts`
+     * @returns New `AssertionFunctionSync` object
+     */
+    <const Parts extends AssertionParts, Impl extends AssertionImplFnSync<Parts>, Slots extends AssertionSlots<Parts>>(parts: Parts, impl: Impl): AssertionFunctionSync<Parts, Impl, Slots>;
+}
+/**
+ * The main factory function for creating asynchronous assertions.
+ */
+export interface CreateAsyncAssertionFn {
+    /**
+     * Create an async `Assertion` from {@link AssertionParts parts} and an
+     * {@link z.ZodType Zod schema}.
+     *
+     * The Zod schema need not be async itself.
+     *
+     * @template Parts Parts defining the shape of the assertion, including
+     *   Phrases and Zod schemas
+     * @template Impl Assertion implementation as a Zod schema
+     * @template Slots Inferred slots based on the provided `Parts`
+     * @returns New `AssertionSchemaAsync` object
+     */
+    <const Parts extends AssertionParts, Impl extends AssertionImplSchemaAsync<Parts>, Slots extends AssertionSlots<Parts>>(parts: Parts, impl: Impl): AssertionSchemaAsync<Parts, Impl, Slots>;
+    /**
+     * Create an async `Assertion` from {@link AssertionParts parts} and an
+     * implementation function.
+     *
+     * @template Parts Parts defining the shape of the assertion, including
+     *   Phrases and Zod schemas
+     * @template Impl Assertion implementation as a function
+     * @template Slots Inferred slots based on the provided `Parts`
+     * @returns New `AssertionFunctionAsync` object
+     */
+    <const Parts extends AssertionParts, Impl extends AssertionImplFnAsync<Parts>, Slots extends AssertionSlots<Parts>>(parts: Parts, impl: Impl): AssertionFunctionAsync<Parts, Impl, Slots>;
+}
+/**
+ * The main synchronous assertion function.
+ *
+ * Contains properties in {@link ExpectSyncProps}.
+ *
+ * @template SyncAssertions All synchronous assertions available
+ * @template AsyncAssertions All asynchronous assertions available; for use in
+ *   {@link ExpectSyncProps.use}
+ * @expandType ExpectSyncProps
+ * @see {@link expect}
+ */
+export type Expect<SyncAssertions extends AnySyncAssertions = BuiltinSyncAssertions, AsyncAssertions extends AnyAsyncAssertions = BuiltinAsyncAssertions> = ExpectFunction<SyncAssertions> & ExpectSyncProps<SyncAssertions, AsyncAssertions>;
+/**
+ * The main asynchronous assertion function.
+ *
+ * Contains properties in {@link ExpectAsyncProps}.
+ *
+ * @template AsyncAssertions All asynchronous assertions available
+ * @template SyncAssertions All synchronous assertions available; for use in
+ *   {@link ExpectAsyncProps.use}
+ * @expandType ExpectAsyncProps
+ * @see {@link expectAsync}
+ */
+export type ExpectAsync<AsyncAssertions extends AnyAsyncAssertions = BuiltinAsyncAssertions, SyncAssertions extends AnySyncAssertions = BuiltinSyncAssertions> = ExpectAsyncFunction<AsyncAssertions> & ExpectAsyncProps<AsyncAssertions, SyncAssertions>;
+/**
+ * The callable function type for asynchronous assertions.
+ *
+ * This type represents the actual function signature of an async expect
+ * function, created by mapping all available assertions to their respective
+ * function signatures and combining them using intersection types. Each
+ * assertion contributes its own overload to the final function type.
+ *
+ * The function signatures are derived from the {@link AssertionParts} of each
+ * assertion, with parameters that match the expected slots for natural language
+ * assertion calls.
+ *
+ * @example
+ *
+ * ```typescript
+ * // Example function type derived from async assertions
+ * const expectAsync: ExpectAsyncFunction<MyAsyncAssertions> = ...;
+ * await expectAsync(promise, 'to resolve');
+ * await expectAsync(promise, 'to resolve with value satisfying', expectedValue);
+ * ```
+ *
+ * @template T - Array of async assertion objects that define available
+ *   assertion logic
+ * @see {@link ExpectFunction} for the synchronous equivalent
+ * @see {@link SlotsFromParts} for how assertion parts are converted to function parameters
+ */
+export type ExpectAsyncFunction<T extends AnyAsyncAssertions = BuiltinAsyncAssertions> = UnionToIntersection<TupleToUnion<{
+    [K in keyof T]: T[K] extends AnyAsyncAssertion ? (...args: MutableOrReadonly<SlotsFromParts<T[K]['parts']>>) => Promise<void> : never;
+}>>;
+/**
+ * Properties available on asynchronous expect functions.
+ *
+ * This interface defines the additional properties and methods that are
+ * attached to async expect functions, extending the base expect functionality
+ * with async-specific features. These properties provide access to the
+ * underlying assertions and enable function composition through the
+ * {@link UseFn | use} method.
+ *
+ * @example
+ *
+ * ```typescript
+ * const expectAsync: ExpectAsync<MyAsyncAssertions> =
+ *   createExpectAsyncFunction(assertions);
+ *
+ * // Access the underlying assertions
+ * console.log(expectAsync.assertions.length);
+ *
+ * // Compose with additional assertions
+ * const { expectAsync: enhanced } = expectAsync.use(moreAssertions);
+ * ```
+ *
+ * @template AsyncAssertions - Array of async assertion objects available to
+ *   this expect function
+ * @template SyncAssertions - Array of sync assertion objects available for
+ *   composition via {@link UseFn | use}
+ */
+export interface ExpectAsyncProps<AsyncAssertions extends AnyAsyncAssertions, SyncAssertions extends AnySyncAssertions> extends BaseExpect {
+    /**
+     * Tuple of all assertions available in this `expect()`.
+     *
+     * @preventExpand
+     */
+    assertions: AsyncAssertions;
+    /**
+     * {@inheritDoc UseFn}
+     */
+    use: UseFn<SyncAssertions, AsyncAssertions>;
+}
+export type ExpectFunction<SyncAssertions extends AnySyncAssertions = BuiltinSyncAssertions> = UnionToIntersection<TupleToUnion<{
+    [K in keyof SyncAssertions]: SyncAssertions[K] extends AnySyncAssertion ? (...args: MutableOrReadonly<SlotsFromParts<SyncAssertions[K]['parts']>>) => void : never;
+}>>;
+/**
+ * Properties of {@link expect}.
+ */
+export interface ExpectSyncProps<SyncAssertions extends AnySyncAssertions, AsyncAssertions extends AnyAsyncAssertions> extends BaseExpect {
+    /**
+     * Tuple of all assertions available in this `expect()`.
+     *
+     * @preventExpand
+     */
+    assertions: SyncAssertions;
+    /**
+     * Function to add more assertions to this `expect()`, returning a new
+     * `expect()` and `expectAsync()` pair with the combined assertions.
+     */
+    use: UseFn<SyncAssertions, AsyncAssertions>;
+}
+/**
+ * A function which immediately throws an {@link AssertionError}.
+ *
+ * Member of {@link BaseExpect}.
+ *
+ * @param reason Optional reason for failure
+ * @see {@link fail}
+ */
+export type FailFn = (reason?: string) => never;
+/**
+ * Given a mixed array of assertions, filters out only the async assertions.
+ */
+/**
+ * Given a mixed array of assertions, filters out only the async assertions.
+ *
+ * This utility type recursively examines each assertion in the input array and
+ * constructs a new tuple containing only the asynchronous assertions. It uses
+ * conditional types to test whether each assertion extends
+ * {@link AnyAsyncAssertion} and includes it in the result if so.
+ *
+ * Used primarily by {@link UseFn} to separate async assertions from mixed
+ * assertion arrays when composing expect functions.
+ *
+ * @example
+ *
+ * ```typescript
+ * type Mixed = [
+ *   SyncAssertion1,
+ *   AsyncAssertion1,
+ *   SyncAssertion2,
+ *   AsyncAssertion2,
+ * ];
+ * type AsyncOnly = FilterAsyncAssertions<Mixed>; // [AsyncAssertion1, AsyncAssertion2]
+ * ```
+ *
+ * @template MixedAssertions - Array that may contain both sync and async
+ *   assertions
+ * @see {@link FilterSyncAssertions} for extracting synchronous assertions
+ * @see {@link UseFn} for the primary use case of this type
+ */
+export type FilterAsyncAssertions<MixedAssertions extends readonly AnyAssertion[]> = MixedAssertions extends readonly [
+    infer MixedAssertion extends AnyAssertion,
     ...infer Rest extends readonly AnyAssertion[]
-] ? S extends AnyAsyncAssertion ? readonly [S, ...FilterAsyncAssertions<Rest>] : FilterAsyncAssertions<Rest> : readonly [];
-export type FilterSyncAssertions<T extends readonly AnyAssertion[]> = T extends readonly [
-    infer S extends AnyAssertion,
+] ? MixedAssertion extends AnyAsyncAssertion ? readonly [MixedAssertion, ...FilterAsyncAssertions<Rest>] : FilterAsyncAssertions<Rest> : readonly [];
+/**
+ * Given a mixed array of assertions, extracts only the synchronous assertions.
+ */
+export type FilterSyncAssertions<MixedAssertions extends readonly AnyAssertion[]> = MixedAssertions extends readonly [
+    infer MixedAssertion extends AnyAssertion,
     ...infer Rest extends readonly AnyAssertion[]
-] ? S extends AnySyncAssertion ? readonly [S, ...FilterSyncAssertions<Rest>] : FilterSyncAssertions<Rest> : readonly [];
+] ? MixedAssertion extends AnySyncAssertion ? readonly [MixedAssertion, ...FilterSyncAssertions<Rest>] : FilterSyncAssertions<Rest> : readonly [];
 /**
- * Prepares {@link MapExpectSlots} by injecting `unknown` if the `AssertionParts`
- * have no `z.ZodType` in the head position.
+ * Maps AssertionParts to the corresponding argument types for expect and
+ * expectAsync functions.
  *
- * Also filters out `never` from the resulting tuple to guarantee tupleness.
+ * This utility type transforms assertion parts into the actual parameter types
+ * that users provide when calling expect functions. It handles both phrase
+ * literals and Zod schemas, creating appropriate TypeScript types for each
+ * slot.
+ *
+ * For phrase literals, it creates union types that include both the original
+ * phrase and its negated version (with "not " prefix). For Zod schemas, it
+ * extracts the inferred type. This enables natural language assertions with
+ * optional negation support.
  *
  * @remarks
- * This is a convenience and I hope it's not too confusing.
- */
-export type InferredExpectSlots<Parts extends AssertionParts> = NoNeverTuple<Parts extends readonly [infer First extends AssertionPart, ...infer _] ? First extends PhraseLiteral | PhraseLiteralChoice ? [unknown, ...MapExpectSlots<Parts>] : MapExpectSlots<Parts> : never>; /**
- * Maps `AssertionParts` to the corresponding argument types for `expect` and
- * `expectAsync`, as provided by the user.
+ * This type works recursively through the parts tuple, transforming each part
+ * according to its type. The resulting tuple maintains the same structure as
+ * the input but with user-facing TypeScript types instead of internal assertion
+ * part types.
+ * @example
+ *
+ * ```typescript
+ * // Given parts: ['to be a', z.string()]
+ * // Results in: ['to be a' | 'not to be a', string]
+ * type Slots = MapExpectSlots<['to be a', z.string()]>;
+ * // Usage: expect(value, 'to be a', 'hello') or expect(value, 'not to be a', 'hello')
+ * ```
  *
- * Overloads each phrase literal slot with a negated version using a union.
+ * @template Parts - Tuple of assertion parts to be converted to function
+ *   parameter types
+ * @see {@link SlotsFromParts} for the complete slot transformation including subject injection
+ * @see {@link Negation} for how phrase negation is implemented
  */
 export type MapExpectSlots<Parts extends readonly AssertionPart[]> = Parts extends readonly [
     infer First extends AssertionPart,
@@ -62,18 +370,151 @@ export type MapExpectSlots<Parts extends readonly AssertionPart[]> = Parts exten
     ...MapExpectSlots<Rest>
 ] : readonly [];
 /**
- * Makes tuple types accept both mutable and readonly variants
+ * Makes tuple types accept both mutable and readonly variants.
+ *
+ * This utility type creates a union of both mutable and readonly versions of a
+ * tuple type, providing flexibility for function parameters that should accept
+ * either variant. This is particularly useful for assertion function parameters
+ * where users may pass either `const` arrays (readonly) or regular arrays.
+ *
+ * The type handles both array types and specific tuple types, creating
+ * appropriate unions for each case to maintain type safety while maximizing
+ * usability.
+ *
+ * @example
+ *
+ * ```typescript
+ * type FlexibleArgs = MutableOrReadonly<readonly [string, number]>;
+ * // Results in: [string, number] | readonly [string, number]
+ *
+ * function acceptArgs(args: FlexibleArgs) { ... }
+ * acceptArgs(['hello', 42]);           // ✓ mutable array
+ * acceptArgs(['hello', 42] as const);  // ✓ readonly array
+ * ```
+ *
+ * @template Tuple - The readonly tuple type to make flexible
+ * @see {@link ExpectFunction} and {@link ExpectAsyncFunction} which use this for parameter flexibility
+ */
+export type MutableOrReadonly<Tuple extends readonly unknown[]> = Tuple extends readonly (infer Item)[] ? Item[] | readonly Item[] : Tuple extends readonly [infer First, ...infer Rest] ? [First, ...Rest] | readonly [First, ...Rest] : Tuple;
+/**
+ * Creates a negated version of a phrase literal by prefixing "not ".
+ *
+ * This utility type transforms assertion phrases into their negated
+ * equivalents, enabling the natural language negation feature in Bupkis
+ * assertions. When users provide phrases like "not to be a string", this type
+ * helps the system understand and process the negation.
+ *
+ * The negation is applied at the type level during assertion matching and
+ * affects how the assertion logic is executed - negated assertions expect the
+ * opposite result.
+ *
+ * @example
+ *
+ * ```typescript
+ * type Negated = Negation<'to be a string'>; // "not to be a string"
+ * type AlsoNegated = Negation<'to equal'>; // "not to equal"
+ *
+ * // Usage in assertions:
+ * expect(42, 'not to be a string'); // Uses negated assertion logic
+ * ```
+ *
+ * @template S - The string literal phrase to be negated
+ * @see {@link AddNegation} for applying negation to entire AssertionParts tuples
+ * @see {@link MapExpectSlots} for how negation is incorporated into function signatures
  */
-export type MutableOrReadonly<T> = T extends readonly (infer U)[] ? readonly U[] | U[] : T extends readonly [infer First, ...infer Rest] ? [First, ...Rest] | readonly [First, ...Rest] : T;
+export type Negation<S extends string> = `not ${S}`;
 /**
- * The type of a `PhraesLiteral` which is negated, e.g. "not to be"
+ * Converts AssertionParts to complete function parameter types for expect
+ * functions.
+ *
+ * This utility type prepares assertion parts for use as function parameters by
+ * applying several transformations:
+ *
+ * 1. Injects an `unknown` type for the subject parameter if the first part is a
+ *    phrase literal
+ * 2. Maps the remaining parts to their corresponding TypeScript types via
+ *    {@link MapExpectSlots}
+ * 3. Filters out `never` types to ensure a clean tuple structure
+ *
+ * The subject injection is a key feature - when assertions start with phrases
+ * like "to be a string", users still need to provide the subject being tested
+ * as the first argument to expect functions.
+ *
+ * @remarks
+ * This type is essential for bridging the gap between assertion definitions and
+ * user-facing function signatures. The subject injection ensures that all
+ * assertions have a consistent calling pattern regardless of whether they
+ * explicitly define a subject parameter.
+ * @example
+ *
+ * ```typescript
+ * // Assertion parts: ['to equal', z.string()]
+ * // Results in: [unknown, 'to equal' | 'not to equal', string]
+ * type Slots = SlotsFromParts<['to equal', z.string()]>;
+ *
+ * // Usage: expect(subject, 'to equal', 'expected')
+ * //        expect(subject, 'not to equal', 'unexpected')
+ * ```
+ *
+ * @template Parts - Tuple of assertion parts that define the assertion
+ *   structure
+ * @see {@link MapExpectSlots} for the core slot mapping logic
+ * @see {@link NoNeverTuple} for never-type filtering
+ */
+export type SlotsFromParts<Parts extends AssertionParts> = NoNeverTuple<Parts extends readonly [infer First extends AssertionPart, ...infer _] ? First extends PhraseLiteral | PhraseLiteralChoice ? [unknown, ...MapExpectSlots<Parts>] : MapExpectSlots<Parts> : never>;
+/**
+ * The type of a `use()` function.
+ */
+export interface UseFn<BaseSyncAssertions extends AnySyncAssertions, BaseAsyncAssertions extends AnyAsyncAssertions> {
+    /**
+     * @template MixedAssertions Mixed set of assertions to add; may include both
+     *   sync and async assertions
+     * @template ExtendedSyncAssertions Synchronous assertions extracted from
+     *   `MixedAssertions`
+     * @template ExtendedAsyncAssertions Asynchronous assertions extracted from
+     *   `MixedAssertions`
+     * @param assertions Array of assertion classes to add
+     * @returns New {@link expect} and {@link expectAsync} functions with the
+     *   combined assertions
+     */
+    <MixedAssertions extends readonly AnyAssertion[], ExtendedSyncAssertions extends FilterSyncAssertions<MixedAssertions>, ExtendedAsyncAssertions extends FilterAsyncAssertions<MixedAssertions>>(assertions: MixedAssertions): Bupkis<BaseSyncAssertions, BaseAsyncAssertions, ExtendedSyncAssertions, ExtendedAsyncAssertions>;
+}
+/**
+ * Maps Zod `def.type` strings to their corresponding ZodType classes.
+ *
+ * This allows for type-safe discrimination of ZodTypes based on their internal
+ * `def.type` property in Zod v4.
  */
-export type Negation<T extends string> = `not ${T}`;
-export interface UseFn<T extends AnySyncAssertions, U extends AnyAsyncAssertions> {
-    <V extends readonly AnyAssertion[], W extends FilterSyncAssertions<V>, X extends FilterAsyncAssertions<V>>(assertions: V): {
-        expect: Expect<Concat<T, W>, Concat<U, X>>;
-        expectAsync: ExpectAsync<Concat<U, X>, Concat<T, W>>;
-        use: UseFn<Concat<T, W>, Concat<U, X>>;
-    };
+export interface ZodTypeMap {
+    any: z.ZodAny;
+    array: z.ZodArray<any>;
+    bigint: z.ZodBigInt;
+    boolean: z.ZodBoolean;
+    catch: z.ZodCatch<any>;
+    date: z.ZodDate;
+    default: z.ZodDefault<any>;
+    enum: z.ZodEnum<any>;
+    function: z.ZodFunction<any, any>;
+    lazy: z.ZodLazy<any>;
+    literal: z.ZodLiteral<any>;
+    map: z.ZodMap<any, any>;
+    never: z.ZodNever;
+    null: z.ZodNull;
+    nullable: z.ZodNullable<any>;
+    number: z.ZodNumber;
+    object: z.ZodObject<any>;
+    optional: z.ZodOptional<any>;
+    pipe: z.ZodPipe<any, any>;
+    promise: z.ZodPromise<any>;
+    readonly: z.ZodReadonly<any>;
+    record: z.ZodRecord<any, any>;
+    set: z.ZodSet<any>;
+    string: z.ZodString;
+    symbol: z.ZodSymbol;
+    tuple: z.ZodTuple<any>;
+    undefined: z.ZodUndefined;
+    union: z.ZodUnion<any>;
+    unknown: z.ZodUnknown;
+    void: z.ZodVoid;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/esm/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,WAAW,IAAI,mBAAmB,EACnC,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,aAAa,EACb,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,WAAW,EAAE,MAAM,UAAU,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,aAAa,EAAE,IACxD,CAAC,SAAS,SAAS;IACjB,MAAM,KAAK,SAAS,aAAa;IACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;CAC/C,GACG,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,GACjC,SAAS;IACP;SACG,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,MAAM,GACvC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK;KACV;IACD,GAAG,WAAW,CAAC,IAAI,CAAC;CACrB,GACD,KAAK,SAAS,MAAM,GAClB,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GAChD,SAAS,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GAC1C,SAAS,EAAE,CAAC;AAElB;;GAEG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AAE1B;;;GAGG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,GAAG,GAAG,EACP,SAAS,SAAS,OAAO,EAAE,GAAG,GAAG,EAAE,IACjC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAEtC,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,IACjE,CAAC,SAAS,SAAS;IACjB,MAAM,CAAC,SAAS,YAAY;IAC5B,GAAG,MAAM,IAAI,SAAS,SAAS,YAAY,EAAE;CAC9C,GACG,CAAC,SAAS,iBAAiB,GACzB,SAAS,CAAC,CAAC,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,GAC5C,qBAAqB,CAAC,IAAI,CAAC,GAC7B,SAAS,EAAE,CAAC;AAElB,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,IAChE,CAAC,SAAS,SAAS;IACjB,MAAM,CAAC,SAAS,YAAY;IAC5B,GAAG,MAAM,IAAI,SAAS,SAAS,YAAY,EAAE;CAC9C,GACG,CAAC,SAAS,gBAAgB,GACxB,SAAS,CAAC,CAAC,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,GAC3C,oBAAoB,CAAC,IAAI,CAAC,GAC5B,SAAS,EAAE,CAAC;AAElB;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,CAAC,KAAK,SAAS,cAAc,IAAI,YAAY,CAC1E,KAAK,SAAS,SAAS,CAAC,MAAM,KAAK,SAAS,aAAa,EAAE,GAAG,MAAM,CAAC,CAAC,GAClE,KAAK,SAAS,aAAa,GAAG,mBAAmB,GAC/C,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,GACnC,cAAc,CAAC,KAAK,CAAC,GACvB,KAAK,CACV,CAAC,CAAC;;;;;GAKA;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,SAAS,aAAa,EAAE,IAC/D,KAAK,SAAS,SAAS;IACrB,MAAM,KAAK,SAAS,aAAa;IACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;CAC/C,GACG,SAAS;IACP,aAAa,CAAC,KAAK,CAAC,SAAS,iBAAiB,CAAC,MAAM,aAAa,CAAC,GAC/D,QAAQ,CAAC,aAAa,CAAC,GAAG,aAAa,GACvC,aAAa,CAAC,KAAK,CAAC,SAAS,uBAAuB,CAChD,MAAM,cAAc,CACrB,GAEG,WAAW,CAAC,cAAc,CAAC,GAC3B,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,GACzC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,GACpC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,GAC7B,KAAK;IACb,GAAG,cAAc,CAAC,IAAI,CAAC;CACxB,GACD,SAAS,EAAE,CAAC;AAElB;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC7D,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,GAClB,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7C,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAC5C,CAAC,CAAC;AAER;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,EAAE,CAAC;AAEpD,MAAM,WAAW,KAAK,CACpB,CAAC,SAAS,iBAAiB,EAC3B,CAAC,SAAS,kBAAkB;IAE5B,CACE,CAAC,SAAS,SAAS,YAAY,EAAE,EACjC,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,EACjC,CAAC,SAAS,qBAAqB,CAAC,CAAC,CAAC,EAElC,UAAU,EAAE,CAAC,GACZ;QACD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrD,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KACxC,CAAC;CACH"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,WAAW,IAAI,mBAAmB,EAClC,mBAAmB,EACpB,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EAGjB,sBAAsB,EACtB,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,EACxB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,mBAAmB,EACnB,aAAa,EACb,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAExC;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS,SAAS,aAAa,EAAE,IAC5D,KAAK,SAAS,SAAS;IACrB,MAAM,KAAK,SAAS,aAAa;IACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;CAC/C,GACG,KAAK,SAAS,mBAAmB,GAC/B,SAAS;IACP;SACG,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,aAAa,GAC9C,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK;KACV;IACD,GAAG,WAAW,CAAC,IAAI,CAAC;CACrB,GACD,KAAK,SAAS,aAAa,GACzB,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GAChD,SAAS,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GAC1C,SAAS,EAAE,CAAC;AAElB;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB;;OAEG;IACH,eAAe,EAAE,iBAAiB,CAAC;IAEnC;;OAEG;IACH,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mBAAmB,gCAAgC,CAAC;AAEpD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CACrB,kBAAkB,SAAS,iBAAiB,EAC5C,mBAAmB,SAAS,kBAAkB,EAC9C,sBAAsB,SAAS,SAAS,gBAAgB,EAAE,GAAG,SAAS,EAAE,EACxE,uBAAuB,SAAS,SAAS,iBAAiB,EAAE,GAAG,SAAS,EAAE;IAE1E;;;OAGG;IACH,MAAM,EAAE,MAAM,CACZ,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,EAClD,MAAM,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CACrD,CAAC;IACF;;;OAGG;IACH,WAAW,EAAE,WAAW,CACtB,MAAM,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,EACpD,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,CACnD,CAAC;IACF;;;;;;;;;;;OAWG;IACH,GAAG,EAAE,KAAK,CACR,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,EAClD,MAAM,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CACrD,CAAC;CACH;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,CAChB,MAAM,SAAS,SAAS,OAAO,EAAE,EACjC,MAAM,SAAS,SAAS,OAAO,EAAE,IAC/B,SAAS,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,WAAW,CACrB,QAAQ,GAAG,GAAG,EACd,IAAI,SAAS,OAAO,EAAE,GAAG,GAAG,EAAE,IAC5B,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAExC;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;;;;;;OASG;IACH,CACE,KAAK,CAAC,KAAK,SAAS,cAAc,EAClC,IAAI,SAAS,0BAA0B,CAAC,KAAK,CAAC,EAC9C,KAAK,SAAS,cAAc,CAAC,KAAK,CAAC,EAEnC,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,IAAI,GACT,mBAAmB,CAAC,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAErE;;;;;;;;;OASG;IACH,CACE,KAAK,CAAC,KAAK,SAAS,cAAc,EAClC,IAAI,SAAS,mBAAmB,CAAC,KAAK,CAAC,EACvC,KAAK,SAAS,cAAc,CAAC,KAAK,CAAC,EAEnC,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,IAAI,GACT,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;;;;;;OAWG;IACH,CACE,KAAK,CAAC,KAAK,SAAS,cAAc,EAClC,IAAI,SAAS,wBAAwB,CAAC,KAAK,CAAC,EAC5C,KAAK,SAAS,cAAc,CAAC,KAAK,CAAC,EAEnC,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,IAAI,GACT,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE5C;;;;;;;;;OASG;IACH,CACE,KAAK,CAAC,KAAK,SAAS,cAAc,EAClC,IAAI,SAAS,oBAAoB,CAAC,KAAK,CAAC,EACxC,KAAK,SAAS,cAAc,CAAC,KAAK,CAAC,EAEnC,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,IAAI,GACT,sBAAsB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;CAC/C;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAChB,cAAc,SAAS,iBAAiB,GAAG,qBAAqB,EAChE,eAAe,SAAS,kBAAkB,GAAG,sBAAsB,IACjE,cAAc,CAAC,cAAc,CAAC,GAChC,eAAe,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;AAEnD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,WAAW,CACrB,eAAe,SAAS,kBAAkB,GAAG,sBAAsB,EACnE,cAAc,SAAS,iBAAiB,GAAG,qBAAqB,IAC9D,mBAAmB,CAAC,eAAe,CAAC,GACtC,gBAAgB,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,kBAAkB,GAAG,sBAAsB,IACnD,mBAAmB,CACrB,YAAY,CAAC;KACV,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,iBAAiB,GAC1C,CACE,GAAG,IAAI,EAAE,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KACtD,OAAO,CAAC,IAAI,CAAC,GAClB,KAAK;CACV,CAAC,CACH,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,gBAAgB,CAC/B,eAAe,SAAS,kBAAkB,EAC1C,cAAc,SAAS,iBAAiB,CACxC,SAAQ,UAAU;IAClB;;;;OAIG;IACH,UAAU,EAAE,eAAe,CAAC;IAC5B;;OAEG;IACH,GAAG,EAAE,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;CAC7C;AAED,MAAM,MAAM,cAAc,CACxB,cAAc,SAAS,iBAAiB,GAAG,qBAAqB,IAC9D,mBAAmB,CACrB,YAAY,CAAC;KACV,CAAC,IAAI,MAAM,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,gBAAgB,GACnE,CACE,GAAG,IAAI,EAAE,iBAAiB,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KACnE,IAAI,GACT,KAAK;CACV,CAAC,CACH,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,eAAe,CAC9B,cAAc,SAAS,iBAAiB,EACxC,eAAe,SAAS,kBAAkB,CAC1C,SAAQ,UAAU;IAClB;;;;OAIG;IACH,UAAU,EAAE,cAAc,CAAC;IAE3B;;;OAGG;IACH,GAAG,EAAE,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;CAC7C;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,KAAK,CAAC;AAEhD;;GAEG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,qBAAqB,CAC/B,eAAe,SAAS,SAAS,YAAY,EAAE,IAC7C,eAAe,SAAS,SAAS;IACnC,MAAM,cAAc,SAAS,YAAY;IACzC,GAAG,MAAM,IAAI,SAAS,SAAS,YAAY,EAAE;CAC9C,GACG,cAAc,SAAS,iBAAiB,GACtC,SAAS,CAAC,cAAc,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,GACzD,qBAAqB,CAAC,IAAI,CAAC,GAC7B,SAAS,EAAE,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,SAAS,YAAY,EAAE,IAC7C,eAAe,SAAS,SAAS;IACnC,MAAM,cAAc,SAAS,YAAY;IACzC,GAAG,MAAM,IAAI,SAAS,SAAS,YAAY,EAAE;CAC9C,GACG,cAAc,SAAS,gBAAgB,GACrC,SAAS,CAAC,cAAc,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,GACxD,oBAAoB,CAAC,IAAI,CAAC,GAC5B,SAAS,EAAE,CAAC;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,SAAS,aAAa,EAAE,IAC/D,KAAK,SAAS,SAAS;IACrB,MAAM,KAAK,SAAS,aAAa;IACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;CAC/C,GACG,SAAS;IACP,aAAa,CAAC,KAAK,CAAC,SAAS,iBAAiB,CAAC,MAAM,aAAa,CAAC,GAC/D,QAAQ,CAAC,aAAa,CAAC,GAAG,aAAa,GACvC,aAAa,CAAC,KAAK,CAAC,SAAS,uBAAuB,CAChD,MAAM,cAAc,CACrB,GAEG,WAAW,CAAC,cAAc,CAAC,GAC3B,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,GACzC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,GACpC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,GAC7B,KAAK;IACb,GAAG,cAAc,CAAC,IAAI,CAAC;CACxB,GACD,SAAS,EAAE,CAAC;AAElB;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IAC5D,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACjC,IAAI,EAAE,GAAG,SAAS,IAAI,EAAE,GACxB,KAAK,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GACjD,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAC5C,KAAK,CAAC;AAEd;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,EAAE,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,SAAS,cAAc,IAAI,YAAY,CACrE,KAAK,SAAS,SAAS,CAAC,MAAM,KAAK,SAAS,aAAa,EAAE,GAAG,MAAM,CAAC,CAAC,GAClE,KAAK,SAAS,aAAa,GAAG,mBAAmB,GAC/C,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,GACnC,cAAc,CAAC,KAAK,CAAC,GACvB,KAAK,CACV,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,KAAK,CACpB,kBAAkB,SAAS,iBAAiB,EAC5C,mBAAmB,SAAS,kBAAkB;IAE9C;;;;;;;;;;OAUG;IACH,CACE,eAAe,SAAS,SAAS,YAAY,EAAE,EAC/C,sBAAsB,SAAS,oBAAoB,CAAC,eAAe,CAAC,EACpE,uBAAuB,SAAS,qBAAqB,CAAC,eAAe,CAAC,EAEtE,UAAU,EAAE,eAAe,GAC1B,MAAM,CACP,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;CACH;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC;IACpB,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;IAChB,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrB,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAClB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;IAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC;IACpB,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACzB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC;IACpB,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvB,SAAS,EAAE,CAAC,CAAC,YAAY,CAAC;IAC1B,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;CACjB"}

package/dist/esm/types.js

@@ -1,6 +1,16 @@
 /**
- * Types used throughout _BUPKIS_, mainly related to the
- * `expect()`/`expectAsync()` API.
+ * Types used throughout _BUPKIS_.
+ *
+ * May be useful for those building on top of _BUPKIS_.
+ *
+ * @example
+ *
+ * ```ts
+ * // namespace
+ * import { types } from 'bupkis';
+ * // subpath import
+ * import type * as alsoTypes from 'bupkis/types';
+ * ```
  *
  * @packageDocumentation
  */

package/dist/esm/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG"}