type-plus 8.0.0-beta.3 → 8.0.0-beta.4

package/cjs/class/isConstructor.js

@@ -0,0 +1,35 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isConstructor = isConstructor;
+exports.isInstanceof = isInstanceof;
+/**
+ * Is the subject a constructor function.
+ *
+ * @deprecated this is not a failsafe test,
+ * it will return true for any function that can be called with `new`.
+ *
+ * If the subject is an arrow function,
+ * it can still return true after compilation.
+ *
+ * Thus this function is not safe to use.
+ */
+function isConstructor(subject) {
+    try {
+        ;
+        new subject();
+    }
+    catch (err) {
+        const msg = err?.message;
+        if (msg && msg.indexOf('is not a constructor') >= 0) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * instanceof type guard for unknown value.
+ */
+function isInstanceof(subject, classConstructor) {
+    return subject instanceof classConstructor;
+}
+//# sourceMappingURL=isConstructor.js.map

package/cjs/class/isConstructor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isConstructor.js","sourceRoot":"","sources":["../../src/class/isConstructor.ts"],"names":[],"mappings":";;AAaA,sCAUC;AAKD,oCAKC;AA/BD;;;;;;;;;;GAUG;AACH,SAAgB,aAAa,CAAC,OAAgB;IAC7C,IAAI,CAAC;QACJ,CAAC;QAAA,IAAK,OAA0B,EAAE,CAAA;IACnC,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QACnB,MAAM,GAAG,GAAG,GAAG,EAAE,OAA6B,CAAA;QAC9C,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAC3B,OAAgB,EAChB,gBAAmB;IAEnB,OAAO,OAAO,YAAY,gBAAgB,CAAA;AAC3C,CAAC"}

package/cjs/composable_types.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Types that can contain custom properties.
+ */
+export type ComposableTypes = object | Function;
+/**
+ * Types that cannot contain custom properties.
+ */
+export type NonComposableTypes = boolean | number | string | symbol | bigint | undefined | null;
+//# sourceMappingURL=composable_types.d.ts.map

package/cjs/composable_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"composable_types.d.ts","sourceRoot":"","sources":["../src/composable_types.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,CAAA;AAE/C;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAA"}

package/cjs/composable_types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=composable_types.js.map

package/cjs/composable_types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composable_types.js","sourceRoot":"","sources":["../src/composable_types.ts"],"names":[],"mappings":""}

package/cjs/equal/equal.d.ts

@@ -0,0 +1,103 @@
+import type { IsAny } from '../any/is_any.js';
+import type { IsNever } from '../never/is_never.js';
+import type { IsObject } from '../object/is_object.js';
+import type { Properties } from '../object/properties.js';
+import type { And, Or } from '../predicates/logical.js';
+import type { IsSymbol } from '../symbol/is_symbol.js';
+import type { IdentityEqual } from './identity_equal.js';
+type BothNever<A, B, Both, One, None> = And<IsNever<A>, IsNever<B>, Both, Or<IsNever<A>, IsNever<B>, One, None>>;
+type BothAny<A, B, Both, One, None> = And<IsAny<A>, IsAny<B>, Both, Or<IsAny<A>, IsAny<B>, One, None>>;
+/**
+ * Checks `A` and `B` are equal.
+ *
+ * ```ts
+ * type R = IsEqual<1, 1> // true
+ * type R = IsEqual<any, any> // true
+ * type R = IsEqual<boolean, boolean> // true
+ * type R = IsEqual<true, true> // true
+ * type R = IsEqual<[1], [1]> // true
+ *
+ * type R = IsEqual<boolean, true> // false
+ * type R = IsEqual<any, 1> // false
+ * type R = IsEqual<[any], [1]> // false
+ * type R = IsEqual<{ a: 1 }, { a: 1; b: 2 }> // false
+ * ```
+ *
+ * Note that intersection type checks only works at first level.
+ * It cannot be check recursively,
+ * or else will run into infinite recursion if the type includes recursive types.
+ */
+export type IsEqual<A, B, Then = true, Else = false> = [A, B] extends [B, A] ? BothNever<A, B, Then, Else, BothAny<A, B, Then, Else, IdentityEqual<A, B, Then, And<IsObject<A>, IsObject<B>, IdentityEqual<Properties<A>, Properties<B>, [
+    A,
+    B
+] extends [(...args: infer P1) => any, (...args: infer P2) => any] ? IsEqual<P1, P2, Then, Else> : Then, Else>, [
+    A,
+    B
+] extends [B, A] ? Then : Else>>>> : And<IsSymbol<A, {
+    distributive: false;
+}>, IsSymbol<B, {
+    distributive: false;
+}>, Then, Else>;
+/**
+ * Checks `A` and `B` are not equal.
+ *
+ * ```ts
+ * type R = IsNotEqual<1, 1> // false
+ * type R = IsNotEqual<any, any> // false
+ * type R = IsNotEqual<boolean, boolean> // false
+ * type R = IsNotEqual<true, true> // false
+ * type R = IsNotEqual<[1], [1]> // false
+ *
+ * type R = IsNotEqual<boolean, true> // true
+ * type R = IsNotEqual<any, 1> // true
+ * type R = IsNotEqual<[any], [1]> // true
+ * type R = IsNotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
+ * ```
+ *
+ * Note that intersection type checks only works at first level.
+ * It cannot be check recursively,
+ * or else will run into infinite recursion if the type includes recursive types.
+ */
+export type IsNotEqual<A, B, Then = true, Else = false> = IsEqual<A, B, Else, Then>;
+/**
+ * Checks `A` and `B` are equal.
+ *
+ * @deprecated this will be changed to `filter` variant in the future.
+ * Please use `IsEqual` for the `predicate` behavior.
+ *
+ * ```ts
+ * type R = Equal<1, 1> // true
+ * type R = Equal<any, any> // true
+ * type R = Equal<boolean, boolean> // true
+ * type R = Equal<true, true> // true
+ * type R = Equal<[1], [1]> // true
+ *
+ * type R = Equal<boolean, true> // false
+ * type R = Equal<any, 1> // false
+ * type R = Equal<[any], [1]> // false
+ * type R = Equal<{ a: 1 }, { a: 1; b: 2 }> // false
+ * ```
+ */
+export type Equal<A, B, Then = true, Else = false> = IsEqual<A, B, Then, Else>;
+/**
+ * Checks `A` and `B` are not equal.
+ *
+ * @deprecated this will be changed to `filter` variant in the future.
+ * Please use `IsNotEqual` for the `predicate` behavior.
+ *
+ * ```ts
+ * type R = NotEqual<1, 1> // false
+ * type R = NotEqual<any, any> // false
+ * type R = NotEqual<boolean, boolean> // false
+ * type R = NotEqual<true, true> // false
+ * type R = NotEqual<[1], [1]> // false
+ *
+ * type R = NotEqual<boolean, true> // true
+ * type R = NotEqual<any, 1> // true
+ * type R = NotEqual<[any], [1]> // true
+ * type R = NotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
+ * ```
+ */
+export type NotEqual<A, B, Then = true, Else = false> = IsNotEqual<A, B, Then, Else>;
+export {};
+//# sourceMappingURL=equal.d.ts.map

package/cjs/equal/equal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../src/equal/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAEhH,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACzE,SAAS,CACT,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,OAAO,CACN,CAAC,EACD,CAAC,EACD,IAAI,EACJ,IAAI,EACJ,aAAa,CACZ,CAAC,EACD,CAAC,EACD,IAAI,EACJ,GAAG,CACF,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CAAC,CAAC,CAAC,EACX,aAAa,CACZ,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,GACpE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAC3B,IAAI,EACP,IAAI,CACJ,EAGD;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CACnC,CACD,CACD,CACD,GACA,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE;IAAE,YAAY,EAAE,KAAK,CAAA;CAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE;IAAE,YAAY,EAAE,KAAK,CAAA;CAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9F;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/cjs/equal/equal.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=equal.js.map

package/cjs/equal/equal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equal.js","sourceRoot":"","sources":["../../src/equal/equal.ts"],"names":[],"mappings":""}

package/cjs/equal/identity_equal.d.ts

@@ -0,0 +1,6 @@
+/**
+ * This is a common equal check.
+ * It is good for some basic cases, but not for all.
+ */
+export type IdentityEqual<A, B, Then, Else> = (<_>() => _ extends (A & _) | _ ? 1 : 2) extends <_>() => _ extends (B & _) | _ ? 1 : 2 ? Then : Else;
+//# sourceMappingURL=identity_equal.d.ts.map

package/cjs/equal/identity_equal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity_equal.d.ts","sourceRoot":"","sources":["../../src/equal/identity_equal.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SACtG,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,GACD,CAAC,GACD,CAAC,GACD,IAAI,GACJ,IAAI,CAAA"}

package/cjs/equal/identity_equal.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=identity_equal.js.map

package/cjs/equal/identity_equal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity_equal.js","sourceRoot":"","sources":["../../src/equal/identity_equal.ts"],"names":[],"mappings":""}

package/cjs/function/any_function.d.ts

@@ -0,0 +1,2 @@
+export type AnyFunction<Params extends any[] = any[], Result = any> = (...args: Params) => Result;
+//# sourceMappingURL=any_function.d.ts.map

package/cjs/function/any_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"any_function.d.ts","sourceRoot":"","sources":["../../src/function/any_function.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,KAAK,MAAM,CAAA"}

package/cjs/function/any_function.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=any_function.js.map

package/cjs/function/any_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"any_function.js","sourceRoot":"","sources":["../../src/function/any_function.ts"],"names":[],"mappings":""}

package/cjs/function/extract_function.d.ts

@@ -0,0 +1,24 @@
+import type { AnyFunction } from './any_function.js';
+/**
+ * Extract the function signature from a composite type T.
+ *
+ * It works with interact of functions, but not on function overloads and union.
+ * @note does not work with function overloads.
+ *
+ * ```ts
+ * import type { ExtractFunction } from 'type-plus'
+ *
+ * type R = ExtractFunction<{
+ *   () => void
+ *   a: 1
+ * }> // () => void
+ * ```
+ */
+export type ExtractFunction<T extends AnyFunction> = T extends AnyFunction<infer P, infer R> ? (...args: P) => R : never;
+/**
+ * Extract the function signature from a composite function.
+ *
+ * @note does not work with function overloads.
+ */
+export declare function extractFunction<T extends AnyFunction>(fn: T): ExtractFunction<T>;
+//# sourceMappingURL=extract_function.d.ts.map

package/cjs/function/extract_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract_function.d.ts","sourceRoot":"","sources":["../../src/function/extract_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEpD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;AAExH;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,WAAW,EAAE,EAAE,EAAE,CAAC,GACnC,eAAe,CAAC,CAAC,CAAC,CAC1C"}

package/cjs/function/extract_function.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.extractFunction = extractFunction;
+/**
+ * Extract the function signature from a composite function.
+ *
+ * @note does not work with function overloads.
+ */
+function extractFunction(fn) {
+    return fn;
+}
+//# sourceMappingURL=extract_function.js.map

package/cjs/function/extract_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract_function.js","sourceRoot":"","sources":["../../src/function/extract_function.ts"],"names":[],"mappings":";;AAwBA,0CAEC;AAPD;;;;GAIG;AACH,SAAgB,eAAe,CAAwB,EAAK;IAC3D,OAAO,EAAmC,CAAA;AAC3C,CAAC"}

package/cjs/function/is_function.d.ts

@@ -0,0 +1,61 @@
+import type { $Select } from '../type_plus/branch/$select.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is `Function` or function signature.
+ *
+ * @example
+ * ```ts
+ * type R = IsFunction<Function> // true
+ * type R = IsFunction<() => void> // true
+ *
+ * type R = IsFunction<never> // false
+ * type R = IsFunction<unknown> // false
+ * type R = IsFunction<number> // false
+ *
+ * type R = IsFunction<Function | number> // boolean
+ * type R = IsFunction<(() => string) | number> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `Function` or function signature, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsFunction<Function, { selection: 'filter' }> // Function
+ * type R = IsFunction<() => void, { selection: 'filter' }> // () => void
+ *
+ * type R = IsFunction<never, { selection: 'filter' }> // never
+ * type R = IsFunction<unknown, { selection: 'filter' }> // never
+ * type R = IsFunction<Function | number, { selection: 'filter' }> // Function
+ *
+ * type R = IsFunction<(() => string) | number, { selection: 'filter' }> // () => string
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsFunction<Function | 1> // boolean
+ * type R = IsFunction<Function | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsFunction<Function, $SelectionBranch> // $Then
+ * type R = IsFunction<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsFunction<T, $O extends IsFunction.$Options = {}> = $Select<T, Function, $O>;
+export declare namespace IsFunction {
+    type $Options = $Select.$Options;
+    type $Default = $Select.$Default;
+    type $Branch = $Select.$Branch;
+}
+//# sourceMappingURL=is_function.d.ts.map

package/cjs/function/is_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_function.d.ts","sourceRoot":"","sources":["../../src/function/is_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;AAEzF,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACvC,KAAY,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;CACrC"}

package/cjs/function/is_function.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_function.js.map

package/cjs/function/is_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_function.js","sourceRoot":"","sources":["../../src/function/is_function.ts"],"names":[],"mappings":""}

package/cjs/function/is_not_function.d.ts

@@ -0,0 +1,73 @@
+import type { $SelectInvert } from '../type_plus/branch/$select_invert.js';
+/**
+ * Is `T` not a `Function`.
+ *
+ * ```ts
+ * type R = IsNotFunction<Function> // false
+ * type R = IsNotFunction<() => void> // false
+ * type R = IsNotFunction<(() => void) | { a: 1 }> // false
+ *
+ * type R = IsNotFunction<{ a: 1 }> // true
+ * type R = IsNotFunction<never> // true
+ * ```
+ */
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is not `Function` nor function signature.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotFunction<Function> // false
+ * type R = IsNotFunction<() => void> // false
+ *
+ * type R = IsNotFunction<never> // true
+ * type R = IsNotFunction<unknown> // true
+ * type R = IsNotFunction<number> // true
+ *
+ * type R = IsNotFunction<Function | number> // boolean
+ * type R = IsNotFunction<(() => string) | number> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not `Function` nor function signature, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotFunction<Function, { selection: 'filter' }> // never
+ * type R = IsNotFunction<() => void, { selection: 'filter' }> // never
+ *
+ * type R = IsNotFunction<never, { selection: 'filter' }> // never
+ * type R = IsNotFunction<unknown, { selection: 'filter' }> // unknown
+ * type R = IsNotFunction<Function | number, { selection: 'filter' }> // number
+ *
+ * type R = IsNotFunction<(() => string) | number, { selection: 'filter' }> // number
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsNotFunction<Function | 1> // boolean
+ * type R = IsNotFunction<Function | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotFunction<Function, $SelectionBranch> // $Then
+ * type R = IsNotFunction<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsNotFunction<T, $O extends IsNotFunction.$Options = {}> = $SelectInvert<T, Function, $O>;
+export declare namespace IsNotFunction {
+    type $Options = $SelectInvert.$Options;
+    type $Default = $SelectInvert.$Default;
+    type $Branch = $SelectInvert.$Branch;
+}
+//# sourceMappingURL=is_not_function.d.ts.map

package/cjs/function/is_not_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_function.d.ts","sourceRoot":"","sources":["../../src/function/is_not_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAE1E;;;;;;;;;;;GAWG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;AAErG,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CAC3C"}

package/cjs/function/is_not_function.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_not_function.js.map

package/cjs/function/is_not_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_function.js","sourceRoot":"","sources":["../../src/function/is_not_function.ts"],"names":[],"mappings":""}

package/cjs/function/is_not_strict_function.d.ts

@@ -0,0 +1,31 @@
+import type { $Any } from '../any/any.js';
+import type { $Never } from '../never/never.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $SelectInvertStrict } from '../type_plus/branch/$select_invert_strict.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+import type { $Unknown } from '../unknown/unknown.js';
+/**
+ * Is `T` not exactly `Function`.
+ *
+ * ```ts
+ * type R = IsNotStrictFunction<Function> // false
+ *
+ * type R = IsNotStrictFunction<() => void> // true
+ * type R = IsNotStrictFunction<(() => void) & { a: 1 }> // true
+ * ```
+ */
+export type IsNotStrictFunction<T, $O extends IsNotStrictFunction.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Then]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Then]>;
+    $else: $ResolveOptions<[$O['distributive'], $SelectInvertStrict.$Default['distributive']]> extends true ? IsNotStrictFunction._D<T, $O> : $SelectInvertStrict._N<T, Function, $O>;
+}>;
+export declare namespace IsNotStrictFunction {
+    type $Options = $SelectInvertStrict.$Options;
+    type $Default = $SelectInvertStrict.$Default;
+    type $Branch = $SelectInvertStrict.$Branch;
+    type _D<T, $O extends IsNotStrictFunction.$Options> = T extends Function ? $ResolveBranch<T, $O, [T extends (...args: any[]) => any ? $Then : $Else]> : $ResolveBranch<T, $O, [$Then]>;
+}
+//# sourceMappingURL=is_not_strict_function.d.ts.map

package/cjs/function/is_not_strict_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_strict_function.d.ts","sourceRoot":"","sources":["../../src/function/is_not_strict_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAA;AACvF,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAErD;;;;;;;;;GASG;AAEH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC9F,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,mBAAmB,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GACpG,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAC7B,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;CAC1C,CACD,CAAA;AAED,yBAAiB,mBAAmB,CAAC;IACpC,KAAY,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAA;IACnD,KAAY,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAA;IACnD,KAAY,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAA;IACjD,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,IAAI,CAAC,SAAS,QAAQ,GAC5E,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,GAC1E,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/function/is_not_strict_function.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_not_strict_function.js.map

package/cjs/function/is_not_strict_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_strict_function.js","sourceRoot":"","sources":["../../src/function/is_not_strict_function.ts"],"names":[],"mappings":""}

package/cjs/function/is_strict_function.d.ts

@@ -0,0 +1,31 @@
+import type { $Any } from '../any/any.js';
+import type { $Never } from '../never/never.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $SelectStrict } from '../type_plus/branch/$select_strict.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+import type { $Unknown } from '../unknown/unknown.js';
+/**
+ * Is `T` exactly `Function`.
+ *
+ * ```ts
+ * type R = IsStrictFunction<Function> // true
+ *
+ * type R = IsStrictFunction<() => void> // false
+ * type R = IsStrictFunction<(() => void) & { a: 1 }> // false
+ * ```
+ */
+export type IsStrictFunction<T, $O extends IsStrictFunction.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Else]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Else]>;
+    $never: $ResolveBranch<T, $O, [$Never, $Else]>;
+    $else: $ResolveOptions<[$O['distributive'], $SelectStrict.$Default['distributive']]> extends true ? IsStrictFunction._D<T, $O> : $SelectStrict._N<T, Function, $O>;
+}>;
+export declare namespace IsStrictFunction {
+    type $Options = $SelectStrict.$Options;
+    type $Default = $SelectStrict.$Default;
+    type $Branch = $SelectStrict.$Branch;
+    type _D<T, $O extends $SelectStrict.$Options> = T extends Function ? T extends (...args: any[]) => any ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=is_strict_function.d.ts.map

package/cjs/function/is_strict_function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_strict_function.d.ts","sourceRoot":"","sources":["../../src/function/is_strict_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAErD;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,EAAE,SAAS,gBAAgB,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACxF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9F,gBAAgB,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAC1B,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;CACpC,CACD,CAAA;AAED,yBAAiB,gBAAgB,CAAC;IACjC,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAA;IAC7C,KAAY,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;IAC3C,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,QAAQ,GACtE,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAChC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/function/is_strict_function.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=is_strict_function.js.map

package/cjs/function/is_strict_function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_strict_function.js","sourceRoot":"","sources":["../../src/function/is_strict_function.ts"],"names":[],"mappings":""}

package/cjs/functional/ChainFn.d.ts

@@ -0,0 +1,6 @@
+export type ChainFn<T> = (param: T) => T;
+/**
+ * An endofunctor is a functor from one category back to the same category.
+ */
+export type EndoFn<T> = (param: T) => T;
+//# sourceMappingURL=ChainFn.d.ts.map

package/cjs/functional/ChainFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChainFn.d.ts","sourceRoot":"","sources":["../../src/functional/ChainFn.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;AAExC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA"}

package/cjs/functional/ChainFn.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=ChainFn.js.map

package/cjs/functional/ChainFn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChainFn.js","sourceRoot":"","sources":["../../src/functional/ChainFn.ts"],"names":[],"mappings":""}

package/cjs/functional/Maybe.d.ts

@@ -0,0 +1,13 @@
+import type { IsEqual } from '../equal/equal.js';
+import type { Brand } from '../nominal/index.js';
+import type { Widen } from '../utils/index.js';
+export type Maybe<T> = Just<T> | None<T>;
+export type Just<T> = Brand<'maybe', T> & {
+    unwrap(): T;
+};
+export type None<T> = Brand<'maybe', void> & {
+    unwrap(): T;
+};
+export declare function just<T>(value: T): IsEqual<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>>;
+export declare function none<T>(): None<T>;
+//# sourceMappingURL=Maybe.d.ts.map

package/cjs/functional/Maybe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../src/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AACzD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AAE5D,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAOnH;AAED,wBAAgB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAEjC"}

package/cjs/functional/Maybe.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.just = just;
+exports.none = none;
+function just(value) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
+    return {
+        unwrap() {
+            return value;
+        },
+    };
+}
+function none() {
+    return { unwrap() { } };
+}
+//# sourceMappingURL=Maybe.js.map

package/cjs/functional/Maybe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.js","sourceRoot":"","sources":["../../src/functional/Maybe.ts"],"names":[],"mappings":";;AAQA,oBAOC;AAED,oBAEC;AAXD,SAAgB,IAAI,CAAI,KAAQ;IAC/B,+DAA+D;IAC/D,OAAO;QACN,MAAM;YACL,OAAO,KAAK,CAAA;QACb,CAAC;KACM,CAAA;AACT,CAAC;AAED,SAAgB,IAAI;IACnB,OAAO,EAAE,MAAM,KAAI,CAAC,EAAa,CAAA;AAClC,CAAC"}

package/cjs/functional/compose.d.ts

@@ -0,0 +1,12 @@
+import type { Head } from '../array/head.js';
+import type { Last } from '../array/last.js';
+import type { AnyFunction } from '../function/any_function.js';
+/**
+ * Compose functions to produce a new function.
+ * @params args functions to be composed.
+ * Each function will receive the return value of the previous function as its parameters.
+ * @return The composed function will expect the parameters of the first function,
+ * and return the result of the last function.
+ */
+export declare function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>>;
+//# sourceMappingURL=compose.d.ts.map

package/cjs/functional/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/functional/compose.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAIrH"}

package/cjs/functional/compose.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compose = compose;
+/**
+ * Compose functions to produce a new function.
+ * @params args functions to be composed.
+ * Each function will receive the return value of the previous function as its parameters.
+ * @return The composed function will expect the parameters of the first function,
+ * and return the result of the last function.
+ */
+function compose(...fns) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
+    // biome-ignore lint/performance/noAccumulatingSpread: https://github.com/biomejs/biome/issues/2183
+    return (...args) => fns.reduce((args, fn) => [fn(...args)], args)[0];
+}
+//# sourceMappingURL=compose.js.map

package/cjs/functional/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/functional/compose.ts"],"names":[],"mappings":";;AAWA,0BAIC;AAXD;;;;;;GAMG;AACH,SAAgB,OAAO,CAA2B,GAAG,GAAO;IAC3D,+DAA+D;IAC/D,mGAAmG;IACnG,OAAO,CAAC,GAAG,IAAW,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5E,CAAC"}