Enabling shorter import paths

.gitignore

@@ -1,44 +1,2 @@
-# Logs
-logs
-*.log
-npm-debug.log*
-
-# Runtime data
-pids
-*.pid
-*.seed
-
-# Directory for instrumented libs generated by jscoverage/JSCover
-lib-cov
-
-# Coverage directory used by tools like istanbul
-coverage
-
-# nyc test coverage
-.nyc_output
-
-# Grunt intermediate storage (http://gruntjs.com/creating-plugins#storing-task-files)
-.grunt
-
-# node-waf configuration
-.lock-wscript
-
-# Compiled binary addons (http://nodejs.org/api/addons.html)
-build/Release
-
-# Dependency directories
-node_modules
-jspm_packages
-
-# Optional npm cache directory
-.npm
-
-# Optional REPL history
-.node_repl_history
-
-.vscode
-
-.DS_Store
-
-/dist
-/deno_dist
+
+/node_modules

Equals.d.ts

@@ -0,0 +1,4 @@
+import type { Unite } from "./tools/Unite";
+import type { StrictEquals } from "./tools/StrictEquals";
+/** https://docs.tsafe.dev/main/equals */
+export declare type Equals<A1, A2> = StrictEquals<Unite<A1>, Unite<A2>>;

Extends.d.ts

@@ -0,0 +1,7 @@
+import { StrictEquals } from "./tools/StrictEquals";
+/**
+ * @see <https://docs.tsafe.dev/main/extends>
+ *
+ * Usage example: assert<Extends<A, B>>();
+ **/
+export declare type Extends<A1, A2> = StrictEquals<A1, never> extends true ? true : StrictEquals<A2, never> extends true ? false : StrictEquals<A2, any> extends true ? true : StrictEquals<A2, unknown> extends true ? true : StrictEquals<A1, any> extends true ? false : StrictEquals<A1, unknown> extends true ? false : A1 extends A2 ? true : false;

MethodNames.d.ts

@@ -0,0 +1,4 @@
+/** https://docs.tsafe.dev/methodnames */
+export declare type MethodNames<Api> = NonNullable<{
+    [Key in keyof Api]: Api[Key] extends ((...args: any[]) => unknown) | undefined ? Key : never;
+}[keyof Api]>;

Not.d.ts

@@ -0,0 +1,2 @@
+/** https://docs.tsafe.dev/main/not */
+export declare type Not<B extends boolean> = B extends true ? false : true;

Param0.d.ts

@@ -0,0 +1,7 @@
+import type { Parameters } from "./Parameters";
+declare type NonUndefined<T> = T extends undefined ? never : T;
+/** Shorthand for Parameters<typeof f>[0] https://docs.tsafe.dev/param0 */
+export declare type Param0<T extends ((...args: any[]) => unknown) | null | undefined | false | ""> = [
+    Parameters<T>
+] extends [never] ? never : Parameters<T> extends [] ? void : NonUndefined<Parameters<T>[0]>;
+export {};

Parameters.d.ts

@@ -0,0 +1,2 @@
+/** https://docs.tsafe.dev/parameters */
+export declare type Parameters<T extends ((...args: any[]) => unknown) | null | undefined | false | ""> = T extends (...args: infer P) => any ? P : never;

PickOptionals.d.ts

@@ -0,0 +1,10 @@
+declare type OptionalKeyof<T extends Record<string, unknown>> = Exclude<{
+    [Key in keyof T]: T extends Record<Key, T[Key]> ? never : Key;
+}[keyof T], undefined>;
+/**
+ * PickOptionals<{ p1: string; p2?: string; p3?: number; }>
+ * is the type
+ * { p2: string; p3: number; }
+ */
+export declare type PickOptionals<T extends Record<string, unknown>> = Required<Pick<T, OptionalKeyof<T>>>;
+export {};

PickRequired.d.ts

@@ -0,0 +1,7 @@
+import { PickOptionals } from "./PickOptionals";
+/**
+ * PickRequired<{ p1: string; p2?: string; p3?: number; p4: string; }>
+ * is the type
+ * { p1: string; p4: number; }
+ */
+export declare type PickRequired<T extends Record<string, unknown>> = Omit<T, keyof PickOptionals<T>>;

Reflect.d.ts

@@ -0,0 +1,2 @@
+/** Always return null but pretends it returns an object of type T */
+export declare function Reflect<T>(): T;

ReturnType.d.ts

@@ -0,0 +1,2 @@
+/** https://docs.tsafe.dev/returntype */
+export declare type ReturnType<T extends ((...args: any[]) => unknown) | undefined | null | false | ""> = T extends (...args: any[]) => infer R ? (R extends PromiseLike<infer J> ? J : R) : never;

UnpackPromise.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Use case:
+ * declare const pr: Promise<string[]>;
+ * const x: UnpackPromise<typeof pr>; <== x is string[]
+ */
+export declare type UnpackPromise<T extends PromiseLike<unknown> | undefined | null | false | ""> = T extends PromiseLike<infer U> ? U : never;