type-plus 8.0.0-beta.6 → 8.0.0-beta.8

package/cjs/equal/equal.d.ts

@@ -1,103 +1,218 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
 import type { IsAny } from '../any/is_any.js';
+import type { And, Or } from '../logical/logical.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>>;
+import type { Assignable } from '../predicates/assignable.js';
+import type { IsEqual } from './is_equal.js';
 /**
- * Checks `A` and `B` are equal.
+ * 🎭 *predicate*
  *
- * ```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
- * ```
+ * Validate `A` and `B` are "equal".
  *
  * 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.
  *
+ * @example
  * ```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
+ * type R = Equal<undefined, undefined> // true
+ *
+ * type R = Equal<never, undefined> // false
+ * type R = Equal<unknown, undefined> // false
+ * type R = Equal<string | boolean, undefined> // false
+ *
+ * type R = Equal<string | undefined, undefined> // boolean
  * ```
  *
- * 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.
+ * 🔱 **branching**
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = Equal<undefined, undefined, Equal.$Branch> // $Then
+ * type R = Equal<string, undefined, Equal.$Branch> // $Else
+ * ```
  */
-export type IsNotEqual<A, B, Then = true, Else = false> = IsEqual<A, B, Else, Then>;
+export type Equal<A, B, $O extends Equal.$Options = {}> = [A, B] extends [B, A] ? BothNever<A, B, $ResolveBranch<$O, [$Then]>, $ResolveBranch<$O, [$Else]>, BothAny<A, B, $ResolveBranch<$O, [$Then]>, $ResolveBranch<$O, [$Else]>, Equal.$Same<A, B, {
+    $then: $ResolveBranch<$O, [$Then]>;
+    $else: [IsObject<A>, IsObject<B>] extends [true, true] ? Equal.$Same<Properties<A>, Properties<B>, {
+        $then: [A, B] extends [(...args: infer P1) => any, (...args: infer P2) => any] ? IsEqual<P1, P2, $ResolveBranch<$O, [$Then]>, $ResolveBranch<$O, [$Else]>> : $ResolveBranch<$O, [$Then]>;
+        $else: $ResolveBranch<$O, [$Else]>;
+    }> : [
+        A,
+        B
+    ] extends [B, A] ? $ResolveBranch<$O, [$Then]> : $ResolveBranch<$O, [$Else]>;
+}>>> : $ResolveBranch<$O, [$Else], A>;
+type BothNever<A, B, Both, One, None> = And<IsNever<A>, IsNever<B>, {
+    $then: Both;
+    $else: Or<IsNever<A>, IsNever<B>, {
+        $then: One;
+        $else: None;
+    }>;
+}>;
+type BothAny<A, B, Both, One, None> = And<IsAny<A>, IsAny<B>, {
+    $then: Both;
+    $else: Or<IsAny<A>, IsAny<B>, {
+        $then: One;
+        $else: None;
+    }>;
+}>;
+export declare namespace Equal {
+    type $Options = $Selection.$BaseOptions;
+    type $Default = $Selection.Predicate;
+    type $Branch = $Selection.Branch;
+    type _ExactEqualDistributive<T, U, $O extends $Options> = T extends U ? U extends T ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]>;
+    type _ExactEqualNonDistributive<T, U, $O extends $Options> = [T, U] extends [U, T] ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
+    /**
+     * 🎭 *predicate*
+     *
+     * Validate `A` and `B` are identically equal.
+     */
+    type $Same<A, B, $O extends $Options> = (<_>() => _ extends (A & _) | _ ? 1 : 2) extends <_>() => _ extends (B & _) | _ ? 1 : 2 ? $O['$then'] : $O['$else'];
+    type $ToProps<T> = Assignable.$<object, T, {
+        $then: T & Properties<T>;
+        $else: T & Properties<T>;
+    }>;
+}
 /**
- * Checks `A` and `B` are equal.
+ * 🎭 *predicate*
+ * ㊙️ *internal*
  *
- * @deprecated this will be changed to `filter` variant in the future.
- * Please use `IsEqual` for the `predicate` behavior.
+ * Validate if `T` is `U`.
  *
+ * @example
  * ```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
+ * type R = $SelectInvert<undefined, undefined> // true
+ *
+ * type R = $SelectInvert<never, undefined> // false
+ * type R = $SelectInvert<unknown, undefined> // false
+ * type R = $SelectInvert<string | boolean, undefined> // false
+ *
+ * type R = $SelectInvert<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvert<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $SelectInvert<never, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvert<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvert<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $SelectInvert<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $SelectInvert<undefined | 1, undefined> // boolean
+ * type R = $SelectInvert<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvert<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $SelectInvert<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type Equal<A, B, Then = true, Else = false> = IsEqual<A, B, Then, Else>;
+export type $SelectInvert<T, U, $O extends $SelectInvert.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Then], T>;
+    $never: $ResolveBranch<$O, [$Never, $Then], T>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
+    $else: $Distributive.Parse<$O> extends true ? $SelectInvert._D<T, U, $O> : $SelectInvert._N<T, U, $O>;
+}>;
+export declare namespace $SelectInvert {
+    type $Options = $Selection.Options & $Distributive.Options & $InputOptions<$Any | $Unknown | $Never>;
+    type $Default = $Selection.Predicate & $Distributive.Default;
+    type $Branch = $Selection.Branch & $Distributive.Default;
+    type _D<T, U, $O extends $SelectInvert.$Options> = T extends U ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+    type _N<T, U, $O extends $SelectInvert.$Options> = [T] extends [U] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+}
 /**
- * Checks `A` and `B` are not equal.
+ * 🎭 *predicate*
+ * ㊙️ *internal*
+ *
+ * Validate if `T` is `U`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvertStrict<undefined, undefined> // true
+ *
+ * type R = $SelectInvertStrict<never, undefined> // false
+ * type R = $SelectInvertStrict<unknown, undefined> // false
+ * type R = $SelectInvertStrict<string | boolean, undefined> // false
+ *
+ * type R = $SelectInvertStrict<string | undefined, undefined> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `U`, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = $SelectInvertStrict<undefined, undefined, { selection: 'filter' }> // undefined
+ *
+ * type R = $SelectInvertStrict<never, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvertStrict<unknown, undefined, { selection: 'filter' }> // never
+ * type R = $SelectInvertStrict<string | boolean, undefined, { selection: 'filter' }> // never
+ *
+ * type R = $SelectInvertStrict<string | undefined, undefined> // undefined
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = $SelectInvertStrict<undefined | 1, undefined> // boolean
+ * type R = $SelectInvertStrict<undefined | 1, undefined, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
  *
- * @deprecated this will be changed to `filter` variant in the future.
- * Please use `IsNotEqual` for the `predicate` behavior.
+ * Use unique branch identifiers to allow precise processing of the result.
  *
+ * @example
  * ```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
+ * type R = $SelectInvertStrict<undefined, undefined, $SelectionBranch> // $Then
+ * type R = $SelectInvertStrict<string, undefined, $SelectionBranch> // $Else
  * ```
  */
-export type NotEqual<A, B, Then = true, Else = false> = IsNotEqual<A, B, Then, Else>;
+export type $SelectInvertStrict<T, U, $O extends $SelectInvertStrict.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Then], T>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Then], T>;
+    $never: $ResolveBranch<$O, [$Never, $Then], T>;
+    $else: $Distributive.Parse<$O> extends true ? $SelectInvertStrict._D<T, U, $O> : $SelectInvertStrict._N<T, U, $O>;
+}>;
+export declare namespace $SelectInvertStrict {
+    type $Options = $Selection.Options & $Distributive.Options & $InputOptions<$Any | $Unknown | $Never>;
+    type $Default = $Selection.Predicate & $Distributive.Default;
+    type $Branch = $Selection.Branch & $Distributive.Default;
+    type _D<T, U, $O extends $SelectInvertStrict.$Options> = T extends U ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+    type _N<T, U, $O extends $SelectInvertStrict.$Options> = [T, U] extends [U, T] ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+}
 export {};
 //# sourceMappingURL=equal.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../src/equal/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAA;AACpD,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,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,QAAQ,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5E,SAAS,CACT,CAAC,EACD,CAAC,EACD,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC3B,OAAO,CACN,CAAC,EACD,CAAC,EACD,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC3B,KAAK,CAAC,KAAK,CACV,CAAC,EACD,CAAC,EACD;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GACnD,KAAK,CAAC,KAAK,CACX,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CAAC,CAAC,CAAC,EACb;QACC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,GAC3E,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GACzE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9B,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAClC,CACD,GAGD;QAAC,CAAC;QAAE,CAAC;KAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC/B,CACD,CACD,CACD,GACA,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAEjC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CAC1C,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,EAAE,CACR,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;QACC,KAAK,EAAE,GAAG,CAAA;QACV,KAAK,EAAE,IAAI,CAAA;KACX,CACD,CAAA;CACD,CACD,CAAA;AAED,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CACxC,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,EACR;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,EACR;QACC,KAAK,EAAE,GAAG,CAAA;QACV,KAAK,EAAE,IAAI,CAAA;KACX,CACD,CAAA;CACD,CACD,CAAA;AAgCD,yBAAiB,KAAK,CAAC;IACtB,KAAY,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAA;IAC9C,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAA;IAC3C,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;IAEvC,KAAY,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,CAAC,GACzE,CAAC,SAAS,CAAC,GACV,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,KAAY,0BAA0B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACtF,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAE9B;;;;OAIG;IACH,KAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SACvG,CAAC,CAAC,GAAG,CAAC,CAAC,GACP,CAAC,GACD,CAAC,GACD,CAAC,GACD,EAAE,CAAC,OAAO,CAAC,GACX,EAAE,CAAC,OAAO,CAAC,CAAA;IAEd,KAAY,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CACrC,MAAM,EACN,CAAC,EACD;QACC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;QACxB,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;KACxB,CACD,CAAA;CAmBD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACjF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CACrG,CACD,CAAA;AAED,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAC3G,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,CAAA;IACnE,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,CAAA;IAC/D,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAClE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACtE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC7F,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CACjH,CACD,CAAA;AAED,yBAAiB,mBAAmB,CAAC;IACpC,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAC3G,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,CAAA;IACnE,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,CAAA;IAC/D,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GACxE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,KAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAClF,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}

package/cjs/equal/identity_equal.d.ts

@@ -1,6 +1,10 @@
+import type { Equal } from './equal.js';
 /**
  * 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;
+export type IdentityEqual<A, B, Then, Else> = Equal.$Same<A, B, {
+    $then: Then;
+    $else: Else;
+}>;
 //# sourceMappingURL=identity_equal.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"identity_equal.d.ts","sourceRoot":"","sources":["../../src/equal/identity_equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC,CAAA"}

package/cjs/equal/is_equal.d.ts

@@ -0,0 +1,102 @@
+import type { IsAny } from '../any/is_any.js';
+import type { And, Or } from '../logical/logical.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 { 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>, {
+    $then: Both;
+    $else: Or<IsNever<A>, IsNever<B>, {
+        $then: One;
+        $else: None;
+    }>;
+}>;
+type BothAny<A, B, Both, One, None> = And<IsAny<A>, IsAny<B>, {
+    $then: Both;
+    $else: Or<IsAny<A>, IsAny<B>, {
+        $then: One;
+        $else: 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.
+ *
+ * @deprecated 💀 **deprecated since 8.0.0**: use `Equal` instead.
+ */
+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>, {
+    $then: IdentityEqual<Properties<A>, Properties<B>, [
+        A,
+        B
+    ] extends [(...args: infer P1) => any, (...args: infer P2) => any] ? IsEqual<P1, P2, Then, Else> : Then, Else>;
+    $else: [A, B] extends [B, A] ? Then : Else;
+}>>>> : And<IsSymbol<A, {
+    distributive: false;
+}>, IsSymbol<B, {
+    distributive: false;
+}>, {
+    $then: Then;
+    $else: 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.
+ *
+ * @deprecated 💀 **deprecated since 8.0.0**: use `Equal` instead.
+ */
+export type IsNotEqual<A, B, Then = true, Else = false> = IsEqual<A, B, Else, Then>;
+/**
+ * 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=is_equal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"is_equal.d.ts","sourceRoot":"","sources":["../../src/equal/is_equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAA;AACpD,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,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,CAC1C,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,EAAE,CACR,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;QACC,KAAK,EAAE,GAAG,CAAA;QACV,KAAK,EAAE,IAAI,CAAA;KACX,CACD,CAAA;CACD,CACD,CAAA;AAED,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,GAAG,CACxC,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,EACR;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,EACR;QACC,KAAK,EAAE,GAAG,CAAA;QACV,KAAK,EAAE,IAAI,CAAA;KACX,CACD,CAAA;CACD,CACD,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;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;IACC,KAAK,EAAE,aAAa,CACnB,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CAAC,CAAC,CAAC,EACb;QAAC,CAAC;QAAE,CAAC;KAAC,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,CAAA;IAGD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;CAC1C,CACD,CACD,CACD,CACD,GACA,GAAG,CACH,QAAQ,CAAC,CAAC,EAAE;IAAE,YAAY,EAAE,KAAK,CAAA;CAAE,CAAC,EACpC,QAAQ,CAAC,CAAC,EAAE;IAAE,YAAY,EAAE,KAAK,CAAA;CAAE,CAAC,EACpC;IACC,KAAK,EAAE,IAAI,CAAA;IACX,KAAK,EAAE,IAAI,CAAA;CACX,CACD,CAAA;AAEH;;;;;;;;;;;;;;;;;;;;;GAqBG;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,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/is_equal.js

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

package/cjs/equal/is_equal.js.map

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

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

@@ -1 +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,sBAE3D"}
+{"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

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.extractFunction = void 0;
+exports.extractFunction = extractFunction;
 /**
  * Extract the function signature from a composite function.
  *
@@ -9,5 +9,4 @@ exports.extractFunction = void 0;
 function extractFunction(fn) {
     return fn;
 }
-exports.extractFunction = extractFunction;
 //# sourceMappingURL=extract_function.js.map

package/cjs/function/extract_function.js.map

@@ -1 +1 @@
-{"version":3,"file":"extract_function.js","sourceRoot":"","sources":["../../src/function/extract_function.ts"],"names":[],"mappings":";;;AAmBA;;;;GAIG;AACH,SAAgB,eAAe,CAAwB,EAAK;IAC3D,OAAO,EAAmC,CAAA;AAC3C,CAAC;AAFD,0CAEC"}
+{"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

@@ -1,4 +1,15 @@
-import type { $Select } from '../type_plus/branch/$select.js';
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
+import type { Assignable } from '../predicates/assignable.js';
 /**
  * 🎭 *predicate*
  *
@@ -52,10 +63,22 @@ import type { $Select } from '../type_plus/branch/$select.js';
  * type R = IsFunction<string, $SelectionBranch> // $Else
  * ```
  */
-export type IsFunction<T, $O extends IsFunction.$Options = {}> = $Select<T, Function, $O>;
+export type IsFunction<T, $O extends IsFunction.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
+    $else: IsFunction.$<T, $O>;
+}>>;
 export declare namespace IsFunction {
-    type $Options = $Select.$Options;
-    type $Default = $Select.$Default;
-    type $Branch = $Select.$Branch;
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Default = $Selection.Predicate & $Distributive.Default & $Exact.Default;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is `Function`.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends Assignable.$UtilOptions> = Assignable.$<T, Function, $O>;
 }
 //# sourceMappingURL=is_function.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"is_function.d.ts","sourceRoot":"","sources":["../../src/function/is_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC1B,CACD,CACD,CAAA;AAED,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;IACpF,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,YAAY,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;CACpF"}

package/cjs/function/is_not_function.d.ts

@@ -1,4 +1,4 @@
-import type { $SelectInvert } from '../type_plus/branch/$select_invert.js';
+import type { $SelectInvert } from '../equal/equal.js';
 /**
  * Is `T` not a `Function`.
  *

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

@@ -1 +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"}
+{"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,mBAAmB,CAAA;AAEtD;;;;;;;;;;;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_strict_function.d.ts

@@ -1,11 +1,12 @@
-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';
+import type { $ResolveOptions } from '../$type/$resolve_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../$type/branch/$selection.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $SelectInvertStrict } from '../equal/equal.js';
 /**
  * Is `T` not exactly `Function`.
  *
@@ -16,16 +17,17 @@ import type { $Unknown } from '../unknown/unknown.js';
  * 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]>;
+export type IsNotStrictFunction<T, $O extends IsNotStrictFunction.$Options = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Then], T>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Then], T>;
+    $never: $ResolveBranch<$O, [$Never, $Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
     $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]>;
+    type _D<T, $O extends IsNotStrictFunction.$Options> = T extends Function ? $ResolveBranch<$O, [T extends (...args: any[]) => any ? $Then : $Else], T> : $ResolveBranch<$O, [$Then], T>;
 }
 //# sourceMappingURL=is_not_strict_function.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"is_not_strict_function.d.ts","sourceRoot":"","sources":["../../src/function/is_not_strict_function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAE5D;;;;;;;;;GASG;AAEH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,EAAE,SAAS,mBAAmB,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC1F,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,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,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,GAC1E,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}