type-plus 4.1.0 → 4.3.1

package/README.md

@@ -326,6 +326,7 @@ nominalMatch(b1, b2) // false
 ## Functional Types
 
 - `ChainFn<T>: T`: chain function that returns the input type.
+- `compose(...fns): F`: compose functions
 
 ## Type Utilities
 
@@ -345,7 +346,7 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 
 - `CommonPropKeys<A>`: gets common keys inside the records in the array `A` (deprecate `CommonKeys`).
 - `Concat<A, B>`: `[...A, ...B]`.
-- `CreateTuple<L, T>`: creates `Tuple<T>` with `L` number of elements.
+- `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`.
@@ -354,13 +355,14 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `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`.
+- `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`.
 - `reduceWhile()`: `reduce()` with predicate for early termination. \
   A simple version of the same function in the `ramda` package.
 - `Reverse<A>`: reverses the order of `A`.
 - `Some<A, Criteria>`: true if some elements in `A` matches `Criteria`.
-- `Tail<A>`: gets the remaining entries in the array except the first.
+- `Tail<A>`: Gets the types of a tuple except the first entry.
 - `UnionOfProps<A, K>`: gets the union of `A[K]` types (deprecate `PropUnion`).
 - `UnionOfValues<A>`: gets the union of value types in `A` (deprecate `ArrayValue`).
 

package/cjs/array/CreateTuple.d.ts

@@ -1,4 +1,8 @@
-import { IsPositive } from '../math';
-export declare type CreateTuple<L extends number, T = any> = IsPositive<L> extends true ? Device<[], L, T> : never;
-declare type Device<R extends any[], L extends number, T> = R['length'] extends L ? R : Device<[T, ...R], L, T>;
-export {};
+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>;
+}

package/cjs/array/Last.d.ts

@@ -0,0 +1,4 @@
+/**
+ * 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/Last.js

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

package/cjs/array/Last.js.map

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

package/cjs/array/Some.d.ts

@@ -1,6 +1,7 @@
-import { Equal } from '../predicates';
-import { Tail } from './Tail';
-import { UnionOfValues } from './UnionOfValues';
-export declare type Some<A extends any[], Criteria, Mode extends 'strict' | 'loose' = 'loose', Then = true, Else = false> = Mode extends 'strict' ? SomeStrict<A, Criteria, Then, Else> : number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else : A['length'] extends 0 ? Else : A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>;
-declare type SomeStrict<A extends any[], Criteria, Then, Else> = number extends A['length'] ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else) : (A['length'] extends 0 ? Else : (Equal<A[0], Criteria> extends true ? Then : SomeStrict<Tail<A>, Criteria, Then, Else>));
-export {};
+import type { Equal } from '../predicates';
+import type { Tail } from './Tail';
+import type { UnionOfValues } from './UnionOfValues';
+export declare type Some<A extends any[], Criteria, Mode extends 'strict' | 'loose' = 'loose', Then = true, Else = false> = Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> : number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else : A['length'] extends 0 ? Else : A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>;
+export declare namespace Some {
+    type Strict<A extends any[], Criteria, Then, Else> = number extends A['length'] ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else) : (A['length'] extends 0 ? Else : (Equal<A[0], Criteria> extends true ? Then : Strict<Tail<A>, Criteria, Then, Else>));
+}

package/cjs/array/Tail.d.ts

@@ -1,2 +1,5 @@
 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/index.d.ts

@@ -9,6 +9,7 @@ export type { FindLast } from './FindLast';
 export type { Head } from './Head';
 export type { IntersectOfProps, MapToProp } from './IntersectOfProps';
 export type { IsArray } from './IsArray';
+export type { Last } from './Last';
 export * from './literalArray';
 export type { PadLeft } from './PadLeft';
 export * from './reduceWhile';

package/cjs/array/index.js.map

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

package/cjs/functional/compose.d.ts

@@ -0,0 +1,6 @@
+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

@@ -0,0 +1,21 @@
+"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++) {
+        fns[_i] = arguments[_i];
+    }
+    return function () {
+        var args = [];
+        for (var _i = 0; _i < arguments.length; _i++) {
+            args[_i] = arguments[_i];
+        }
+        return fns.reduce(function (args, fn) { return [fn.apply(void 0, args)]; }, args)[0];
+    };
+}
+exports.compose = compose;
+//# sourceMappingURL=compose.js.map

package/cjs/functional/compose.js.map

@@ -0,0 +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"}

package/cjs/functional/index.d.ts

@@ -1 +1,2 @@
 export type { ChainFn, EndoFn } from './ChainFn';
+export * from './compose';

package/cjs/functional/index.js

@@ -1,3 +1,18 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
 Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./compose"), exports);
 //# sourceMappingURL=index.js.map

package/cjs/functional/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":""}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAEA,4CAAyB"}

package/cjs/math/Abs.d.ts

@@ -1,2 +1,2 @@
-import { DigitArray } from './Digit';
+import type { DigitArray } from './Digit';
 export declare type Abs<N extends number, Fail = never> = number extends N ? Fail : `${N}` extends `-${infer P}` ? DigitArray.ToNumber<DigitArray.FromString<P>> : N;

package/cjs/math/Add.d.ts

@@ -1,17 +1,21 @@
-import { PadLeft } from '../array';
-import { And } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-import { Max } from './Max';
+import type { PadLeft } from '../array';
+import type { And } from '../predicates';
+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<AddDigitArray<PDA, PDB>> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail;
-declare type AddDigitArray<A extends number[], B extends number[]> = (A extends [any, ...infer ATail] ? (ATail extends number[] ? (B extends [any, ...infer BTail] ? (BTail extends number[] ? [AddDigit<A[0], B[0]>, ...AddDigitArray<ATail, BTail>] : []) : [A[0], ...AddDigitArray<[], ATail>]) : []) : (B extends [any, ...infer BTail] ? (BTail extends number[] ? [B[0], ...AddDigitArray<[], BTail>] : []) : []));
-declare type AddDigit<A extends number, B extends number> = [...Digit.ToTuple[A], ...Digit.ToTuple[B]]['length'];
+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>] : []) : []));
+    type Digit<A extends number, B extends number> = [
+        ...Digit.ToTuple[A],
+        ...Digit.ToTuple[B]
+    ]['length'];
+}
 /**
  * Increment `A` by 1.
  */
 export declare type Increment<A extends number, Fail = never> = Add<A, 1, Fail>;
-export {};

package/cjs/math/Digit.d.ts

@@ -3,7 +3,7 @@ import { And } from '../predicates';
 import { IsPositive } from './IsPositive';
 import { IsWhole } from './IsWhole';
 export declare namespace Digit {
-    export type ToTuple = {
+    type ToTuple = {
         [k in number]: any[];
     } & {
         0: [];
@@ -30,7 +30,7 @@ export declare namespace Digit {
     /**
      * A > B for [1-9]
      */
-    export type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
+    type GreaterThan<A extends number, B extends number> = B extends GreaterThanMap[A] ? true : false;
     type GreaterThanMap = {
         [k in number]: number;
     } & {
@@ -45,16 +45,15 @@ export declare namespace Digit {
         8: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7;
         9: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8;
     };
-    export {};
 }
 export declare namespace DigitArray {
-    export type ToNumber<C extends number[]> = ToTuple<[], C>['length'];
-    export type ToTuple<R extends any[], S extends number[]> = S['length'] extends 0 ? R : (S['length'] extends 1 ? [...R, ...Digit.ToTuple[S[0]]] : (S extends [any, ...infer T] ? (T extends any[] ? ToTuple<Multi10<[...R, ...Digit.ToTuple[S[0]]]>, T> : never) : never));
+    type ToNumber<C extends number[]> = ToTuple<[], C>['length'];
+    type ToTuple<R extends any[], S extends number[]> = S['length'] extends 0 ? R : (S['length'] extends 1 ? [...R, ...Digit.ToTuple[S[0]]] : (S extends [any, ...infer T] ? (T extends any[] ? ToTuple<Multi10<[...R, ...Digit.ToTuple[S[0]]]>, T> : never) : never));
     type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
-    export type FromNumber<N extends number> = FromString<NumberToString<N>>;
+    type FromNumber<N extends number> = FromString<NumberToString<N>>;
     type NumberToString<N extends number> = (And<IsPositive<N>, IsWhole<N>>) extends true ? `${N}` : never;
-    export type FromString<S extends string> = S extends `1${infer L}` ? [1, ...FromString<L>] : S extends `2${infer L}` ? [2, ...FromString<L>] : S extends `3${infer L}` ? [3, ...FromString<L>] : S extends `4${infer L}` ? [4, ...FromString<L>] : S extends `5${infer L}` ? [5, ...FromString<L>] : S extends `6${infer L}` ? [6, ...FromString<L>] : S extends `7${infer L}` ? [7, ...FromString<L>] : S extends `8${infer L}` ? [8, ...FromString<L>] : S extends `9${infer L}` ? [9, ...FromString<L>] : S extends `0${infer L}` ? [0, ...FromString<L>] : [];
-    export type Shift10<DA extends number[]> = TrimLeadingZero<Shift10State<[], DA>>;
+    type FromString<S extends string> = S extends `1${infer L}` ? [1, ...FromString<L>] : S extends `2${infer L}` ? [2, ...FromString<L>] : S extends `3${infer L}` ? [3, ...FromString<L>] : S extends `4${infer L}` ? [4, ...FromString<L>] : S extends `5${infer L}` ? [5, ...FromString<L>] : S extends `6${infer L}` ? [6, ...FromString<L>] : S extends `7${infer L}` ? [7, ...FromString<L>] : S extends `8${infer L}` ? [8, ...FromString<L>] : S extends `9${infer L}` ? [9, ...FromString<L>] : S extends `0${infer L}` ? [0, ...FromString<L>] : [];
+    type Shift10<DA extends number[]> = TrimLeadingZero<Shift10State<[], DA>>;
     type Shift10State<R extends number[], DA extends number[]> = DA['length'] extends 0 ? R : (DA['length'] extends 1 ? [...R, ...DA] : (DA extends [any, ...infer T] ? (T extends number[] ? (DA[0] extends 0 ? Shift10State<[...R, DA[0]], T> : (T extends [any, ...infer Y] ? (Y extends number[] ? Shift10State<[...R, MinusOne[DA[0]]], [Plus10[T[0]], ...Y]> : []) : [])) : []) : []));
     type TrimLeadingZero<A extends number[]> = A['length'] extends 0 ? A : A[0] extends 0 ? TrimLeadingZero<Tail<A>> : A;
     type MinusOne = {
@@ -95,5 +94,4 @@ export declare namespace DigitArray {
         8: 18;
         9: 19;
     };
-    export {};
 }

package/cjs/math/GreaterThan.d.ts

@@ -1,10 +1,11 @@
-import { Head, PadLeft, Tail } from '../array';
-import { And, Equal } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-import { Max } from './Max';
-export declare type GreaterThan<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends false ? Fail : number extends A ? Fail : number extends B ? Fail : Equal<A, B> extends true ? false : GreaterThanOnPositiveWhole<A, B>;
-declare type GreaterThanOnPositiveWhole<A extends number, B extends number> = (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[] ? GreaterThanOnDigitArray<PDA, PDB> : never : never : never : never : never : never : never : never : never : never);
-declare type GreaterThanOnDigitArray<DA extends number[], DB extends number[]> = (Equal<Head<DA>, Head<DB>> extends true ? GreaterThanOnDigitArray<Tail<DA>, Tail<DB>> extends Tail<DA> ? true : false : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? true : false);
-export {};
+import type { Head, PadLeft, Tail } from '../array';
+import type { And, Equal } from '../predicates';
+import type { Digit, DigitArray } from './Digit';
+import type { IsPositive } from './IsPositive';
+import type { IsWhole } from './IsWhole';
+import type { Max } from './Max';
+export declare type GreaterThan<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends false ? Fail : number extends A ? Fail : number extends B ? Fail : Equal<A, B> extends true ? false : GreaterThan.OnPositiveWhole<A, B>;
+export declare namespace GreaterThan {
+    type OnPositiveWhole<A extends number, B extends number> = (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[] ? OnDigitArray<PDA, PDB> : never : never : never : never : never : never : never : never : never : never);
+    type OnDigitArray<DA extends number[], DB extends number[]> = (Equal<Head<DA>, Head<DB>> extends true ? OnDigitArray<Tail<DA>, Tail<DB>> extends Tail<DA> ? true : false : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? true : false);
+}

package/cjs/math/Max.d.ts

@@ -1,9 +1,10 @@
-import { Head, Tail } from '../array';
-import { And, Equal } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-export declare type Max<A extends number, B extends number, Fail = never> = And<IsPositive<A>, IsWhole<A>> extends false ? Fail : And<IsPositive<B>, IsWhole<B>> extends false ? Fail : number extends A ? Fail : number extends B ? Fail : Equal<A, B> extends true ? A : MaxOnPositiveWhole<A, B>;
-declare type MaxOnPositiveWhole<A extends number, B extends number> = (DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ? DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ? MaxOnDigitArray<DA, DB> extends DA ? A : B : never : never : never : never);
-declare type MaxOnDigitArray<DA extends number[], DB extends number[]> = Equal<DA['length'], DB['length']> extends true ? (Equal<Head<DA>, Head<DB>> extends true ? (Tail<DA> extends infer TDA ? TDA extends number[] ? MaxOnDigitArray<TDA, Tail<DB>> extends TDA ? DA : DB : never : never) : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? DA : DB) : MaxOnPositiveWhole<DA['length'], DB['length']> extends DA['length'] ? DA : DB;
-export {};
+import type { Head, Tail } from '../array';
+import type { And, Equal } from '../predicates';
+import type { Digit, DigitArray } from './Digit';
+import type { IsPositive } from './IsPositive';
+import type { IsWhole } from './IsWhole';
+export declare type Max<A extends number, B extends number, Fail = never> = And<IsPositive<A>, IsWhole<A>> extends false ? Fail : And<IsPositive<B>, IsWhole<B>> extends false ? Fail : number extends A ? Fail : number extends B ? Fail : Equal<A, B> extends true ? A : Max.OnPositiveWhole<A, B>;
+export declare namespace Max {
+    type OnPositiveWhole<A extends number, B extends number> = (DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ? DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ? OnDigitArray<DA, DB> extends DA ? A : B : never : never : never : never);
+    type OnDigitArray<DA extends number[], DB extends number[]> = Equal<DA['length'], DB['length']> extends true ? (Equal<Head<DA>, Head<DB>> extends true ? (Tail<DA> extends infer TDA ? TDA extends number[] ? OnDigitArray<TDA, Tail<DB>> extends TDA ? DA : DB : never : never) : Digit.GreaterThan<Head<DA>, Head<DB>> extends true ? DA : DB) : OnPositiveWhole<DA['length'], DB['length']> extends DA['length'] ? DA : DB;
+}

package/cjs/math/Subtract.d.ts

@@ -1,14 +1,15 @@
-import { PadLeft, Some, Tail } from '../array';
-import { And } from '../predicates';
-import { Digit, DigitArray } from './Digit';
-import { IsPositive } from './IsPositive';
-import { IsWhole } from './IsWhole';
-import { Max } from './Max';
-export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
-declare type SubtractDigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : SubtractDigitArray<[...R, SubtractDigit<A[0], B[0]>], Tail<A>, Tail<B>>;
-declare type SubtractDigit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
+import type { PadLeft, Some, Tail } from '../array';
+import type { And } from '../predicates';
+import type { Digit, DigitArray } from './Digit';
+import type { IsPositive } from './IsPositive';
+import type { IsWhole } from './IsWhole';
+import type { Max } from './Max';
+export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? Subtract.DigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
+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>;
-export {};

package/cjs/math/index.d.ts

@@ -1,5 +1,6 @@
 export type { Abs } from './Abs';
 export type { Add, Increment } from './Add';
+export type { Digit, DigitArray } from './Digit';
 export type { GreaterThan } from './GreaterThan';
 export type { IsPositive } from './IsPositive';
 export type { IsWhole } from './IsWhole';

package/cjs/nodejs/isNodeError.d.ts

@@ -1,4 +1,4 @@
-declare type SystemErrors = {
+export declare type SystemErrors = {
     'EACCES': Error & {
         code: 'EACCES';
     };
@@ -28,4 +28,3 @@ export declare type SystemErrorCodes = keyof SystemErrors;
  * Feel free to contribute.
  */
 export declare function isSystemError<C extends SystemErrorCodes>(code: C, err: unknown): err is SystemErrors[C];
-export {};

package/cjs/nodejs/isNodeError.js.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":";;;AAoBA;;;;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":";;;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"}

package/cjs/object/split.d.ts

@@ -2,9 +2,13 @@ import { AnyRecord, Omit } from '..';
 declare type Splitter<T extends AnyRecord> = Partial<{
     [k in keyof T]: T[k] | undefined;
 }>;
-declare type Split<T extends AnyRecord, S extends AnyRecord> = {
+export declare type Split<T extends AnyRecord, S extends AnyRecord> = {
     [k in keyof S]: NonNullable<T[k]> | S[k];
 };
+/**
+ * Split an object into multiple objects.
+ * @returns [...entries, remaining]
+ */
 export declare function split<T extends AnyRecord, S1 extends Splitter<T>>(target: T, split1: S1): [
     Split<T, S1>,
     Omit<T, keyof S1>

package/cjs/object/split.js.map

@@ -1 +1 @@
-{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,wBAAiD;AAyLjD,SAAgB,KAAK,CAAC,MAAiB;IAAE,mBAAyB;SAAzB,UAAyB,EAAzB,qBAAyB,EAAzB,IAAyB;QAAzB,kCAAyB;;IAChE,IAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,IAAA,eAAW,EAAC,CAAC,EAAE,UAAC,CAAC,EAAE,CAAC,YAAK,OAAA,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAA,MAAM,CAAC,CAAC,CAAC,mCAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,EAAA,EAAE,EAAe,CAAC,EAA1F,CAA0F,CAAC,CAAA;IACxH,IAAM,CAAC,GAAG,IAAA,eAAW,EAAC,MAAM,EAAE,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAArC,CAAqC,EAAE,EAAe,CAAC,CAAA;IAC/F,uCAAW,CAAC,UAAE,CAAC,UAAC;AAClB,CAAC;AALD,sBAKC"}
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,wBAAiD;AA6LjD,SAAgB,KAAK,CAAC,MAAiB;IAAE,mBAAyB;SAAzB,UAAyB,EAAzB,qBAAyB,EAAzB,IAAyB;QAAzB,kCAAyB;;IAChE,IAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,IAAA,eAAW,EAAC,CAAC,EAAE,UAAC,CAAC,EAAE,CAAC,YAAK,OAAA,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAA,MAAM,CAAC,CAAC,CAAC,mCAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,EAAA,EAAE,EAAe,CAAC,EAA1F,CAA0F,CAAC,CAAA;IACxH,IAAM,CAAC,GAAG,IAAA,eAAW,EAAC,MAAM,EAAE,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAArC,CAAqC,EAAE,EAAe,CAAC,CAAA;IAC/F,uCAAW,CAAC,UAAE,CAAC,UAAC;AAClB,CAAC;AALD,sBAKC"}

package/esm/array/Last.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Last.js.map

package/esm/array/Last.js.map

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

package/esm/array/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAWA,cAAc,gBAAgB,CAAA;AAE9B,cAAc,eAAe,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/array/index.ts"],"names":[],"mappings":"AAYA,cAAc,gBAAgB,CAAA;AAE9B,cAAc,eAAe,CAAA"}

package/esm/functional/compose.js

@@ -0,0 +1,7 @@
+/**
+ * compose functions
+ */
+export function compose(...fns) {
+    return (...args) => fns.reduce((args, fn) => [fn(...args)], args)[0];
+}
+//# sourceMappingURL=compose.js.map

package/esm/functional/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,UAAU,OAAO,CAA2B,GAAG,GAAO;IAC1D,OAAO,CAAC,GAAG,IAAW,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAQ,CAAA;AACpF,CAAC"}

package/esm/functional/index.js

@@ -1,2 +1,2 @@
-export {};
+export * from './compose';
 //# sourceMappingURL=index.js.map

package/esm/functional/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":""}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":"AAEA,cAAc,WAAW,CAAA"}

package/esm/nodejs/isNodeError.js.map

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

package/esm/object/split.js.map

@@ -1 +1 @@
-{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,WAAW,EAAE,MAAM,IAAI,CAAA;AAyLjD,MAAM,UAAU,KAAK,CAAC,MAAiB,EAAE,GAAG,SAAsB;IAChE,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAC,CAAA;IACxH,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAA;IAC/F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC"}
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,WAAW,EAAE,MAAM,IAAI,CAAA;AA6LjD,MAAM,UAAU,KAAK,CAAC,MAAiB,EAAE,GAAG,SAAsB;IAChE,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAC,CAAA;IACxH,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAA;IAC/F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "type-plus",
-  "version": "4.1.0",
-  "description": "Provides additional types for `typescript`.",
+  "version": "4.3.1",
+  "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
     "url": "https://github.com/unional/type-plus/issues"
@@ -26,9 +26,10 @@
     "ts"
   ],
   "scripts": {
-    "build": "run-p build:cjs build:esm",
+    "build": "run-p build:cjs build:esm build:doc",
     "build:cjs": "tsc -p tsconfig.cjs.json",
     "build:esm": "tsc -p tsconfig.esm.json",
+    "build:doc": "typedoc",
     "clean": "rimraf cjs esm coverage lib libm",
     "coverage": "jest --coverage",
     "depcheck": "yarn dependency-check",
@@ -83,6 +84,7 @@
     "rimraf": "^3.0.2",
     "satisfier": "^5.1.2",
     "size-limit": "^7.0.8",
+    "typedoc": "^0.22.13",
     "typescript": "^4.6.2"
   },
   "size-limit": [

package/ts/array/CreateTuple.ts

@@ -1,7 +1,12 @@
-import { IsPositive } from '../math'
-
-export type CreateTuple<L extends number, T = any> =
-  IsPositive<L> extends true ? Device<[], L, T> : never
-
-type Device<R extends any[], L extends number, T> =
-  R['length'] extends L ? R : Device<[T, ...R], L, T>
+import type { IsPositive } from '../math'
+
+/**
+ * Creates `Tuple<T>` with `L` number of elements.
+ */
+export type CreateTuple<L extends number, T = any> =
+  IsPositive<L> extends true ? CreateTuple.Device<[], L, T> : never
+
+export namespace CreateTuple {
+  export type Device<R extends any[], L extends number, T> =
+    R['length'] extends L ? R : Device<[T, ...R], L, T>
+}

package/ts/array/Last.spec.ts

@@ -0,0 +1,32 @@
+import { AnyFunction, isType } from '..'
+import { Last } from './Last'
+
+test('any array', () => {
+  type A = Last<any[]>
+  isType.equal<true, any, A>()
+})
+
+test('never array', () => {
+  type A = Last<never[]>
+  isType.equal<true, never, A>()
+})
+
+test('typed array', () => {
+  type A = Last<string[]>
+  isType.equal<true, string, A>()
+})
+
+test('function array', () => {
+  type A = Last<AnyFunction[]>
+  isType.equal<true, AnyFunction, A>()
+})
+
+test('empty tuple gets undefined', () => {
+  type A = Last<[]>
+  isType.equal<true, undefined, A>()
+})
+
+test('tuple with function', () => {
+  type A = Last<[number, AnyFunction]>
+  isType.equal<true, AnyFunction, A>()
+})

package/ts/array/Last.ts

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

package/ts/array/Some.ts

@@ -1,24 +1,26 @@
-import { Equal } from '../predicates'
-import { Tail } from './Tail'
-import { UnionOfValues } from './UnionOfValues'
-
-export type Some<
-  A extends any[],
-  Criteria,
-  Mode extends 'strict' | 'loose' = 'loose',
-  Then = true,
-  Else = false
-  > =
-  Mode extends 'strict' ? SomeStrict<A, Criteria, Then, Else> :
-  number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else :
-  A['length'] extends 0 ? Else :
-  A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>
-
-type SomeStrict<A extends any[], Criteria, Then, Else> =
-  number extends A['length']
-  ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else)
-  : (A['length'] extends 0
-    ? Else
-    : (Equal<A[0], Criteria> extends true
-      ? Then
-      : SomeStrict<Tail<A>, Criteria, Then, Else>))
+import type { Equal } from '../predicates'
+import type { Tail } from './Tail'
+import type { UnionOfValues } from './UnionOfValues'
+
+export type Some<
+  A extends any[],
+  Criteria,
+  Mode extends 'strict' | 'loose' = 'loose',
+  Then = true,
+  Else = false
+  > =
+  Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> :
+  number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else :
+  A['length'] extends 0 ? Else :
+  A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>
+
+export namespace Some {
+  export type Strict<A extends any[], Criteria, Then, Else> =
+    number extends A['length']
+    ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else)
+    : (A['length'] extends 0
+      ? Else
+      : (Equal<A[0], Criteria> extends true
+        ? Then
+        : Strict<Tail<A>, Criteria, Then, Else>))
+}