Make EnumValues generic (#2338)

* feat: make EnumValues generic Allow statically validate enum values against external type. Fix #2280. * Docs --------- Co-authored-by: Colin McDonnell <colinmcd94@gmail.com>
colinhacks · Apr 9, 2024 · 8b723d4 · 8b723d4
1 parent 69eee9c
commit 8b723d4
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/deno/lib/README.md b/deno/lib/README.md
@@ -69,8 +69,8 @@
 - [Coercion for primitives](#coercion-for-primitives)
 - [Literals](#literals)
 - [Strings](#strings)
-  - [ISO datetimes](#iso-datetimes)
-  - [IP addresses](#ip-addresses)
+  - [Datetime](#iso-datetimes)
+  - [IP](#ip-addresses)
 - [Numbers](#numbers)
 - [BigInts](#bigints)
 - [NaNs](#nans)

diff --git a/deno/lib/types.ts b/deno/lib/types.ts
@@ -4081,7 +4081,7 @@ export class ZodLiteral<T> extends ZodType<T, ZodLiteralDef<T>> {
 export type ArrayKeys = keyof any[];
 export type Indices<T> = Exclude<keyof T, ArrayKeys>;
 
-export type EnumValues = [string, ...string[]];
+export type EnumValues<T extends string = string> = [T, ...T[]];
 
 export type Values<T extends EnumValues> = {
   [k in T[number]]: k;

diff --git a/src/types.ts b/src/types.ts
@@ -4081,7 +4081,7 @@ export class ZodLiteral<T> extends ZodType<T, ZodLiteralDef<T>> {
 export type ArrayKeys = keyof any[];
 export type Indices<T> = Exclude<keyof T, ArrayKeys>;
 
-export type EnumValues = [string, ...string[]];
+export type EnumValues<T extends string = string> = [T, ...T[]];
 
 export type Values<T extends EnumValues> = {
   [k in T[number]]: k;