mimo-reasonix 0.1.0 → 0.1.1

package/node_modules/type-fest/source/merge-deep.d.ts

@@ -0,0 +1,495 @@
+import type {ConditionalSimplifyDeep} from './conditional-simplify-deep.d.ts';
+import type {OmitIndexSignature} from './omit-index-signature.d.ts';
+import type {PickIndexSignature} from './pick-index-signature.d.ts';
+import type {Merge} from './merge.d.ts';
+import type {
+	FirstArrayElement,
+	IsBothExtends,
+	UnknownArrayOrTuple,
+	EnforceOptional,
+} from './internal/index.d.ts';
+import type {NonEmptyTuple} from './non-empty-tuple.d.ts';
+import type {ArrayTail as _ArrayTail} from './array-tail.d.ts';
+import type {UnknownRecord} from './unknown-record.d.ts';
+import type {SimplifyDeep} from './simplify-deep.d.ts';
+import type {UnknownArray} from './unknown-array.d.ts';
+
+type Writable<TArray extends UnknownArray> = {-readonly [Key in keyof TArray]: TArray[Key]}; // TODO: Remove this
+
+// Using the default `ArrayTail` type causes issues, refer https://github.com/sindresorhus/type-fest/pull/1175/files#r2134694728.
+type ArrayTail<TArray extends UnknownArray> = TArray extends unknown // For distributing `TArray`
+	? keyof TArray & `${number}` extends never
+		? []
+		: Writable<_ArrayTail<TArray>>
+	: never; // Should never happen
+
+type SimplifyDeepExcludeArray<T> = SimplifyDeep<T, UnknownArray>;
+
+/**
+Try to merge two record properties or return the source property value, preserving `undefined` properties values in both cases.
+*/
+type MergeDeepRecordProperty<
+	Destination,
+	Source,
+	Options extends MergeDeepInternalOptions,
+> = undefined extends Source
+	? MergeDeepOrReturn<Source, Exclude<Destination, undefined>, Exclude<Source, undefined>, Options> | (undefined extends Destination ? undefined : never)
+	: MergeDeepOrReturn<Source, Destination, Source, Options>;
+
+/**
+Walk through the union of the keys of the two objects and test in which object the properties are defined.
+Rules:
+1. If the source does not contain the key, the value of the destination is returned.
+2. If the source contains the key and the destination does not contain the key, the value of the source is returned.
+3. If both contain the key, try to merge according to the chosen {@link MergeDeepOptions options} or return the source if unable to merge.
+*/
+type DoMergeDeepRecord<
+	Destination extends UnknownRecord,
+	Source extends UnknownRecord,
+	Options extends MergeDeepInternalOptions,
+> =
+// Case in rule 1: The destination contains the key but the source doesn't.
+	{
+		[Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key];
+	}
+// Case in rule 2: The source contains the key but the destination doesn't.
+	& {
+		[Key in keyof Source as Key extends keyof Destination ? never : Key]: Source[Key];
+	}
+// Case in rule 3: Both the source and the destination contain the key.
+	& {
+		[Key in keyof Source as Key extends keyof Destination ? Key : never]: MergeDeepRecordProperty<Required<Destination>[Key], Required<Source>[Key], Options>;
+	};
+
+/**
+Wrapper around {@link DoMergeDeepRecord} which preserves index signatures.
+*/
+type MergeDeepRecord<
+	Destination extends UnknownRecord,
+	Source extends UnknownRecord,
+	Options extends MergeDeepInternalOptions,
+> = DoMergeDeepRecord<OmitIndexSignature<Destination>, OmitIndexSignature<Source>, Options>
+	& Merge<PickIndexSignature<Destination>, PickIndexSignature<Source>>;
+
+// Helper to avoid computing ArrayTail twice.
+type PickRestTypeHelper<Tail extends UnknownArrayOrTuple, Type> = Tail extends [] ? Type : PickRestType<Tail>;
+
+/**
+Pick the rest type.
+
+@example
+```
+type Rest1 = PickRestType<[]>; // => []
+type Rest2 = PickRestType<[string]>; // => []
+type Rest3 = PickRestType<[...number[]]>; // => number[]
+type Rest4 = PickRestType<[string, ...number[]]>; // => number[]
+type Rest5 = PickRestType<string[]>; // => string[]
+```
+*/
+type PickRestType<Type extends UnknownArrayOrTuple> = number extends Type['length']
+	? PickRestTypeHelper<ArrayTail<Type>, Type>
+	: [];
+
+// Helper to avoid computing ArrayTail twice.
+type OmitRestTypeHelper<
+	Tail extends UnknownArrayOrTuple,
+	Type extends UnknownArrayOrTuple,
+	Result extends UnknownArrayOrTuple = [],
+> = Tail extends []
+	? Result
+	: OmitRestType<Tail, [...Result, FirstArrayElement<Type>]>;
+
+/**
+Omit the rest type.
+
+@example
+```
+type Tuple1 = OmitRestType<[]>; // => []
+type Tuple2 = OmitRestType<[string]>; // => [string]
+type Tuple3 = OmitRestType<[...number[]]>; // => []
+type Tuple4 = OmitRestType<[string, ...number[]]>; // => [string]
+type Tuple5 = OmitRestType<[string, boolean[], ...number[]]>; // => [string, boolean[]]
+type Tuple6 = OmitRestType<string[]>; // => []
+```
+*/
+type OmitRestType<Type extends UnknownArrayOrTuple, Result extends UnknownArrayOrTuple = []> = number extends Type['length']
+	? OmitRestTypeHelper<ArrayTail<Type>, Type, Result>
+	: Type;
+
+// Utility to avoid picking two times the type.
+type TypeNumberOrType<Type extends UnknownArrayOrTuple> = Type[number] extends never ? Type : Type[number];
+
+// Pick the rest type (array) and try to get the intrinsic type or return the provided type.
+type PickRestTypeFlat<Type extends UnknownArrayOrTuple> = TypeNumberOrType<PickRestType<Type>>;
+
+/**
+Try to merge two array/tuple elements or return the source element if the end of the destination is reached or vis-versa.
+*/
+type MergeDeepArrayOrTupleElements<
+	Destination,
+	Source,
+	Options extends MergeDeepInternalOptions,
+> = Source extends []
+	? Destination
+	: Destination extends []
+		? Source
+		: MergeDeepOrReturn<Source, Destination, Source, Options>;
+
+/**
+Merge two tuples recursively.
+*/
+type DoMergeDeepTupleAndTupleRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	DestinationRestType,
+	SourceRestType,
+	Options extends MergeDeepInternalOptions,
+> = Destination extends []
+	? Source extends []
+		? []
+		: MergeArrayTypeAndTuple<DestinationRestType, Source, Options>
+	: Source extends []
+		? MergeTupleAndArrayType<Destination, SourceRestType, Options>
+		: [
+			MergeDeepArrayOrTupleElements<FirstArrayElement<Destination>, FirstArrayElement<Source>, Options>,
+			...DoMergeDeepTupleAndTupleRecursive<ArrayTail<Destination>, ArrayTail<Source>, DestinationRestType, SourceRestType, Options>,
+		];
+
+/**
+Merge two tuples recursively taking into account a possible rest element.
+*/
+type MergeDeepTupleAndTupleRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = [
+	...DoMergeDeepTupleAndTupleRecursive<OmitRestType<Destination>, OmitRestType<Source>, PickRestTypeFlat<Destination>, PickRestTypeFlat<Source>, Options>,
+	...MergeDeepArrayOrTupleElements<PickRestType<Destination>, PickRestType<Source>, Options>,
+];
+
+/**
+Merge an array type with a tuple recursively.
+*/
+type MergeTupleAndArrayType<
+	Tuple extends UnknownArrayOrTuple,
+	ArrayType,
+	Options extends MergeDeepInternalOptions,
+> = Tuple extends []
+	? Tuple
+	: [
+		MergeDeepArrayOrTupleElements<FirstArrayElement<Tuple>, ArrayType, Options>,
+		...MergeTupleAndArrayType<ArrayTail<Tuple>, ArrayType, Options>,
+	];
+
+/**
+Merge an array into a tuple recursively taking into account a possible rest element.
+*/
+type MergeDeepTupleAndArrayRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = [
+	...MergeTupleAndArrayType<OmitRestType<Destination>, Source[number], Options>,
+	...MergeDeepArrayOrTupleElements<PickRestType<Destination>, PickRestType<Source>, Options>,
+];
+
+/**
+Merge a tuple with an array type recursively.
+*/
+type MergeArrayTypeAndTuple<
+	ArrayType,
+	Tuple extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = Tuple extends []
+	? Tuple
+	: [
+		MergeDeepArrayOrTupleElements<ArrayType, FirstArrayElement<Tuple>, Options>,
+		...MergeArrayTypeAndTuple<ArrayType, ArrayTail<Tuple>, Options>,
+	];
+
+/**
+Merge a tuple into an array recursively taking into account a possible rest element.
+*/
+type MergeDeepArrayAndTupleRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = [
+	...MergeArrayTypeAndTuple<Destination[number], OmitRestType<Source>, Options>,
+	...MergeDeepArrayOrTupleElements<PickRestType<Destination>, PickRestType<Source>, Options>,
+];
+
+/**
+Merge mode for array/tuple elements.
+*/
+type ArrayMergeMode = 'spread' | 'replace';
+
+/**
+Test if it should spread top-level arrays.
+*/
+type ShouldSpread<Options extends MergeDeepInternalOptions> = Options['spreadTopLevelArrays'] extends false
+	? Options['arrayMergeMode'] extends 'spread' ? true : false
+	: true;
+
+/**
+Merge two arrays/tuples according to the chosen {@link MergeDeepOptions.arrayMergeMode arrayMergeMode} option.
+*/
+type DoMergeArrayOrTuple<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = ShouldSpread<Options> extends true
+	? Array<Exclude<Destination, undefined>[number] | Exclude<Source, undefined>[number]>
+	: Source; // 'replace'
+
+/**
+Merge two arrays recursively.
+
+If the two arrays are multi-level, we merge deeply, otherwise we merge the first level only.
+
+Note: The `[number]` accessor is used to test the type of the second level.
+*/
+type MergeDeepArrayRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = Destination[number] extends UnknownArrayOrTuple
+	? Source[number] extends UnknownArrayOrTuple
+		? Array<MergeDeepArrayOrTupleRecursive<Destination[number], Source[number], Options>>
+		: DoMergeArrayOrTuple<Destination, Source, Options>
+	: Destination[number] extends UnknownRecord
+		? Source[number] extends UnknownRecord
+			? Array<SimplifyDeepExcludeArray<MergeDeepRecord<Destination[number], Source[number], Options>>>
+			: DoMergeArrayOrTuple<Destination, Source, Options>
+		: DoMergeArrayOrTuple<Destination, Source, Options>;
+
+/**
+Merge two array/tuple recursively by selecting one of the four strategies according to the type of inputs.
+
+- tuple/tuple
+- tuple/array
+- array/tuple
+- array/array
+*/
+type MergeDeepArrayOrTupleRecursive<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = IsBothExtends<NonEmptyTuple, Destination, Source> extends true
+	? MergeDeepTupleAndTupleRecursive<Destination, Source, Options>
+	: Destination extends NonEmptyTuple
+		? MergeDeepTupleAndArrayRecursive<Destination, Source, Options>
+		: Source extends NonEmptyTuple
+			? MergeDeepArrayAndTupleRecursive<Destination, Source, Options>
+			: MergeDeepArrayRecursive<Destination, Source, Options>;
+
+/**
+Merge two array/tuple according to {@link MergeDeepOptions.recurseIntoArrays recurseIntoArrays} option.
+*/
+type MergeDeepArrayOrTuple<
+	Destination extends UnknownArrayOrTuple,
+	Source extends UnknownArrayOrTuple,
+	Options extends MergeDeepInternalOptions,
+> = Options['recurseIntoArrays'] extends true
+	? MergeDeepArrayOrTupleRecursive<Destination, Source, Options>
+	: DoMergeArrayOrTuple<Destination, Source, Options>;
+
+/**
+Try to merge two objects or two arrays/tuples recursively into a new type or return the default value.
+*/
+type MergeDeepOrReturn<
+	DefaultType,
+	Destination,
+	Source,
+	Options extends MergeDeepInternalOptions,
+> = SimplifyDeepExcludeArray<[undefined] extends [Destination | Source]
+	? DefaultType
+	: Destination extends UnknownRecord
+		? Source extends UnknownRecord
+			? MergeDeepRecord<Destination, Source, Options>
+			: DefaultType
+		: Destination extends UnknownArrayOrTuple
+			? Source extends UnknownArrayOrTuple
+				? MergeDeepArrayOrTuple<Destination, Source, EnforceOptional<Merge<Options, {spreadTopLevelArrays: false}>>>
+				: DefaultType
+			: DefaultType>;
+
+/**
+MergeDeep options.
+
+@see {@link MergeDeep}
+*/
+export type MergeDeepOptions = {
+	/**
+	Merge mode for array and tuple.
+
+	When we walk through the properties of the objects and the same key is found and both are array or tuple, a merge mode must be chosen:
+	- `replace`: Replaces the destination value by the source value. This is the default mode.
+	- `spread`: Spreads the destination and the source values.
+
+	See {@link MergeDeep} for usages and examples.
+
+	Note: Top-level arrays and tuples are always spread.
+
+	@default 'replace'
+	*/
+	arrayMergeMode?: ArrayMergeMode;
+
+	/**
+	Whether to affect the individual elements of arrays and tuples.
+
+	If this option is set to `true` the following rules are applied:
+	- If the source does not contain the key, the value of the destination is returned.
+	- If the source contains the key and the destination does not contain the key, the value of the source is returned.
+	- If both contain the key, try to merge according to the chosen {@link MergeDeepOptions.arrayMergeMode arrayMergeMode} or return the source if unable to merge.
+
+	@default false
+	*/
+	recurseIntoArrays?: boolean;
+};
+
+/**
+Internal options.
+*/
+type MergeDeepInternalOptions = Merge<MergeDeepOptions, {spreadTopLevelArrays?: boolean}>;
+
+/**
+Merge default and internal options with user provided options.
+*/
+type DefaultMergeDeepOptions<Options extends MergeDeepOptions> = Merge<{
+	arrayMergeMode: 'replace';
+	recurseIntoArrays: false;
+	spreadTopLevelArrays: true;
+}, Options>;
+
+/**
+This utility selects the correct entry point with the corresponding default options. This avoids re-merging the options at each iteration.
+*/
+type MergeDeepWithDefaultOptions<Destination, Source, Options extends MergeDeepOptions> = SimplifyDeepExcludeArray<
+	[undefined] extends [Destination | Source]
+		? never
+		: Destination extends UnknownRecord
+			? Source extends UnknownRecord
+				? MergeDeepRecord<Destination, Source, DefaultMergeDeepOptions<Options>>
+				: never
+			: Destination extends UnknownArrayOrTuple
+				? Source extends UnknownArrayOrTuple
+					? MergeDeepArrayOrTuple<Destination, Source, DefaultMergeDeepOptions<Options>>
+					: never
+				: never
+>;
+
+/**
+Merge two objects or two arrays/tuples recursively into a new type.
+
+- Properties that only exist in one object are copied into the new object.
+- Properties that exist in both objects are merged if possible or replaced by the one of the source if not.
+- Top-level arrays and tuples are always spread.
+- By default, inner arrays and tuples are replaced. See {@link MergeDeepOptions.arrayMergeMode arrayMergeMode} option to change this behaviour.
+- By default, individual array/tuple elements are not affected. See {@link MergeDeepOptions.recurseIntoArrays recurseIntoArrays} option to change this behaviour.
+
+@example
+```
+import type {MergeDeep} from 'type-fest';
+
+type Foo = {
+	life: number;
+	items: string[];
+	a: {b: string; c: boolean; d: number[]};
+};
+
+type Bar = {
+	name: string;
+	items: number[];
+	a: {b: number; d: boolean[]};
+};
+
+type FooBar1 = MergeDeep<Foo, Bar>;
+// {
+// 	life: number;
+// 	name: string;
+// 	items: number[];
+// 	a: {b: number; c: boolean; d: boolean[]};
+// }
+
+type FooBar2 = MergeDeep<Foo, Bar, {arrayMergeMode: 'spread'}>;
+// {
+// 	life: number;
+// 	name: string;
+// 	items: (string | number)[];
+// 	a: {b: number; c: boolean; d: (number | boolean)[]};
+// }
+```
+
+@example
+```
+import type {MergeDeep} from 'type-fest';
+
+// Merge two arrays
+type ArrayMerge = MergeDeep<string[], number[]>; // => (string | number)[]
+
+// Merge two tuples
+type TupleMerge = MergeDeep<[1, 2, 3], ['a', 'b']>; // => (1 | 2 | 3 | 'a' | 'b')[]
+
+// Merge an array into a tuple
+type TupleArrayMerge = MergeDeep<[1, 2, 3], string[]>; // => (string | 1 | 2 | 3)[]
+
+// Merge a tuple into an array
+type ArrayTupleMerge = MergeDeep<number[], ['a', 'b']>; // => (number | 'b' | 'a')[]
+```
+
+@example
+```
+import type {MergeDeep, MergeDeepOptions} from 'type-fest';
+
+type Foo = {foo: 'foo'; fooBar: string[]};
+type Bar = {bar: 'bar'; fooBar: number[]};
+
+type FooBar = MergeDeep<Foo, Bar>;
+//=> {foo: 'foo'; bar: 'bar'; fooBar: number[]}
+
+type FooBarSpread = MergeDeep<Foo, Bar, {arrayMergeMode: 'spread'}>;
+//=> {foo: 'foo'; bar: 'bar'; fooBar: (string | number)[]}
+
+type FooBarArray = MergeDeep<Foo[], Bar[]>;
+//=> (Foo | Bar)[]
+
+type FooBarArrayDeep = MergeDeep<Foo[], Bar[], {recurseIntoArrays: true}>;
+//=> {foo: 'foo'; bar: 'bar'; fooBar: number[]}[]
+
+type FooBarArraySpreadDeep = MergeDeep<Foo[], Bar[], {recurseIntoArrays: true; arrayMergeMode: 'spread'}>;
+//=> {foo: 'foo'; bar: 'bar'; fooBar: (string | number)[]}[]
+
+type FooBarTupleDeep = MergeDeep<[Foo, true, 42], [Bar, 'life'], {recurseIntoArrays: true}>;
+//=> [{foo: 'foo'; bar: 'bar'; fooBar: number[]}, 'life', 42]
+
+type FooBarTupleWithArrayDeep = MergeDeep<[Foo[], true], [Bar[], 'life', 42], {recurseIntoArrays: true}>;
+//=> [{foo: 'foo'; bar: 'bar'; fooBar: number[]}[], 'life', 42]
+```
+
+@example
+```
+import type {MergeDeep, MergeDeepOptions} from 'type-fest';
+
+declare function mergeDeep<Destination, Source, Options extends MergeDeepOptions = {}>(
+	destination: Destination,
+	source: Source,
+	options?: Options,
+): MergeDeep<Destination, Source, Options>;
+```
+
+@experimental This type is marked as experimental because it depends on {@link ConditionalSimplifyDeep} which itself is experimental.
+
+@see {@link MergeDeepOptions}
+
+@category Array
+@category Object
+@category Utilities
+*/
+export type MergeDeep<Destination, Source, Options extends MergeDeepOptions = {}> = MergeDeepWithDefaultOptions<
+	SimplifyDeepExcludeArray<Destination>,
+	SimplifyDeepExcludeArray<Source>,
+	Options
+>;
+
+export {};

package/node_modules/type-fest/source/merge-exclusive.d.ts

@@ -0,0 +1,45 @@
+// Helper type. Not useful on its own.
+type Without<FirstType, SecondType> = {[KeyType in Exclude<keyof FirstType, keyof SecondType>]?: never};
+
+/**
+Create a type that has mutually exclusive keys.
+
+This type was inspired by [this comment](https://github.com/Microsoft/TypeScript/issues/14094#issuecomment-373782604).
+
+This type works with a helper type, called `Without`. `Without<FirstType, SecondType>` produces a type that has only keys from `FirstType` which are not present on `SecondType` and sets the value type for these keys to `never`. This helper type is then used in `MergeExclusive` to remove keys from either `FirstType` or `SecondType`.
+
+@example
+```
+import type {MergeExclusive} from 'type-fest';
+
+type ExclusiveVariation1 = {
+	exclusive1: boolean;
+};
+
+type ExclusiveVariation2 = {
+	exclusive2: string;
+};
+
+type ExclusiveOptions = MergeExclusive<ExclusiveVariation1, ExclusiveVariation2>;
+
+let exclusiveOptions: ExclusiveOptions;
+
+exclusiveOptions = {exclusive1: true};
+// Works
+
+exclusiveOptions = {exclusive2: 'hi'};
+// Works
+
+// @ts-expect-error
+exclusiveOptions = {exclusive1: true, exclusive2: 'hi'};
+// Error
+```
+
+@category Object
+*/
+export type MergeExclusive<FirstType, SecondType> =
+	(FirstType | SecondType) extends object
+		? (Without<FirstType, SecondType> & SecondType) | (Without<SecondType, FirstType> & FirstType)
+		: FirstType | SecondType;
+
+export {};

package/node_modules/type-fest/source/merge.d.ts

@@ -0,0 +1,87 @@
+import type {OmitIndexSignature} from './omit-index-signature.d.ts';
+import type {PickIndexSignature} from './pick-index-signature.d.ts';
+import type {Simplify} from './simplify.d.ts';
+import type {If} from './if.d.ts';
+import type {IsEqual} from './is-equal.d.ts';
+
+// Merges two objects without worrying about index signatures.
+type SimpleMerge<Destination, Source> = Simplify<{
+	[Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key];
+} & Source>;
+
+/**
+Merge two types into a new type. Keys of the second type overrides keys of the first type.
+
+This is different from the TypeScript `&` (intersection) operator. With `&`, conflicting property types are intersected, which often results in `never`. For example, `{a: string} & {a: number}` makes `a` become `string & number`, which resolves to `never`. With `Merge`, the second type's keys cleanly override the first, so `Merge<{a: string}, {a: number}>` gives `{a: number}` as expected. `Merge` also produces a flattened type (via `Simplify`), making it more readable in IDE tooltips compared to `A & B`.
+
+@example
+```
+import type {Merge} from 'type-fest';
+
+type Foo = {
+	a: string;
+	b: number;
+};
+
+type Bar = {
+	a: number; // Conflicts with Foo['a']
+	c: boolean;
+};
+
+// With `&`, `a` becomes `string & number` which is `never`. Not what you want.
+type WithIntersection = (Foo & Bar)['a'];
+//=> never
+
+// With `Merge`, `a` is cleanly overridden to `number`.
+type WithMerge = Merge<Foo, Bar>['a'];
+//=> number
+```
+
+@example
+```
+import type {Merge} from 'type-fest';
+
+type Foo = {
+	[x: string]: unknown;
+	[x: number]: unknown;
+	foo: string;
+	bar: symbol;
+};
+
+type Bar = {
+	[x: number]: number;
+	[x: symbol]: unknown;
+	bar: Date;
+	baz: boolean;
+};
+
+export type FooBar = Merge<Foo, Bar>;
+//=> {
+// 	[x: string]: unknown;
+// 	[x: number]: number;
+// 	[x: symbol]: unknown;
+// 	foo: string;
+// 	bar: Date;
+// 	baz: boolean;
+// }
+```
+
+Note: If you want a merge type that more accurately reflects the runtime behavior of object spread or `Object.assign`, refer to the {@link ObjectMerge} type.
+
+@see {@link ObjectMerge}
+@category Object
+*/
+export type Merge<Destination, Source> =
+	Destination extends unknown // For distributing `Destination`
+		? Source extends unknown // For distributing `Source`
+			? If<IsEqual<Destination, Source>, Destination, _Merge<Destination, Source>>
+			: never // Should never happen
+		: never; // Should never happen
+
+export type _Merge<Destination, Source> =
+	Simplify<
+		SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>>
+		& SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>
+	>;
+
+export {};

package/node_modules/type-fest/source/multidimensional-array.d.ts

@@ -0,0 +1,38 @@
+import type {Subtract} from './subtract.d.ts';
+import type {IsEqual} from './is-equal.d.ts';
+
+type Recursive<T> = Array<Recursive<T>>;
+
+/**
+Create a type that represents a multidimensional array of the given type and dimension.
+
+Use-cases:
+- Return a n-dimensional array from functions.
+- Declare a n-dimensional array by defining its dimensions rather than declaring `[]` repetitively.
+- Infer the dimensions of a n-dimensional array automatically from function arguments.
+- Avoid the need to know in advance the dimensions of a n-dimensional array allowing them to be dynamic.
+
+@example
+```
+import type {MultidimensionalArray} from 'type-fest';
+
+declare function emptyMatrix<Item = unknown>(): <Dimension extends number>(
+	dimensions: Dimension,
+) => MultidimensionalArray<Item, Dimension>;
+
+const unknown3DMatrix = emptyMatrix()(3);
+//=> unknown[][][]
+
+const boolean2DMatrix = emptyMatrix<boolean>()(2);
+//=> boolean[][]
+```
+
+@category Array
+*/
+export type MultidimensionalArray<Element, Dimensions extends number> = number extends Dimensions
+	? Recursive<Element>
+	: IsEqual<Dimensions, 0> extends true
+		? Element
+		: Array<MultidimensionalArray<Element, Subtract<Dimensions, 1>>>;
+
+export {};