From b3f56fbc695b601a5ac91eb158d568ce2a7abefe Mon Sep 17 00:00:00 2001
From: Danilo Alonso <damusix@gmail.com>
Date: Thu, 12 Jan 2023 17:34:59 -0500
Subject: [PATCH] feat: add local typings

---
 lib/index.d.ts | 151 +++++++++++++++++++++++++++++++++++++++++++++++++
 package.json   |   2 +
 2 files changed, 153 insertions(+)
 create mode 100644 lib/index.d.ts

diff --git a/lib/index.d.ts b/lib/index.d.ts
new file mode 100644
index 0000000..fcf23f9
--- /dev/null
+++ b/lib/index.d.ts
@@ -0,0 +1,151 @@
+
+type keyOfRandom = (
+    'a' | 'b' | 'c' | 'd' | 'e' |
+    'f' | 'g' | 'h' | 'i' | 'j' |
+    'k' | 'l' | 'm' | 'n'
+)
+
+export interface id {
+
+    /**
+     * Generates a random UUID
+     */
+    generate(): string
+
+    criteria <U extends string>(uuid: U): {
+        $id: U,
+        random: Record<keyOfRandom, number>
+    }
+}
+
+type KeyValsAsType<T> = {
+    [
+        K in keyof T as T[K] extends string ? (
+            string extends T[K] ? never : T[K]
+        ) : never
+    ]?: AllowedValues<T>
+};
+
+type AllowedValues<Criteria> = (
+    number | string | boolean |
+    Array<any> | typeof Function |
+    Schema<Criteria>
+);
+
+type Schema<Criteria> = {
+    $param: keyof Criteria,
+    $value?: AllowedValues<Criteria>
+    $replace?: 'true' | true,
+    $env?: keyof Criteria
+    $coerce?: 'number' | 'array' | 'boolean' | 'object'
+    $splitToken?: string | RegExp
+    $filter?: keyof Criteria | { $env: keyof NodeJS.ProcessEnv },
+    $base?: AllowedValues<Criteria>,
+    $default?: AllowedValues<Criteria>
+    $id?: string,
+    $range?: {
+        limit: number,
+        value: AllowedValues<Criteria>,
+        id: string
+    }[]
+    $meta?: object | string,
+} | KeyValsAsType<Criteria>
+
+type ValueOf<T> = T[keyof T];
+
+type FilterType<C, T extends string> = {
+    $filter?: C,
+} | Record<T, string>
+
+type InferFromObject<T, K extends keyof T = keyof T> = T[K] extends infer C ? C : T[K];
+
+/**
+ *
+ */
+type ConfidenceStore<
+    Criteria,
+    ReturnType
+> = (
+    {
+        [K in keyof ReturnType]: ConfidenceStore<
+            Criteria,
+            ReturnType[K]
+        > | Schema<Criteria>
+    } |
+    {
+        [K in keyof Schema<Criteria>]: (
+            ConfidenceStore<Criteria, ReturnType> |
+            KeyValsAsType<Criteria>
+        )
+    }
+);
+
+/**
+ * Finds the '/' slash path in a type starting from the
+ * beginning. This type appends the `/` to the root level
+ * of the types and then calls the `PathImplMid` type for
+ * the middle paths. The separation allows us to  guess
+ * that `{ a: { b: { c: true }}}` is the path `/a/b/c`
+ * and not `/a//b//c`.
+ */
+type PathImplementation<T, K extends keyof T> = (
+    K extends string ? (
+        T[K] extends Record<string, any> ? (
+            T[K] extends ArrayLike<any> ? (
+                `/${K}` | `/${K}/${PathImplMid<T[K], Exclude<keyof T[K], keyof any[]>>}`
+            ) : (
+                `/${K}` | `/${K}/${PathImplMid<T[K], keyof T[K]>}`
+            )
+        ) : `/${K}`
+    ) : never
+);
+
+/**
+ * This generates the mid-path slash commands for `PathImplementation`
+ */
+type PathImplMid<T, K extends keyof T> = (
+    K extends string ? (
+        T[K] extends Record<string, any> ? (
+            T[K] extends ArrayLike<any> ? (
+                K | `${K}/${PathImplMid<T[K], Exclude<keyof T[K], keyof any[]>>}`
+            ) : (
+                K | `${K}/${PathImplMid<T[K], keyof T[K]>}`
+            )
+        ) : K
+    ) : never
+);
+
+// The actual path implementation
+type Path<T> = '/' | PathImplementation<T, keyof T>;
+
+type PathValueImp<T, P extends Path<T>> =  P extends `/${infer UKey}` ? (
+    P extends `/${infer LKey}/${infer Rest}` ? (
+        LKey extends keyof T ? (
+            Rest extends keyof T[LKey] ? (
+                T[LKey][Rest]
+            ) : (
+                `/${Rest}` extends Path<T[LKey]> ? (
+                    PathValueImp<T[LKey], `/${Rest}`>
+                ) : never
+            )
+        ) : never
+    ) : (
+        UKey extends keyof T ? T[UKey] : never
+    )
+) : never
+
+type PathValue<T, P extends Path<T>> = P extends '/' ? T : PathValueImp<T, P>
+
+export class Store<Criteria, ReturnType> {
+
+    constructor (document: ConfidenceStore<Criteria, ReturnType>);
+
+    load(document: ConfidenceStore<Criteria, ReturnType>): void;
+
+    get <K extends Path<ReturnType>> (key: K, criteria: Criteria): PathValue<ReturnType, K>
+
+    meta <K extends Path<ReturnType> = '/'>(key: K, criteria: Criteria): any;
+
+    static validate <T extends ConfidenceStore<any, any>>(node: T): Error | null;
+
+}
diff --git a/package.json b/package.json
index cc0e6b5..46ebebc 100644
--- a/package.json
+++ b/package.json
@@ -4,6 +4,7 @@
   "version": "6.0.2",
   "repository": "git://github.com/hapipal/confidence",
   "main": "lib/index.js",
+  "types": "lib/index.d.ts",
   "keywords": [
     "hapi",
     "configuration",
@@ -19,6 +20,7 @@
   "devDependencies": {
     "@hapi/code": "8.x.x",
     "@hapi/lab": "24.x.x",
+    "@types/node": "^18.11.18",
     "coveralls": "3.x.x"
   },
   "bin": {