fixup! codegen

bluesky-social · Jan 13, 2025 · 0133f4a · 0133f4a
1 parent 3e1cb75
commit 0133f4a
Show file tree

Hide file tree

Showing 4 changed files with 32 additions and 12 deletions.
diff --git a/packages/api/src/client/util.ts b/packages/api/src/client/util.ts
@@ -69,8 +69,13 @@ export function maybe$typed<V, Id extends string, Hash extends string>(
 }
 
 export type Validator<R = unknown> = (v: unknown) => ValidationResult<R>
+export type ValidatorParam<V extends Validator> =
+  V extends Validator<infer R> ? R : never
 
-export function asPredicate<V extends Validator>(validator: V) {
-  return <T,>(v: T): v is T & (V extends Validator<infer R> ? R : never) =>
-    validator(v).success
+/**
+ * Utility function that allows to convert a "validate*" utility function into a
+ * type predicate.
+ */
+export function asPredicate<V extends Validator>(validate: V) {
+  return <T,>(v: T): v is T & ValidatorParam<V> => validate(v).success
 }
diff --git a/packages/bsky/src/lexicon/util.ts b/packages/bsky/src/lexicon/util.ts
@@ -69,8 +69,13 @@ export function maybe$typed<V, Id extends string, Hash extends string>(
 }
 
 export type Validator<R = unknown> = (v: unknown) => ValidationResult<R>
+export type ValidatorParam<V extends Validator> =
+  V extends Validator<infer R> ? R : never
 
-export function asPredicate<V extends Validator>(validator: V) {
-  return <T,>(v: T): v is T & (V extends Validator<infer R> ? R : never) =>
-    validator(v).success
+/**
+ * Utility function that allows to convert a "validate*" utility function into a
+ * type predicate.
+ */
+export function asPredicate<V extends Validator>(validate: V) {
+  return <T,>(v: T): v is T & ValidatorParam<V> => validate(v).success
 }
diff --git a/packages/ozone/src/lexicon/util.ts b/packages/ozone/src/lexicon/util.ts
@@ -69,8 +69,13 @@ export function maybe$typed<V, Id extends string, Hash extends string>(
 }
 
 export type Validator<R = unknown> = (v: unknown) => ValidationResult<R>
+export type ValidatorParam<V extends Validator> =
+  V extends Validator<infer R> ? R : never
 
-export function asPredicate<V extends Validator>(validator: V) {
-  return <T,>(v: T): v is T & (V extends Validator<infer R> ? R : never) =>
-    validator(v).success
+/**
+ * Utility function that allows to convert a "validate*" utility function into a
+ * type predicate.
+ */
+export function asPredicate<V extends Validator>(validate: V) {
+  return <T,>(v: T): v is T & ValidatorParam<V> => validate(v).success
 }
diff --git a/packages/pds/src/lexicon/util.ts b/packages/pds/src/lexicon/util.ts
@@ -69,8 +69,13 @@ export function maybe$typed<V, Id extends string, Hash extends string>(
 }
 
 export type Validator<R = unknown> = (v: unknown) => ValidationResult<R>
+export type ValidatorParam<V extends Validator> =
+  V extends Validator<infer R> ? R : never
 
-export function asPredicate<V extends Validator>(validator: V) {
-  return <T,>(v: T): v is T & (V extends Validator<infer R> ? R : never) =>
-    validator(v).success
+/**
+ * Utility function that allows to convert a "validate*" utility function into a
+ * type predicate.
+ */
+export function asPredicate<V extends Validator>(validate: V) {
+  return <T,>(v: T): v is T & ValidatorParam<V> => validate(v).success
 }