type-plus 4.5.0 → 4.6.0

package/README.md

@@ -285,12 +285,14 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `CreateTuple<L, T>`: Creates `Tuple<T>` with `L` number of elements.
 - `DropFirst<A>`: drops the first value type of `A`.
 - `DropLast<A>`: drops the last value type of `A`.
-- `Filter<A, Criteria>`: gets the array of types satisfying `Criteria` in `A`.
+- `DropMatch<A, Criteria>`: drops entries matching `Criteria` in array or tuple `A`.
+- `Filter<A, Criteria>`: filter the array or tuple `A`, keeping entries satisfying `Criteria`. **deprecated. Renaming to `KeepMatch`**
 - `FindFirst<A, Criteria>`: gets the first type satisfying `Criteria`.
 - `FindLast<A, Criteria>`: gets the last type satisfying `Criteria`.
 - `Head<A>`: gets the first entry in the array.
 - `IntersectOfProps<A, K>`: gets the intersect of `A[K]` types (deprecate `MapToProp`)
 - `IsArray<T>`: `logical` predicate for `Array`.
+- `KeepMatch<A, Criteria>`: keeps entries satisfying `Criteria` in array or tuple `A`.
 - `Last<A>`: gets the last type of an array or tuple.
 - `literalArray(...entries)`: return an array whose items are restricted to the provided literals.
 - `PadLeft<A, Total, PadWith>`: pads `A` with `PadWith` if the length of `A` is less than `L`.

package/cjs/ComposableTypes.d.ts

@@ -1,8 +1,2 @@
-/**
- * Types that can contain custom properties.
- */
 export declare type ComposableTypes = object | Function;
-/**
- * Types that cannot contain custom properties.
- */
 export declare type NonComposableTypes = boolean | number | string | symbol | bigint | undefined | null;

package/cjs/JSONTypes.js

@@ -21,7 +21,6 @@ function get(obj) {
     if (typeof obj !== 'object' || obj === null)
         return undefined;
     var p = props.shift();
-    // @ts-ignore
     return get.apply(void 0, __spreadArray([obj[p]], props, false));
 }
 //# sourceMappingURL=JSONTypes.js.map

package/cjs/JSONTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../ts/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,aAAa;IACb,OAAO,GAAG,8BAAC,GAAG,CAAC,CAAC,CAAC,GAAK,KAAK,SAAM,CAAA;AACnC,CAAC"}
+{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../ts/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IAExB,OAAO,GAAG,8BAAC,GAAG,CAAC,CAAC,CAAC,GAAK,KAAK,SAAM,CAAA;AACnC,CAAC"}

package/cjs/UnionKeys.d.ts

@@ -1,5 +1 @@
-/**
- * `UnionKeys<T>` will distribute keys of an union to individual types.
- * This should be used in conjuncture with distributive types.
- */
 export declare type UnionKeys<T> = keyof T | (T extends unknown ? keyof T : never);

package/cjs/array/CommonPropKeys.d.ts

@@ -1,10 +1,3 @@
 import { Tail } from './Tail';
-/**
- * Gets the common property keys of the elements in `A`.
- */
 export declare type CommonPropKeys<A extends Record<string, unknown>[]> = A['length'] extends 0 ? never : (A['length'] extends 1 ? keyof A[0] : (A['length'] extends 2 ? keyof A[0] & keyof A[1] : keyof A[0] & keyof A[1] & CommonPropKeys<Tail<Tail<A>>>));
-/**
- * Gets the common property keys of the elements in `A`.
- * This will be deprecated in 4.0. Please use CommonPropKeys instead.
- */
 export declare type CommonKeys<A extends Record<string, any>[]> = CommonPropKeys<A>;

package/cjs/array/CreateTuple.d.ts

@@ -1,8 +1,10 @@
-import type { IsPositive } from '../math';
-/**
- * Creates `Tuple<T>` with `L` number of elements.
- */
-export declare type CreateTuple<L extends number, T = any> = IsPositive<L> extends true ? CreateTuple.Device<[], L, T> : never;
-export declare namespace CreateTuple {
-    type Device<R extends any[], L extends number, T> = R['length'] extends L ? R : Device<[T, ...R], L, T>;
-}
+import { IsPositive } from '../math';
+declare type BuildPowersOf2LengthArrays<N extends number, R extends never[][]> = R[0][N] extends never ? R : BuildPowersOf2LengthArrays<N, [[...R[0], ...R[0]], ...R]>;
+declare type ConcatLargestUntilDone<N extends number, R extends never[][], B extends never[]> = B['length'] extends N ? B : [...R[0], ...B][N] extends never ? ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, B> : ConcatLargestUntilDone<N, R extends [R[0], ...infer U] ? U extends never[][] ? U : never : never, [...R[0], ...B]>;
+declare type Replace<R extends any[], T> = {
+    [K in keyof R]: T;
+};
+export declare type CreateTuple<L extends number, T = any> = number extends L ? T[] : IsPositive<L> extends true ? {
+    [K in L]: BuildPowersOf2LengthArrays<K, [[never]]> extends infer U ? (U extends never[][] ? Replace<ConcatLargestUntilDone<K, U, []>, T> : never) : never;
+}[L] : never;
+export {};

package/cjs/array/DropMatch.d.ts

@@ -0,0 +1,5 @@
+import { Equal } from '../predicates';
+declare type ExcludeUnionOfEmptyTuple<A> = Equal<A, []> extends true ? A : Exclude<A, []>;
+export declare type DropMatch<A extends Array<any>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? never[] : (undefined extends Criteria ? Array<NonNullable<A[0]>> : (Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : A))) : DropMatchTuple<A, Criteria>;
+declare type DropMatchTuple<A extends Array<any>, Criteria> = (A['length'] extends 0 ? A : (A extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (undefined extends Criteria ? (Head extends Criteria ? [] : [Head]) : ExcludeUnionOfEmptyTuple<(Head extends Criteria ? [] : [Head])>) : (Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>])) : never[]));
+export {};

package/cjs/array/DropMatch.js

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

package/cjs/array/DropMatch.js.map

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

package/cjs/array/Filter.d.ts

@@ -1 +1,2 @@
-export declare type Filter<A extends Array<any>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? A : never[]) : (A['length'] extends 0 ? never : (A extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (Head extends Criteria ? [Head] : never[]) : (Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria>)) : never));
+export declare type Filter<A extends Array<any>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? A : (Criteria extends A[0] ? Array<Criteria> : never[])) : (A['length'] extends 0 ? never : (A extends [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (Head extends Criteria ? [Head] : never[]) : (Head extends Criteria ? [Head, ...Filter<Tail, Criteria>] : Filter<Tail, Criteria>)) : never));
+export declare type KeepMatch<A extends Array<any>, Criteria> = Filter<A, Criteria>;

package/cjs/array/FindFirst.d.ts

@@ -1,5 +1,2 @@
 export declare type FindFirst<A extends Array<any>, Criteria> = (number extends A['length'] ? A[0] extends Criteria ? A[0] : never : (A['length'] extends 0 ? never : (A extends [any, ...infer Tail] ? A[0] extends Criteria ? A[0] : FindFirst<Tail, Criteria> : never)));
-/**
- * @deprecated use FindFirst
- */
 export declare type First<A extends any[], Criteria> = FindFirst<A, Criteria>;

package/cjs/array/IntersectOfProps.d.ts

@@ -1,11 +1,4 @@
 import { KeyTypes } from '../object';
 import { Tail } from './Tail';
-/**
- * Gets the intersect of properties of the elements in `A`
- */
 export declare type IntersectOfProps<A extends Record<any, unknown>[], P extends KeyTypes> = A['length'] extends 0 ? never : (A['length'] extends 1 ? A[0][P] : A[0][P] & IntersectOfProps<Tail<A>, P>);
-/**
- * Gets the intersect of properties of the elements in `A`
- * This will be deprecated in 4.0. Please use IntersectOfProps instead.
- */
 export declare type MapToProp<A extends Record<any, any>[], P extends KeyTypes> = IntersectOfProps<A, P>;

package/cjs/array/Last.d.ts

@@ -1,4 +1 @@
-/**
- * Get the last type of an array or tuple.
- */
 export declare type Last<T extends any[]> = T extends [...any[], infer R] ? R : T[0];

package/cjs/array/Tail.d.ts

@@ -1,5 +1,2 @@
 import { UnionOfValues } from './UnionOfValues';
-/**
- * Gets the types of a tuple except the first entry.
- */
 export declare type Tail<T extends any[]> = T['length'] extends 0 ? never : (T extends [any, ...infer Tail] ? (Tail extends UnionOfValues<T>[] ? Tail : never) : T);

package/cjs/array/UnionOfProps.d.ts

@@ -1,11 +1,4 @@
 import { KeyTypes } from '../object';
 import { Tail } from './Tail';
-/**
- * Gets the union of properties of the elements in `A`
- */
 export declare type UnionOfProps<A extends Record<any, any>[], P extends KeyTypes> = A['length'] extends 0 ? never : (A['length'] extends 1 ? A[0][P] : A[0][P] | UnionOfProps<Tail<A>, P>);
-/**
- * Gets the union of properties in the element of `A`
- * This will be deprecated in 4.0. Please use UnionOfProps instead.
- */
 export declare type PropUnion<A extends Record<any, any>[], P extends KeyTypes> = UnionOfProps<A, P>;

package/cjs/array/UnionOfValues.d.ts

@@ -1,9 +1,2 @@
-/**
- * Gets the union of value types in `A`
- */
 export declare type UnionOfValues<A extends Array<any>> = A extends Array<infer E> ? E : never;
-/**
- * Gets the union of value types in `A`
- * This will be deprecated in 4.0. Please use UnionOfValues instead.
- */
 export declare type ArrayValue<A extends any[]> = UnionOfValues<A>;

package/cjs/array/index.d.ts

@@ -3,7 +3,8 @@ export type { Concat } from './Concat';
 export type { CreateTuple } from './CreateTuple';
 export type { DropFirst } from './DropFirst';
 export type { DropLast } from './DropLast';
-export type { Filter } from './Filter';
+export type { DropMatch } from './DropMatch';
+export type { Filter, KeepMatch } from './Filter';
 export type { FindFirst, First } from './FindFirst';
 export type { FindLast } from './FindLast';
 export type { Head } from './Head';

package/cjs/array/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAYA,iDAA8B;AAE9B,gDAA6B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAaA,iDAA8B;AAE9B,gDAA6B"}

package/cjs/assertion/assertType.d.ts

@@ -1,9 +1,5 @@
 import { AnyConstructor } from '../class';
 import { AnyFunction } from '../function';
-/**
- * assert the subject satisfies the specified type T
- * @type T the type to check against.
- */
 export declare function assertType<T>(subject: T): asserts subject is T;
 export declare function assertType<T>(subject: unknown, validator: (s: T) => boolean): asserts subject is T;
 export declare function assertType<T extends new (...args: any) => any>(subject: unknown, constructor: T): asserts subject is InstanceType<T>;

package/cjs/assertion/assertType.js

@@ -48,7 +48,6 @@ assertType.isTrue = function (subject) {
         throw TypeError("subject is not true");
 };
 assertType.noTrue = function (subject) {
-    // @ts-ignore
     if (subject === true)
         throw TypeError("subject is true");
 };
@@ -57,7 +56,6 @@ assertType.isFalse = function (subject) {
         throw TypeError("subject is not false");
 };
 assertType.noFalse = function (subject) {
-    // @ts-ignore
     if (subject === false)
         throw TypeError("subject is false");
 };
@@ -91,12 +89,6 @@ assertType.noError = function (subject) {
 };
 assertType.isNever = function (subject) {
 };
-/**
- * creates a custom assertion function with standard TypeError.
- * Currently this requires explicity type annotation,
- * thus making it hard to use:
- * https://github.com/microsoft/TypeScript/issues/41047
- */
 assertType.custom = function (validator) {
     return function (subject) {
         if (!validator(subject))

package/cjs/assertion/assertType.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertType.js","sourceRoot":"","sources":["../../ts/assertion/assertType.ts"],"names":[],"mappings":";;;AAAA,mCAAiC;AACjC,kCAAwD;AAUxD,SAAgB,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC1E,IAAI,SAAS,EAAE;QACb,IAAI,CAAC,IAAA,qBAAa,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACtF,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;KACxE;IACD,OAAM;AACR,CAAC;AAND,gCAMC;AAED,UAAU,CAAC,WAAW,GAAG,UAAU,OAAkB;IACnD,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AACjF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,UAAa,OAA8B;IAClE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,UAAU,OAAgB;IAC/C,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,UAAa,OAA4B;IAC9D,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACzE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,aAAa;IACb,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAChE,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,aAAa;IACb,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,UAAU,OAAoB;IACpD,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC/E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,UAAa,OAAgC;IACnE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,UAAU,CAAC,aAAa,GAAG,UAAU,OAAuB;IAC1D,IAAI,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC9E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;AAC7C,CAAC,CAAA;AAED;;;;;GAKG;AACH,UAAU,CAAC,MAAM,GAAG,UAClB,SAA4B;IAE5B,OAAO,UAAU,OAAO;QACtB,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;QACrG,OAAM;IACR,CAAC,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"assertType.js","sourceRoot":"","sources":["../../ts/assertion/assertType.ts"],"names":[],"mappings":";;;AAAA,mCAAiC;AACjC,kCAAwD;AAUxD,SAAgB,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC1E,IAAI,SAAS,EAAE;QACb,IAAI,CAAC,IAAA,qBAAa,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACtF,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;KACxE;IACD,OAAM;AACR,CAAC;AAND,gCAMC;AAED,UAAU,CAAC,WAAW,GAAG,UAAU,OAAkB;IACnD,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AACjF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,UAAa,OAA8B;IAClE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,UAAU,OAAgB;IAC/C,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,UAAa,OAA4B;IAC9D,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACzE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IAExD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAChE,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAE1D,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,UAAU,OAAoB;IACpD,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC/E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,UAAa,OAAgC;IACnE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,UAAU,CAAC,aAAa,GAAG,UAAU,OAAuB;IAC1D,IAAI,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC9E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;AAC7C,CAAC,CAAA;AAQD,UAAU,CAAC,MAAM,GAAG,UAClB,SAA4B;IAE5B,OAAO,UAAU,OAAO;QACtB,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;QACrG,OAAM;IACR,CAAC,CAAA;AACH,CAAC,CAAA"}

package/cjs/functional/ChainFn.d.ts

@@ -1,5 +1,2 @@
 export declare type ChainFn<T> = (param: T) => T;
-/**
- * An endofunctor is a functor from one category back to the same category.
- */
 export declare type EndoFn<T> = (param: T) => T;

package/cjs/functional/compose.d.ts

@@ -1,6 +1,3 @@
 import { Head, Last } from '../array';
 import { AnyFunction } from '../function/AnyFunction';
-/**
- * compose functions
- */
 export declare function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>>;

package/cjs/functional/compose.js

@@ -1,9 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.compose = void 0;
-/**
- * compose functions
- */
 function compose() {
     var fns = [];
     for (var _i = 0; _i < arguments.length; _i++) {

package/cjs/functional/compose.js.map

@@ -1 +1 @@
-{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":";;;AAGA;;GAEG;AACH,SAAgB,OAAO;IAA2B,aAAU;SAAV,UAAU,EAAV,qBAAU,EAAV,IAAU;QAAV,wBAAU;;IAC1D,OAAO;QAAC,cAAc;aAAd,UAAc,EAAd,qBAAc,EAAd,IAAc;YAAd,yBAAc;;QAAK,OAAA,GAAG,CAAC,MAAM,CAAC,UAAC,IAAI,EAAE,EAAE,IAAK,OAAA,CAAC,EAAE,eAAI,IAAI,EAAE,EAAb,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAQ;IAAvD,CAAuD,CAAA;AACpF,CAAC;AAFD,0BAEC"}
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":";;;AAMA,SAAgB,OAAO;IAA2B,aAAU;SAAV,UAAU,EAAV,qBAAU,EAAV,IAAU;QAAV,wBAAU;;IAC1D,OAAO;QAAC,cAAc;aAAd,UAAc,EAAd,qBAAc,EAAd,IAAc;YAAd,yBAAc;;QAAK,OAAA,GAAG,CAAC,MAAM,CAAC,UAAC,IAAI,EAAE,EAAE,IAAK,OAAA,CAAC,EAAE,eAAI,IAAI,EAAE,EAAb,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAQ;IAAvD,CAAuD,CAAA;AACpF,CAAC;AAFD,0BAEC"}

package/cjs/index.js

@@ -15,7 +15,6 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.requiredDeep = exports.required = void 0;
-// import * as types from './types'
 var unpartial_1 = require("unpartial");
 Object.defineProperty(exports, "required", { enumerable: true, get: function () { return unpartial_1.required; } });
 Object.defineProperty(exports, "requiredDeep", { enumerable: true, get: function () { return unpartial_1.requiredDeep; } });
@@ -33,5 +32,4 @@ __exportStar(require("./predicates"), exports);
 __exportStar(require("./promise"), exports);
 __exportStar(require("./testing"), exports);
 __exportStar(require("./utils"), exports);
-// export { types, types as T }
 //# sourceMappingURL=index.js.map

package/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,mCAAmC;AACnC,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AAEvB,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,2CAAwB;AACxB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAE5B,4CAAyB;AACzB,4CAAyB;AAIzB,0CAAuB;AACvB,+BAA+B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AACA,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AAEvB,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,2CAAwB;AACxB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAE5B,4CAAyB;AACzB,4CAAyB;AAIzB,0CAAuB"}

package/cjs/math/Add.d.ts

@@ -4,9 +4,6 @@ import type { Digit, DigitArray } from './Digit';
 import type { IsPositive } from './IsPositive';
 import type { IsWhole } from './IsWhole';
 import type { Max } from './Max';
-/**
- * Add two number literals.
- */
 export declare type Add<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends false ? Fail : DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ? DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ? Max<DA['length'], DB['length']> extends infer M ? M extends number ? PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ? PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ? DigitArray.ToNumber<Add.DigitArray<PDA, PDB>> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail;
 export declare namespace Add {
     type DigitArray<A extends number[], B extends number[]> = (A extends [any, ...infer ATail] ? (ATail extends number[] ? (B extends [any, ...infer BTail] ? (BTail extends number[] ? [Digit<A[0], B[0]>, ...DigitArray<ATail, BTail>] : []) : [A[0], ...DigitArray<[], ATail>]) : []) : (B extends [any, ...infer BTail] ? (BTail extends number[] ? [B[0], ...DigitArray<[], BTail>] : []) : []));
@@ -15,7 +12,4 @@ export declare namespace Add {
         ...Digit.ToTuple[B]
     ]['length'];
 }
-/**
- * Increment `A` by 1.
- */
 export declare type Increment<A extends number, Fail = never> = Add<A, 1, Fail>;

package/cjs/math/Digit.d.ts

@@ -3,33 +3,30 @@ import { And } from '../predicates';
 import { IsPositive } from './IsPositive';
 import { IsWhole } from './IsWhole';
 export declare namespace Digit {
-    type ToTuple = {
+    type ToTuple<T = 1> = {
         [k in number]: any[];
     } & {
         0: [];
-        1: [1];
-        2: [1, 1];
-        3: [1, 1, 1];
-        4: [1, 1, 1, 1];
-        5: [1, 1, 1, 1, 1];
-        6: [1, 1, 1, 1, 1, 1];
-        7: [1, 1, 1, 1, 1, 1, 1];
-        8: [1, 1, 1, 1, 1, 1, 1, 1];
-        9: [1, 1, 1, 1, 1, 1, 1, 1, 1];
-        10: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        11: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        12: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        13: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        14: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        15: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        16: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        17: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        18: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
-        19: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1];
+        1: [T];
+        2: [T, T];
+        3: [T, T, T];
+        4: [T, T, T, T];
+        5: [T, T, T, T, T];
+        6: [T, T, T, T, T, T];
+        7: [T, T, T, T, T, T, T];
+        8: [T, T, T, T, T, T, T, T];
+        9: [T, T, T, T, T, T, T, T, T];
+        10: [T, T, T, T, T, T, T, T, T, T];
+        11: [T, T, T, T, T, T, T, T, T, T, T];
+        12: [T, T, T, T, T, T, T, T, T, T, T, T];
+        13: [T, T, T, T, T, T, T, T, T, T, T, T, T];
+        14: [T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        15: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        16: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        17: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        18: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
+        19: [T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T];
     };
-    /**
-     * A > B for [1-9]
-     */
     type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
     type GreaterThanMap = {
         [k in number]: number;

package/cjs/math/IsPositive.d.ts

@@ -1,6 +1 @@
-/**
- * Check if type of positive number literal
- * `number` type is false as it can be negative.
- * @see https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
- */
 export declare type IsPositive<N extends number, Then = true, Else = false> = number extends N ? Else : `${N}` extends `-${number}` ? Else : Then;

package/cjs/math/IsWhole.d.ts

@@ -1,6 +1 @@
-/**
- * Check if type is whole number literal.
- * `number` type is false as it can be fractional.
- * @see https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
- */
 export declare type IsWhole<N extends number, Then = true, Else = false> = number extends N ? Else : `${N}` extends `${number}.${number}` ? Else : Then;

package/cjs/math/Subtract.d.ts

@@ -9,7 +9,4 @@ export declare namespace Subtract {
     type DigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : DigitArray<[...R, Digit<A[0], B[0]>], Tail<A>, Tail<B>>;
     type Digit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
 }
-/**
- * A - 1
- */
 export declare type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>;

package/cjs/nodejs/isNodeError.d.ts

@@ -22,9 +22,4 @@ export declare type SystemErrors = {
     'ETIMEDOUT': Error;
 };
 export declare type SystemErrorCodes = keyof SystemErrors;
-/**
- * Type guard NodeJS SystemErrors.
- * The list is not complete. Will add as needed.
- * Feel free to contribute.
- */
 export declare function isSystemError<C extends SystemErrorCodes>(code: C, err: unknown): err is SystemErrors[C];

package/cjs/nodejs/isNodeError.js

@@ -1,11 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.isSystemError = void 0;
-/**
- * Type guard NodeJS SystemErrors.
- * The list is not complete. Will add as needed.
- * Feel free to contribute.
- */
 function isSystemError(code, err) {
     return !!err && err.code === code;
 }

package/cjs/nodejs/isNodeError.js.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":";;;AAmBA;;;;GAIG;AACH,SAAgB,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC;AAFD,sCAEC"}
+{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":";;;AAwBA,SAAgB,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC7E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC5C,CAAC;AAFD,sCAEC"}

package/cjs/nominal-types/Brand.d.ts

@@ -1,20 +1,10 @@
 import { Widen } from '../utils';
 import { typeSym, valueSym } from './types';
-/**
- * Create a "branded" version of a type.
- * TypeScript won't allow implicit conversion to this type
- */
 export declare type Brand<B extends string, T> = T extends undefined | null | number | bigint | boolean ? {
     [typeSym]: B;
     [valueSym]: T;
 } : T & {
     [typeSym]: B;
 };
-/**
- * Creates a brand creator with the specified type.
- */
 export declare function brand<B extends string>(type: B): <T>(subject: T) => Brand<B, Widen<T>>;
-/**
- * Creates a branded value of specified type.
- */
 export declare function brand<B extends string, T>(type: B, subject: T): Brand<B, Widen<T>>;

package/cjs/nominal-types/Brand.js

@@ -1,6 +1,4 @@
 "use strict";
-// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
-// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.brand = void 0;
 var types_1 = require("./types");
@@ -8,7 +6,6 @@ function brand(type, subject) {
     if (subject === undefined)
         return function (subject) { return brand(type, subject); };
     if (typeof subject === 'object' && subject !== null) {
-        // if subject is not an object, the branding will exist only in type-level.
         subject[types_1.typeSym] = type;
     }
     return subject;

package/cjs/nominal-types/Brand.js.map

@@ -1 +1 @@
-{"version":3,"file":"Brand.js","sourceRoot":"","sources":["../../ts/nominal-types/Brand.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAGvE,iCAA2C;AAmB3C,SAAgB,KAAK,CAAC,IAAY,EAAE,OAAiB;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAE1F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAiC,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AARD,sBAQC"}
+{"version":3,"file":"Brand.js","sourceRoot":"","sources":["../../ts/nominal-types/Brand.ts"],"names":[],"mappings":";;;AAIA,iCAA2C;AAmB3C,SAAgB,KAAK,CAAC,IAAY,EAAE,OAAiB;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAE1F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QAElD,OAAiC,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AARD,sBAQC"}

package/cjs/nominal-types/Flavor.d.ts

@@ -1,19 +1,7 @@
 import { Widen } from '../utils';
 import { typeSym } from './types';
-/**
- * Create a "flavored" version of a type.
- * TypeScript will disallow mixing flavors,
- * but will allow unflavored values of that type to be passed in where a flavored version is expected.
- * This is a less restrictive form of branding.
- */
 export declare type Flavor<F extends string, T> = T & {
     [typeSym]?: F;
 };
-/**
- * Creates a brand creator with the specified type.
- */
 export declare function flavor<F extends string>(type: F): <T>(subject: T) => Flavor<F, Widen<T>>;
-/**
- * Creates a branded value of specified type.
- */
 export declare function flavor<F extends string, T>(type: F, subject: T): Flavor<F, Widen<T>>;

package/cjs/nominal-types/Flavor.js

@@ -1,6 +1,4 @@
 "use strict";
-// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
-// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.flavor = void 0;
 var types_1 = require("./types");
@@ -8,7 +6,6 @@ function flavor(type, subject) {
     if (subject === undefined)
         return function (subject) { return flavor(type, subject); };
     if (typeof subject === 'object' && subject !== null) {
-        // if subject is not an object, the branding will exist only in type-level.
         subject[types_1.typeSym] = type;
     }
     return subject;

package/cjs/nominal-types/Flavor.js.map

@@ -1 +1 @@
-{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAGvE,iCAAiC;AAoBjC,SAAgB,MAAM,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAC3F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAiC,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAPD,wBAOC"}
+{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":";;;AAIA,iCAAiC;AAoBjC,SAAgB,MAAM,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAC3F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QAElD,OAAiC,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAPD,wBAOC"}

package/cjs/object/ExcludePropType.d.ts

@@ -1,6 +1,3 @@
-/**
- * Exclude type U from properties in T.
- */
 export declare type ExcludePropType<T extends Record<keyof any, any>, U> = {
     [k in keyof T]: Exclude<T[k], U>;
 };

package/cjs/object/IsDisjoint.d.ts

@@ -1,8 +1,4 @@
 import { And, Not } from '../predicates';
 import { AnyRecord } from './AnyRecord';
 import { HasKey } from './hasKey';
-/**
- * Are the two records disjoint from each other.
- * Disjoint means no common property.
- */
 export declare type IsDisjoint<A extends AnyRecord, B extends AnyRecord> = And<Not<HasKey<A, keyof B>>, Not<HasKey<B, keyof A>>>;

package/cjs/object/KeyTypes.d.ts

@@ -1,6 +1 @@
-/**
- * Type of all keys.
- * To get the keys of an object or array, use the `keyof` keyword.
- * This is just a convenient type as `keyof any` is not obvious.
- */
 export declare type KeyTypes = keyof any;

package/cjs/object/KeyofOptional.d.ts

@@ -1,5 +1,2 @@
-/**
- * @deprecated renamed to `KeysOfOptional`
- */
 export declare type KeyofOptional<T> = T extends Record<infer U, any> ? U : never;
 export declare type KeysOfOptional<T> = T extends Record<infer U, any> ? U : never;

package/cjs/object/KnownKeys.js

@@ -1,6 +1,3 @@
 "use strict";
-// Original by Klaus Meinhardt @ajafff
-// known from Gerrit Birkeland @Gerrit0
-// https://github.com/Microsoft/TypeScript/issues/25987#issuecomment-408339599
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=KnownKeys.js.map

package/cjs/object/KnownKeys.js.map

@@ -1 +1 @@
-{"version":3,"file":"KnownKeys.js","sourceRoot":"","sources":["../../ts/object/KnownKeys.ts"],"names":[],"mappings":";AAAA,sCAAsC;AACtC,uCAAuC;AACvC,8EAA8E"}
+{"version":3,"file":"KnownKeys.js","sourceRoot":"","sources":["../../ts/object/KnownKeys.ts"],"names":[],"mappings":""}

package/cjs/object/Partial.d.ts

@@ -1,15 +1,6 @@
 import { UnionKeys } from '../UnionKeys';
 import { Omit } from './omit';
 import { Pick } from './pick';
-/**
- * Apply `Partial<>` on the selected properties.
- */
 export declare type PartialPick<T, U extends UnionKeys<T>> = T extends T ? Omit<T, U> & Partial<Pick<T, U>> : never;
-/**
- * @deprecated replaced by `PartialOmit`
- */
 export declare type PartialExcept<T, U extends UnionKeys<T>> = T extends T ? Pick<T, U> & Partial<Omit<T, U>> : never;
-/**
- * Apply `Partial<>` on all not selected properties.
- */
 export declare type PartialOmit<T, U extends UnionKeys<T>> = T extends T ? Pick<T, U> & Partial<Omit<T, U>> : never;

package/cjs/object/RecursiveIntersect.d.ts

@@ -1,15 +1,4 @@
 import { AnyRecord } from './AnyRecord';
-/**
- * Intersect type recursively.
- * The recursion terminates at level 7 due to design limit of TypeScript.
- *
- * Normal use case is intersecting betwee two object types.
- * While it works for value types and top level array,
- * top level array does not recursive into the elements.
- * NOTE: in latest TypeScript,
- * `undefined` is not an accepted value.
- * The resulting type would be `never`
- */
 export declare type RecursiveIntersect<T, U> = (T & (T extends Array<infer Y> ? Array<Y & U> & U : T extends AnyRecord ? {
     [P in keyof T]: T[P] extends Array<infer R> ? Array<RecursiveIntersect<R, U>> & U : T[P] extends AnyRecord ? RecursiveIntersect<T[P], U> : T[P] & U;
 } & U : U));

package/cjs/object/Required.js

@@ -1,4 +1,3 @@
 "use strict";
-// Thanks [jack-williams](https://github.com/jack-williams) for the [solution](https://github.com/Microsoft/TypeScript/issues/29269#issuecomment-451602962)
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=Required.js.map

package/cjs/object/Required.js.map

@@ -1 +1 @@
-{"version":3,"file":"Required.js","sourceRoot":"","sources":["../../ts/object/Required.ts"],"names":[],"mappings":";AAAA,2JAA2J"}
+{"version":3,"file":"Required.js","sourceRoot":"","sources":["../../ts/object/Required.ts"],"names":[],"mappings":""}

package/cjs/object/facade.d.ts

@@ -1,7 +1,4 @@
 import { AnyRecord } from './AnyRecord';
-/**
- * creates a facade of the subject.
- */
 export declare function facade<T extends AnyRecord, P1 extends keyof T>(subject: T, prop1: P1): Pick<T, P1>;
 export declare function facade<T extends AnyRecord, P1 extends keyof T, P2 extends keyof T>(subject: T, prop1: P1, prop2: P2): Pick<T, P1 | P2>;
 export declare function facade<T extends AnyRecord, P1 extends keyof T, P2 extends keyof T, P3 extends keyof T>(subject: T, prop1: P1, prop2: P2, prop3: P3): Pick<T, P1 | P2 | P3>;