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

MethodNames.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Takes as type argument an Api interface and return
+ * an union type constituted of all the properties names
+ * whose values are functions.
+ *
+ * Example:
+ *
+ * interface Api {
+ *     getFoo(): number;
+ *     getBar(): string;
+ *     p: object;
+ * }
+ *
+ * MethodNames<Api> is "getFoo" | "getBar"
+ *
+ */
+export declare type MethodNames<Api> = NonNullable<{
+    [Key in keyof Api]: Api[Key] extends ((...args: any[]) => unknown) | undefined ? Key : never;
+}[keyof Api]>;

Param0.d.ts

@@ -0,0 +1,3 @@
+import type { Parameters } from "./Parameters";
+/** 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>[0];

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;

PickOptional.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Like the 'Required' builtin type alias helper
+ * but it only keeps properties that are marked optional.
+ *
+ * Example:
+ *
+ * Optional<{ p1: string; p2?: string; p3?: number; }>
+ * is the type
+ * { p2: string; p3: number }
+ */
+declare type OptionalKeyof<T extends Record<string, unknown>> = Exclude<{
+    [Key in keyof T]: T extends Record<Key, T[Key]> ? never : Key;
+}[keyof T], undefined>;
+export declare type PickOptionals<T extends Record<string, unknown>> = {
+    [Key in OptionalKeyof<T>]: T[Key];
+};
+export {};

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;

assert.d.ts

@@ -0,0 +1,6 @@
+/** https://docs.tsafe.dev/assert#error-thrown */
+export declare class AssertionError extends Error {
+    constructor(msg: string | undefined);
+}
+/** https://docs.tsafe.dev/assert */
+export declare function assert(condition: any, msg?: string): asserts condition;