@duplojs/utils 1.4.33 → 1.4.35

package/dist/pattern/index.cjs

@@ -7,6 +7,7 @@ var index = require('./match/index.cjs');
 var isMatch = require('./isMatch.cjs');
 var union = require('./union.cjs');
 var when = require('./when.cjs');
+var whenNot = require('./whenNot.cjs');
 var builder = require('./match/builder.cjs');
 var pattern = require('./types/pattern.cjs');
 
@@ -22,6 +23,7 @@ exports.match = index.match;
 exports.isMatch = isMatch.isMatch;
 exports.union = union.union;
 exports.when = when.when;
+exports.whenNot = whenNot.whenNot;
 exports.InvalidExhaustivePatternError = builder.InvalidExhaustivePatternError;
 exports.matchBuilder = builder.matchBuilder;
 exports.SymbolToolPatternFunctionLabel = pattern.SymbolToolPatternFunctionLabel;

package/dist/pattern/index.d.ts

@@ -30,3 +30,4 @@ export * from "./isMatch";
 export * from "./types";
 export * from "./union";
 export * from "./when";
+export * from "./whenNot";

package/dist/pattern/index.mjs

@@ -5,6 +5,7 @@ export { match } from './match/index.mjs';
 export { isMatch } from './isMatch.mjs';
 export { union } from './union.mjs';
 export { when } from './when.mjs';
+export { whenNot } from './whenNot.mjs';
 export { InvalidExhaustivePatternError, matchBuilder } from './match/builder.mjs';
 export { SymbolToolPatternFunctionLabel } from './types/pattern.mjs';
 

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/dist/pattern/whenNot.cjs

@@ -0,0 +1,17 @@
+'use strict';
+
+var result = require('./result.cjs');
+
+function whenNot(...args) {
+    if (args.length === 2) {
+        const [predicate, theFunction] = args;
+        return (input) => whenNot(input, predicate, theFunction);
+    }
+    const [input, predicate, theFunction] = args;
+    if (!result.isResult(input) && !predicate(input)) {
+        return result.result(theFunction(input));
+    }
+    return input;
+}
+
+exports.whenNot = whenNot;

package/dist/pattern/whenNot.d.ts

@@ -0,0 +1,49 @@
+import { type AnyValue, type BreakGenericLink, type IsEqual, type EscapeVoid } from "../common";
+import { type PatternResult } from "./result";
+/**
+ * Applies a handler when a predicate fails.
+ * 
+ * **Supported call styles:**
+ * - Classic: `whenNot(input, predicate, handler)` -> returns a result or the input
+ * - Curried: `whenNot(predicate, handler)` -> returns a function waiting for the input
+ * - Classic predicate: `whenNot(input, isType, handler)` -> narrows input types
+ * - Curried predicate: `whenNot(isType, handler)` -> narrows input types
+ * 
+ * If the predicate fails, the handler runs and the result is wrapped for chaining.
+ * The input is not mutated.
+ * 
+ * ```ts
+ * pipe(
+ * 	2,
+ * 	P.whenNot(
+ * 		(value) => value > 3,
+ * 		(value) => value * 2,
+ * 	),
+ * 	P.otherwise((value) => value),
+ * ); // 4
+ * 
+ * A.map(
+ * 	<const>["alpha", 2],
+ * 	innerPipe(
+ * 		P.whenNot(
+ * 			isType("string"),
+ * 			(value) => value + 1,
+ * 		),
+ * 		P.otherwise((value) => value),
+ * 	),
+ * ); // ["alpha", 3]
+ * ```
+ * 
+ * @remarks
+ * - Predicate overloads (type guards) narrow the output type
+ * 
+ * @see [`P.otherwise`](https://utils.duplojs.dev/en/v1/api/pattern/otherwise) For fallbacks
+ * @see https://utils.duplojs.dev/en/v1/api/pattern/whenNot
+ * 
+ * @namespace P
+ * 
+ */
+export declare function whenNot<GenericInput extends unknown, GenericInputValue extends Exclude<IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput, PatternResult>, GenericInputPatternResult extends Extract<GenericInput, PatternResult>, GenericPredicatedInput extends GenericInputValue, GenericOutput extends AnyValue | EscapeVoid>(predicate: (input: GenericInputValue) => input is GenericPredicatedInput, theFunction: (predicatedInput: Exclude<GenericInputValue, GenericPredicatedInput>) => GenericOutput): (input: (GenericInput | GenericInputPatternResult | GenericInputValue)) => (GenericInputPatternResult | Exclude<BreakGenericLink<GenericInput>, Exclude<GenericInputValue, GenericPredicatedInput> | PatternResult> | PatternResult<GenericOutput>);
+export declare function whenNot<GenericInput extends unknown, GenericInputValue extends Exclude<IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput, PatternResult>, GenericInputPatternResult extends Extract<GenericInput, PatternResult>, GenericOutput extends AnyValue | EscapeVoid>(predicate: (input: GenericInputValue) => boolean, theFunction: (predicatedInput: GenericInputValue) => GenericOutput): (input: (GenericInput | GenericInputPatternResult | GenericInputValue)) => (GenericInputPatternResult | GenericInputValue | PatternResult<GenericOutput>);
+export declare function whenNot<GenericInput extends unknown, GenericInputValue extends Exclude<IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput, PatternResult>, GenericInputPatternResult extends Extract<GenericInput, PatternResult>, GenericPredicatedInput extends GenericInputValue, GenericOutput extends AnyValue | EscapeVoid>(input: (GenericInput | GenericInputPatternResult | GenericInputValue), predicate: (input: GenericInputValue) => input is GenericPredicatedInput, theFunction: (predicatedInput: Exclude<GenericInputValue, GenericPredicatedInput>) => GenericOutput): (GenericInputPatternResult | Exclude<BreakGenericLink<GenericInput>, Exclude<GenericInputValue, GenericPredicatedInput> | PatternResult> | PatternResult<GenericOutput>);
+export declare function whenNot<GenericInput extends unknown, GenericInputValue extends Exclude<IsEqual<GenericInput, unknown> extends true ? AnyValue : GenericInput, PatternResult>, GenericInputPatternResult extends Extract<GenericInput, PatternResult>, GenericOutput extends AnyValue | EscapeVoid>(input: (GenericInput | GenericInputPatternResult | GenericInputValue), predicate: (input: GenericInputValue) => boolean, theFunction: (predicatedInput: GenericInputValue) => GenericOutput): (GenericInputPatternResult | GenericInputValue | PatternResult<GenericOutput>);

package/dist/pattern/whenNot.mjs

@@ -0,0 +1,15 @@
+import { isResult, result } from './result.mjs';
+
+function whenNot(...args) {
+    if (args.length === 2) {
+        const [predicate, theFunction] = args;
+        return (input) => whenNot(input, predicate, theFunction);
+    }
+    const [input, predicate, theFunction] = args;
+    if (!isResult(input) && !predicate(input)) {
+        return result(theFunction(input));
+    }
+    return input;
+}
+
+export { whenNot };

package/package.json

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