inferred-types 0.42.1 → 0.43.1

package/dist/types/base-types/List.d.ts

@@ -0,0 +1,319 @@
+import { AsArray, Fail, AnyFunction, IsInteger, Dictionary, Flatten } from "../index";
+import { BCP47 } from "../string-literals/character-sets/BCP";
+type ShallowCopy<T> = T;
+type New<T> = T;
+/**
+ * **List**`<T,S>`
+ *
+ * A _list_ of elements. Meant to behave precisely as
+ * [Javascript's Array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array)
+ * but with better behavior when using with `let` or `var`
+ * variable declarations (versus `const` which is semantically peculiar).
+ */
+export type List<T = unknown, ID extends string = string> = {
+    id: ID;
+    length: number;
+    [key: number]: T;
+    [Symbol.iterator]: () => Iterator<T, Array<T>>;
+    /**
+     * **at**`(idx)`
+     *
+     * The `at()` method of Array instances takes an integer value
+     * and returns the item at that index, allowing for positive and
+     * negative integers. Negative integers count back from the last
+     * item in the array.
+    */
+    at: <TIdx extends number>(idx: Fail<TIdx, IsInteger<TIdx>>) => T;
+    /**
+      * **concat**`(arr | list)`
+      *
+      * The concat() method of Array instances is used to merge two or more arrays.
+      * This method does not change the existing arrays, but instead returns a new array.
+    */
+    concat: <TConcat extends List<T> | AsArray<T>>(list: TConcat) => List<T>;
+    copyWithin: AnyFunction;
+    /**
+     * **entries**`()`
+     *
+     * Returns a new array iterator object that contains the key/value pairs
+     * for each index in the array.
+     */
+    entries: () => Iterator<[number, T], Array<T>>;
+    /**
+     * **every**`(callback)`
+     *
+     * Tests whether all elements in the array pass the test implemented by the
+     * provided callback function. It returns a Boolean value.
+     */
+    every: <TCall extends ((v: T) => boolean), TReturn extends boolean>(cb: TCall) => TReturn;
+    /**
+     * **fill**`(val)`
+     *
+     * Changes _all elements_ within a range of valid indices on the list to the
+     * passed in value.
+     */
+    fill: <F extends T>(v: F) => List<F, `${ID} -> fill`>;
+    /**
+     * **filter**`(callback)`
+     *
+     * Returns a _shallow copy_ of a portion of a given List. The "portion" is filtered
+     * down to just the elements from the given List that pass the test implemented by
+     * the provided callback function.
+     */
+    filter: <TCall extends ((v: T) => boolean)>(cb: TCall) => ShallowCopy<List<T, `${ID}sc`>>;
+    /**
+     * **find**`(callback)`
+     *
+     * Returns the first element in the provided array that satisfies
+     * the provided testing callback function.
+     *
+     * If no values satisfy the testing function, _undefined_ is returned.
+     */
+    find: <TCall extends ((v: T) => boolean)>(cb: TCall) => ShallowCopy<List<T, `${ID}f`>> | undefined;
+    /**
+     * **findIndex**`(callback)`
+     *
+     * Returns the index of the first element in an array that satisfies the provided
+     * testing function.
+     *
+     * If no elements satisfy the testing function, -1 is returned.
+     */
+    findIndex: <TCall extends ((v: T) => boolean)>(cb: TCall) => number | undefined;
+    /**
+     * **findLast**`(callback)`
+     *
+     * iterates the List in reverse order and returns the first element
+     * that satisfies the provided callback function.
+     *
+     * If no elements satisfy the callback function, _undefined_ is returned.
+     */
+    findLast: <TCall extends ((v: T) => boolean)>(cb: TCall) => ShallowCopy<List<T, `${ID}fl`>> | undefined;
+    /**
+     * iterates the array in reverse order and returns the index of the first element
+     * that satisfies the provided testing function.
+     *
+     * If no elements satisfy the testing function, -1 is returned.
+     */
+    findLastIndex: (cb: ((v: T) => boolean)) => number | undefined;
+    /**
+     * **flat**`([depth])`
+     *
+     * Creates a new List with all sub-lists elements _flattened_ to the specified depth.
+     *
+     * **Note:** if no depth is specified `1` is used.
+     */
+    flat: <TDepth extends number = 1>(depth?: TDepth) => List<Flatten<T, TDepth extends 1 | 2 | 3 ? TDepth : 3, true>, `${ID} -> flattened${TDepth extends 1 ? "" : `(${TDepth})`}`>;
+    /**
+     * **flatMap**`(callback, [thisArg])`
+     *
+     * Returns a new List formed by applying the given callback function to each element
+     * of the List, and then flattening the result by one level. It is identical to a
+     * map() followed by a flat() of depth 1 (arr.map(...args).flat()),
+     * but slightly more efficient than calling those two methods separately.
+     *
+     * **Note:** the value of `thisArg` sets the `this` value when executing the
+     * callback.
+     */
+    flatMap: <TCall extends ((v: T) => unknown), TArg>(cb: TCall, thisArg?: TArg) => List<Flatten<ReturnType<TCall>, 1, true>, `${ID} -> mapped`>;
+    /**
+     * **forEach**`(callback)`
+     *
+     * Executes a provided callback function once for each array element.
+     *
+     * **Note:** the callback is allowed to return values but these values will ignored
+     * as the _forEach_ function never returns anything.
+     */
+    forEach: (cb: ((v: T) => unknown)) => void;
+    /**
+     * Determines whether an array includes a certain value among its entries,
+     * returning true or false as appropriate.
+     */
+    includes: (val: T) => boolean;
+    /**
+     * **indexOf**`(find, [instance])`
+     *
+     * Returns the first index at which a given element can be found in the
+     * List, or -1 if it is not present.
+     */
+    indexOf: (val: T, instance?: number) => number;
+    /**
+     * **join**`([separator])`
+     *
+     * Returns a new string by concatenating all of the elements in this List.
+     *
+     * If the optional _separator_ param is used then adjoining items in the List
+     * will have the text provided.
+     */
+    join: <TSep extends string = "">(sep?: TSep) => string;
+    /**
+     * **keys**`()`
+     *
+     * returns a new `Iterator` that contains all of the keys for the List
+     */
+    keys: () => Iterator<T, Array<T>>;
+    /**
+     * **lastIndexOf**`(find)`
+     *
+     * Returns the last index at which a given element can be found in the array,
+     * or -1 if it is not present.
+     *
+     * The array is searched backwards, starting at fromIndex.
+     */
+    lastIndexOf: (find: T) => number;
+    /**
+     * **map**`(callbackfn)`
+     *
+     * Calls a defined callback function on each element of an array, and returns an array
+     * that contains the results.
+     *
+     * @param callbackfn — A function that accepts up to three arguments. The map method
+     * calls the callbackfn function one time for each element in the array.
+     *
+     * @param thisArg — An object to which the this keyword can refer in the callbackfn
+     * function. If thisArg is omitted, undefined is used as the this value.
+     */
+    map: <M extends ((v: T) => unknown)>(cb: M) => List<ReturnType<M>, `${ID} -> mapped`>;
+    /**
+     * **pop**`()`
+     *
+     * Returns the last element from an List _while_ removing it from the List.
+     */
+    pop: () => T;
+    /**
+     * **push**`(value)`
+     *
+     * Adds the specified elements to the end of an List and returns the new
+     * length of the List.
+     */
+    push: <V extends readonly T[]>(...values: V) => number;
+    /**
+     *  **reduce**`(callback, initialValue)`
+     *
+     * Executes a user-supplied "reducer" callback function on each element of
+     * the array, in order, passing in the return value from the calculation on
+     * the preceding element. The final result of running the reducer across all
+     * elements of the array is a single value.
+     *
+     * The first time that the callback is run there is no "return value of the
+     * previous calculation". If supplied, an initial value may be used in its place.
+     * Otherwise the array element at index 0 is used as the initial value and
+     * iteration starts from the next element (index 1 instead of index 0).
+     */
+    reduce: <TCall extends ((acc: T[], v: T) => unknown), TVal = List<ReturnType<TCall>, `${ID} -> reduced`>>(cb: TCall, initialValue?: TVal) => TVal;
+    /**
+     * **reduceRight**`(callback, initialValue)`
+     *
+     * Applies a callback function against an accumulator and each value of
+     * the array (from right-to-left) to reduce it to a single value.
+     */
+    reduceRight: <TCall extends ((acc: T[], v: T) => unknown), TVal = List<ReturnType<TCall>, `${ID} ->reducedRight`>>(cb: TCall, initialValue?: TVal) => TVal;
+    /**
+     * **reverse**`()`
+     *
+     * Reverses a List in place and returns the reference to the same List,
+     * the first element now becoming the last, and the last element
+     * becoming the first. In other words, elements order in the array will be
+     * turned towards the direction opposite to that previously stated.
+     */
+    reverse: () => List<T, `${ID}r`>;
+    /**
+     * **shift**`()`
+     *
+     * Removes the first element from an array and returns that removed element.
+     * This method changes the length of the array.
+     */
+    shift: () => T;
+    /**
+     * **slice**([start],[end])
+     *
+     * Returns a shallow copy of a portion of an array into a new array object
+     * selected from start to end (end not included) where start and end represent
+     * the index of items in that array. The original array will not be modified.
+     */
+    slice: <TStart extends number, TStop extends number>(start?: TStart, stop?: TStop) => ShallowCopy<List<T, `${ID}-> sliced`>>;
+    /**
+     * **some**`(callback)`
+     *
+     * Tests whether at least one element in the array passes the test implemented
+     * by the provided callback function. It returns true if, in the array, it finds
+     * an element for which the provided function returns true; otherwise it returns
+     * false. It doesn't modify the List.
+     */
+    some: <TCall extends ((v: T) => boolean)>(cb: TCall) => boolean;
+    /**
+     *  **sort**`(callback)`
+     *
+     * Sorts the elements of an array in place and returns a reference to the same
+     * List, now sorted.
+     *
+     * The default sort order is ascending, built upon converting the elements
+     * into strings, then comparing their sequences of UTF-16 code units values.
+     */
+    sort: <TCall extends ((a: T, b: T) => number)>(cb: TCall) => List<T, `${ID} -> sorted`>;
+    /**
+     * **splice**`(start,[deleteCount],[...items])`
+     *
+     * Changes the contents of an array by removing or replacing existing elements
+     * and/or adding new elements in place.
+     */
+    splice: (start: number, deleteCount?: number, ...items: T[]) => List<T, `${ID} -> spliced`>;
+    /**
+     * **toLocaleString**`()`
+     *
+     * Returns a string representing the elements of the array.
+     *
+     * The elements are converted to strings using their toLocaleString methods and
+     * these strings are separated by a locale-specific string (such as a comma ",").
+     */
+    toLocaleString: <TLang extends BCP47, TOpts extends Dictionary>(lang: TLang, opt?: TOpts) => string;
+    /**
+     * **toReversed**`()`
+     *
+     * Is the _copying_ counterpart of the reverse() method. It returns a new array
+     * with the elements in reversed order.
+     */
+    toReversed: () => List<T, `${ID}r`>;
+    /**
+     * **toSorted**`()`
+     *
+     *  Is the _copying_ version of the sort() method. It returns a new array with
+     * the elements sorted in ascending order.
+     */
+    toSorted: () => List<T, `${ID}s`>;
+    /**
+     * **toSpliced**`(start, [deleteCount], ...[items])`
+     *
+     * Is the _copying_ version of the splice() method. It returns a new array with
+     * some elements removed and/or replaced at a given index.
+     */
+    toSpliced: (start: number, deleteCount?: number, ...items: T[]) => List<T, `${ID} -> toSpliced`>;
+    /**
+     * **toString**`()`
+     *
+     * Returns a string representing the specified array and its elements.
+     */
+    toString: () => string;
+    /**
+     * **unshift**`(...elements)`
+     *
+     * Adds the specified elements to the beginning of an array and returns the
+     * new length of the array.
+     */
+    unshift: (...elements: T[]) => number;
+    /**
+     * **values**`()`
+     *
+     * returns an _iterator_ that iterates the value of each item in the array.
+     */
+    values: () => Iterator<T, Array<T>>;
+    /**
+     * **with**`(idx, val)`
+     *
+     * Is the _copying_ version of using the bracket notation to change the value of a
+     * given index. It returns a new array with the element at the given index replaced
+     * with the given value.
+     */
+    with: (idx: number, val: T) => New<List<T, `${ID}w`>>;
+};
+export {};
+//# sourceMappingURL=List.d.ts.map

package/dist/types/base-types/List.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/List.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,OAAO,EACP,IAAI,EACJ,WAAW,EACX,SAAS,EACT,UAAU,EACV,OAAO,EACR,iBAAwB;AACzB,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAE9D,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC;AACxB,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AAGhB;;;;;;;GAOG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI;IAC1D,EAAE,EAAE,EAAE,CAAC;IACP,MAAM,EAAE,MAAM,CAAC;IACf,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC;IACjB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C;;;;;;;MAOE;IACH,EAAE,EAAE,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IAChE;;;;;MAKE;IACF,MAAM,EAAE,CAAC,OAAO,SAAS,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,UAAU,EAAE,WAAW,CAAC;IACxB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/C;;;;;OAKG;IACH,KAAK,EAAE,CACL,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EACjC,OAAO,SAAS,OAAO,EACvB,EAAE,EAAE,KAAK,KAAK,OAAO,CAAC;IAExB;;;;;OAKG;IACH,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAEtD;;;;;;OAMG;IACH,MAAM,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,KAAM,WAAW,CAAC,IAAI,CAAC,CAAC,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAE1F;;;;;;;OAOG;IACH,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;IAEnG;;;;;;;OAOG;IACH,SAAS,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,KAAK,MAAM,GAAG,SAAS,CAAC;IAEhF;;;;;;;OAOG;IACH,QAAQ,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;IAExG;;;;;OAKG;IACH,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IAC/D;;;;;;OAMG;IACH,IAAI,EAAE,CAAC,MAAM,SAAS,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI,CACvD,OAAO,CACL,CAAC,EACD,MAAM,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,EACrC,IAAI,CACL,EACD,GAAG,EAAE,gBAAgB,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,GAAG,EAAE,CAC7D,CAAC;IACF;;;;;;;;;;OAUG;IACH,OAAO,EAAC,CACN,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EACjC,IAAI,EACJ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,KAAK,IAAI,CAClC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EACnC,GAAG,EAAE,YAAY,CAClB,CAAC;IAEF;;;;;;;OAOG;IACH,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC;IAE3C;;;OAGG;IACH,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/C;;;;;;;OAOG;IACH,IAAI,EAAE,CAAC,IAAI,SAAS,MAAM,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC;IAGvD;;;;OAIG;IACH,IAAI,EAAE,MAAM,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAElC;;;;;;;OAOG;IACH,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC;IAEjC;;;;;;;;;;;OAWG;IACH,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAErF;;;;OAIG;IACH,GAAG,EAAE,MAAM,CAAC,CAAC;IAEb;;;;;OAKG;IACH,IAAI,EAAE,CAAC,CAAC,SAAS,SAAS,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,KAAK,MAAM,CAAC;IAEvD;;;;;;;;;;;;OAYG;IACH,MAAM,EAAE,CACN,KAAK,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAC3C,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,EAClD,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;IAE1C;;;;;OAKG;IACH,WAAW,EAAE,CACX,KAAK,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAC3C,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,iBAAiB,CAAC,EACtD,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;IAE1C;;;;;;;OAOG;IACH,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEjC;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC,CAAC;IACf;;;;;;OAMG;IACH,KAAK,EAAE,CACL,MAAM,SAAS,MAAM,EACrB,KAAK,SAAS,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,KAAK,KAAK,WAAW,CAAE,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,CAAE,CAAC;IAC5E;;;;;;;OAOG;IACH,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,KAAK,OAAO,CAAC;IAEhE;;;;;;;;OAQG;IACH,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACxF;;;;;OAKG;IACH,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAClE,CAAC,EACD,GAAG,EAAE,aAAa,CACnB,CAAC;IAEF;;;;;;;OAOG;IACH,cAAc,EAAE,CACd,KAAK,SAAS,KAAK,EACnB,KAAK,SAAS,UAAU,EACxB,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,MAAM,CAAC;IACtC;;;;;OAKG;IACH,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAClC;;;;;OAKG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CACrE,CAAC,EACD,GAAG,EAAE,eAAe,CACrB,CAAC;IACF;;;;OAIG;IACH,QAAQ,EAAE,MAAM,MAAM,CAAC;IAEvB;;;;;OAKG;IACH,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC;IACtC;;;;OAIG;IACH,MAAM,EAAE,MAAM,QAAQ,CAAC,CAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC;;;;;;OAMG;IACH,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,GAAG,CAAE,IAAI,CAAC,CAAC,EAAC,GAAG,EAAE,GAAG,CAAC,CAAE,CAAC;CAExD,CAAA"}

package/dist/types/base-types/NarrowObject.d.ts

@@ -1,6 +1,11 @@
 import type { Narrowable, ObjectKey } from "../index";
 /**
  * **NarrowObject**`<N>`
+ *
+ * Defines a `Record` type who's values extends `Narrowable`. This type is most
+ * commonly used in runtime settings where a function wants to _extend_ this
+ * type to ensure that the received values are as narrow as could be available
+ * from the input source.
  */
 export type NarrowObject<N extends Narrowable> = Record<ObjectKey, N>;
 //# sourceMappingURL=NarrowObject.d.ts.map

package/dist/types/base-types/NarrowObject.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NarrowObject.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/NarrowObject.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAwB;AAE7D;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"NarrowObject.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/NarrowObject.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAwB;AAE7D;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC"}

package/dist/types/base-types/NonArray.d.ts

@@ -0,0 +1,8 @@
+import { Dictionary } from "../index";
+/**
+ * **NonArray**
+ *
+ * A base type which represents any value _other_ than an array or tuple.
+ */
+export type NonArray = string | number | boolean | null | undefined | symbol | Dictionary | Map<unknown, unknown> | Set<unknown> | WeakMap<object, unknown>;
+//# sourceMappingURL=NonArray.d.ts.map

package/dist/types/base-types/NonArray.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NonArray.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/NonArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,iBAAwB;AAG7C;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAE,GAAG,CAAC,OAAO,EAAC,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC"}

package/dist/types/base-types/Tuple.d.ts

@@ -15,8 +15,11 @@ export type TupleRange = [required: number, optional: number];
  * type T2 = Tuple<string, 4>;
  * ```
  */
-export type Tuple<TType = unknown, TLength extends number | TupleRange | `${number}+` = 0> = 0 extends TLength ? TType extends any[] ? Readonly<TType> : readonly TType[] : TLength extends number ? Readonly<FixedLengthArray<TType, TLength>> : TLength extends TupleRange ? Readonly<[...FixedLengthArray<TType, TLength[0]>, ...FixedLengthArray<TType | undefined, TLength[1]>]> : TLength extends `${infer Num}+` ? Num extends number ? Readonly<[
-    ...(FixedLengthArray<TType, Num> & any[]),
-    ...(TType[])
+export type Tuple<TType = unknown, TLength extends number | TupleRange | `${number}+` = 0> = 0 extends TLength ? TType extends any[] ? Readonly<TType> : readonly TType[] : TLength extends number ? Readonly<FixedLengthArray<TType, TLength>> : TLength extends TupleRange ? Readonly<[
+    ...FixedLengthArray<TType, TLength[0]>,
+    ...FixedLengthArray<TType | undefined, TLength[1]>
+]> : TLength extends `${infer Num extends number}+` ? Num extends number ? Readonly<[
+    ...FixedLengthArray<TType, Num>,
+    ...TType[]
 ]> : never : never;
 //# sourceMappingURL=Tuple.d.ts.map

package/dist/types/base-types/Tuple.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Tuple.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/Tuple.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,iBAAwB;AAEnD,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,GAAG,OAAO,EACf,OAAO,SAAS,MAAM,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,GAAG,CAAC,IACpD,CAAC,SAAS,OAAO,GACjB,KAAK,SAAS,GAAG,EAAE,GACjB,QAAQ,CAAC,KAAK,CAAC,GACf,SAAS,KAAK,EAAE,GAClB,OAAO,SAAS,MAAM,GACpB,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,GAC1C,OAAO,SAAS,UAAU,GACxB,QAAQ,CAAC,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,gBAAgB,CAAC,KAAK,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACtG,OAAO,SAAS,GAAG,MAAM,GAAG,GAAG,GAC7B,GAAG,SAAS,MAAM,GAChB,QAAQ,CAAC;IACT,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC;IACzC,GAAG,CAAC,KAAK,EAAE,CAAC;CACb,CAAC,GACA,KAAK,GACP,KAAK,CAAC"}
+{"version":3,"file":"Tuple.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/Tuple.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,iBAAwB;AAEnD,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,KAAK,CACf,KAAK,GAAG,OAAO,EACf,OAAO,SAAS,MAAM,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,GAAG,CAAC,IACpD,CAAC,SAAS,OAAO,GACjB,KAAK,SAAS,GAAG,EAAE,GACjB,QAAQ,CAAC,KAAK,CAAC,GACf,SAAS,KAAK,EAAE,GAClB,OAAO,SAAS,MAAM,GACpB,QAAQ,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,GAC1C,OAAO,SAAS,UAAU,GACxB,QAAQ,CAAC;IACP,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACtC,GAAG,gBAAgB,CAAC,KAAK,GAAG,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACnD,CAAC,GACN,OAAO,SAAS,GAAG,MAAM,GAAG,SAAS,MAAM,GAAG,GAC5C,GAAG,SAAS,MAAM,GACZ,QAAQ,CAAC;IACT,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC;IAC/B,GAAG,KAAK,EAAE;CACX,CAAC,GACA,KAAK,GACX,KAAK,CAAC"}

package/dist/types/base-types/fns/AnyFnWithDict.d.ts

@@ -0,0 +1,9 @@
+import { Dictionary, TypedFunction } from "../..";
+/**
+ * **AnyFnWithDict**
+ *
+ * Allows you to easily express a function of _any_ parameters,
+ * _any_ return value, so long as the function has the properties
+ */
+export type AnyFnWithDict<TDict extends Dictionary> = TypedFunction & TDict;
+//# sourceMappingURL=AnyFnWithDict.d.ts.map

package/dist/types/base-types/fns/AnyFnWithDict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFnWithDict.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/AnyFnWithDict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AAGlD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,UAAU,IAAI,aAAa,GAAG,KAAK,CAAC"}

package/dist/types/base-types/fns/AnyFunction.d.ts

@@ -0,0 +1,8 @@
+import { TypedFunction } from "./TypedFunction";
+/**
+ * **AnyFunction**
+ *
+ * A type which is meant to match on _all_ types of functions which can exist.
+ */
+export type AnyFunction = Function | TypedFunction;
+//# sourceMappingURL=AnyFunction.d.ts.map

package/dist/types/base-types/fns/AnyFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFunction.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/AnyFunction.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,aAAa,CAAE"}

package/dist/types/base-types/fns/AnyFunction.js

@@ -0,0 +1,2 @@
+/* eslint-disable @typescript-eslint/ban-types */
+export {};

package/dist/types/base-types/fns/FnWithDict.d.ts

@@ -1,19 +1,4 @@
-import type { AnyObject, ExpandRecursively, IfEqual, IndexableObject, RemoveIndex, RegularFn, IfTrue, AnyFunction } from "../../index";
-/**
- * **FnWithDict**
- *
- * Represents any function which is intersected with a dictionary of KV's.
- *
- * **Related**: `SimpleFn`, `NarrowableFn`, `AnyFunction`, `IsFunctionWithDict`
- */
-export type FnWithDictOld<TArgs extends readonly unknown[] = unknown[], TReturn = unknown, TDict extends AnyObject | "no-props" = "no-props"> = IfEqual<TDict, "no-props", RegularFn<TArgs, TReturn>, ((...args: TArgs) => TReturn) & ExpandRecursively<RemoveIndex<TDict & IndexableObject>>>;
-/**
- * **JustFunction**`<T>`
- *
- * Type utility which strips off any dictionary properties that may have existed
- * on the function passed in as `T` and leaves just the pure function signature.
- */
-export type JustFunction<TFn extends AnyFunction> = <T extends readonly unknown[]>(...args: T & Parameters<TFn>) => ReturnType<TFn>;
+import type { AnyObject, IsTrue, If, JustFunction, TypedFunction } from "../../index";
 /**
  * **FnWithDict**`<TFn,TProps,[TClone]>`
  *
@@ -21,5 +6,5 @@ export type JustFunction<TFn extends AnyFunction> = <T extends readonly unknown[
  *
  * **Related**: `SimpleFn`, `NarrowableFn`, `AnyFunction`, `IsFunctionWithDict`
  */
-export type FnWithDict<TFn extends AnyFunction, TProps extends AnyObject, TClone extends boolean | null | undefined = true> = IfTrue<TClone, JustFunction<TFn> & TProps, TFn & TProps>;
+export type FnWithDict<TFn extends TypedFunction, TProps extends AnyObject, TClone extends boolean | null | undefined = true> = If<IsTrue<TClone>, JustFunction<TFn> & TProps, TFn & TProps>;
 //# sourceMappingURL=FnWithDict.d.ts.map

package/dist/types/base-types/fns/FnWithDict.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FnWithDict.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/FnWithDict.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,WAAW,EACX,SAAS,EACT,MAAM,EACN,WAAW,EACZ,oBAAwB;AACzB;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CACvB,KAAK,SAAS,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,EAC5C,OAAO,GAAG,OAAO,EACjB,KAAK,SAAS,SAAS,GAAG,UAAU,GAAG,UAAU,IAC/C,OAAO,CACT,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,KAAK,EAAC,OAAO,CAAC,EACxB,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,GAAG,eAAe,CAAC,CAAC,CACxF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,GAAG,SAAS,WAAW,IACrB,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;AAEpF;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,GAAG,SAAS,WAAW,EACvB,MAAM,SAAS,SAAS,EACxB,MAAM,SAAS,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,IAC9C,MAAM,CACR,MAAM,EACN,YAAY,CAAC,GAAG,CAAC,GAAG,MAAM,EAC1B,GAAG,GAAG,MAAM,CACb,CAAC"}
+{"version":3,"file":"FnWithDict.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/FnWithDict.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,MAAM,EACN,EAAE,EACF,YAAY,EACZ,aAAa,EACd,oBAAwB;AAIzB;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CACpB,GAAG,SAAS,aAAa,EACzB,MAAM,SAAS,SAAS,EACxB,MAAM,SAAS,OAAO,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,IAC9C,EAAE,CACJ,MAAM,CAAC,MAAM,CAAC,EACd,YAAY,CAAC,GAAG,CAAC,GAAG,MAAM,EAC1B,GAAG,GAAG,MAAM,CACb,CAAC"}

package/dist/types/base-types/fns/IdentityFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdentityFunction.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/IdentityFunction.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC"}

package/dist/types/base-types/fns/JustFunction.d.ts

@@ -0,0 +1,9 @@
+import { TypedFunction } from "./TypedFunction";
+/**
+ * **JustFunction**`<T>`
+ *
+ * Type utility which strips off any dictionary properties that may have existed
+ * on the function passed in as `T` and leaves just the pure function signature.
+ */
+export type JustFunction<TFn extends TypedFunction> = <T extends readonly unknown[]>(...args: T & Parameters<TFn>) => ReturnType<TFn>;
+//# sourceMappingURL=JustFunction.d.ts.map

package/dist/types/base-types/fns/JustFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JustFunction.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/JustFunction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,GAAG,SAAS,aAAa,IACvB,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC"}

package/dist/types/base-types/fns/TypedFunction.d.ts

@@ -0,0 +1,9 @@
+/**
+ * **TypedFunction**
+ *
+ * A function which has basic typing information.
+ *
+ * **Related:** `AnyFunction`
+ */
+export type TypedFunction<R = any> = ((...args: any[]) => R);
+//# sourceMappingURL=TypedFunction.d.ts.map

package/dist/types/base-types/fns/TypedFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypedFunction.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/TypedFunction.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC"}

package/dist/types/base-types/fns/index.d.ts

@@ -1,4 +1,8 @@
 export * from "./FnWithDict";
-export * from "./NarrowingFn";
 export * from "./RegularFn";
+export * from "./JustFunction";
+export * from "./IdentityFunction";
+export * from "./AnyFunction";
+export * from "./TypedFunction";
+export * from "./AnyFnWithDict";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/base-types/fns/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/fns/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA"}

package/dist/types/base-types/fns/index.js

@@ -1,3 +1,7 @@
 export * from "./FnWithDict.js";
-export * from "./NarrowingFn.js";
 export * from "./RegularFn.js";
+export * from "./JustFunction.js";
+export * from "./IdentityFunction.js";
+export * from "./AnyFunction.js";
+export * from "./TypedFunction.js";
+export * from "./AnyFnWithDict.js";

package/dist/types/base-types/functional/LeftRight.d.ts

@@ -1,4 +1,4 @@
-import { AsError, Concat, Contains, IfEqual, Includes, Defined, Tuple, NarrowlyContains } from "../../index";
+import { AsError, Concat, Contains, IfEqual, Defined, Tuple, NarrowlyContains } from "../../index";
 type left = 1;
 type right = 2;
 /**
@@ -75,7 +75,7 @@ export type LeftEquals<TEval, TLeftRight extends LeftRight> = IfEqual<TEval, TLe
  * in `TEval` -- a string or tuple of strings -- is found in the string
  * value contained in the left side of `TLeftRight`.
  */
-export type LeftIncludes<TEval, TLeftRight extends LeftRight> = TLeftRight[left] extends string ? TEval extends string | readonly string[] ? Includes<TEval, TLeftRight[left]> : false : false;
+export type LeftIncludes<TEval, TLeftRight extends LeftRight> = TLeftRight[left] extends string ? TEval extends string | readonly string[] ? Contains<TEval, TLeftRight[left]> : false : false;
 type Explicitness = "loose" | "tight";
 /**
  * **LeftContains**
@@ -114,7 +114,7 @@ export type RightEquals<TEval, TLeftRight extends LeftRight> = IfEqual<TEval, TL
  *
  * **Related:** `RightContains`
  */
-export type RightIncludes<TEval, TLeftRight extends LeftRight> = TLeftRight[right] extends string ? TEval extends string | readonly string[] ? Includes<TEval, TLeftRight[right]> : false : false;
+export type RightIncludes<TEval, TLeftRight extends LeftRight> = TLeftRight[right] extends string ? TEval extends string | readonly string[] ? Contains<TEval, TLeftRight[right]> : false : false;
 /**
  * **RightContains**
  *

package/dist/types/base-types/functional/LeftRight.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LeftRight.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/functional/LeftRight.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,oBAAwB;AAEjH,KAAK,IAAI,GAAG,CAAC,CAAC;AACd,KAAK,KAAK,GAAG,CAAC,CAAC;AAEf;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,IACT,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAE3C;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,GAC7E,IAAI,GACJ,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAC5B,IAAI,GACJ,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAC,IAAI,CAAC,CAAC;AAG1C;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GACrE,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,GACtC,KAAK,CAAC;AAER;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,SAAS,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,GACzF,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,KAAK,SAAS,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAElD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CACpB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,UAAU,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GACpC,QAAQ,CAAC,KAAK,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAChC,KAAK,GACT,KAAK,CAAC;AAER,KAAK,YAAY,GAAG,OAAO,GAAG,OAAO,CAAC;AAEtC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,EAC5B,aAAa,SAAS,YAAY,GAAG,OAAO,IAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,GAChC,aAAa,SAAS,OAAO,GAC3B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAC3C,KAAK,CAAC;AAGR;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,KAAK,SAAS,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAGnD;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,CACvB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,UAAU,CAAC,KAAK,CAAC,SAAS,MAAM,GAClC,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GACtC,QAAQ,CAAC,KAAK,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GACjC,KAAK,GACP,KAAK,CAAC;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CACvB,KAAK,EACL,UAAU,SAAS,SAAS,EAC5B,aAAa,SAAS,YAAY,GAAG,OAAO,IAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,GAChC,aAAa,SAAS,OAAO,GAC3B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAC3C,KAAK,CAAC;AAER,MAAM,MAAM,qBAAqB,GAC/B,SAAS,GACT,QAAQ,GACR,UAAU,GACV,UAAU,CAAC;AAGb;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,EACL,GAAG,SAAS,qBAAqB,EACjC,UAAU,SAAS,SAAS,EAC5B,EAAE,GAAG,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,EAC7B,IAAI,GAAG,OAAO,CAAC;IACb,0BAA0B;IAC1B,MAAM,CAAC;QACL,mBAAmB;QACnB,GAAG;QACH,0CAA0C;KAC3C,CAAC;IACF;QAAE,OAAO,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE;CACjD,CAAC,IAEJ,GAAG,SAAS,SAAS,GACjB,WAAW,CAAC,KAAK,EAAC,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GACxD,GAAG,SAAS,QAAQ,GAClB,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GACxD,GAAG,SAAS,UAAU,GACpB,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GAC1D,GAAG,SAAS,UAAU,GACpB,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GAC1D,KAAK,CAAC"}
+{"version":3,"file":"LeftRight.d.ts","sourceRoot":"","sources":["../../../../src/types/base-types/functional/LeftRight.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,oBAAwB;AAEvG,KAAK,IAAI,GAAG,CAAC,CAAC;AACd,KAAK,KAAK,GAAG,CAAC,CAAC;AAEf;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,IACT,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAE3C;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,GAC7E,IAAI,GACJ,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAC5B,IAAI,GACJ,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAC,IAAI,CAAC,CAAC;AAG1C;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GACrE,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,GACtC,KAAK,CAAC;AAER;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,EAAE,SAAS,SAAS,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,GACzF,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,KAAK,SAAS,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAElD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CACpB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,UAAU,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GACpC,QAAQ,CAAC,KAAK,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAChC,KAAK,GACT,KAAK,CAAC;AAER,KAAK,YAAY,GAAG,OAAO,GAAG,OAAO,CAAC;AAEtC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,EAC5B,aAAa,SAAS,YAAY,GAAG,OAAO,IAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,GAChC,aAAa,SAAS,OAAO,GAC3B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAC3C,KAAK,CAAC;AAGR;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,KAAK,SAAS,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CACrB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAGnD;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,CACvB,KAAK,EACL,UAAU,SAAS,SAAS,IAC1B,UAAU,CAAC,KAAK,CAAC,SAAS,MAAM,GAClC,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GACtC,QAAQ,CAAC,KAAK,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GACjC,KAAK,GACP,KAAK,CAAC;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,CACvB,KAAK,EACL,UAAU,SAAS,SAAS,EAC5B,aAAa,SAAS,YAAY,GAAG,OAAO,IAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,GAChC,aAAa,SAAS,OAAO,GAC3B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GACjC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAC3C,KAAK,CAAC;AAER,MAAM,MAAM,qBAAqB,GAC/B,SAAS,GACT,QAAQ,GACR,UAAU,GACV,UAAU,CAAC;AAGb;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,EACL,GAAG,SAAS,qBAAqB,EACjC,UAAU,SAAS,SAAS,EAC5B,EAAE,GAAG,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,EAC7B,IAAI,GAAG,OAAO,CAAC;IACb,0BAA0B;IAC1B,MAAM,CAAC;QACL,mBAAmB;QACnB,GAAG;QACH,0CAA0C;KAC3C,CAAC;IACF;QAAE,OAAO,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE;CACjD,CAAC,IAEJ,GAAG,SAAS,SAAS,GACjB,WAAW,CAAC,KAAK,EAAC,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GACxD,GAAG,SAAS,QAAQ,GAClB,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GACxD,GAAG,SAAS,UAAU,GACpB,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GAC1D,GAAG,SAAS,UAAU,GACpB,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,GAC1D,KAAK,CAAC"}

package/dist/types/base-types/index.d.ts

@@ -1,15 +1,11 @@
-export * from "./CouldHaveValue";
 export * from "./Defined";
 export * from "./Something";
 export * from "./Nothing";
 export * from "./NotNull";
 export * from "./AnyObject";
 export * from "./IndexableObject";
-export * from "./IndexedObject";
 export * from "./EmptyObject";
-export * from "./AnyFunction";
 export * from "./AnyArray";
-export * from "./IdentityFunction";
 export * from "./Scalar";
 export * from "./ScalarNotSymbol";
 export * from "./Container";
@@ -20,6 +16,9 @@ export * from "./Indexable";
 export * from "./FalsyValue";
 export * from "./ObjectKey";
 export * from "./NarrowObject";
+export * from "./Dictionary";
+export * from "./NonArray";
+export * from "./List";
 export * from "./fns/index";
 export * from "./functional/index";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/base-types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC;AACnC,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC;AACxB,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAE/B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/base-types/index.ts"],"names":[],"mappings":"AACA,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC;AACxB,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,QAAQ,CAAC;AAEvB,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC"}

package/dist/types/base-types/index.js

@@ -1,15 +1,11 @@
-export * from "./CouldHaveValue.js";
 export * from "./Defined.js";
 export * from "./Something.js";
 export * from "./Nothing.js";
 export * from "./NotNull.js";
 export * from "./AnyObject.js";
 export * from "./IndexableObject.js";
-export * from "./IndexedObject.js";
 export * from "./EmptyObject.js";
-export * from "./AnyFunction.js";
 export * from "./AnyArray.js";
-export * from "./IdentityFunction.js";
 export * from "./Scalar.js";
 export * from "./ScalarNotSymbol.js";
 export * from "./Container.js";
@@ -20,5 +16,8 @@ export * from "./Indexable.js";
 export * from "./FalsyValue.js";
 export * from "./ObjectKey.js";
 export * from "./NarrowObject.js";
+export * from "./Dictionary.js";
+export * from "./NonArray.js";
+export * from "./List.js";
 export * from "./fns/index.js";
 export * from "./functional/index.js";

package/dist/types/boolean-logic/branching/Default.d.ts

@@ -0,0 +1,11 @@
+import { Something } from "../..";
+type Process<TVal, TDefault> = TVal extends Something ? TVal : TDefault;
+/**
+ * **Default**`<TVal,TDefault,[TProtect]>`
+ *
+ * Branching operator which allows giving a value `TVal` a _default value_ when
+ * it's value is either `null` or `undefined`.
+ */
+export type Default<TVal, TDefault> = Process<TVal, TDefault>;
+export {};
+//# sourceMappingURL=Default.d.ts.map

package/dist/types/boolean-logic/branching/Default.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Default.d.ts","sourceRoot":"","sources":["../../../../src/types/boolean-logic/branching/Default.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAElC,KAAK,OAAO,CAAC,IAAI,EAAC,QAAQ,IAAI,IAAI,SAAS,SAAS,GAClD,IAAI,GACJ,QAAQ,CAAC;AAIX;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CACjB,IAAI,EACJ,QAAQ,IACN,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC"}