@eslint-react/shared 1.16.2-next.2 → 1.16.2-next.3

package/dist/index.d.mts

@@ -52,1248 +52,1204 @@ declare const REACT_BUILD_IN_HOOKS: readonly ["useActionState", "useCallback", "
 declare const createRuleForPlugin: (pluginName: string) => <Options extends readonly unknown[], MessageIds extends string>({ meta, name, ...rule }: Readonly<ESLintUtils.RuleWithMetaAndName<Options, MessageIds, unknown>>) => ESLintUtils.RuleModule<MessageIds, Options, unknown, ESLintUtils.RuleListener>;
 
 /**
- * Schema with pipe type.
+ * Array issue type.
  */
-type SchemaWithPipe<TPipe extends [
-    BaseSchema<unknown, unknown, BaseIssue<unknown>>,
-    ...PipeItem<any, unknown, BaseIssue<unknown>>[]
-]> = Omit<FirstTupleItem<TPipe>, '~types' | '~validate'> & {
+interface ArrayIssue extends BaseIssue<unknown> {
     /**
-     * The pipe items.
+     * The issue kind.
      */
-    readonly pipe: TPipe;
+    readonly kind: 'schema';
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The issue type.
      */
-    readonly '~types'?: {
-        readonly input: InferInput<FirstTupleItem<TPipe>>;
-        readonly output: InferOutput<LastTupleItem<TPipe>>;
-        readonly issue: InferIssue<TPipe[number]>;
-    } | undefined;
+    readonly type: 'array';
     /**
-     * Parses unknown input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The expected property.
      */
-    readonly '~validate': (dataset: UnknownDataset, config?: Config<BaseIssue<unknown>>) => OutputDataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
-};
+    readonly expected: 'Array';
+}
 
 /**
- * Schema with pipe async type.
+ * Array schema type.
  */
-type SchemaWithPipeAsync<TPipe extends [
-    (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
-    ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
-]> = Omit<FirstTupleItem<TPipe>, 'async' | '~types' | '~validate'> & {
+interface ArraySchema<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<ArrayIssue> | undefined> extends BaseSchema<InferInput<TItem>[], InferOutput<TItem>[], ArrayIssue | InferIssue<TItem>> {
     /**
-     * The pipe items.
+     * The schema type.
      */
-    readonly pipe: TPipe;
+    readonly type: 'array';
     /**
-     * Whether it's async.
+     * The schema reference.
      */
-    readonly async: true;
+    readonly reference: typeof array;
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The expected property.
      */
-    readonly '~types'?: {
-        readonly input: InferInput<FirstTupleItem<TPipe>>;
-        readonly output: InferOutput<LastTupleItem<TPipe>>;
-        readonly issue: InferIssue<TPipe[number]>;
-    } | undefined;
+    readonly expects: 'Array';
     /**
-     * Parses unknown input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The array item schema.
      */
-    readonly '~validate': (dataset: UnknownDataset, config?: Config<BaseIssue<unknown>>) => Promise<OutputDataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
-};
+    readonly item: TItem;
+    /**
+     * The error message.
+     */
+    readonly message: TMessage;
+}
+/**
+ * Creates an array schema.
+ *
+ * @param item The item schema.
+ *
+ * @returns An array schema.
+ */
+declare function array<const TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(item: TItem): ArraySchema<TItem, undefined>;
+/**
+ * Creates an array schema.
+ *
+ * @param item The item schema.
+ * @param message The error message.
+ *
+ * @returns An array schema.
+ */
+declare function array<const TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<ArrayIssue> | undefined>(item: TItem, message: TMessage): ArraySchema<TItem, TMessage>;
 
 /**
- * Base metadata type.
+ * Boolean issue type.
  */
-interface BaseMetadata<TInput> {
-    /**
-     * The object kind.
-     */
-    readonly kind: 'metadata';
+interface BooleanIssue extends BaseIssue<unknown> {
     /**
-     * The metadata type.
+     * The issue kind.
      */
-    readonly type: string;
+    readonly kind: 'schema';
     /**
-     * The metadata reference.
+     * The issue type.
      */
-    readonly reference: (...args: any[]) => BaseMetadata<any>;
+    readonly type: 'boolean';
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The expected property.
      */
-    readonly '~types'?: {
-        readonly input: TInput;
-        readonly output: TInput;
-        readonly issue: never;
-    } | undefined;
+    readonly expected: 'boolean';
 }
-
 /**
- * Unknown dataset type.
+ * Boolean schema type.
  */
-interface UnknownDataset {
+interface BooleanSchema<TMessage extends ErrorMessage<BooleanIssue> | undefined> extends BaseSchema<boolean, boolean, BooleanIssue> {
     /**
-     * Whether is's typed.
+     * The schema type.
      */
-    typed?: false;
+    readonly type: 'boolean';
     /**
-     * The dataset value.
+     * The schema reference.
      */
-    value: unknown;
+    readonly reference: typeof boolean;
     /**
-     * The dataset issues.
+     * The expected property.
+     */
+    readonly expects: 'boolean';
+    /**
+     * The error message.
      */
-    issues?: undefined;
+    readonly message: TMessage;
 }
 /**
- * Success dataset type.
+ * Creates a boolean schema.
+ *
+ * @returns A boolean schema.
+ */
+declare function boolean(): BooleanSchema<undefined>;
+/**
+ * Creates a boolean schema.
+ *
+ * @param message The error message.
+ *
+ * @returns A boolean schema.
+ */
+declare function boolean<const TMessage extends ErrorMessage<BooleanIssue> | undefined>(message: TMessage): BooleanSchema<TMessage>;
+
+/**
+ * Class type.
+ */
+type Class = new (...args: any[]) => any;
+/**
+ * Instance issue type.
  */
-interface SuccessDataset<TValue> {
+interface InstanceIssue extends BaseIssue<unknown> {
     /**
-     * Whether is's typed.
+     * The issue kind.
      */
-    typed: true;
+    readonly kind: 'schema';
     /**
-     * The dataset value.
+     * The issue type.
      */
-    value: TValue;
+    readonly type: 'instance';
     /**
-     * The dataset issues.
+     * The expected property.
      */
-    issues?: undefined;
+    readonly expected: string;
 }
 /**
- * Partial dataset type.
+ * Instance schema type.
  */
-interface PartialDataset<TValue, TIssue extends BaseIssue<unknown>> {
+interface InstanceSchema<TClass extends Class, TMessage extends ErrorMessage<InstanceIssue> | undefined> extends BaseSchema<InstanceType<TClass>, InstanceType<TClass>, InstanceIssue> {
     /**
-     * Whether is's typed.
+     * The schema type.
      */
-    typed: true;
+    readonly type: 'instance';
     /**
-     * The dataset value.
+     * The schema reference.
      */
-    value: TValue;
+    readonly reference: typeof instance;
     /**
-     * The dataset issues.
+     * The class of the instance.
+     */
+    readonly class: TClass;
+    /**
+     * The error message.
      */
-    issues: [TIssue, ...TIssue[]];
+    readonly message: TMessage;
 }
 /**
- * Failure dataset type.
+ * Creates an instance schema.
+ *
+ * @param class_ The class of the instance.
+ *
+ * @returns An instance schema.
+ */
+declare function instance<TClass extends Class>(class_: TClass): InstanceSchema<TClass, undefined>;
+/**
+ * Creates an instance schema.
+ *
+ * @param class_ The class of the instance.
+ * @param message The error message.
+ *
+ * @returns An instance schema.
+ */
+declare function instance<TClass extends Class, const TMessage extends ErrorMessage<InstanceIssue> | undefined>(class_: TClass, message: TMessage): InstanceSchema<TClass, TMessage>;
+
+/**
+ * Infer nullish output type.
+ */
+type InferNullishOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, null | undefined>> = [TDefault] extends [never] ? InferOutput<TWrapped> | null | undefined : NonNullish<InferOutput<TWrapped>> | Extract<DefaultValue<TDefault>, null | undefined>;
+
+/**
+ * Nullish schema type.
  */
-interface FailureDataset<TIssue extends BaseIssue<unknown>> {
+interface NullishSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TDefault extends Default<TWrapped, null | undefined>> extends BaseSchema<InferInput<TWrapped> | null | undefined, InferNullishOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
     /**
-     * Whether is's typed.
+     * The schema type.
      */
-    typed: false;
+    readonly type: 'nullish';
     /**
-     * The dataset value.
+     * The schema reference.
      */
-    value: unknown;
+    readonly reference: typeof nullish;
     /**
-     * The dataset issues.
+     * The expected property.
+     */
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
+    /**
+     * The wrapped schema.
      */
-    issues: [TIssue, ...TIssue[]];
+    readonly wrapped: TWrapped;
+    /**
+     * The default value.
+     */
+    readonly default: TDefault;
 }
 /**
- * Output dataset type.
+ * Creates a nullish schema.
+ *
+ * @param wrapped The wrapped schema.
+ *
+ * @returns A nullish schema.
+ */
+declare function nullish<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NullishSchema<TWrapped, never>;
+/**
+ * Creates a nullish schema.
+ *
+ * @param wrapped The wrapped schema.
+ * @param default_ The default value.
+ *
+ * @returns A nullish schema.
  */
-type OutputDataset<TValue, TIssue extends BaseIssue<unknown>> = SuccessDataset<TValue> | PartialDataset<TValue, TIssue> | FailureDataset<TIssue>;
+declare function nullish<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TDefault extends Default<TWrapped, null | undefined>>(wrapped: TWrapped, default_: TDefault): NullishSchema<TWrapped, TDefault>;
 
 /**
- * Base schema type.
+ * Nullish schema async type.
  */
-interface BaseSchema<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
-    /**
-     * The object kind.
-     */
-    readonly kind: 'schema';
+interface NullishSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, null | undefined>> extends BaseSchemaAsync<InferInput<TWrapped> | null | undefined, InferNullishOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
     /**
      * The schema type.
      */
-    readonly type: string;
+    readonly type: 'nullish';
     /**
      * The schema reference.
      */
-    readonly reference: (...args: any[]) => BaseSchema<unknown, unknown, BaseIssue<unknown>>;
+    readonly reference: typeof nullishAsync;
     /**
      * The expected property.
      */
-    readonly expects: string;
-    /**
-     * Whether it's async.
-     */
-    readonly async: false;
-    /**
-     * The Standard Schema version number.
-     *
-     * @internal
-     */
-    readonly '~standard': 1;
+    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
     /**
-     * The vendor name of the schema.
-     *
-     * @internal
+     * The wrapped schema.
      */
-    readonly '~vendor': 'valibot';
+    readonly wrapped: TWrapped;
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The default value.
      */
-    readonly '~types'?: {
-        readonly input: TInput;
-        readonly output: TOutput;
-        readonly issue: TIssue;
-    } | undefined;
-    /**
-     * Parses unknown input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
-     */
-    readonly '~validate': (dataset: UnknownDataset, config?: Config<BaseIssue<unknown>>) => OutputDataset<TOutput, TIssue>;
+    readonly default: TDefault;
 }
 /**
- * Base schema async type.
+ * Creates a nullish schema.
+ *
+ * @param wrapped The wrapped schema.
+ *
+ * @returns A nullish schema.
+ */
+declare function nullishAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NullishSchemaAsync<TWrapped, never>;
+/**
+ * Creates a nullish schema.
+ *
+ * @param wrapped The wrapped schema.
+ * @param default_ The default value.
+ *
+ * @returns A nullish schema.
+ */
+declare function nullishAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TDefault extends DefaultAsync<TWrapped, null | undefined>>(wrapped: TWrapped, default_: TDefault): NullishSchemaAsync<TWrapped, TDefault>;
+
+/**
+ * Object issue type.
  */
-interface BaseSchemaAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseSchema<TInput, TOutput, TIssue>, 'reference' | 'async' | '~validate'> {
+interface ObjectIssue extends BaseIssue<unknown> {
     /**
-     * The schema reference.
+     * The issue kind.
      */
-    readonly reference: (...args: any[]) => BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>;
+    readonly kind: 'schema';
     /**
-     * Whether it's async.
+     * The issue type.
      */
-    readonly async: true;
+    readonly type: 'object';
     /**
-     * Parses unknown input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The expected property.
      */
-    readonly '~validate': (dataset: UnknownDataset, config?: Config<BaseIssue<unknown>>) => Promise<OutputDataset<TOutput, TIssue>>;
+    readonly expected: 'Object';
 }
 
 /**
- * Base transformation type.
+ * Object schema type.
  */
-interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
-    /**
-     * The object kind.
-     */
-    readonly kind: 'transformation';
+interface ObjectSchema<TEntries extends ObjectEntries, TMessage extends ErrorMessage<ObjectIssue> | undefined> extends BaseSchema<InferObjectInput<TEntries>, InferObjectOutput<TEntries>, ObjectIssue | InferObjectIssue<TEntries>> {
     /**
-     * The transformation type.
+     * The schema type.
      */
-    readonly type: string;
+    readonly type: 'object';
     /**
-     * The transformation reference.
+     * The schema reference.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<any, any, BaseIssue<unknown>>;
+    readonly reference: typeof object;
     /**
-     * Whether it's async.
+     * The expected property.
      */
-    readonly async: false;
+    readonly expects: 'Object';
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The entries schema.
      */
-    readonly '~types'?: {
-        readonly input: TInput;
-        readonly output: TOutput;
-        readonly issue: TIssue;
-    } | undefined;
+    readonly entries: TEntries;
     /**
-     * Transforms known input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The error message.
      */
-    readonly '~validate': (dataset: SuccessDataset<TInput>, config: Config<BaseIssue<unknown>>) => OutputDataset<TOutput, BaseIssue<unknown> | TIssue>;
+    readonly message: TMessage;
 }
 /**
- * Base transformation async type.
+ * Creates an object schema.
+ *
+ * Hint: This schema removes unknown entries. The output will only include the
+ * entries you specify. To include unknown entries, use `looseObject`. To
+ * return an issue for unknown entries, use `strictObject`. To include and
+ * validate unknown entries, use `objectWithRest`.
+ *
+ * @param entries The entries schema.
+ *
+ * @returns An object schema.
+ */
+declare function object<const TEntries extends ObjectEntries>(entries: TEntries): ObjectSchema<TEntries, undefined>;
+/**
+ * Creates an object schema.
+ *
+ * Hint: This schema removes unknown entries. The output will only include the
+ * entries you specify. To include unknown entries, use `looseObject`. To
+ * return an issue for unknown entries, use `strictObject`. To include and
+ * validate unknown entries, use `objectWithRest`.
+ *
+ * @param entries The entries schema.
+ * @param message The error message.
+ *
+ * @returns An object schema.
+ */
+declare function object<const TEntries extends ObjectEntries, const TMessage extends ErrorMessage<ObjectIssue> | undefined>(entries: TEntries, message: TMessage): ObjectSchema<TEntries, TMessage>;
+
+/**
+ * Infer optional output type.
+ */
+type InferOptionalOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, undefined>> = [TDefault] extends [never] ? InferOutput<TWrapped> | undefined : NonOptional<InferOutput<TWrapped>> | Extract<DefaultValue<TDefault>, undefined>;
+
+/**
+ * Optional schema type.
  */
-interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseTransformation<TInput, TOutput, TIssue>, 'reference' | 'async' | '~validate'> {
+interface OptionalSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TDefault extends Default<TWrapped, undefined>> extends BaseSchema<InferInput<TWrapped> | undefined, InferOptionalOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
     /**
-     * The transformation reference.
+     * The schema type.
      */
-    readonly reference: (...args: any[]) => BaseTransformation<any, any, BaseIssue<unknown>> | BaseTransformationAsync<any, any, BaseIssue<unknown>>;
+    readonly type: 'optional';
     /**
-     * Whether it's async.
+     * The schema reference.
      */
-    readonly async: true;
+    readonly reference: typeof optional;
     /**
-     * Transforms known input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The expected property.
+     */
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
+    /**
+     * The wrapped schema.
+     */
+    readonly wrapped: TWrapped;
+    /**
+     * The default value.
      */
-    readonly '~validate': (dataset: SuccessDataset<TInput>, config: Config<BaseIssue<unknown>>) => Promise<OutputDataset<TOutput, BaseIssue<unknown> | TIssue>>;
+    readonly default: TDefault;
 }
+/**
+ * Creates a optional schema.
+ *
+ * @param wrapped The wrapped schema.
+ *
+ * @returns A optional schema.
+ */
+declare function optional<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): OptionalSchema<TWrapped, never>;
+/**
+ * Creates a optional schema.
+ *
+ * @param wrapped The wrapped schema.
+ * @param default_ The default value.
+ *
+ * @returns A optional schema.
+ */
+declare function optional<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TDefault extends Default<TWrapped, undefined>>(wrapped: TWrapped, default_: TDefault): OptionalSchema<TWrapped, TDefault>;
 
 /**
- * Base validation type.
+ * Optional schema async type.
  */
-interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
+interface OptionalSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, undefined>> extends BaseSchemaAsync<InferInput<TWrapped> | undefined, InferOptionalOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
     /**
-     * The object kind.
+     * The schema type.
      */
-    readonly kind: 'validation';
+    readonly type: 'optional';
     /**
-     * The validation type.
+     * The schema reference.
      */
-    readonly type: string;
+    readonly reference: typeof optionalAsync;
     /**
-     * The validation reference.
+     * The expected property.
      */
-    readonly reference: (...args: any[]) => BaseValidation<any, any, BaseIssue<unknown>>;
+    readonly expects: `(${TWrapped['expects']} | undefined)`;
     /**
-     * The expected property.
+     * The wrapped schema.
      */
-    readonly expects: string | null;
+    readonly wrapped: TWrapped;
     /**
-     * Whether it's async.
+     * The default value.
      */
-    readonly async: false;
+    readonly default: TDefault;
+}
+/**
+ * Creates an optional schema.
+ *
+ * @param wrapped The wrapped schema.
+ *
+ * @returns An optional schema.
+ */
+declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): OptionalSchemaAsync<TWrapped, never>;
+/**
+ * Creates an optional schema.
+ *
+ * @param wrapped The wrapped schema.
+ * @param default_ The default value.
+ *
+ * @returns An optional schema.
+ */
+declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TDefault extends DefaultAsync<TWrapped, undefined>>(wrapped: TWrapped, default_: TDefault): OptionalSchemaAsync<TWrapped, TDefault>;
+
+/**
+ * String issue type.
+ */
+interface StringIssue extends BaseIssue<unknown> {
     /**
-     * The input, output and issue type.
-     *
-     * @internal
+     * The issue kind.
      */
-    readonly '~types'?: {
-        readonly input: TInput;
-        readonly output: TOutput;
-        readonly issue: TIssue;
-    } | undefined;
+    readonly kind: 'schema';
     /**
-     * Validates known input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The issue type.
+     */
+    readonly type: 'string';
+    /**
+     * The expected property.
      */
-    readonly '~validate': (dataset: OutputDataset<TInput, BaseIssue<unknown>>, config: Config<BaseIssue<unknown>>) => OutputDataset<TOutput, BaseIssue<unknown> | TIssue>;
+    readonly expected: 'string';
 }
 /**
- * Base validation async type.
+ * String schema type.
  */
-interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseValidation<TInput, TOutput, TIssue>, 'reference' | 'async' | '~validate'> {
+interface StringSchema<TMessage extends ErrorMessage<StringIssue> | undefined> extends BaseSchema<string, string, StringIssue> {
     /**
-     * The validation reference.
+     * The schema type.
      */
-    readonly reference: (...args: any[]) => BaseValidation<any, any, BaseIssue<unknown>> | BaseValidationAsync<any, any, BaseIssue<unknown>>;
+    readonly type: 'string';
     /**
-     * Whether it's async.
+     * The schema reference.
      */
-    readonly async: true;
+    readonly reference: typeof string;
     /**
-     * Validates known input values.
-     *
-     * @param dataset The input dataset.
-     * @param config The configuration.
-     *
-     * @returns The output dataset.
-     *
-     * @internal
+     * The expected property.
+     */
+    readonly expects: 'string';
+    /**
+     * The error message.
      */
-    readonly '~validate': (dataset: OutputDataset<TInput, BaseIssue<unknown>>, config: Config<BaseIssue<unknown>>) => Promise<OutputDataset<TOutput, BaseIssue<unknown> | TIssue>>;
+    readonly message: TMessage;
 }
-
-/**
- * Infer input type.
- */
-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<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<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.
- */
-type NonNullish<TValue> = TValue extends null | undefined ? never : TValue;
-/**
- * Extracts `undefined` from a type.
- */
-type NonOptional<TValue> = TValue extends undefined ? never : TValue;
-/**
- * Constructs a type that is maybe readonly.
- */
-type MaybeReadonly<TValue> = TValue | Readonly<TValue>;
-/**
- * Constructs a type that is maybe a promise.
- */
-type MaybePromise<TValue> = TValue | Promise<TValue>;
-/**
- * Prettifies a type for better readability.
+ * Creates a string schema.
  *
- * Hint: This type has no effect and is only used so that TypeScript displays
- * the final type in the preview instead of the utility types used.
- */
-type Prettify<TObject> = {
-    [TKey in keyof TObject]: TObject[TKey];
-} & {};
-/**
- * Marks specific keys as optional.
- */
-type MarkOptional<TObject, TKeys extends keyof TObject> = Omit<TObject, TKeys> & Partial<Pick<TObject, TKeys>>;
-/**
- * Extracts first tuple item.
- */
-type FirstTupleItem<TTuple extends [unknown, ...unknown[]]> = TTuple[0];
-/**
- * Extracts last tuple item.
- */
-type LastTupleItem<TTuple extends [unknown, ...unknown[]]> = TTuple[TTuple extends [unknown, ...infer TRest] ? TRest['length'] : never];
-
-/**
- * Error message type.
- */
-type ErrorMessage<TIssue extends BaseIssue<unknown>> = ((issue: TIssue) => string) | string;
-/**
- * Default type.
- */
-type Default<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TInput extends null | undefined> = MaybeReadonly<InferInput<TWrapped> | TInput> | ((dataset?: UnknownDataset, config?: Config<InferIssue<TWrapped>>) => MaybeReadonly<InferInput<TWrapped> | TInput>) | undefined;
-/**
- * Default async type.
- */
-type DefaultAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TInput extends null | undefined> = MaybeReadonly<InferInput<TWrapped> | TInput> | ((dataset?: UnknownDataset, config?: Config<InferIssue<TWrapped>>) => MaybePromise<MaybeReadonly<InferInput<TWrapped> | TInput>>) | undefined;
-/**
- * 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?: UnknownDataset, config?: Config<InferIssue<TWrapped>>) => MaybePromise<InferInput<TWrapped> | TInput> ? Awaited<ReturnType<TDefault>> : TDefault : never;
-
-/**
- * Object entries type.
- */
-interface ObjectEntries {
-    [key: string]: BaseSchema<unknown, unknown, BaseIssue<unknown>>;
-}
-/**
- * Object entries async type.
+ * @returns A string schema.
  */
-interface ObjectEntriesAsync {
-    [key: string]: BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>;
-}
+declare function string(): StringSchema<undefined>;
 /**
- * Question mark schema type.
+ * Creates a string schema.
  *
- * 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> | 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>;
-/**
- * Has default type.
- */
-type HasDefault<TSchema extends QuestionMarkSchema> = undefined extends TSchema['default'] ? false : true;
-/**
- * Exact optional input type.
- */
-type ExactOptionalInput<TSchema extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TSchema extends OptionalSchema<infer TWrapped, unknown> | OptionalSchemaAsync<infer TWrapped, unknown> ? ExactOptionalInput<TWrapped> : InferInput<TSchema>;
-/**
- * Exact optional output type.
- */
-type ExactOptionalOutput<TSchema extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TSchema extends OptionalSchema<infer TWrapped, unknown> | OptionalSchemaAsync<infer TWrapped, unknown> ? HasDefault<TSchema> extends true ? InferOutput<TSchema> : ExactOptionalOutput<TWrapped> : InferOutput<TSchema>;
-/**
- * Infer entries input type.
+ * @param message The error message.
+ *
+ * @returns A string schema.
  */
-type InferEntriesInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
-    -readonly [TKey in keyof TEntries]: ExactOptionalInput<TEntries[TKey]>;
-};
+declare function string<const TMessage extends ErrorMessage<StringIssue> | undefined>(message: TMessage): StringSchema<TMessage>;
+
 /**
- * Infer entries output type.
+ * Schema with pipe type.
  */
-type InferEntriesOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
-    -readonly [TKey in keyof TEntries]: ExactOptionalOutput<TEntries[TKey]>;
+type SchemaWithPipe<TPipe extends [
+    BaseSchema<unknown, unknown, BaseIssue<unknown>>,
+    ...PipeItem<any, unknown, BaseIssue<unknown>>[]
+]> = Omit<FirstTupleItem<TPipe>, '_run' | '_types'> & {
+    /**
+     * The pipe items.
+     */
+    readonly pipe: TPipe;
+    /**
+     * Parses unknown input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
+     */
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<BaseIssue<unknown>>) => Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>;
+    /**
+     * Input, output and issue type.
+     *
+     * @internal
+     */
+    readonly _types?: {
+        readonly input: InferInput<FirstTupleItem<TPipe>>;
+        readonly output: InferOutput<LastTupleItem<TPipe>>;
+        readonly issue: InferIssue<TPipe[number]>;
+    };
 };
-/**
- * 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 ? undefined extends InferOutput<TEntries[TKey]> ? HasDefault<TEntries[TKey]> extends false ? TKey : never : never : never;
-}[keyof TEntries];
-/**
- * Input with question marks type.
- */
-type InputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries>> = MarkOptional<TObject, OptionalInputKeys<TEntries>>;
-/**
- * Output with question marks type.
- */
-type OutputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalOutputKeys<TEntries>>;
-/**
- * Readonly output keys type.
- */
-type ReadonlyOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
-    [TKey in keyof TEntries]: TEntries[TKey] extends SchemaWithPipe<infer TPipe> | SchemaWithPipeAsync<infer TPipe> ? ReadonlyAction<any> extends TPipe[number] ? TKey : never : never;
-}[keyof TEntries];
-/**
- * Output with readonly type.
- */
-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<InputWithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
-/**
- * Infer object output type.
- */
-type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<OutputWithReadonly<TEntries, OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
-/**
- * Infer object issue type.
- */
-type InferObjectIssue<TEntries extends ObjectEntries | ObjectEntriesAsync> = InferIssue<TEntries[keyof TEntries]>;
 
 /**
- * Array path item type.
+ * Schema with pipe async type.
  */
-interface ArrayPathItem {
-    /**
-     * The path item type.
-     */
-    readonly type: 'array';
+type SchemaWithPipeAsync<TPipe extends [
+    (BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>),
+    ...(PipeItem<any, unknown, BaseIssue<unknown>> | PipeItemAsync<any, unknown, BaseIssue<unknown>>)[]
+]> = Omit<FirstTupleItem<TPipe>, 'async' | '_run' | '_types'> & {
     /**
-     * The path item origin.
+     * The pipe items.
      */
-    readonly origin: 'value';
+    readonly pipe: TPipe;
     /**
-     * The path item input.
+     * Whether it's async.
      */
-    readonly input: MaybeReadonly<unknown[]>;
+    readonly async: true;
     /**
-     * The path item key.
+     * Parses unknown input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly key: number;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<BaseIssue<unknown>>) => Promise<Dataset<InferOutput<LastTupleItem<TPipe>>, InferIssue<TPipe[number]>>>;
     /**
-     * The path item value.
+     * Input, output and issue type.
+     *
+     * @internal
      */
-    readonly value: unknown;
-}
+    readonly _types?: {
+        readonly input: InferInput<FirstTupleItem<TPipe>>;
+        readonly output: InferOutput<LastTupleItem<TPipe>>;
+        readonly issue: InferIssue<TPipe[number]>;
+    };
+};
+
 /**
- * Map path item type.
+ * Base metadata type.
  */
-interface MapPathItem {
-    /**
-     * The path item type.
-     */
-    readonly type: 'map';
+interface BaseMetadata<TInput> {
     /**
-     * The path item origin.
+     * The object kind.
      */
-    readonly origin: 'key' | 'value';
+    readonly kind: 'metadata';
     /**
-     * The path item input.
+     * The metadata type.
      */
-    readonly input: Map<unknown, unknown>;
+    readonly type: string;
     /**
-     * The path item key.
+     * The metadata reference.
      */
-    readonly key: unknown;
+    readonly reference: (...args: any[]) => BaseMetadata<any>;
     /**
-     * The path item value.
+     * Input, output and issue type.
+     *
+     * @internal
      */
-    readonly value: unknown;
+    readonly _types?: {
+        readonly input: TInput;
+        readonly output: TInput;
+        readonly issue: never;
+    };
 }
+
 /**
- * Object path item type.
+ * Typed dataset type.
  */
-interface ObjectPathItem {
-    /**
-     * The path item type.
-     */
-    readonly type: 'object';
-    /**
-     * The path item origin.
-     */
-    readonly origin: 'key' | 'value';
+interface TypedDataset<TValue, TIssue extends BaseIssue<unknown>> {
     /**
-     * The path item input.
+     * Whether is's typed.
      */
-    readonly input: Record<string, unknown>;
+    typed: true;
     /**
-     * The path item key.
+     * The dataset value.
      */
-    readonly key: string;
+    value: TValue;
     /**
-     * The path item value.
+     * The dataset issues.
      */
-    readonly value: unknown;
+    issues?: [TIssue, ...TIssue[]];
 }
 /**
- * Set path item type.
+ * Untyped dataset type.
  */
-interface SetPathItem {
+interface UntypedDataset<TIssue extends BaseIssue<unknown>> {
     /**
-     * The path item type.
+     * Whether is's typed.
      */
-    readonly type: 'set';
+    typed: false;
     /**
-     * The path item origin.
+     * The dataset value.
      */
-    readonly origin: 'value';
+    value: unknown;
     /**
-     * The path item input.
+     * The dataset issues.
      */
-    readonly input: Set<unknown>;
+    issues?: [TIssue, ...TIssue[]];
+}
+/**
+ * Dataset type.
+ */
+type Dataset<TValue, TIssue extends BaseIssue<unknown>> = TypedDataset<TValue, TIssue> | UntypedDataset<TIssue>;
+
+/**
+ * Base schema type.
+ */
+interface BaseSchema<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
     /**
-     * The path item key.
+     * The object kind.
      */
-    readonly key: null;
+    readonly kind: 'schema';
     /**
-     * The path item key.
+     * The schema type.
      */
-    readonly value: unknown;
-}
-/**
- * Unknown path item type.
- */
-interface UnknownPathItem {
+    readonly type: string;
     /**
-     * The path item type.
+     * The schema reference.
      */
-    readonly type: 'unknown';
+    readonly reference: (...args: any[]) => BaseSchema<unknown, unknown, BaseIssue<unknown>>;
     /**
-     * The path item origin.
+     * The expected property.
      */
-    readonly origin: 'key' | 'value';
+    readonly expects: string;
     /**
-     * The path item input.
+     * Whether it's async.
      */
-    readonly input: unknown;
+    readonly async: false;
     /**
-     * The path item key.
+     * Parses unknown input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly key: unknown;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<BaseIssue<unknown>>) => Dataset<TOutput, TIssue>;
     /**
-     * The path item value.
+     * Input, output and issue type.
+     *
+     * @internal
      */
-    readonly value: unknown;
+    readonly _types?: {
+        readonly input: TInput;
+        readonly output: TOutput;
+        readonly issue: TIssue;
+    };
 }
 /**
- * Issue path item type.
- *
- * TODO: Document that the input of the path may be different from the input of
- * the issue.
- */
-type IssuePathItem = ArrayPathItem | MapPathItem | ObjectPathItem | SetPathItem | UnknownPathItem;
-/**
- * Base issue type.
+ * Base schema async type.
  */
-interface BaseIssue<TInput> extends Config<BaseIssue<TInput>> {
+interface BaseSchemaAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseSchema<TInput, TOutput, TIssue>, 'reference' | 'async' | '_run'> {
     /**
-     * The issue kind.
+     * The schema reference.
      */
-    readonly kind: 'schema' | 'validation' | 'transformation';
+    readonly reference: (...args: any[]) => BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>;
     /**
-     * The issue type.
+     * Whether it's async.
      */
-    readonly type: string;
+    readonly async: true;
     /**
-     * The raw input data.
+     * Parses unknown input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly input: TInput;
+    readonly _run: (dataset: Dataset<unknown, never>, config: Config<BaseIssue<unknown>>) => Promise<Dataset<TOutput, TIssue>>;
+}
+
+/**
+ * Base transformation type.
+ */
+interface BaseTransformation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
     /**
-     * The expected property.
+     * The object kind.
      */
-    readonly expected: string | null;
+    readonly kind: 'transformation';
     /**
-     * The received property.
+     * The transformation type.
      */
-    readonly received: string;
+    readonly type: string;
     /**
-     * The error message.
+     * The transformation reference.
      */
-    readonly message: string;
+    readonly reference: (...args: any[]) => BaseTransformation<any, any, BaseIssue<unknown>>;
     /**
-     * The input requirement.
+     * Whether it's async.
      */
-    readonly requirement?: unknown | undefined;
+    readonly async: false;
     /**
-     * The issue path.
+     * Transforms known input.
      *
-     * TODO: Investigate if it is possible to make the path type safe based on the
-     * input.
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly path?: [IssuePathItem, ...IssuePathItem[]] | undefined;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<BaseIssue<unknown>>) => Dataset<TOutput, TIssue>;
     /**
-     * The sub issues.
+     * Input, output and issue type.
+     *
+     * @internal
      */
-    readonly issues?: [BaseIssue<TInput>, ...BaseIssue<TInput>[]] | undefined;
+    readonly _types?: {
+        readonly input: TInput;
+        readonly output: TOutput;
+        readonly issue: TIssue;
+    };
 }
-
 /**
- * Config type.
+ * Base transformation async type.
  */
-interface Config<TIssue extends BaseIssue<unknown>> {
-    /**
-     * The selected language.
-     */
-    readonly lang?: string | undefined;
+interface BaseTransformationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseTransformation<TInput, TOutput, TIssue>, 'reference' | 'async' | '_run'> {
     /**
-     * The error message.
+     * The transformation reference.
      */
-    readonly message?: ErrorMessage<TIssue> | undefined;
+    readonly reference: (...args: any[]) => BaseTransformation<any, any, BaseIssue<unknown>> | BaseTransformationAsync<any, any, BaseIssue<unknown>>;
     /**
-     * Whether it was abort early.
+     * Whether it's async.
      */
-    readonly abortEarly?: boolean | undefined;
+    readonly async: true;
     /**
-     * Whether the pipe was abort early.
+     * Transforms known input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly abortPipeEarly?: boolean | undefined;
+    readonly _run: (dataset: TypedDataset<TInput, never>, config: Config<BaseIssue<unknown>>) => Promise<Dataset<TOutput, TIssue>>;
 }
 
 /**
- * Pipe action type.
- */
-type PipeAction<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseValidation<TInput, TOutput, TIssue> | BaseTransformation<TInput, TOutput, TIssue> | BaseMetadata<TInput>;
-/**
- * Pipe action async type.
- */
-type PipeActionAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseValidationAsync<TInput, TOutput, TIssue> | BaseTransformationAsync<TInput, TOutput, TIssue>;
-/**
- * Pipe item type.
- */
-type PipeItem<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseSchema<TInput, TOutput, TIssue> | PipeAction<TInput, TOutput, TIssue>;
-/**
- * Pipe item async type.
- */
-type PipeItemAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseSchemaAsync<TInput, TOutput, TIssue> | PipeActionAsync<TInput, TOutput, TIssue>;
-
-/**
- * Array issue type.
+ * Base validation type.
  */
-interface ArrayIssue extends BaseIssue<unknown> {
+interface BaseValidation<TInput, TOutput, TIssue extends BaseIssue<unknown>> {
     /**
-     * The issue kind.
+     * The object kind.
      */
-    readonly kind: 'schema';
+    readonly kind: 'validation';
     /**
-     * The issue type.
+     * The validation type.
      */
-    readonly type: 'array';
+    readonly type: string;
+    /**
+     * The validation reference.
+     */
+    readonly reference: (...args: any[]) => BaseValidation<any, any, BaseIssue<unknown>>;
     /**
      * The expected property.
      */
-    readonly expected: 'Array';
-}
-
-/**
- * Array schema type.
- */
-interface ArraySchema<TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TMessage extends ErrorMessage<ArrayIssue> | undefined> extends BaseSchema<InferInput<TItem>[], InferOutput<TItem>[], ArrayIssue | InferIssue<TItem>> {
+    readonly expects: string | null;
     /**
-     * The schema type.
+     * Whether it's async.
      */
-    readonly type: 'array';
+    readonly async: false;
     /**
-     * The schema reference.
+     * Validates known input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
      */
-    readonly reference: typeof array;
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<BaseIssue<unknown>>) => Dataset<TOutput, BaseIssue<unknown> | TIssue>;
     /**
-     * The expected property.
+     * Input, output and issue type.
+     *
+     * @internal
      */
-    readonly expects: 'Array';
+    readonly _types?: {
+        readonly input: TInput;
+        readonly output: TOutput;
+        readonly issue: TIssue;
+    };
+}
+/**
+ * Base validation async type.
+ */
+interface BaseValidationAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> extends Omit<BaseValidation<TInput, TOutput, TIssue>, 'reference' | 'async' | '_run'> {
     /**
-     * The array item schema.
+     * The validation reference.
      */
-    readonly item: TItem;
+    readonly reference: (...args: any[]) => BaseValidation<any, any, BaseIssue<unknown>> | BaseValidationAsync<any, any, BaseIssue<unknown>>;
     /**
-     * The error message.
+     * Whether it's async.
      */
-    readonly message: TMessage;
+    readonly async: true;
+    /**
+     * Validates known input.
+     *
+     * @param dataset The input dataset.
+     * @param config The configuration.
+     *
+     * @returns The output dataset.
+     *
+     * @internal
+     */
+    readonly _run: (dataset: Dataset<TInput, BaseIssue<unknown>>, config: Config<BaseIssue<unknown>>) => Promise<Dataset<TOutput, BaseIssue<unknown> | TIssue>>;
 }
+
 /**
- * Creates an array schema.
- *
- * @param item The item schema.
- *
- * @returns An array schema.
+ * Infer input type.
  */
-declare function array<const TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(item: TItem): ArraySchema<TItem, undefined>;
+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'];
 /**
- * Creates an array schema.
- *
- * @param item The item schema.
- * @param message The error message.
- *
- * @returns An array schema.
+ * Infer output type.
  */
-declare function array<const TItem extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TMessage extends ErrorMessage<ArrayIssue> | undefined>(item: TItem, message: TMessage): ArraySchema<TItem, TMessage>;
-
+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'];
 /**
- * Boolean issue type.
+ * Infer issue type.
  */
-interface BooleanIssue extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'boolean';
-    /**
-     * The expected property.
-     */
-    readonly expected: 'boolean';
-}
+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'];
 /**
- * Boolean schema type.
+ * Extracts `null` and `undefined` from a type.
  */
-interface BooleanSchema<TMessage extends ErrorMessage<BooleanIssue> | undefined> extends BaseSchema<boolean, boolean, BooleanIssue> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'boolean';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof boolean;
-    /**
-     * The expected property.
-     */
-    readonly expects: 'boolean';
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
-}
+type NonNullish<TValue> = TValue extends null | undefined ? never : TValue;
 /**
- * Creates a boolean schema.
- *
- * @returns A boolean schema.
+ * Extracts `undefined` from a type.
  */
-declare function boolean(): BooleanSchema<undefined>;
+type NonOptional<TValue> = TValue extends undefined ? never : TValue;
 /**
- * Creates a boolean schema.
- *
- * @param message The error message.
+ * Constructs a type that is maybe readonly.
+ */
+type MaybeReadonly<TValue> = TValue | Readonly<TValue>;
+/**
+ * Constructs a type that is maybe a promise.
+ */
+type MaybePromise<TValue> = TValue | Promise<TValue>;
+/**
+ * Prettifies a type for better readability.
  *
- * @returns A boolean schema.
+ * Hint: This type has no effect and is only used so that TypeScript displays
+ * the final type in the preview instead of the utility types used.
  */
-declare function boolean<const TMessage extends ErrorMessage<BooleanIssue> | undefined>(message: TMessage): BooleanSchema<TMessage>;
+type Prettify<TObject> = {
+    [TKey in keyof TObject]: TObject[TKey];
+} & {};
+/**
+ * Marks specific keys as optional.
+ */
+type MarkOptional<TObject, TKeys extends keyof TObject> = Omit<TObject, TKeys> & Partial<Pick<TObject, TKeys>>;
+/**
+ * Extracts first tuple item.
+ */
+type FirstTupleItem<TTuple extends [unknown, ...unknown[]]> = TTuple[0];
+/**
+ * Extracts last tuple item.
+ */
+type LastTupleItem<TTuple extends [unknown, ...unknown[]]> = TTuple[TTuple extends [unknown, ...infer TRest] ? TRest['length'] : never];
 
 /**
- * Class type.
+ * Error message type.
  */
-type Class = new (...args: any[]) => any;
+type ErrorMessage<TIssue extends BaseIssue<unknown>> = ((issue: TIssue) => string) | string;
 /**
- * Instance issue type.
+ * Default type.
  */
-interface InstanceIssue extends BaseIssue<unknown> {
-    /**
-     * The issue kind.
-     */
-    readonly kind: 'schema';
-    /**
-     * The issue type.
-     */
-    readonly type: 'instance';
-    /**
-     * The expected property.
-     */
-    readonly expected: string;
+type Default<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TInput extends null | undefined> = MaybeReadonly<InferInput<TWrapped> | TInput> | ((dataset?: Dataset<TInput, never>, config?: Config<InferIssue<TWrapped>>) => MaybeReadonly<InferInput<TWrapped> | TInput>);
+/**
+ * Default async type.
+ */
+type DefaultAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TInput extends null | undefined> = MaybeReadonly<InferInput<TWrapped> | TInput> | ((dataset?: Dataset<TInput, never>, config?: Config<InferIssue<TWrapped>>) => MaybePromise<MaybeReadonly<InferInput<TWrapped> | TInput>>);
+/**
+ * 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;
+
+/**
+ * Object entries type.
+ */
+interface ObjectEntries {
+    [key: string]: BaseSchema<unknown, unknown, BaseIssue<unknown>>;
 }
 /**
- * Instance schema type.
+ * Object entries async type.
  */
-interface InstanceSchema<TClass extends Class, TMessage extends ErrorMessage<InstanceIssue> | undefined> extends BaseSchema<InstanceType<TClass>, InstanceType<TClass>, InstanceIssue> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'instance';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof instance;
-    /**
-     * The class of the instance.
-     */
-    readonly class: TClass;
-    /**
-     * The error message.
-     */
-    readonly message: TMessage;
+interface ObjectEntriesAsync {
+    [key: string]: BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>;
 }
 /**
- * Creates an instance schema.
- *
- * @param class_ The class of the instance.
+ * Question mark schema type.
  *
- * @returns An instance schema.
+ * TODO: Document that for simplicity and bundle size, we currently do not
+ * distinguish between `undefined` and missing keys when using `optional` and
+ * `nullish`.
  */
-declare function instance<TClass extends Class>(class_: TClass): InstanceSchema<TClass, undefined>;
+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>;
 /**
- * Creates an instance schema.
- *
- * @param class_ The class of the instance.
- * @param message The error message.
- *
- * @returns An instance schema.
+ * Has default type.
  */
-declare function instance<TClass extends Class, const TMessage extends ErrorMessage<InstanceIssue> | undefined>(class_: TClass, message: TMessage): InstanceSchema<TClass, TMessage>;
-
+type HasDefault<TSchema extends QuestionMarkSchema> = [
+    TSchema['default']
+] extends [never] ? false : true;
 /**
- * Infer nullish output type.
+ * Exact optional input type.
  */
-type InferNullishOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, null | undefined>> = undefined extends TDefault ? InferOutput<TWrapped> | null | undefined : NonNullish<InferOutput<TWrapped>> | Extract<DefaultValue<TDefault>, null | undefined>;
-
+type ExactOptionalInput<TSchema extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TSchema extends OptionalSchema<infer TWrapped, never> | OptionalSchemaAsync<infer TWrapped, never> ? ExactOptionalInput<TWrapped> : InferInput<TSchema>;
 /**
- * Nullish schema type.
+ * Exact optional output type.
  */
-interface NullishSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TDefault extends Default<TWrapped, null | undefined>> extends BaseSchema<InferInput<TWrapped> | null | undefined, InferNullishOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'nullish';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nullish;
-    /**
-     * The expected property.
-     */
-    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The default value.
-     */
-    readonly default: TDefault;
-}
+type ExactOptionalOutput<TSchema extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>> = TSchema extends OptionalSchema<infer TWrapped, never> | OptionalSchemaAsync<infer TWrapped, never> ? HasDefault<TSchema> extends true ? InferOutput<TSchema> : ExactOptionalOutput<TWrapped> : InferOutput<TSchema>;
 /**
- * Creates a nullish schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A nullish schema.
+ * Infer entries input type.
  */
-declare function nullish<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NullishSchema<TWrapped, undefined>;
+type InferEntriesInput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    -readonly [TKey in keyof TEntries]: ExactOptionalInput<TEntries[TKey]>;
+};
 /**
- * Creates a nullish schema.
- *
- * @param wrapped The wrapped schema.
- * @param default_ The default value.
- *
- * @returns A nullish schema.
+ * Infer entries output type.
  */
-declare function nullish<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TDefault extends Default<TWrapped, null | undefined>>(wrapped: TWrapped, default_: TDefault): NullishSchema<TWrapped, TDefault>;
-
+type InferEntriesOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    -readonly [TKey in keyof TEntries]: ExactOptionalOutput<TEntries[TKey]>;
+};
 /**
- * Nullish schema async type.
+ * Optional input keys type.
  */
-interface NullishSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, null | undefined>> extends BaseSchemaAsync<InferInput<TWrapped> | null | undefined, InferNullishOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
-    /**
-     * The schema type.
-     */
-    readonly type: 'nullish';
-    /**
-     * The schema reference.
-     */
-    readonly reference: typeof nullishAsync;
-    /**
-     * The expected property.
-     */
-    readonly expects: `(${TWrapped['expects']} | null | undefined)`;
-    /**
-     * The wrapped schema.
-     */
-    readonly wrapped: TWrapped;
-    /**
-     * The default value.
-     */
-    readonly default: TDefault;
-}
+type OptionalInputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? TKey : never;
+}[keyof TEntries];
 /**
- * Creates a nullish schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A nullish schema.
+ * Optional output keys type.
  */
-declare function nullishAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): NullishSchemaAsync<TWrapped, undefined>;
+type OptionalOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends QuestionMarkSchema ? undefined extends InferOutput<TEntries[TKey]> ? HasDefault<TEntries[TKey]> extends false ? TKey : never : never : never;
+}[keyof TEntries];
 /**
- * Creates a nullish schema.
- *
- * @param wrapped The wrapped schema.
- * @param default_ The default value.
- *
- * @returns A nullish schema.
+ * Input with question marks type.
  */
-declare function nullishAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TDefault extends DefaultAsync<TWrapped, null | undefined>>(wrapped: TWrapped, default_: TDefault): NullishSchemaAsync<TWrapped, TDefault>;
+type InputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalInputKeys<TEntries>>;
+/**
+ * Output with question marks type.
+ */
+type OutputWithQuestionMarks<TEntries extends ObjectEntries | ObjectEntriesAsync, TObject extends InferEntriesInput<TEntries> | InferEntriesOutput<TEntries>> = MarkOptional<TObject, OptionalOutputKeys<TEntries>>;
+/**
+ * Readonly output keys type.
+ */
+type ReadonlyOutputKeys<TEntries extends ObjectEntries | ObjectEntriesAsync> = {
+    [TKey in keyof TEntries]: TEntries[TKey] extends SchemaWithPipe<infer TPipe> | SchemaWithPipeAsync<infer TPipe> ? ReadonlyAction<any> extends TPipe[number] ? TKey : never : never;
+}[keyof TEntries];
+/**
+ * Output with readonly type.
+ */
+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<InputWithQuestionMarks<TEntries, InferEntriesInput<TEntries>>>;
+/**
+ * Infer object output type.
+ */
+type InferObjectOutput<TEntries extends ObjectEntries | ObjectEntriesAsync> = Prettify<OutputWithReadonly<TEntries, OutputWithQuestionMarks<TEntries, InferEntriesOutput<TEntries>>>>;
+/**
+ * Infer object issue type.
+ */
+type InferObjectIssue<TEntries extends ObjectEntries | ObjectEntriesAsync> = InferIssue<TEntries[keyof TEntries]>;
 
 /**
- * Object issue type.
+ * Array path item type.
+ */
+interface ArrayPathItem {
+    /**
+     * The path item type.
+     */
+    readonly type: 'array';
+    /**
+     * The path item origin.
+     */
+    readonly origin: 'value';
+    /**
+     * The path item input.
+     */
+    readonly input: MaybeReadonly<unknown[]>;
+    /**
+     * The path item key.
+     */
+    readonly key: number;
+    /**
+     * The path item value.
+     */
+    readonly value: unknown;
+}
+/**
+ * Map path item type.
  */
-interface ObjectIssue extends BaseIssue<unknown> {
+interface MapPathItem {
     /**
-     * The issue kind.
+     * The path item type.
      */
-    readonly kind: 'schema';
+    readonly type: 'map';
     /**
-     * The issue type.
+     * The path item origin.
      */
-    readonly type: 'object';
+    readonly origin: 'key' | 'value';
     /**
-     * The expected property.
+     * The path item input.
      */
-    readonly expected: 'Object';
+    readonly input: Map<unknown, unknown>;
+    /**
+     * The path item key.
+     */
+    readonly key: unknown;
+    /**
+     * The path item value.
+     */
+    readonly value: unknown;
 }
-
 /**
- * Object schema type.
+ * Object path item type.
  */
-interface ObjectSchema<TEntries extends ObjectEntries, TMessage extends ErrorMessage<ObjectIssue> | undefined> extends BaseSchema<InferObjectInput<TEntries>, InferObjectOutput<TEntries>, ObjectIssue | InferObjectIssue<TEntries>> {
+interface ObjectPathItem {
     /**
-     * The schema type.
+     * The path item type.
      */
     readonly type: 'object';
     /**
-     * The schema reference.
+     * The path item origin.
      */
-    readonly reference: typeof object;
+    readonly origin: 'key' | 'value';
     /**
-     * The expected property.
+     * The path item input.
      */
-    readonly expects: 'Object';
+    readonly input: Record<string, unknown>;
     /**
-     * The entries schema.
+     * The path item key.
      */
-    readonly entries: TEntries;
+    readonly key: string;
     /**
-     * The error message.
+     * The path item value.
      */
-    readonly message: TMessage;
+    readonly value: unknown;
 }
 /**
- * Creates an object schema.
- *
- * Hint: This schema removes unknown entries. The output will only include the
- * entries you specify. To include unknown entries, use `looseObject`. To
- * return an issue for unknown entries, use `strictObject`. To include and
- * validate unknown entries, use `objectWithRest`.
- *
- * @param entries The entries schema.
- *
- * @returns An object schema.
- */
-declare function object<const TEntries extends ObjectEntries>(entries: TEntries): ObjectSchema<TEntries, undefined>;
-/**
- * Creates an object schema.
- *
- * Hint: This schema removes unknown entries. The output will only include the
- * entries you specify. To include unknown entries, use `looseObject`. To
- * return an issue for unknown entries, use `strictObject`. To include and
- * validate unknown entries, use `objectWithRest`.
- *
- * @param entries The entries schema.
- * @param message The error message.
- *
- * @returns An object schema.
- */
-declare function object<const TEntries extends ObjectEntries, const TMessage extends ErrorMessage<ObjectIssue> | undefined>(entries: TEntries, message: TMessage): ObjectSchema<TEntries, TMessage>;
-
-/**
- * Infer optional output type.
- */
-type InferOptionalOutput<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, undefined>> = undefined extends TDefault ? InferOutput<TWrapped> | undefined : NonOptional<InferOutput<TWrapped>> | Extract<DefaultValue<TDefault>, undefined>;
-
-/**
- * Optional schema type.
+ * Set path item type.
  */
-interface OptionalSchema<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, TDefault extends Default<TWrapped, undefined>> extends BaseSchema<InferInput<TWrapped> | undefined, InferOptionalOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
+interface SetPathItem {
     /**
-     * The schema type.
+     * The path item type.
      */
-    readonly type: 'optional';
+    readonly type: 'set';
     /**
-     * The schema reference.
+     * The path item origin.
      */
-    readonly reference: typeof optional;
+    readonly origin: 'value';
     /**
-     * The expected property.
+     * The path item input.
      */
-    readonly expects: `(${TWrapped['expects']} | undefined)`;
+    readonly input: Set<unknown>;
     /**
-     * The wrapped schema.
+     * The path item key.
      */
-    readonly wrapped: TWrapped;
+    readonly key: null;
     /**
-     * The default value.
+     * The path item key.
      */
-    readonly default: TDefault;
+    readonly value: unknown;
 }
 /**
- * Creates a optional schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns A optional schema.
- */
-declare function optional<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): OptionalSchema<TWrapped, undefined>;
-/**
- * Creates a optional schema.
- *
- * @param wrapped The wrapped schema.
- * @param default_ The default value.
- *
- * @returns A optional schema.
- */
-declare function optional<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>>, const TDefault extends Default<TWrapped, undefined>>(wrapped: TWrapped, default_: TDefault): OptionalSchema<TWrapped, TDefault>;
-
-/**
- * Optional schema async type.
+ * Unknown path item type.
  */
-interface OptionalSchemaAsync<TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, TDefault extends DefaultAsync<TWrapped, undefined>> extends BaseSchemaAsync<InferInput<TWrapped> | undefined, InferOptionalOutput<TWrapped, TDefault>, InferIssue<TWrapped>> {
+interface UnknownPathItem {
     /**
-     * The schema type.
+     * The path item type.
      */
-    readonly type: 'optional';
+    readonly type: 'unknown';
     /**
-     * The schema reference.
+     * The path item origin.
      */
-    readonly reference: typeof optionalAsync;
+    readonly origin: 'key' | 'value';
     /**
-     * The expected property.
+     * The path item input.
      */
-    readonly expects: `(${TWrapped['expects']} | undefined)`;
+    readonly input: unknown;
     /**
-     * The wrapped schema.
+     * The path item key.
      */
-    readonly wrapped: TWrapped;
+    readonly key: unknown;
     /**
-     * The default value.
+     * The path item value.
      */
-    readonly default: TDefault;
+    readonly value: unknown;
 }
 /**
- * Creates an optional schema.
- *
- * @param wrapped The wrapped schema.
- *
- * @returns An optional schema.
- */
-declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>>(wrapped: TWrapped): OptionalSchemaAsync<TWrapped, undefined>;
-/**
- * Creates an optional schema.
- *
- * @param wrapped The wrapped schema.
- * @param default_ The default value.
+ * Issue path item type.
  *
- * @returns An optional schema.
+ * TODO: Document that the input of the path may be different from the input of
+ * the issue.
  */
-declare function optionalAsync<const TWrapped extends BaseSchema<unknown, unknown, BaseIssue<unknown>> | BaseSchemaAsync<unknown, unknown, BaseIssue<unknown>>, const TDefault extends DefaultAsync<TWrapped, undefined>>(wrapped: TWrapped, default_: TDefault): OptionalSchemaAsync<TWrapped, TDefault>;
-
+type IssuePathItem = ArrayPathItem | MapPathItem | ObjectPathItem | SetPathItem | UnknownPathItem;
 /**
- * String issue type.
+ * Base issue type.
  */
-interface StringIssue extends BaseIssue<unknown> {
+interface BaseIssue<TInput> extends Config<BaseIssue<TInput>> {
     /**
      * The issue kind.
      */
-    readonly kind: 'schema';
+    readonly kind: 'schema' | 'validation' | 'transformation';
     /**
      * The issue type.
      */
-    readonly type: 'string';
+    readonly type: string;
+    /**
+     * The raw input data.
+     */
+    readonly input: TInput;
     /**
      * The expected property.
      */
-    readonly expected: 'string';
+    readonly expected: string | null;
+    /**
+     * The received property.
+     */
+    readonly received: string;
+    /**
+     * The error message.
+     */
+    readonly message: string;
+    /**
+     * The input requirement.
+     */
+    readonly requirement?: unknown | undefined;
+    /**
+     * The issue path.
+     *
+     * TODO: Investigate if it is possible to make the path type safe based on the
+     * input.
+     */
+    readonly path?: [IssuePathItem, ...IssuePathItem[]] | undefined;
+    /**
+     * The sub issues.
+     */
+    readonly issues?: [BaseIssue<TInput>, ...BaseIssue<TInput>[]] | undefined;
 }
+
 /**
- * String schema type.
+ * Config type.
  */
-interface StringSchema<TMessage extends ErrorMessage<StringIssue> | undefined> extends BaseSchema<string, string, StringIssue> {
+interface Config<TIssue extends BaseIssue<unknown>> {
     /**
-     * The schema type.
+     * The selected language.
      */
-    readonly type: 'string';
+    readonly lang?: string | undefined;
     /**
-     * The schema reference.
+     * The error message.
      */
-    readonly reference: typeof string;
+    readonly message?: ErrorMessage<TIssue> | undefined;
     /**
-     * The expected property.
+     * Whether it was abort early.
      */
-    readonly expects: 'string';
+    readonly abortEarly?: boolean | undefined;
     /**
-     * The error message.
+     * Whether the pipe was abort early.
      */
-    readonly message: TMessage;
+    readonly abortPipeEarly?: boolean | undefined;
 }
+
 /**
- * Creates a string schema.
- *
- * @returns A string schema.
+ * Pipe action type.
  */
-declare function string(): StringSchema<undefined>;
+type PipeAction<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseValidation<TInput, TOutput, TIssue> | BaseTransformation<TInput, TOutput, TIssue> | BaseMetadata<TInput>;
 /**
- * Creates a string schema.
- *
- * @param message The error message.
- *
- * @returns A string schema.
+ * Pipe action async type.
  */
-declare function string<const TMessage extends ErrorMessage<StringIssue> | undefined>(message: TMessage): StringSchema<TMessage>;
+type PipeActionAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseValidationAsync<TInput, TOutput, TIssue> | BaseTransformationAsync<TInput, TOutput, TIssue>;
+/**
+ * Pipe item type.
+ */
+type PipeItem<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseSchema<TInput, TOutput, TIssue> | PipeAction<TInput, TOutput, TIssue>;
+/**
+ * Pipe item async type.
+ */
+type PipeItemAsync<TInput, TOutput, TIssue extends BaseIssue<unknown>> = BaseSchemaAsync<TInput, TOutput, TIssue> | PipeActionAsync<TInput, TOutput, TIssue>;
 
 /**
  * Readonly action type.
@@ -1337,19 +1293,19 @@ declare const CustomAttributeSchema: ObjectSchema<{
      * @example
      * "href"
      */
-    readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly as: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * Whether the attribute is controlled or not in the user-defined component.
      * @example
      * `true`
      */
-    readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+    readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
     /**
      * The default value of the attribute in the user-defined component.
      * @example
      * `"/"`
      */
-    readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
 }, undefined>;
 /**
  * @internal
@@ -1371,13 +1327,13 @@ declare const CustomComponentSchema: ObjectSchema<{
      * @example
      * `JSXElement:has(JSXAttribute[name.name='component'][value.value='a'])`
      */
-    readonly selector: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly selector: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * The name of the built-in component that the user-defined component represents.
      * @example
      * "a"
      */
-    readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly as: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * Pre-defined attributes that are used in the user-defined component.
      * @example
@@ -1395,24 +1351,24 @@ declare const CustomComponentSchema: ObjectSchema<{
          * @example
          * "href"
          */
-        readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly as: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * Whether the attribute is controlled or not in the user-defined component.
          * @example
          * `true`
          */
-        readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+        readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
         /**
          * The default value of the attribute in the user-defined component.
          * @example
          * `"/"`
          */
-        readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
-    }, undefined>, undefined>, undefined>;
+        readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
+    }, undefined>, undefined>, never>;
 }, undefined>;
 declare const CustomComponentNormalizedSchema: ObjectSchema<{
     readonly name: StringSchema<undefined>;
-    readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly as: OptionalSchema<StringSchema<undefined>, never>;
     readonly attributes: OptionalSchema<ArraySchema<ObjectSchema<{
         /**
          * The name of the attribute in the user-defined component.
@@ -1425,22 +1381,22 @@ declare const CustomComponentNormalizedSchema: ObjectSchema<{
          * @example
          * "href"
          */
-        readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly as: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * Whether the attribute is controlled or not in the user-defined component.
          * @example
          * `true`
          */
-        readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+        readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
         /**
          * The default value of the attribute in the user-defined component.
          * @example
          * `"/"`
          */
-        readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
     }, undefined>, undefined>, readonly []>;
     readonly re: InstanceSchema<RegExpConstructor, undefined>;
-    readonly selector: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly selector: OptionalSchema<StringSchema<undefined>, never>;
 }, undefined>;
 /**
  * @internal
@@ -1452,28 +1408,28 @@ declare const ESLintReactSettingsSchema: ObjectSchema<{
      * @default `"react"`
      * @example `"@pika/react"`
      */
-    readonly importSource: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly importSource: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * The identifier that’s used for JSX Element creation.
      * @default `"createElement"`
      */
-    readonly jsxPragma: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly jsxPragma: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * The identifier that’s used for JSX fragment elements.
      * @description This should not be a member expression (i.e. use "Fragment" instead of "React.Fragment").
      * @default `"Fragment"`
      */
-    readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * The name of the prop that is used for polymorphic components.
      * @description This is used to determine the type of the component.
      * @example `"as"`
      */
-    readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * @internal
      */
-    readonly strict: OptionalSchema<BooleanSchema<undefined>, undefined>;
+    readonly strict: OptionalSchema<BooleanSchema<undefined>, never>;
     /**
      * @internal
      */
@@ -1484,7 +1440,7 @@ declare const ESLintReactSettingsSchema: ObjectSchema<{
      * @example `"18.3.1"`
      * @default `"detect"`
      */
-    readonly version: OptionalSchema<StringSchema<undefined>, undefined>;
+    readonly version: OptionalSchema<StringSchema<undefined>, never>;
     /**
      * An array of user-defined components
      * @description This is used to inform the ESLint React plugins how to treat these components during checks.
@@ -1502,13 +1458,13 @@ declare const ESLintReactSettingsSchema: ObjectSchema<{
          * @example
          * `JSXElement:has(JSXAttribute[name.name='component'][value.value='a'])`
          */
-        readonly selector: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly selector: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The name of the built-in component that the user-defined component represents.
          * @example
          * "a"
          */
-        readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly as: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * Pre-defined attributes that are used in the user-defined component.
          * @example
@@ -1526,46 +1482,46 @@ declare const ESLintReactSettingsSchema: ObjectSchema<{
              * @example
              * "href"
              */
-            readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+            readonly as: OptionalSchema<StringSchema<undefined>, never>;
             /**
              * Whether the attribute is controlled or not in the user-defined component.
              * @example
              * `true`
              */
-            readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+            readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
             /**
              * The default value of the attribute in the user-defined component.
              * @example
              * `"/"`
              */
-            readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
-        }, undefined>, undefined>, undefined>;
-    }, undefined>, undefined>, undefined>;
+            readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
+        }, undefined>, undefined>, never>;
+    }, undefined>, undefined>, never>;
     /**
      * A object of aliases for React built-in hooks.
      * @description ESLint React will recognize these aliases as equivalent to the built-in hooks in all its rules.
      * @example `{ useLayoutEffect: ["useIsomorphicLayoutEffect"] }`
      */
     readonly additionalHooks: OptionalSchema<ObjectSchema<{
-        readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-    }, undefined>, undefined>;
+        readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+    }, undefined>, never>;
 }, undefined>;
 /**
  * @internal
@@ -1578,28 +1534,28 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
          * @default `"react"`
          * @example `"@pika/react"`
          */
-        readonly importSource: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly importSource: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The identifier that’s used for JSX Element creation.
          * @default `"createElement"`
          */
-        readonly jsxPragma: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly jsxPragma: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The identifier that’s used for JSX fragment elements.
          * @description This should not be a member expression (i.e. use "Fragment" instead of "React.Fragment").
          * @default `"Fragment"`
          */
-        readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The name of the prop that is used for polymorphic components.
          * @description This is used to determine the type of the component.
          * @example `"as"`
          */
-        readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * @internal
          */
-        readonly strict: OptionalSchema<BooleanSchema<undefined>, undefined>;
+        readonly strict: OptionalSchema<BooleanSchema<undefined>, never>;
         /**
          * @internal
          */
@@ -1610,7 +1566,7 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
          * @example `"18.3.1"`
          * @default `"detect"`
          */
-        readonly version: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly version: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * An array of user-defined components
          * @description This is used to inform the ESLint React plugins how to treat these components during checks.
@@ -1628,13 +1584,13 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
              * @example
              * `JSXElement:has(JSXAttribute[name.name='component'][value.value='a'])`
              */
-            readonly selector: OptionalSchema<StringSchema<undefined>, undefined>;
+            readonly selector: OptionalSchema<StringSchema<undefined>, never>;
             /**
              * The name of the built-in component that the user-defined component represents.
              * @example
              * "a"
              */
-            readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+            readonly as: OptionalSchema<StringSchema<undefined>, never>;
             /**
              * Pre-defined attributes that are used in the user-defined component.
              * @example
@@ -1652,47 +1608,47 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
                  * @example
                  * "href"
                  */
-                readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+                readonly as: OptionalSchema<StringSchema<undefined>, never>;
                 /**
                  * Whether the attribute is controlled or not in the user-defined component.
                  * @example
                  * `true`
                  */
-                readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+                readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
                 /**
                  * The default value of the attribute in the user-defined component.
                  * @example
                  * `"/"`
                  */
-                readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
-            }, undefined>, undefined>, undefined>;
-        }, undefined>, undefined>, undefined>;
+                readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
+            }, undefined>, undefined>, never>;
+        }, undefined>, undefined>, never>;
         /**
          * A object of aliases for React built-in hooks.
          * @description ESLint React will recognize these aliases as equivalent to the built-in hooks in all its rules.
          * @example `{ useLayoutEffect: ["useIsomorphicLayoutEffect"] }`
          */
         readonly additionalHooks: OptionalSchema<ObjectSchema<{
-            readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        }, undefined>, undefined>;
-    }, undefined>, undefined>;
+            readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        }, undefined>, never>;
+    }, undefined>, never>;
     /** @deprecated Use `react-x` instead */
     readonly reactOptions: OptionalSchema<ObjectSchema<{
         /**
@@ -1701,28 +1657,28 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
          * @default `"react"`
          * @example `"@pika/react"`
          */
-        readonly importSource: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly importSource: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The identifier that’s used for JSX Element creation.
          * @default `"createElement"`
          */
-        readonly jsxPragma: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly jsxPragma: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The identifier that’s used for JSX fragment elements.
          * @description This should not be a member expression (i.e. use "Fragment" instead of "React.Fragment").
          * @default `"Fragment"`
          */
-        readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly jsxPragmaFrag: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * The name of the prop that is used for polymorphic components.
          * @description This is used to determine the type of the component.
          * @example `"as"`
          */
-        readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly polymorphicPropName: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * @internal
          */
-        readonly strict: OptionalSchema<BooleanSchema<undefined>, undefined>;
+        readonly strict: OptionalSchema<BooleanSchema<undefined>, never>;
         /**
          * @internal
          */
@@ -1733,7 +1689,7 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
          * @example `"18.3.1"`
          * @default `"detect"`
          */
-        readonly version: OptionalSchema<StringSchema<undefined>, undefined>;
+        readonly version: OptionalSchema<StringSchema<undefined>, never>;
         /**
          * An array of user-defined components
          * @description This is used to inform the ESLint React plugins how to treat these components during checks.
@@ -1751,13 +1707,13 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
              * @example
              * `JSXElement:has(JSXAttribute[name.name='component'][value.value='a'])`
              */
-            readonly selector: OptionalSchema<StringSchema<undefined>, undefined>;
+            readonly selector: OptionalSchema<StringSchema<undefined>, never>;
             /**
              * The name of the built-in component that the user-defined component represents.
              * @example
              * "a"
              */
-            readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+            readonly as: OptionalSchema<StringSchema<undefined>, never>;
             /**
              * Pre-defined attributes that are used in the user-defined component.
              * @example
@@ -1775,47 +1731,47 @@ declare const ESLintSettingsSchema: OptionalSchema<ObjectSchema<{
                  * @example
                  * "href"
                  */
-                readonly as: OptionalSchema<StringSchema<undefined>, undefined>;
+                readonly as: OptionalSchema<StringSchema<undefined>, never>;
                 /**
                  * Whether the attribute is controlled or not in the user-defined component.
                  * @example
                  * `true`
                  */
-                readonly controlled: OptionalSchema<BooleanSchema<undefined>, undefined>;
+                readonly controlled: OptionalSchema<BooleanSchema<undefined>, never>;
                 /**
                  * The default value of the attribute in the user-defined component.
                  * @example
                  * `"/"`
                  */
-                readonly defaultValue: OptionalSchema<StringSchema<undefined>, undefined>;
-            }, undefined>, undefined>, undefined>;
-        }, undefined>, undefined>, undefined>;
+                readonly defaultValue: OptionalSchema<StringSchema<undefined>, never>;
+            }, undefined>, undefined>, never>;
+        }, undefined>, undefined>, never>;
         /**
          * A object of aliases for React built-in hooks.
          * @description ESLint React will recognize these aliases as equivalent to the built-in hooks in all its rules.
          * @example `{ useLayoutEffect: ["useIsomorphicLayoutEffect"] }`
          */
         readonly additionalHooks: OptionalSchema<ObjectSchema<{
-            readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-            readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, undefined>;
-        }, undefined>, undefined>;
-    }, undefined>, undefined>;
+            readonly use: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useActionState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useCallback: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useContext: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useDebugValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useDeferredValue: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useId: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useImperativeHandle: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useInsertionEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useLayoutEffect: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useMemo: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useOptimistic: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useReducer: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useRef: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useState: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useSyncExternalStore: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+            readonly useTransition: OptionalSchema<ArraySchema<StringSchema<undefined>, undefined>, never>;
+        }, undefined>, never>;
+    }, undefined>, never>;
 }, undefined>, {}>;
 type CustomHook = InferOutput<typeof CustomHookSchema>;
 type CustomAttribute = InferOutput<typeof CustomAttributeSchema>;