@optique/core 1.1.0-dev.2096 → 1.1.0-dev.2146

package/dist/valueparser.d.cts

@@ -76,6 +76,27 @@ interface ValueParser<M extends Mode = "sync", T = unknown> {
    * @since 1.0.0
    */
   normalize?(value: T): T;
+  /**
+   * Validates a value of type {@link T} as if it had been parsed from CLI
+   * input, returning either a success result (with the possibly
+   * canonicalized value) or a failure with an error message.
+   *
+   * When present, `option()` and `argument()` use this method to validate
+   * fallback values (e.g. from `bindEnv()`/`bindConfig()`) instead of the
+   * generic `format()`+`parse()` round-trip.  Implement it when the
+   * round-trip cannot faithfully express validation for some values, as
+   * with combinators like `firstOf()` whose constituents may produce
+   * overlapping string representations.
+   *
+   * Like {@link normalize}, this method is synchronous regardless of the
+   * parser's mode, so wrappers that spread a sync parser into an async
+   * one inherit it unchanged.
+   *
+   * @param value The value to validate.
+   * @returns A {@link ValueParserResult} indicating success or failure.
+   * @since 1.1.0
+   */
+  validate?(value: T): ValueParserResult<T>;
   /**
    * Provides completion suggestions for values of this type.
    * This is optional and used for shell completion functionality.
@@ -2711,5 +2732,180 @@ declare function json(options: JsonOptions & {
  * @since 1.1.0
  */
 declare function json(options?: JsonOptions): ValueParser<"sync", Json>;
+/**
+ * Options for the {@link firstOf} combinator.
+ * @since 1.1.0
+ */
+interface FirstOfOptions {
+  /**
+   * The metavariable name for the combined parser.  This is used in help
+   * messages to indicate what kind of value this parser expects.
+   * @default The constituent metavars joined with `|`, e.g. `"TYPE|INTEGER"`.
+   */
+  readonly metavar?: NonEmptyString;
+  /**
+   * Custom error messages for firstOf parsing failures.
+   * @since 1.1.0
+   */
+  readonly errors?: {
+    /**
+     * Custom error message when every constituent parser fails.  Can be a
+     * static message or a function that receives the input and the
+     * constituent errors in declaration order.
+     * @since 1.1.0
+     */
+    readonly noMatch?: Message | ((input: string, errors: readonly Message[]) => Message);
+  };
+}
+/**
+ * The trailing options argument of {@link firstOf}.  A {@link ValueParser}
+ * structurally satisfies {@link FirstOfOptions} (its `metavar` field matches
+ * the optional one), so the required `parse` method is excluded to keep
+ * the overloads unambiguous.
+ */
+type FirstOfTailOptions = FirstOfOptions & {
+  readonly parse?: never;
+};
+/**
+ * Extracts the result type of a sync {@link ValueParser}.
+ */
+type ValueParserValue<P> = P extends ValueParser<"sync", infer T> ? T : never;
+/**
+ * Creates a {@link ValueParser} that tries two value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ *
+ * The result type is the union of the constituent result types:
+ *
+ * ```typescript
+ * const count = firstOf(choice(["auto"]), integer({ min: 1 }));
+ * // Inferred type: ValueParser<"sync", "auto" | number>
+ * ```
+ *
+ * When every constituent fails, the combined error lists each constituent's
+ * error on its own line.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB>;
+/**
+ * Creates a {@link ValueParser} that tries three value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC>;
+/**
+ * Creates a {@link ValueParser} that tries four value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @template TD The result type of the fourth parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param d The fourth value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC, TD>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, d: ValueParser<"sync", TD>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC | TD>;
+/**
+ * Creates a {@link ValueParser} that tries five value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @template TD The result type of the fourth parser.
+ * @template TE The result type of the fifth parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param d The fourth value parser to try.
+ * @param e The fifth value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC, TD, TE>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, d: ValueParser<"sync", TD>, e: ValueParser<"sync", TE>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC | TD | TE>;
+/**
+ * Creates a {@link ValueParser} that tries any number of value parsers in
+ * declaration order and returns the result of the first one that succeeds.
+ * @template TParsers The tuple of constituent value parsers.
+ * @param args The value parsers to try, followed by configuration options.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly [ValueParser<"sync", unknown>, ValueParser<"sync", unknown>, ...ValueParser<"sync", unknown>[]]>(...args: [...parsers: TParsers, options: FirstOfTailOptions]): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
+/**
+ * Creates a {@link ValueParser} that tries any number of value parsers in
+ * declaration order and returns the result of the first one that succeeds.
+ * @template TParsers The tuple of constituent value parsers.
+ * @param parsers The value parsers to try.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly [ValueParser<"sync", unknown>, ValueParser<"sync", unknown>, ...ValueParser<"sync", unknown>[]]>(...parsers: TParsers): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
+/**
+ * Creates a {@link ValueParser} that tries the value parsers in the given
+ * array in declaration order and returns the result of the first one that
+ * succeeds.
+ *
+ * Unlike the variadic overloads, which require at least two statically
+ * known arguments, this form accepts a dynamically built array:
+ *
+ * ```typescript
+ * const parsers: ValueParser<"sync", string | number>[] = buildParsers();
+ * const combined = firstOf(parsers);
+ * ```
+ * @template TParsers The array of constituent value parsers.
+ * @param parsers The value parsers to try.  Must contain at least two
+ *                parsers.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If the array contains fewer than two value parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly ValueParser<"sync", unknown>[]>(parsers: TParsers, options?: FirstOfOptions): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
 //#endregion
-export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, checkBooleanOption, checkEnumOption, choice, cidr, color, domain, email, ensureNonEmptyString, fileSize, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, locale, macAddress, port, portRange, semVer, socketAddress, string, url, uuid };
+export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, checkBooleanOption, checkEnumOption, choice, cidr, color, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, locale, macAddress, port, portRange, semVer, socketAddress, string, url, uuid };

package/dist/valueparser.d.ts

@@ -76,6 +76,27 @@ interface ValueParser<M extends Mode = "sync", T = unknown> {
    * @since 1.0.0
    */
   normalize?(value: T): T;
+  /**
+   * Validates a value of type {@link T} as if it had been parsed from CLI
+   * input, returning either a success result (with the possibly
+   * canonicalized value) or a failure with an error message.
+   *
+   * When present, `option()` and `argument()` use this method to validate
+   * fallback values (e.g. from `bindEnv()`/`bindConfig()`) instead of the
+   * generic `format()`+`parse()` round-trip.  Implement it when the
+   * round-trip cannot faithfully express validation for some values, as
+   * with combinators like `firstOf()` whose constituents may produce
+   * overlapping string representations.
+   *
+   * Like {@link normalize}, this method is synchronous regardless of the
+   * parser's mode, so wrappers that spread a sync parser into an async
+   * one inherit it unchanged.
+   *
+   * @param value The value to validate.
+   * @returns A {@link ValueParserResult} indicating success or failure.
+   * @since 1.1.0
+   */
+  validate?(value: T): ValueParserResult<T>;
   /**
    * Provides completion suggestions for values of this type.
    * This is optional and used for shell completion functionality.
@@ -2711,5 +2732,180 @@ declare function json(options: JsonOptions & {
  * @since 1.1.0
  */
 declare function json(options?: JsonOptions): ValueParser<"sync", Json>;
+/**
+ * Options for the {@link firstOf} combinator.
+ * @since 1.1.0
+ */
+interface FirstOfOptions {
+  /**
+   * The metavariable name for the combined parser.  This is used in help
+   * messages to indicate what kind of value this parser expects.
+   * @default The constituent metavars joined with `|`, e.g. `"TYPE|INTEGER"`.
+   */
+  readonly metavar?: NonEmptyString;
+  /**
+   * Custom error messages for firstOf parsing failures.
+   * @since 1.1.0
+   */
+  readonly errors?: {
+    /**
+     * Custom error message when every constituent parser fails.  Can be a
+     * static message or a function that receives the input and the
+     * constituent errors in declaration order.
+     * @since 1.1.0
+     */
+    readonly noMatch?: Message | ((input: string, errors: readonly Message[]) => Message);
+  };
+}
+/**
+ * The trailing options argument of {@link firstOf}.  A {@link ValueParser}
+ * structurally satisfies {@link FirstOfOptions} (its `metavar` field matches
+ * the optional one), so the required `parse` method is excluded to keep
+ * the overloads unambiguous.
+ */
+type FirstOfTailOptions = FirstOfOptions & {
+  readonly parse?: never;
+};
+/**
+ * Extracts the result type of a sync {@link ValueParser}.
+ */
+type ValueParserValue<P> = P extends ValueParser<"sync", infer T> ? T : never;
+/**
+ * Creates a {@link ValueParser} that tries two value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ *
+ * The result type is the union of the constituent result types:
+ *
+ * ```typescript
+ * const count = firstOf(choice(["auto"]), integer({ min: 1 }));
+ * // Inferred type: ValueParser<"sync", "auto" | number>
+ * ```
+ *
+ * When every constituent fails, the combined error lists each constituent's
+ * error on its own line.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB>;
+/**
+ * Creates a {@link ValueParser} that tries three value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC>;
+/**
+ * Creates a {@link ValueParser} that tries four value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @template TD The result type of the fourth parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param d The fourth value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC, TD>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, d: ValueParser<"sync", TD>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC | TD>;
+/**
+ * Creates a {@link ValueParser} that tries five value parsers in declaration
+ * order and returns the result of the first one that succeeds.
+ * @template TA The result type of the first parser.
+ * @template TB The result type of the second parser.
+ * @template TC The result type of the third parser.
+ * @template TD The result type of the fourth parser.
+ * @template TE The result type of the fifth parser.
+ * @param a The first value parser to try.
+ * @param b The second value parser to try.
+ * @param c The third value parser to try.
+ * @param d The fourth value parser to try.
+ * @param e The fifth value parser to try.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<TA, TB, TC, TD, TE>(a: ValueParser<"sync", TA>, b: ValueParser<"sync", TB>, c: ValueParser<"sync", TC>, d: ValueParser<"sync", TD>, e: ValueParser<"sync", TE>, options?: FirstOfTailOptions): ValueParser<"sync", TA | TB | TC | TD | TE>;
+/**
+ * Creates a {@link ValueParser} that tries any number of value parsers in
+ * declaration order and returns the result of the first one that succeeds.
+ * @template TParsers The tuple of constituent value parsers.
+ * @param args The value parsers to try, followed by configuration options.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly [ValueParser<"sync", unknown>, ValueParser<"sync", unknown>, ...ValueParser<"sync", unknown>[]]>(...args: [...parsers: TParsers, options: FirstOfTailOptions]): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
+/**
+ * Creates a {@link ValueParser} that tries any number of value parsers in
+ * declaration order and returns the result of the first one that succeeds.
+ * @template TParsers The tuple of constituent value parsers.
+ * @param parsers The value parsers to try.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly [ValueParser<"sync", unknown>, ValueParser<"sync", unknown>, ...ValueParser<"sync", unknown>[]]>(...parsers: TParsers): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
+/**
+ * Creates a {@link ValueParser} that tries the value parsers in the given
+ * array in declaration order and returns the result of the first one that
+ * succeeds.
+ *
+ * Unlike the variadic overloads, which require at least two statically
+ * known arguments, this form accepts a dynamically built array:
+ *
+ * ```typescript
+ * const parsers: ValueParser<"sync", string | number>[] = buildParsers();
+ * const combined = firstOf(parsers);
+ * ```
+ * @template TParsers The array of constituent value parsers.
+ * @param parsers The value parsers to try.  Must contain at least two
+ *                parsers.
+ * @param options Configuration options for the combined parser.
+ * @returns A {@link ValueParser} that accepts values matching any of the
+ *          constituent parsers.
+ * @throws {TypeError} If the array contains fewer than two value parsers.
+ * @throws {TypeError} If any constituent is not a sync value parser.
+ * @throws {TypeError} If any constituent is a dependency-derived value
+ *         parser (created via `deriveFrom()` or `dependency().derive()`).
+ * @since 1.1.0
+ */
+declare function firstOf<const TParsers extends readonly ValueParser<"sync", unknown>[]>(parsers: TParsers, options?: FirstOfOptions): ValueParser<"sync", ValueParserValue<TParsers[number]>>;
 //#endregion
-export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, checkBooleanOption, checkEnumOption, choice, cidr, color, domain, email, ensureNonEmptyString, fileSize, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, locale, macAddress, port, portRange, semVer, socketAddress, string, url, uuid };
+export { ChoiceOptions, ChoiceOptionsBase, ChoiceOptionsNumber, ChoiceOptionsString, CidrOptions, CidrValue, Color, ColorFormat, ColorOptions, DeferredMap, DomainOptions, EmailOptions, FileSizeOptions, FileSizeOptionsBigInt, FileSizeOptionsNumber, FileSizeUnit, FirstOfOptions, FloatOptions, HostnameOptions, IntegerOptionsBigInt, IntegerOptionsNumber, IpOptions, Ipv4Options, Ipv6Options, Json, JsonOptions, LocaleOptions, MacAddressOptions, type Mode, type ModeIterable, type ModeValue, type NonEmptyString, PortOptionsBigInt, PortOptionsNumber, PortRangeOptionsBigInt, PortRangeOptionsNumber, PortRangeValueBigInt, PortRangeValueNumber, SemVer, SemVerOptionsObject, SemVerOptionsString, SemVerString, SocketAddressOptions, SocketAddressValue, StringOptions, UrlOptions, Uuid, UuidOptions, ValueParser, ValueParserResult, checkBooleanOption, checkEnumOption, choice, cidr, color, domain, email, ensureNonEmptyString, fileSize, firstOf, float, hostname, integer, ip, ipv4, ipv6, isNonEmptyString, isValueParser, json, locale, macAddress, port, portRange, semVer, socketAddress, string, url, uuid };