@duplojs/utils 1.4.34 → 1.4.35

package/dist/metadata.json

@@ -4401,6 +4401,9 @@
                 {
                   "name": "array.d.ts"
                 },
+                {
+                  "name": "function.d.ts"
+                },
                 {
                   "name": "index.d.ts"
                 },
@@ -4421,6 +4424,9 @@
                 {
                   "name": "array.d.ts"
                 },
+                {
+                  "name": "function.d.ts"
+                },
                 {
                   "name": "getIncompleteUnion.d.ts"
                 },

package/dist/pattern/types/complexMatchedValue/function.d.ts

@@ -0,0 +1,8 @@
+import { type AnyFunction, type IsEqual } from "../../../common";
+export type ComplexMatchedFunction<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
+    Extract<GenericInput, AnyFunction>,
+    Extract<GenericPatternValue, AnyFunction>
+] extends [
+    infer inferredInput extends AnyFunction,
+    infer inferredPatternValue extends AnyFunction
+] ? Extract<inferredInput, inferredPatternValue> extends infer inferredValue ? IsEqual<inferredValue, never> extends true ? inferredPatternValue : inferredValue : never : never);

package/dist/pattern/types/complexMatchedValue/index.d.ts

@@ -3,4 +3,6 @@ import { type ComplexMatchedObject } from "./object";
 import { type ComplexMatchedArray } from "./array";
 import { type PatternValueMaybeAll } from "../pattern";
 import { type ComplexMatchedMaybeAll } from "./maybeAll";
-export type ComplexMatchedValue<GenericInput extends unknown, GenericPatternValue extends unknown> = Exclude<GenericPatternValue, PatternValueMaybeAll> extends infer InferredPatternValue ? (ComplexMatchedPrimitive<GenericInput, InferredPatternValue> | ComplexMatchedObject<GenericInput, InferredPatternValue> | ComplexMatchedArray<GenericInput, InferredPatternValue> | ComplexMatchedMaybeAll<GenericInput, GenericPatternValue>) : never;
+import { type ComplexMatchedFunction } from "./function";
+import { type AnyValue, type IsEqual } from "../../../common";
+export type ComplexMatchedValue<GenericInput extends unknown, GenericPatternValue extends unknown> = (IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput) extends infer InferredInput ? Exclude<GenericPatternValue, PatternValueMaybeAll> extends infer InferredPatternValue ? (ComplexMatchedPrimitive<InferredInput, InferredPatternValue> | ComplexMatchedObject<InferredInput, InferredPatternValue> | ComplexMatchedArray<InferredInput, InferredPatternValue> | ComplexMatchedFunction<InferredInput, InferredPatternValue> | ComplexMatchedMaybeAll<InferredInput, GenericPatternValue>) : never : never;

package/dist/pattern/types/complexMatchedValue/object.d.ts

@@ -1,9 +1,9 @@
-import { type Adaptor, type SimplifyTopLevel, type IsEqual } from "../../../common";
+import { type Adaptor, type SimplifyTopLevel, type IsEqual, type AnyFunction } from "../../../common";
 import { type ComplexMatchedValue } from ".";
 import { type GetPropsWithValue } from "../../../object";
 export type ComplexMatchedObject<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
-    Exclude<Extract<GenericInput, object>, readonly any[]>,
-    Exclude<Extract<GenericPatternValue, object>, readonly any[]>
+    Exclude<Extract<GenericInput, object>, readonly any[] | AnyFunction>,
+    Exclude<Extract<GenericPatternValue, object>, readonly any[] | AnyFunction>
 ] extends [
     infer InferredInput,
     infer InferredPatternValue

package/dist/pattern/types/complexUnMatchedValue/array.d.ts

@@ -5,15 +5,15 @@ type ComplexUnMatchedArrayTuple<GenericInput extends unknown, GenericPatternValu
     Extract<GenericPatternValue, AnyTuple>
 ] extends [
     infer InferredInput,
-    infer _InferredPatternValue
-] ? InferredInput : never);
+    infer InferredPatternValue
+] ? IsEqual<InferredPatternValue, never> extends true ? never : InferredInput : never);
 type ComplexUnMatchedTupleTuple<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
     Extract<GenericInput, AnyTuple>,
     Extract<GenericPatternValue, AnyTuple>
 ] extends [
     infer InferredInput,
     infer InferredPatternValue
-] ? IsEqual<InferredPatternValue, never> extends true ? InferredInput : IsUnion<InferredPatternValue> extends true ? never : InferredInput extends InferredPatternValue ? never : [
+] ? IsEqual<InferredPatternValue, never> extends true ? never : IsUnion<InferredPatternValue> extends true ? never : InferredInput extends InferredPatternValue ? never : [
     InferredInput,
     InferredPatternValue
 ] extends [
@@ -23,5 +23,12 @@ type ComplexUnMatchedTupleTuple<GenericInput extends unknown, GenericPatternValu
     IsEqual<InferredResultFirst, never> extends true ? InferredInputFirst : InferredResultFirst,
     ...Adaptor<IsEqual<InferredResultRest, never> extends true ? InferredPatternValueRest : InferredResultRest, readonly any[]>
 ] : never : never : never : never);
-export type ComplexUnMatchedArray<GenericInput extends unknown, GenericPatternValue extends unknown> = Exclude<GenericPatternValue, readonly []> extends infer InferredPatternValue ? IsEqual<InferredPatternValue, never> extends true ? never : (ComplexUnMatchedTupleTuple<GenericInput, InferredPatternValue> | ComplexUnMatchedArrayTuple<GenericInput, InferredPatternValue>) : never;
+type ComplexUnMatchedArrayArray<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
+    Exclude<Extract<GenericInput, readonly any[]>, AnyTuple>,
+    Exclude<Extract<GenericPatternValue, readonly any[]>, AnyTuple>
+] extends [
+    infer InferredInput extends readonly any[],
+    infer InferredPatternValue extends readonly any[]
+] ? IsEqual<InferredInput, never> extends true ? never : InferredInput[number] extends infer InferredInnerValue ? InferredInnerValue extends any ? Extract<InferredInnerValue, InferredPatternValue[number]> extends infer InferredObviousMatch ? IsEqual<InferredObviousMatch, never> extends true ? ComplexUnMatchedValue<InferredInnerValue, InferredPatternValue[number]> extends infer InferredValue ? IsEqual<InferredValue, never> extends true ? never : InferredInput : never : never : never : never : never : never);
+export type ComplexUnMatchedArray<GenericInput extends unknown, GenericPatternValue extends unknown> = Exclude<GenericPatternValue, readonly []> extends infer InferredPatternValue ? IsEqual<InferredPatternValue, never> extends true ? never : (ComplexUnMatchedTupleTuple<GenericInput, InferredPatternValue> | ComplexUnMatchedArrayTuple<GenericInput, InferredPatternValue> | ComplexUnMatchedArrayArray<GenericInput, InferredPatternValue>) : never;
 export {};

package/dist/pattern/types/complexUnMatchedValue/function.d.ts

@@ -0,0 +1,8 @@
+import { type AnyFunction } from "../../../common";
+export type ComplexUnMatchedFunction<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
+    Extract<GenericInput, AnyFunction>,
+    Extract<GenericPatternValue, AnyFunction>
+] extends [
+    infer inferredInput,
+    infer inferredPatternValue
+] ? Exclude<inferredInput, inferredPatternValue> : never);

package/dist/pattern/types/complexUnMatchedValue/getIncompleteUnion.d.ts

@@ -52,7 +52,18 @@ export type GetIncompleteUnion<GenericInput extends unknown, GenericPatternValue
 ] ? GetIncompleteUnion<InferredInput[number], InferredPatternValueFirst> extends infer InferredResultFirst ? FlatObject<{
     "@duplojs/utils/[array.first": InferredResultFirst;
     "@duplojs/utils/array.rest]": IsEqual<InferredResultFirst, {}> extends true ? GetIncompleteUnion<InferredInput, InferredPatternValueRest> : never;
-}> : {} : {} : never) | (Extract<GenericPatternValue, PatternValueMaybeAll> extends infer InferredPatternValue ? IsEqual<InferredPatternValue, never> extends true ? never : {
+}> : {} : {} : never) | ([
+    Exclude<Extract<GenericInput, readonly any[]>, AnyTuple>,
+    Exclude<Extract<GenericPatternValue, readonly any[]>, AnyTuple>
+] extends [
+    infer InferredInput extends readonly any[],
+    infer InferredPatternValue extends readonly any[]
+] ? Or<[
+    IsEqual<InferredPatternValue, never>,
+    IsEqual<InferredInput, never>
+]> extends true ? never : IsEqual<Exclude<InferredInput[number], InferredPatternValue[number]>, never> extends true ? {} : {
+    "@duplojs/utils/[array]": true;
+} : never) | (Extract<GenericPatternValue, PatternValueMaybeAll> extends infer InferredPatternValue ? IsEqual<InferredPatternValue, never> extends true ? never : {
     "@duplojs/utils/{maybeAll}": true;
 } : never) | ([
     Extract<GenericInput, readonly any[]>,

package/dist/pattern/types/complexUnMatchedValue/index.d.ts

@@ -1,4 +1,4 @@
-import { type UnionToTuple } from "../../../common";
+import { type AnyValue, type IsEqual, type UnionToTuple } from "../../../common";
 import { type GetIncompleteUnion } from "./getIncompleteUnion";
 import { type ComplexUnMatchedPrimitive } from "./primitive";
 import { type ComplexUnMatchedObject } from "./object";
@@ -6,4 +6,11 @@ import { type ComplexUnMatchedUnionObject } from "./unionObject";
 import { type ComplexUnMatchedArray } from "./array";
 import { type PatternValueMaybeAll } from "../pattern";
 import { type ComplexUnMatchedMaybeAll } from "./maybeAll";
-export type ComplexUnMatchedValue<GenericInput extends unknown, GenericPatternValue extends unknown> = UnionToTuple<keyof GetIncompleteUnion<GenericInput, GenericPatternValue>>["length"] extends 0 | 1 ? Exclude<GenericPatternValue, PatternValueMaybeAll> extends infer InferredPatternValue ? (ComplexUnMatchedPrimitive<GenericInput, InferredPatternValue> | ComplexUnMatchedObject<GenericInput, InferredPatternValue> | ComplexUnMatchedArray<GenericInput, InferredPatternValue> | ComplexUnMatchedUnionObject<GenericInput, InferredPatternValue> | ComplexUnMatchedMaybeAll<GenericInput, GenericPatternValue>) : never : GenericInput;
+import { type ComplexUnMatchedFunction } from "./function";
+export type ComplexUnMatchedValue<GenericInput extends unknown, GenericPatternValue extends unknown> = (IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput) extends infer InferredInput ? (InferredInput extends any ? UnionToTuple<keyof GetIncompleteUnion<InferredInput, GenericPatternValue>>["length"] extends 0 | 1 ? never : InferredInput : never) extends infer InferredIncompleteUnionInput ? [
+    Exclude<InferredInput, InferredIncompleteUnionInput>,
+    Exclude<GenericPatternValue, PatternValueMaybeAll>
+] extends [
+    infer InferredSortedInput,
+    infer InferredPatternValue
+] ? (ComplexUnMatchedPrimitive<InferredSortedInput, InferredPatternValue> | ComplexUnMatchedObject<InferredSortedInput, InferredPatternValue> | ComplexUnMatchedArray<InferredSortedInput, InferredPatternValue> | ComplexUnMatchedUnionObject<InferredSortedInput, InferredPatternValue> | ComplexUnMatchedFunction<InferredSortedInput, InferredPatternValue> | ComplexUnMatchedMaybeAll<InferredSortedInput, GenericPatternValue> | InferredIncompleteUnionInput) : never : never : never;

package/dist/pattern/types/complexUnMatchedValue/object.d.ts

@@ -1,8 +1,8 @@
-import { type Adaptor, type SimplifyTopLevel, type IsEqual, type IsUnion, type NeverCoalescing, type RemoveReadonly } from "../../../common";
+import { type Adaptor, type SimplifyTopLevel, type IsEqual, type IsUnion, type NeverCoalescing, type RemoveReadonly, type AnyFunction } from "../../../common";
 import { type ComplexUnMatchedValue } from ".";
 export type ComplexUnMatchedObject<GenericInput extends unknown, GenericPatternValue extends unknown> = ([
-    Exclude<Extract<GenericInput, object>, readonly any[]>,
-    Exclude<Extract<GenericPatternValue, object>, readonly any[]>
+    Exclude<Extract<GenericInput, object>, readonly any[] | AnyFunction>,
+    Exclude<Extract<GenericPatternValue, object>, readonly any[] | AnyFunction>
 ] extends [
     infer InferredInput,
     infer InferredPatternValue

package/dist/pattern/types/pattern.d.ts

@@ -1,5 +1,5 @@
 import { type MergeUnionTuple } from "../../array/types/mergeUnionTuple";
-import { type AnyTuple, type Adaptor, type IsEqual, type ObjectKey, type WrappedValue } from "../../common";
+import { type AnyTuple, type Adaptor, type IsEqual, type ObjectKey, type WrappedValue, type AnyValue } from "../../common";
 export type EligiblePrimitiveMatch = string | number | bigint | boolean | undefined | null;
 type PrimitivePattern<GenericInput extends unknown> = GenericInput extends EligiblePrimitiveMatch ? GenericInput : never;
 type ObjectPattern<GenericInput extends unknown> = Exclude<GenericInput, readonly any[]> extends infer InferredInput ? [
@@ -25,7 +25,7 @@ export interface ToolPattern<GenericInput extends unknown = any, GenericPattern
     [SymbolToolPatternFunction](input: GenericInput): boolean;
     [SymbolToolPattern]: GenericPattern;
 }
-export type Pattern<GenericInput extends unknown = any> = (PredicatePattern<GenericInput> | ToolPattern<GenericInput> | PrimitivePattern<GenericInput> | ObjectPattern<GenericInput> | ArrayPattern<GenericInput>);
+export type Pattern<GenericInput extends unknown = any> = (IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput) extends infer InferredInput ? (PredicatePattern<InferredInput> | ToolPattern<InferredInput> | PrimitivePattern<InferredInput> | ObjectPattern<InferredInput> | ArrayPattern<InferredInput>) : never;
 declare const SymbolPatternValueMaybeAll: unique symbol;
 type SymbolPatternValueMaybeAll = typeof SymbolPatternValueMaybeAll;
 export interface PatternValueMaybeAll<GenericValue extends unknown = any> extends WrappedValue<GenericValue> {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@duplojs/utils",
-  "version": "1.4.34",
+  "version": "1.4.35",
   "author": {
     "name": "mathcovax",
     "url": "https://github.com/mathcovax"