@bool-ts/guard-sdk 1.1.0-beta.10 → 1.1.0-beta.12

package/dist/ultils/types/enforceUnique.d.ts

@@ -1,8 +1,7 @@
-type ValuesOfKey<Arr extends any[], K extends keyof any> = Arr extends [
-    infer Head,
-    ...infer Tail
-] ? Head extends Record<K, any> ? [Head[K], ...ValuesOfKey<Tail, K>] : ValuesOfKey<Tail, K> : [];
-type Includes<Arr extends any[], V> = Arr extends [infer H, ...infer R] ? [V] extends [H] ? true : Includes<R, V> : false;
-type HasDuplicate<Arr extends readonly any[], K extends keyof any> = Arr extends [infer Head, ...infer Tail] ? Head extends Record<K, any> ? Includes<ValuesOfKey<Tail, K>, Head[K]> extends true ? true : HasDuplicate<Tail, K> : HasDuplicate<Tail, K> : false;
-export type TEnforceUnique<Arr extends readonly any[], K extends keyof Arr[number]> = HasDuplicate<Arr, K> extends true ? `Duplicate key "${K & string}" found` : Arr;
+type IsDuplicated<Arr extends readonly any[], K extends string, CurrentValue, Index extends string> = {
+    [I in keyof Arr]: I extends Index ? never : Arr[I] extends Record<K, any> ? Arr[I][K] extends CurrentValue ? true : never : never;
+}[number] extends never ? false : true;
+export type TEnforceUnique<Arr extends readonly any[], K extends keyof Arr[number]> = {
+    [I in keyof Arr]: IsDuplicated<Arr, K & string, Arr[I] extends Record<K, any> ? Arr[I][K] : never, I & string> extends true ? `❌ ERROR: Duplicate value "${Arr[I][K] & string}" found at key "${K & string}"` : Arr[I];
+};
 export {};

package/package.json

@@ -46,5 +46,5 @@
         "test": "bun --hot run __test/index.ts"
     },
     "types": "./dist/index.d.ts",
-    "version": "1.1.0-beta.10"
+    "version": "1.1.0-beta.12"
 }

package/src/definers/policies.ts

@@ -3,11 +3,10 @@ import type { TEnforceUnique } from "../ultils/types";
 
 import { deepFreeze } from "../ultils/functions";
 
-export const definePolicies = <const K extends readonly TPolicyDefinition[]>(
-    policies: TEnforceUnique<K, "alias">
+export const definePolicies = <const T extends readonly TPolicyDefinition[]>(
+    policies: T & TEnforceUnique<T, "alias">
 ) => {
     if (
-        policies === `Duplicate key "alias" found` ||
         new Set([
             ...policies
                 .map((policy) =>

package/src/definers/resources.ts

@@ -7,10 +7,9 @@ export const defineResources = <
     const T extends readonly TResourceDefinition[],
     D extends TDeepReadonly<T>
 >(
-    resources: TEnforceUnique<T, "alias">
+    resources: T & TEnforceUnique<T, "alias">
 ) => {
     if (
-        resources === `Duplicate key "alias" found` ||
         new Set([
             ...resources
                 .map((resource) =>
@@ -24,14 +23,10 @@ export const defineResources = <
 
     const resourceFreezed = deepFreeze(resources);
 
-    if (resourceFreezed === `Duplicate key "alias" found`) {
-        throw new Error("Duplicated resource alias.");
-    }
-
     return Object.freeze({
         getResource: <
             K extends D extends never ? never : D[number]["alias"],
-            R extends D extends never ? never : Extract<D[number], { alias: K }>
+            R extends Extract<D[number], { alias: K }>
         >(
             alias: K
         ): R => {
@@ -49,10 +44,9 @@ export const defineResources = <
         },
         resources: resourceFreezed,
         definePolicies: <const K extends readonly TPolicyDefinition<T>[]>(
-            policies: TEnforceUnique<K, "alias">
+            policies: K & TEnforceUnique<K, "alias">
         ) => {
             if (
-                policies === `Duplicate key "alias" found` ||
                 new Set([
                     ...policies
                         .map((policy) =>

package/src/index.ts

@@ -1,4 +1,5 @@
 export type * from "./interfaces";
+export type * from "./types";
 
 export * from "./constants";
 export * from "./decorators";

package/src/ultils/types/enforceUnique.ts

@@ -1,33 +1,30 @@
-type ValuesOfKey<Arr extends any[], K extends keyof any> = Arr extends [
-    infer Head,
-    ...infer Tail
-]
-    ? Head extends Record<K, any>
-        ? [Head[K], ...ValuesOfKey<Tail, K>]
-        : ValuesOfKey<Tail, K>
-    : [];
-
-type Includes<Arr extends any[], V> = Arr extends [infer H, ...infer R]
-    ? [V] extends [H]
-        ? true
-        : Includes<R, V>
-    : false;
-
-type HasDuplicate<
+type IsDuplicated<
     Arr extends readonly any[],
-    K extends keyof any
-> = Arr extends [infer Head, ...infer Tail]
-    ? Head extends Record<K, any>
-        ? Includes<ValuesOfKey<Tail, K>, Head[K]> extends true
-            ? true
-            : HasDuplicate<Tail, K>
-        : HasDuplicate<Tail, K>
-    : false;
+    K extends string,
+    CurrentValue,
+    Index extends string
+> = {
+    [I in keyof Arr]: I extends Index
+        ? never
+        : Arr[I] extends Record<K, any>
+          ? Arr[I][K] extends CurrentValue
+              ? true
+              : never
+          : never;
+}[number] extends never
+    ? false
+    : true;
 
 export type TEnforceUnique<
     Arr extends readonly any[],
     K extends keyof Arr[number]
-> =
-    HasDuplicate<Arr, K> extends true
-        ? `Duplicate key "${K & string}" found`
-        : Arr;
+> = {
+    [I in keyof Arr]: IsDuplicated<
+        Arr,
+        K & string,
+        Arr[I] extends Record<K, any> ? Arr[I][K] : never,
+        I & string
+    > extends true
+        ? `❌ ERROR: Duplicate value "${Arr[I][K] & string}" found at key "${K & string}"`
+        : Arr[I];
+};