@eslint-react/shared 1.11.0 → 1.11.1-beta.1

package/dist/index.d.mts

@@ -165,294 +165,6 @@ declare function boolean(): BooleanSchema<undefined>;
  */
 declare function boolean<const TMessage extends ErrorMessage<BooleanIssue> | undefined>(message: TMessage): BooleanSchema<TMessage>;
 
-/**
- * Lazy schema type.
- */
-interface LazySchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>> extends BaseSchema<InferInput<TWrapped>, InferOutput<TWrapped>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'lazy';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof lazy;
-    /**
-     * The expected property.
-     */
-    readonly expects: 'unknown';
-    /**
-     * The schema getter.
-     */
-    readonly getter: (input: unknown) => TWrapped;
-}
-/**
- * Creates a lazy schema.
- *
- * @param getter The schema getter.
- *
- * @returns A lazy schema.
- */
-declare function lazy<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(getter: (input: unknown) => TWrapped): LazySchema<TWrapped>;
-
-/**
- * Lazy schema async type.
- */
-interface LazySchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> extends BaseSchemaAsync<InferInput<TWrapped>, InferOutput<TWrapped>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'lazy';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof lazyAsync;
-    /**
-     * The expected property.
-     */
-    readonly expects: 'unknown';
-    /**
-     * The schema getter.
-     */
-    readonly getter: (input: unknown) => MaybePromise<TWrapped>;
-}
-/**
- * Creates a lazy schema.
- *
- * @param getter The schema getter.
- *
- * @returns A lazy schema.
- */
-declare function lazyAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(getter: (input: unknown) => MaybePromise<TWrapped>): LazySchemaAsync<TWrapped>;
-
-/**
- * Union issue type.
- */
-interface UnionIssue<TSubIssue extends BaseIssue<unknown>> extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'union';
-    /**
-     * The expected property.
-     */
-    readonly expected: string;
-    /**
-     * The sub issues.
-     */
-    readonly issues?: [TSubIssue, ...TSubIssue[]];
-}
-
-/**
- * Union options type.
- */
-type UnionOptions = MaybeReadonly<BaseSchema<unknown, unknown, BaseIssue<unknown>>[]>;
-/**
- * Union schema type.
- */
-interface UnionSchema<TOptions extends UnionOptions, TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined> extends BaseSchema<InferInput<TOptions[number]>, InferOutput<TOptions[number]>, UnionIssue<InferIssue<TOptions[number]>> | InferIssue<TOptions[number]>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'union';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof union;
-    /**
-     * The union options.
-     */
-    readonly options: TOptions;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- *
- * @returns An union schema.
- */
-declare function union<const TOptions extends UnionOptions>(options: TOptions): UnionSchema<TOptions, undefined>;
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- * @param message The error message.
- *
- * @returns An union schema.
- */
-declare function union<const TOptions extends UnionOptions, const TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined>(options: TOptions, message: TMessage): UnionSchema<TOptions, TMessage>;
-
-/**
- * Union options async type.
- */
-type UnionOptionsAsync = MaybeReadonly<(BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>)[]>;
-/**
- * Union schema async type.
- */
-interface UnionSchemaAsync<TOptions extends UnionOptionsAsync, TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined> extends BaseSchemaAsync<InferInput<TOptions[number]>, InferOutput<TOptions[number]>, UnionIssue<InferIssue<TOptions[number]>> | InferIssue<TOptions[number]>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'union';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof unionAsync;
-    /**
-     * The union options.
-     */
-    readonly options: TOptions;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- *
- * @returns An union schema.
- */
-declare function unionAsync<const TOptions extends UnionOptionsAsync>(options: TOptions): UnionSchemaAsync<TOptions, undefined>;
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- * @param message The error message.
- *
- * @returns An union schema.
- */
-declare function unionAsync<const TOptions extends UnionOptionsAsync, const TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined>(options: TOptions, message: TMessage): UnionSchemaAsync<TOptions, TMessage>;
-
-/**
- * Non nullable issue type.
- */
-interface NonNullableIssue extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The expected property.
-     */
-    readonly expected: '!null';
-}
-/**
- * Infer non nullable input type.
- */
-type InferNonNullableInput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = NonNullable$1<InferInput<TWrapped>>;
-/**
- * Infer non nullable output type.
- */
-type InferNonNullableOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = NonNullable$1<InferOutput<TWrapped>>;
-/**
- * Infer non nullable issue type.
- */
-type InferNonNullableIssue<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TWrapped extends UnionSchema<UnionOptions, ErrorMessage<UnionIssue<BaseIssue<unknown>>> | undefined> | UnionSchemaAsync<UnionOptionsAsync, ErrorMessage<UnionIssue<BaseIssue<unknown>>> | undefined> ? Exclude<InferIssue<TWrapped>, {
-    type: 'null' | 'union';
-}> | UnionIssue<InferNonNullableIssue<TWrapped['options'][number]>> : Exclude<InferIssue<TWrapped>, {
-    type: 'null';
-}>;
-
-/**
- * Non nullable schema type.
- */
-interface NonNullableSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<NonNullableIssue> | undefined> extends BaseSchema<InferNonNullableInput<TWrapped>, InferNonNullableOutput<TWrapped>, NonNullableIssue | InferNonNullableIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nonNullable;
-    /**
-     * The expected property.
-     */
-    readonly expects: '!null';
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullable<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NonNullableSchema<TWrapped, undefined>;
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- * @param message The error message.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullable<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<NonNullableIssue> | undefined>(wrapped: TWrapped, message: TMessage): NonNullableSchema<TWrapped, TMessage>;
-
-/**
- * Non nullable schema async type.
- */
-interface NonNullableSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<NonNullableIssue> | undefined> extends BaseSchemaAsync<InferNonNullableInput<TWrapped>, InferNonNullableOutput<TWrapped>, NonNullableIssue | InferNonNullableIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nonNullableAsync;
-    /**
-     * The expected property.
-     */
-    readonly expects: '!null';
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullableAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NonNullableSchemaAsync<TWrapped, undefined>;
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- * @param message The error message.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullableAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<NonNullableIssue> | undefined>(wrapped: TWrapped, message: TMessage): NonNullableSchemaAsync<TWrapped, TMessage>;
-
 /**
  * Infer nullish output type.
  */
@@ -473,7 +185,7 @@ interface NullishSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | null | undefined`;
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -516,7 +228,7 @@ interface NullishSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseI
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | null | undefined`;
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -635,7 +347,7 @@ interface OptionalSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | undefined`;
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -678,7 +390,7 @@ interface OptionalSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, Base
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | undefined`;
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -711,7 +423,7 @@ declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknow
  */
 type SchemaWithPipe<TPipe extends [
     BaseSchema<unknown, unknown, BaseIssue<unknown>>,
-    ...PipeItem<unknown, unknown, BaseIssue<unknown>>[]
+    ...PipeItem<any, unknown, BaseIssue<unknown>>[]
 ]> = Omit<FirstTupleItem<TPipe>, '_run' | '_types'> & {
     /**
      * The pipe items.
@@ -727,7 +439,7 @@ type SchemaWithPipe<TPipe extends [
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>): Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>) => Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
     /**
      * Input, output and issue type.
      *
@@ -745,7 +457,7 @@ type SchemaWithPipe<TPipe extends [
  */
 type SchemaWithPipeAsync<TPipe extends [
     (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
-    ...(PipeItem<unknown, unknown, BaseIssue<unknown>> | PipeItemAsync<unknown, unknown, BaseIssue<unknown>>)[]
+    ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
 ]> = Omit<FirstTupleItem<TPipe>, 'async' | '_run' | '_types'> & {
     /**
      * The pipe items.
@@ -765,7 +477,7 @@ type SchemaWithPipeAsync<TPipe extends [
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>): Promise<Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>) => Promise<Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
     /**
      * Input, output and issue type.
      *
@@ -846,7 +558,7 @@ interface BaseMetadata<TInput> {
     /**
      * The metadata reference.
      */
-    readonly reference: (...args: any[]) => BaseMetadata<unknown>;
+    readonly reference: (...args: any[]) => BaseMetadata<TInput>;
     /**
      * Input, output and issue type.
      *
@@ -932,7 +644,7 @@ interface BaseSchema<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<TIssue>): Dataset<TOutput, TIssue>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<TIssue>) => Dataset<TOutput, TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -966,7 +678,7 @@ interface BaseSchemaAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> ex
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<TIssue>): Promise<Dataset<TOutput, TIssue>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<TIssue>) => Promise<Dataset<TOutput, TIssue>>;
 }
 
 /**
@@ -984,7 +696,7 @@ interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>>
     /**
      * The transformation reference.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseTransformation<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -999,7 +711,7 @@ interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>>
      *
      * @internal
      */
-    _run(dataset: TypedDataset<TInput, never>, config: Config<TIssue>): Dataset<TOutput, TIssue>;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<TIssue>) => Dataset<TOutput, TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -1018,7 +730,7 @@ interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unkn
     /**
      * The transformation reference.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseTransformation<TInput, TOutput, TIssue> | BaseTransformationAsync<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -1033,7 +745,7 @@ interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unkn
      *
      * @internal
      */
-    _run(dataset: TypedDataset<TInput, never>, config: Config<TIssue>): Promise<Dataset<TOutput, TIssue>>;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<TIssue>) => Promise<Dataset<TOutput, TIssue>>;
 }
 
 /**
@@ -1051,7 +763,7 @@ interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
     /**
      * The validation reference.
      */
-    readonly reference: (...args: any[]) => BaseValidation<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseValidation<TInput, TOutput, TIssue>;
     /**
      * The expected property.
      */
@@ -1070,7 +782,7 @@ interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
      *
      * @internal
      */
-    _run(dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>): Dataset<TOutput, BaseIssue<unknown> | TIssue>;
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>) => Dataset<TOutput, BaseIssue<unknown> | TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -1089,7 +801,7 @@ interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>
     /**
      * The validation reference.
      */
-    readonly reference: (...args: any[]) => BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseValidation<TInput, TOutput, TIssue> | BaseValidationAsync<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -1104,26 +816,21 @@ interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>
      *
      * @internal
      */
-    _run(dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>): Promise<Dataset<TOutput, BaseIssue<unknown> | TIssue>>;
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>) => Promise<Dataset<TOutput, BaseIssue<unknown> | TIssue>>;
 }
 
 /**
  * Infer input type.
  */
-type InferInput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['input'];
+type InferInput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['input'];
 /**
  * Infer output type.
  */
-type InferOutput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['output'];
+type InferOutput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['output'];
 /**
  * Infer issue type.
  */
-type InferIssue<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['issue'];
-
-/**
- * Extracts `null` from a type.
- */
-type NonNullable$1<TValue> = TValue extends null ? never : TValue;
+type InferIssue<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['issue'];
 /**
  * Extracts `null` and `undefined` from a type.
  */
@@ -1178,18 +885,6 @@ type DefaultAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknow
  * Default value type.
  */
 type DefaultValue<TDefault extends Default<BaseSchema<unknown, unknown, BaseIssue<unknown>>, null | undefined> | DefaultAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, null | undefined>> = TDefault extends DefaultAsync<infer TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, infer TInput> ? TDefault extends (dataset?: Dataset<TInput, never>, config?: Config<InferIssue<TWrapped>>) => MaybePromise<InferInput<TWrapped> | TInput> ? Awaited<ReturnType<TDefault>> : TDefault : never;
-/**
- * Question mark schema type.
- *
- * TODO: Document that for simplicity and bundle size, we currently do not
- * distinguish between `undefined` and missing keys when using `optional` and
- * `nullish`.
- */
-type QuestionMarkSchema = NullishSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | LazySchema<QuestionMarkSchema> | NonNullableSchema<QuestionMarkSchema, ErrorMessage<NonNullableIssue> | undefined>;
-/**
- * Question mark schema async type.
- */
-type QuestionMarkSchemaAsync = NullishSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | LazySchemaAsync<QuestionMarkSchema | QuestionMarkSchemaAsync> | NonNullableSchemaAsync<QuestionMarkSchema | QuestionMarkSchemaAsync, ErrorMessage<NonNullableIssue> | undefined>;
 
 /**
  * Pipe action type.
@@ -1233,39 +928,57 @@ type InferEntriesOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
     -readonly [TKey in keyof TEntries]: InferOutput<TEntries[TKey]>;
 };
 /**
- * Optional keys type.
+ * Question mark schema type.
+ *
+ * TODO: Document that for simplicity and bundle size, we currently do not
+ * distinguish between `undefined` and missing keys when using `optional` and
+ * `nullish`.
  */
-type OptionalKeys<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = {
-    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema | QuestionMarkSchemaAsync ? undefined extends TObject[TKey] ? TKey : never : never;
+type QuestionMarkSchema = NullishSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | NullishSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown>;
+/**
+ * Optional input keys type.
+ */
+type OptionalInputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? TKey : never;
+}[keyof TEntries];
+/**
+ * Optional output keys type.
+ */
+type OptionalOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? [TEntries[TKey]['default']] extends [never] ? TKey : never : never;
 }[keyof TEntries];
 /**
- * With question marks type.
+ * Input with question marks type.
+ */
+type InputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalInputKeys<TEntries>>;
+/**
+ * Output with question marks type.
  */
-type WithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalKeys<TEntries, TObject>>;
+type OutputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalOutputKeys<TEntries>>;
 /**
- * Readonly keys type.
+ * Readonly output keys type.
  */
-type ReadonlyKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+type ReadonlyOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
     [TKey in keyof TEntries]: TEntries[TKey] extends SchemaWithPipe<[
         BaseSchema<unknown, unknown, BaseIssue<unknown>>,
-        ...PipeItem<unknown, unknown, BaseIssue<unknown>>[]
+        ...PipeItem<any, unknown, BaseIssue<unknown>>[]
     ]> | SchemaWithPipeAsync<[
         (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
-        ...(PipeItem<unknown, unknown, BaseIssue<unknown>> | PipeItemAsync<unknown, unknown, BaseIssue<unknown>>)[]
+        ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
     ]> ? 'readonly' extends TEntries[TKey]['pipe'][number]['type'] ? TKey : never : never;
 }[keyof TEntries];
 /**
- * With readonly type.
+ * Output with readonly type.
  */
-type WithReadonly<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends WithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>> = Readonly<TObject> & Pick<TObject, Exclude<keyof TObject, ReadonlyKeys<TEntries>>>;
+type OutputWithReadonly<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>> = Readonly<TObject> & Pick<TObject, Exclude<keyof TObject, ReadonlyOutputKeys<TEntries>>>;
 /**
  * Infer object input type.
  */
-type InferObjectInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<WithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
+type InferObjectInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<InputWithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
 /**
  * Infer object output type.
  */
-type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<WithReadonly<TEntries, WithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
+type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<OutputWithReadonly<TEntries, OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
 /**
  * Infer object issue type.
  */

package/dist/index.d.ts

@@ -165,294 +165,6 @@ declare function boolean(): BooleanSchema<undefined>;
  */
 declare function boolean<const TMessage extends ErrorMessage<BooleanIssue> | undefined>(message: TMessage): BooleanSchema<TMessage>;
 
-/**
- * Lazy schema type.
- */
-interface LazySchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>> extends BaseSchema<InferInput<TWrapped>, InferOutput<TWrapped>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'lazy';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof lazy;
-    /**
-     * The expected property.
-     */
-    readonly expects: 'unknown';
-    /**
-     * The schema getter.
-     */
-    readonly getter: (input: unknown) => TWrapped;
-}
-/**
- * Creates a lazy schema.
- *
- * @param getter The schema getter.
- *
- * @returns A lazy schema.
- */
-declare function lazy<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(getter: (input: unknown) => TWrapped): LazySchema<TWrapped>;
-
-/**
- * Lazy schema async type.
- */
-interface LazySchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> extends BaseSchemaAsync<InferInput<TWrapped>, InferOutput<TWrapped>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'lazy';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof lazyAsync;
-    /**
-     * The expected property.
-     */
-    readonly expects: 'unknown';
-    /**
-     * The schema getter.
-     */
-    readonly getter: (input: unknown) => MaybePromise<TWrapped>;
-}
-/**
- * Creates a lazy schema.
- *
- * @param getter The schema getter.
- *
- * @returns A lazy schema.
- */
-declare function lazyAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(getter: (input: unknown) => MaybePromise<TWrapped>): LazySchemaAsync<TWrapped>;
-
-/**
- * Union issue type.
- */
-interface UnionIssue<TSubIssue extends BaseIssue<unknown>> extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'union';
-    /**
-     * The expected property.
-     */
-    readonly expected: string;
-    /**
-     * The sub issues.
-     */
-    readonly issues?: [TSubIssue, ...TSubIssue[]];
-}
-
-/**
- * Union options type.
- */
-type UnionOptions = MaybeReadonly<BaseSchema<unknown, unknown, BaseIssue<unknown>>[]>;
-/**
- * Union schema type.
- */
-interface UnionSchema<TOptions extends UnionOptions, TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined> extends BaseSchema<InferInput<TOptions[number]>, InferOutput<TOptions[number]>, UnionIssue<InferIssue<TOptions[number]>> | InferIssue<TOptions[number]>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'union';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof union;
-    /**
-     * The union options.
-     */
-    readonly options: TOptions;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- *
- * @returns An union schema.
- */
-declare function union<const TOptions extends UnionOptions>(options: TOptions): UnionSchema<TOptions, undefined>;
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- * @param message The error message.
- *
- * @returns An union schema.
- */
-declare function union<const TOptions extends UnionOptions, const TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined>(options: TOptions, message: TMessage): UnionSchema<TOptions, TMessage>;
-
-/**
- * Union options async type.
- */
-type UnionOptionsAsync = MaybeReadonly<(BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>)[]>;
-/**
- * Union schema async type.
- */
-interface UnionSchemaAsync<TOptions extends UnionOptionsAsync, TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined> extends BaseSchemaAsync<InferInput<TOptions[number]>, InferOutput<TOptions[number]>, UnionIssue<InferIssue<TOptions[number]>> | InferIssue<TOptions[number]>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'union';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof unionAsync;
-    /**
-     * The union options.
-     */
-    readonly options: TOptions;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- *
- * @returns An union schema.
- */
-declare function unionAsync<const TOptions extends UnionOptionsAsync>(options: TOptions): UnionSchemaAsync<TOptions, undefined>;
-/**
- * Creates an union schema.
- *
- * @param options The union options.
- * @param message The error message.
- *
- * @returns An union schema.
- */
-declare function unionAsync<const TOptions extends UnionOptionsAsync, const TMessage extends ErrorMessage<UnionIssue<InferIssue<TOptions[number]>>> | undefined>(options: TOptions, message: TMessage): UnionSchemaAsync<TOptions, TMessage>;
-
-/**
- * Non nullable issue type.
- */
-interface NonNullableIssue extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The expected property.
-     */
-    readonly expected: '!null';
-}
-/**
- * Infer non nullable input type.
- */
-type InferNonNullableInput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = NonNullable$1<InferInput<TWrapped>>;
-/**
- * Infer non nullable output type.
- */
-type InferNonNullableOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = NonNullable$1<InferOutput<TWrapped>>;
-/**
- * Infer non nullable issue type.
- */
-type InferNonNullableIssue<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TWrapped extends UnionSchema<UnionOptions, ErrorMessage<UnionIssue<BaseIssue<unknown>>> | undefined> | UnionSchemaAsync<UnionOptionsAsync, ErrorMessage<UnionIssue<BaseIssue<unknown>>> | undefined> ? Exclude<InferIssue<TWrapped>, {
-    type: 'null' | 'union';
-}> | UnionIssue<InferNonNullableIssue<TWrapped['options'][number]>> : Exclude<InferIssue<TWrapped>, {
-    type: 'null';
-}>;
-
-/**
- * Non nullable schema type.
- */
-interface NonNullableSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<NonNullableIssue> | undefined> extends BaseSchema<InferNonNullableInput<TWrapped>, InferNonNullableOutput<TWrapped>, NonNullableIssue | InferNonNullableIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nonNullable;
-    /**
-     * The expected property.
-     */
-    readonly expects: '!null';
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullable<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NonNullableSchema<TWrapped, undefined>;
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- * @param message The error message.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullable<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<NonNullableIssue> | undefined>(wrapped: TWrapped, message: TMessage): NonNullableSchema<TWrapped, TMessage>;
-
-/**
- * Non nullable schema async type.
- */
-interface NonNullableSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<NonNullableIssue> | undefined> extends BaseSchemaAsync<InferNonNullableInput<TWrapped>, InferNonNullableOutput<TWrapped>, NonNullableIssue | InferNonNullableIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'non_nullable';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nonNullableAsync;
-    /**
-     * The expected property.
-     */
-    readonly expects: '!null';
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullableAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NonNullableSchemaAsync<TWrapped, undefined>;
-/**
- * Creates a non nullable schema.
- *
- * @param wrapped The wrapped schema.
- * @param message The error message.
- *
- * @returns A non nullable schema.
- */
-declare function nonNullableAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<NonNullableIssue> | undefined>(wrapped: TWrapped, message: TMessage): NonNullableSchemaAsync<TWrapped, TMessage>;
-
 /**
  * Infer nullish output type.
  */
@@ -473,7 +185,7 @@ interface NullishSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | null | undefined`;
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -516,7 +228,7 @@ interface NullishSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseI
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | null | undefined`;
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -635,7 +347,7 @@ interface OptionalSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | undefined`;
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -678,7 +390,7 @@ interface OptionalSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, Base
     /**
      * The expected property.
      */
-    readonly expects: `${TWrapped['expects']} | undefined`;
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
     /**
      * The wrapped schema.
      */
@@ -711,7 +423,7 @@ declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknow
  */
 type SchemaWithPipe<TPipe extends [
     BaseSchema<unknown, unknown, BaseIssue<unknown>>,
-    ...PipeItem<unknown, unknown, BaseIssue<unknown>>[]
+    ...PipeItem<any, unknown, BaseIssue<unknown>>[]
 ]> = Omit<FirstTupleItem<TPipe>, '_run' | '_types'> & {
     /**
      * The pipe items.
@@ -727,7 +439,7 @@ type SchemaWithPipe<TPipe extends [
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>): Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>) => Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
     /**
      * Input, output and issue type.
      *
@@ -745,7 +457,7 @@ type SchemaWithPipe<TPipe extends [
  */
 type SchemaWithPipeAsync<TPipe extends [
     (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
-    ...(PipeItem<unknown, unknown, BaseIssue<unknown>> | PipeItemAsync<unknown, unknown, BaseIssue<unknown>>)[]
+    ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
 ]> = Omit<FirstTupleItem<TPipe>, 'async' | '_run' | '_types'> & {
     /**
      * The pipe items.
@@ -765,7 +477,7 @@ type SchemaWithPipeAsync<TPipe extends [
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>): Promise<Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<InferIssue<FirstTupleItem<TPipe>>>) => Promise<Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
     /**
      * Input, output and issue type.
      *
@@ -846,7 +558,7 @@ interface BaseMetadata<TInput> {
     /**
      * The metadata reference.
      */
-    readonly reference: (...args: any[]) => BaseMetadata<unknown>;
+    readonly reference: (...args: any[]) => BaseMetadata<TInput>;
     /**
      * Input, output and issue type.
      *
@@ -932,7 +644,7 @@ interface BaseSchema<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<TIssue>): Dataset<TOutput, TIssue>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<TIssue>) => Dataset<TOutput, TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -966,7 +678,7 @@ interface BaseSchemaAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> ex
      *
      * @internal
      */
-    _run(dataset: Dataset<unknown, never>, config: Config<TIssue>): Promise<Dataset<TOutput, TIssue>>;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<TIssue>) => Promise<Dataset<TOutput, TIssue>>;
 }
 
 /**
@@ -984,7 +696,7 @@ interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>>
     /**
      * The transformation reference.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseTransformation<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -999,7 +711,7 @@ interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>>
      *
      * @internal
      */
-    _run(dataset: TypedDataset<TInput, never>, config: Config<TIssue>): Dataset<TOutput, TIssue>;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<TIssue>) => Dataset<TOutput, TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -1018,7 +730,7 @@ interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unkn
     /**
      * The transformation reference.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseTransformation<TInput, TOutput, TIssue> | BaseTransformationAsync<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -1033,7 +745,7 @@ interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unkn
      *
      * @internal
      */
-    _run(dataset: TypedDataset<TInput, never>, config: Config<TIssue>): Promise<Dataset<TOutput, TIssue>>;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<TIssue>) => Promise<Dataset<TOutput, TIssue>>;
 }
 
 /**
@@ -1051,7 +763,7 @@ interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
     /**
      * The validation reference.
      */
-    readonly reference: (...args: any[]) => BaseValidation<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseValidation<TInput, TOutput, TIssue>;
     /**
      * The expected property.
      */
@@ -1070,7 +782,7 @@ interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
      *
      * @internal
      */
-    _run(dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>): Dataset<TOutput, BaseIssue<unknown> | TIssue>;
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>) => Dataset<TOutput, BaseIssue<unknown> | TIssue>;
     /**
      * Input, output and issue type.
      *
@@ -1089,7 +801,7 @@ interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>
     /**
      * The validation reference.
      */
-    readonly reference: (...args: any[]) => BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: (...args: any[]) => BaseValidation<TInput, TOutput, TIssue> | BaseValidationAsync<TInput, TOutput, TIssue>;
     /**
      * Whether it's async.
      */
@@ -1104,26 +816,21 @@ interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>
      *
      * @internal
      */
-    _run(dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>): Promise<Dataset<TOutput, BaseIssue<unknown> | TIssue>>;
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<TIssue>) => Promise<Dataset<TOutput, BaseIssue<unknown> | TIssue>>;
 }
 
 /**
  * Infer input type.
  */
-type InferInput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['input'];
+type InferInput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['input'];
 /**
  * Infer output type.
  */
-type InferOutput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['output'];
+type InferOutput<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['output'];
 /**
  * Infer issue type.
  */
-type InferIssue<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<unknown, unknown, BaseIssue<unknown>> | BaseValidationAsync<unknown, unknown, BaseIssue<unknown>> | BaseTransformation<unknown, unknown, BaseIssue<unknown>> | BaseTransformationAsync<unknown, unknown, BaseIssue<unknown>> | BaseMetadata<unknown>> = NonNullable<TItem['_types']>['issue'];
-
-/**
- * Extracts `null` from a type.
- */
-type NonNullable$1<TValue> = TValue extends null ? never : TValue;
+type InferIssue<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>> | BaseValidation<any, unknown, BaseIssue<unknown>> | BaseValidationAsync<any, unknown, BaseIssue<unknown>> | BaseTransformation<any, unknown, BaseIssue<unknown>> | BaseTransformationAsync<any, unknown, BaseIssue<unknown>> | BaseMetadata<any>> = NonNullable<TItem['_types']>['issue'];
 /**
  * Extracts `null` and `undefined` from a type.
  */
@@ -1178,18 +885,6 @@ type DefaultAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknow
  * Default value type.
  */
 type DefaultValue<TDefault extends Default<BaseSchema<unknown, unknown, BaseIssue<unknown>>, null | undefined> | DefaultAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, null | undefined>> = TDefault extends DefaultAsync<infer TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, infer TInput> ? TDefault extends (dataset?: Dataset<TInput, never>, config?: Config<InferIssue<TWrapped>>) => MaybePromise<InferInput<TWrapped> | TInput> ? Awaited<ReturnType<TDefault>> : TDefault : never;
-/**
- * Question mark schema type.
- *
- * TODO: Document that for simplicity and bundle size, we currently do not
- * distinguish between `undefined` and missing keys when using `optional` and
- * `nullish`.
- */
-type QuestionMarkSchema = NullishSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | LazySchema<QuestionMarkSchema> | NonNullableSchema<QuestionMarkSchema, ErrorMessage<NonNullableIssue> | undefined>;
-/**
- * Question mark schema async type.
- */
-type QuestionMarkSchemaAsync = NullishSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | LazySchemaAsync<QuestionMarkSchema | QuestionMarkSchemaAsync> | NonNullableSchemaAsync<QuestionMarkSchema | QuestionMarkSchemaAsync, ErrorMessage<NonNullableIssue> | undefined>;
 
 /**
  * Pipe action type.
@@ -1233,39 +928,57 @@ type InferEntriesOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
     -readonly [TKey in keyof TEntries]: InferOutput<TEntries[TKey]>;
 };
 /**
- * Optional keys type.
+ * Question mark schema type.
+ *
+ * TODO: Document that for simplicity and bundle size, we currently do not
+ * distinguish between `undefined` and missing keys when using `optional` and
+ * `nullish`.
  */
-type OptionalKeys<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = {
-    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema | QuestionMarkSchemaAsync ? undefined extends TObject[TKey] ? TKey : never : never;
+type QuestionMarkSchema = NullishSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | NullishSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchema<BaseSchema<unknown, unknown, BaseIssue<unknown>>, unknown> | OptionalSchemaAsync<BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, unknown>;
+/**
+ * Optional input keys type.
+ */
+type OptionalInputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? TKey : never;
+}[keyof TEntries];
+/**
+ * Optional output keys type.
+ */
+type OptionalOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? [TEntries[TKey]['default']] extends [never] ? TKey : never : never;
 }[keyof TEntries];
 /**
- * With question marks type.
+ * Input with question marks type.
+ */
+type InputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalInputKeys<TEntries>>;
+/**
+ * Output with question marks type.
  */
-type WithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalKeys<TEntries, TObject>>;
+type OutputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalOutputKeys<TEntries>>;
 /**
- * Readonly keys type.
+ * Readonly output keys type.
  */
-type ReadonlyKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+type ReadonlyOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
     [TKey in keyof TEntries]: TEntries[TKey] extends SchemaWithPipe<[
         BaseSchema<unknown, unknown, BaseIssue<unknown>>,
-        ...PipeItem<unknown, unknown, BaseIssue<unknown>>[]
+        ...PipeItem<any, unknown, BaseIssue<unknown>>[]
     ]> | SchemaWithPipeAsync<[
         (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
-        ...(PipeItem<unknown, unknown, BaseIssue<unknown>> | PipeItemAsync<unknown, unknown, BaseIssue<unknown>>)[]
+        ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
     ]> ? 'readonly' extends TEntries[TKey]['pipe'][number]['type'] ? TKey : never : never;
 }[keyof TEntries];
 /**
- * With readonly type.
+ * Output with readonly type.
  */
-type WithReadonly<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends WithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>> = Readonly<TObject> & Pick<TObject, Exclude<keyof TObject, ReadonlyKeys<TEntries>>>;
+type OutputWithReadonly<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>> = Readonly<TObject> & Pick<TObject, Exclude<keyof TObject, ReadonlyOutputKeys<TEntries>>>;
 /**
  * Infer object input type.
  */
-type InferObjectInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<WithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
+type InferObjectInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<InputWithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
 /**
  * Infer object output type.
  */
-type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<WithReadonly<TEntries, WithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
+type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<OutputWithReadonly<TEntries, OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
 /**
  * Infer object issue type.
  */

package/dist/index.js

@@ -440,7 +440,7 @@ function optional(wrapped, ...args) {
     kind: "schema",
     type: "optional",
     reference: optional,
-    expects: `${wrapped.expects} | undefined`,
+    expects: `(${wrapped.expects} | undefined)`,
     async: false,
     wrapped,
     _run(dataset, config2) {

package/dist/index.mjs

@@ -434,7 +434,7 @@ function optional(wrapped, ...args) {
     kind: "schema",
     type: "optional",
     reference: optional,
-    expects: `${wrapped.expects} | undefined`,
+    expects: `(${wrapped.expects} | undefined)`,
     async: false,
     wrapped,
     _run(dataset, config2) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eslint-react/shared",
-  "version": "1.11.0",
+  "version": "1.11.1-beta.1",
   "description": "ESLint React's Shared constants and functions.",
   "homepage": "https://github.com/rel1cx/eslint-react",
   "bugs": {
@@ -37,7 +37,7 @@
   "dependencies": {
     "@typescript-eslint/utils": "^8.2.0",
     "picomatch": "^4.0.2",
-    "@eslint-react/tools": "1.11.0"
+    "@eslint-react/tools": "1.11.1-beta.1"
   },
   "devDependencies": {
     "@types/picomatch": "^3.0.1",
@@ -45,7 +45,7 @@
     "micro-memoize": "^4.1.2",
     "tsup": "^8.2.4",
     "type-fest": "^4.25.0",
-    "valibot": "^0.37.0"
+    "valibot": "^0.38.0"
   },
   "scripts": {
     "build": "tsup --dts-resolve",