type-plus 6.2.0 → 6.4.0

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

@@ -1,20 +0,0 @@
-import type { Widen } from '../utils/index.js';
-import { typeSym } from './types.js';
-/**
- * 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 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>>;
-//# sourceMappingURL=Flavor.d.ts.map

package/esm/nominal-types/Flavor.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Flavor.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG;IAC7C,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACb,CAAA;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/nominal-types/Flavor.js

@@ -1,16 +0,0 @@
-// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
-// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
-import { typeSym } from './types.js';
-export 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[typeSym] = type;
-    }
-    return subject;
-}
-//# sourceMappingURL=Flavor.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAGvE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAoBpC,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACrD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,UAAa,OAAU;YAC7B,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7B,CAAC,CAAA;IACF,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACpD,2EAA2E;QAC3E,CAAC;QAAC,OAAiC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AACf,CAAC"}

package/esm/nominal-types/index.d.ts

@@ -1,4 +0,0 @@
-export * from './Brand.js';
-export * from './Flavor.js';
-export * from './nominalMatch.js';
-//# sourceMappingURL=index.d.ts.map

package/esm/nominal-types/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,mBAAmB,CAAA"}

package/esm/nominal-types/index.js

@@ -1,4 +0,0 @@
-export * from './Brand.js';
-export * from './Flavor.js';
-export * from './nominalMatch.js';
-//# sourceMappingURL=index.js.map

package/esm/nominal-types/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nominal-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,mBAAmB,CAAA"}

package/esm/nominal-types/nominalMatch.d.ts

@@ -1,5 +0,0 @@
-import type { Brand } from './Brand.js';
-import type { Flavor } from './Flavor.js';
-export declare function nominalMatch<A extends string, B extends A>(a: Brand<A, unknown>, b: Brand<B, unknown>): boolean;
-export declare function nominalMatch<A extends string, B extends A>(a: Flavor<A, unknown>, b: Flavor<B, unknown>): boolean;
-//# sourceMappingURL=nominalMatch.d.ts.map

package/esm/nominal-types/nominalMatch.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"nominalMatch.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGzC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EACpB,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAClB,OAAO,CAAA;AACV,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EACrB,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GACnB,OAAO,CAAA"}

package/esm/nominal-types/nominalMatch.js

@@ -1,9 +0,0 @@
-import { typeSym } from './types.js';
-export function nominalMatch(a, b) {
-    if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null)
-        return a[typeSym] === b[typeSym];
-    else {
-        return true;
-    }
-}
-//# sourceMappingURL=nominalMatch.js.map

package/esm/nominal-types/nominalMatch.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"nominalMatch.js","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAUpC,MAAM,UAAU,YAAY,CAC3B,CAAyC,EACzC,CAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC7E,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;SAC5B;QACJ,OAAO,IAAI,CAAA;KACX;AACF,CAAC"}

package/esm/nominal-types/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAiB,CAAA;AACrC,eAAO,MAAM,QAAQ,eAAkB,CAAA"}

package/esm/nominal-types/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../ts/nominal-types/types.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AACrC,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA"}

package/esm/number_plus/index.d.ts

@@ -1,2 +0,0 @@
-export type * from './number.js';
-//# sourceMappingURL=index.d.ts.map

package/esm/number_plus/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/number_plus/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,aAAa,CAAA"}

package/esm/number_plus/index.js

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

package/esm/number_plus/index.js.map

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

package/esm/number_plus/number.d.ts

@@ -1,128 +0,0 @@
-import type { IsNever } from '../PrimitiveTypes.js';
-import type { IsAny } from '../any_plus/any.js';
-/**
- * Either number or bigint.
- */
-export type Numeric = number | bigint;
-/**
- * The value 0 in number or bigint.
- */
-export type Zero = 0 | 0n;
-/**
- * Check if the value is an integer.
- *
- * ```
- * import type { Integer } from 'type-plus'
- *
- * type R = Integer<0> // 0
- * type R = Integer<1.1> // never
- * type R = Integer<number> // never as it contains non-integer
- *
- * type R = Integer<0, true, false> // true
- * type R = Integer<1.1, true, false> // false
- * ```
- */
-export type Integer<N extends Numeric, Then = N, Else = never> = IsNever<N, Else, `${N}` extends `${bigint}` ? Then : Else>;
-/**
- * Check if the value is an integer.
- *
- * ```
- * import type { IsInteger } from 'type-plus'
- *
- * type R = IsInteger<0> // 0
- * type R = IsInteger<1.1> // never
- * type R = IsInteger<number> // never as it contains non-integer
- *
- * type R = IsInteger<0, true, false> // true
- * type R = IsInteger<1.1, true, false> // false
- * ```
- */
-export type IsInteger<N extends Numeric, Then = true, Else = false> = Integer<N, Then, Else>;
-/**
- * Check if the value is an integer.
- *
- * ```
- * import type { IsWhole } from 'type-plus'
- *
- * type R = IsWhole<0> // 0
- * type R = IsWhole<1.1> // never
- * type R = IsWhole<number> // never as it contains non-integer
- *
- * type R = IsWhole<0, true, false> // true
- * type R = IsWhole<1.1, true, false> // false
- * ```
- */
-export type IsWhole<N extends Numeric, Then = true, Else = false> = Integer<N, Then, Else>;
-/**
- * Check if the value is a negative number.
- *
- * ```
- * import type { Negative } from 'type-plus'
- *
- * type R = Negative<-1> // -1
- * type R = Negative<0> // never
- *
- * type R = Negative<-1, true, false> // true
- * type R = Negative<1, true, false> // false
- * ```
- */
-export type Negative<N extends Numeric, Then = N, Else = never> = IsNever<N, Else, N extends Zero ? Else : `${N}` extends `-${string}` ? Then : Else>;
-/**
- * Check if the value it not a negative number.
- *
- * ```
- * import type { NonNegative } from 'type-plus'
- *
- * type R = NonNegative<-1> // never
- * type R = NonNegative<0> // 0
- *
- * type R = NonNegative<-1, true, false> // false
- * type R = NonNegative<1, true, false> // true
- * ```
- */
-export type NonNegative<N extends Numeric, Then = N, Else = never> = Negative<N, Else, Then>;
-/**
- * Check if the type `T` is exactly the type `number` and not numeric literals.
- *
- * ```
- * import type { NumberType } from 'type-plus'
- *
- * type R = NumberType<number> // true
- * type R = NumberType<1> // false
- * ```
- */
-export type NumberType<T, Then = T, Else = never> = IsAny<T, Else, [
-    number,
-    T
-] extends [T, number] ? Then : Else>;
-/**
- * Check if the value is a positive number.
- *
- * ```
- * import type { Positive } from 'type-plus'
- *
- * type R = Positive<1> // 1
- * type R = Positive<0> // never
- * type R = Positive<-1> // never
- *
- * type R = Positive<1, true, false> // true
- * type R = Positive<-1, true, false> // false
- * ```
- */
-export type Positive<N extends Numeric, Then = N, Else = never> = IsNever<N, Else, number extends N ? Else : N extends Zero ? Then : `${N}` extends `-${string}` ? Else : Then>;
-/**
- * Is the value `N` a positive number.
- *
- * ```
- * import type { IsPositive } from 'type-plus'
- *
- * type R = IsPositive<1> // true
- * type R = IsPositive<0> // false
- * type R = IsPositive<-1> // false
- *
- * type R = IsPositive<1, 'good', 'bad'> // 'good'
- * type R = IsPositive<-1, 'good', 'bad> // 'bad'
- * ```
- */
-export type IsPositive<N extends Numeric, Then = true, Else = false> = Positive<N, Then, Else>;
-//# sourceMappingURL=number.d.ts.map

package/esm/number_plus/number.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../ts/number_plus/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE/C;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,CAAA;AAEzB;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACvE,CAAC,EACD,IAAI,EACJ,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CACxC,CAAA;AACD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5F;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1F;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACxE,CAAC,EACD,IAAI,EACJ,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CACjE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5F;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CACxD,CAAC,EACD,IAAI,EACJ;IAAC,MAAM;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAC7C,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,CACxE,CAAC,EACD,IAAI,EACJ,MAAM,SAAS,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAC3F,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/number_plus/number.js

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

package/esm/number_plus/number.js.map

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

package/esm/number_plus/number_plus.d.ts

@@ -1,2 +0,0 @@
-export type * from './number.js';
-//# sourceMappingURL=number_plus.d.ts.map

package/esm/number_plus/number_plus.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"number_plus.d.ts","sourceRoot":"","sources":["../../ts/number_plus/number_plus.ts"],"names":[],"mappings":"AAAA,mBAAmB,aAAa,CAAA"}

package/esm/number_plus/number_plus.js.map

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

package/esm/predicates/Equal.d.ts

@@ -1,19 +0,0 @@
-import type { IsAny } from '../any_plus/any.js';
-import type { And, Or } from './logical.js';
-/**
- * Checks if the two types are equal.
- */
-export type Equal<A, B, Then = true, Else = false> = [A, B] extends [B, A] ? And<IsAny<A>, IsAny<B>, Then, Or<IsAny<A>, IsAny<B>, Else, Then>> : Else;
-/**
- * Checks if the two types are equal.
- */
-export type IsEqual<A, B, Then = true, Else = false> = Equal<A, B, Then, Else>;
-/**
- * Check if the two types are not equal
- */
-export type NotEqual<A, B, Then = true, Else = false> = Equal<A, B, Else, Then>;
-/**
- * Check if the two types are not equal
- */
-export type IsNotEqual<A, B, Then = true, Else = false> = NotEqual<A, B, Then, Else>;
-//# sourceMappingURL=Equal.d.ts.map

package/esm/predicates/Equal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,cAAc,CAAA;AAE3C;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACvE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,GACjE,IAAI,CAAA;AAEP;;GAEG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE9E;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE/E;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/esm/predicates/Equal.js

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

package/esm/predicates/Equal.js.map

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

package/esm/testing/index.d.ts

@@ -1,2 +0,0 @@
-export * from './stub.js';
-//# sourceMappingURL=index.d.ts.map

package/esm/testing/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/testing/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAA"}

package/esm/testing/index.js

@@ -1,2 +0,0 @@
-export * from './stub.js';
-//# sourceMappingURL=index.js.map

package/esm/testing/index.js.map

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

package/ts/ComposableTypes.ts

@@ -1,10 +0,0 @@
-/**
- * Types that can contain custom properties.
- */
-// eslint-disable-next-line @typescript-eslint/ban-types
-export type ComposableTypes = object | Function
-
-/**
- * Types that cannot contain custom properties.
- */
-export type NonComposableTypes = boolean | number | string | symbol | bigint | undefined | null

package/ts/PrimitiveTypes.ts

@@ -1,15 +0,0 @@
-// IsNever from @jack-williams: https://github.com/microsoft/TypeScript/issues/23182#issuecomment-379091887
-
-// eslint-disable-next-line @typescript-eslint/ban-types
-export type PrimitiveTypes =
-	| boolean
-	| number
-	| string
-	| object
-	| symbol
-	| bigint
-	| Function
-	| undefined
-	| null
-
-export type IsNever<T, Then = true, Else = false> = [T] extends [never] ? Then : Else

package/ts/any_plus/any.ts

@@ -1,29 +0,0 @@
-/**
- * Is the type `T` exactly `any`.
- *
- * ```
- * import type { IsAny } from 'type-plus'
- *
- * type R = IsAny<any> // true
- *
- * type R = IsAny<never> // false
- * type R = IsAny<unknown> // false
- * type R = IsAny<string | boolean> // false
- * ```
- */
-export type IsAny<T, Then = true, Else = false> = 0 extends 1 & T ? Then : Else
-
-/**
- * Check if the type `T` is exactly `any`.
- *
- * ```
- * import type { AnyType } from 'type-plus'
- *
- * type R = AnyType<any> // any
- *
- * type R = AnyType<never> // never
- * type R = AnyType<unknown> // never
- * type R = AnyType<string | boolean> // never
- * ```
- */
-export type AnyType<T, Then = T, Else = never> = IsAny<T, Then, Else>

package/ts/any_plus/index.ts

@@ -1 +0,0 @@
-export type * from './any.js'

package/ts/array_plus/array.ts

@@ -1,48 +0,0 @@
-import type { NumberType } from '../number_plus/number.js'
-import type { IndexAt } from './array_plus.js'
-
-/**
- * Gets the type of the array or tuple at index `N`.
- *
- * Like `Array.at()`, this type supports negative numbers.
- *
- * @alias ArrayPlus.At
- *
- * ```
- * import type { At } from 'type-plus'
- *
- * type R = At<[1, 2, 3], 2> // 3
- * type R = At<[1, 2, 3], -1> // 3
- * ```
- */
-export type At<A extends Array<unknown>, N extends number, Fail = never> = IndexAt<A, N, Fail> extends infer I
-	? I extends number
-		? A[I]
-		: Fail
-	: never
-
-/**
- * Concats two arrays.
- *
- * alias of: `[...A, ...B]`
- *
- * @alias ArrayPlus.Concat
- * ```
- * import type { Concat } form 'type-plus'
- *
- * type R = Concat<[1], [2, 3]> // [1, 2, 3]
- * ```
- */
-export type Concat<A extends unknown[], B extends unknown[]> = [...A, ...B]
-
-/**
- * Check if the type `A` is an array type and not a tuple.
- *
- * ```
- * import type { ArrayType } from 'type-plus'
- *
- * type R = ArrayType<number[]> // true
- * type R = ArrayType<[1]> // false
- * ```
- */
-export type ArrayType<A extends unknown[], Then = A, Else = never> = NumberType<A['length'], Then, Else>

package/ts/array_plus/array_number.ts

@@ -1,12 +0,0 @@
-import { Add } from '../math/Add.js'
-import { ArrayType } from './array.js'
-
-export type Sum<A extends ArrayType<number[]>> = A['length'] extends 0
-	? 0
-	: A['length'] extends 1
-	? A[0]
-	: A['length'] extends 2
-	? Add<A[0], A[1]>
-	: A extends [infer F extends number, infer S extends number, ...infer Tail extends number[]]
-	? Sum<[Add<F, S>, ...Tail]>
-	: never

package/ts/array_plus/array_plus.ts

@@ -1,66 +0,0 @@
-import type { IsNever } from '../PrimitiveTypes.js'
-import type { Abs } from '../math/Abs.js'
-import type { GreaterThan } from '../math/GreaterThan.js'
-import type { Subtract } from '../math/Subtract.js'
-import type { Integer, Negative, NumberType } from '../number_plus/number.js'
-import type { Equal } from '../predicates/Equal.js'
-
-export type * from './array.js'
-
-/**
- * Gets the normalized index to access the element of an array or tuple.
- *
- * ```
- * import type { ArrayPlus } from 'type-plus'
- *
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], 2> // 2
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], -2> // 1
- *
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], 3> // never
- * type R = ArrayPlus.IndexAt<['a', 'b', 'c'], -4> // never
- * ```
- */
-export type IndexAt<A extends Array<unknown>, N extends number, Fail = never> = Equal<
-	A['length'],
-	0,
-	Fail,
-	Integer<
-		N,
-		NumberType<
-			A['length'],
-			// A: array
-			N,
-			// A: tuple
-			Negative<
-				N,
-				GreaterThan<Abs<N>, A['length']> extends true ? Fail : Subtract<A['length'], Abs<N>>,
-				GreaterThan<A['length'], N> extends true ? N : Fail
-			>
-		>,
-		// N: number or float
-		NumberType<
-			N,
-			// TODO: handle tuple to union of indexes
-			N,
-			Fail
-		>
-	>
->
-
-/**
- * Is N an out of bound index of A.
- *
- * ```
- * import { IsIndexOutOfBound } from 'type-plus'
- *
- * type R = IsIndexOutOfBound<[1], 0> // false
- * type R = IsIndexOutOfBound<[1], -1> // false
-
- * type R = IsIndexOutOfBound<[1], 1> // true
- * type R = IsIndexOutOfBound<[1], -2> // true
- */
-export type IsIndexOutOfBound<A extends unknown[], N extends number, Then = true, Else = false> = IsNever<
-	IndexAt<A, N>,
-	Then,
-	Else
->

package/ts/array_plus/create_tuple.ts

@@ -1,16 +0,0 @@
-import type { DigitArray } from '../math/index.js'
-import type { IsPositive, IsWhole } from '../number_plus/number.js'
-
-/**
- * Creates `Tuple<T>` with `L` number of elements.
- * @note Other cool implementations by @lazytype, @jcalz:
- * @see https://github.com/microsoft/TypeScript/issues/26223#issuecomment-674514787
- * @see https://github.com/microsoft/TypeScript/issues/47874#issuecomment-1039157322
- */
-export type CreateTuple<L extends number, T = unknown, Fail = never> = number extends L
-	? T[]
-	: IsPositive<L> extends true
-	? IsWhole<L> extends true
-		? DigitArray.ToTuple<[], DigitArray.FromNumber<L>, T>
-		: Fail
-	: Fail

package/ts/array_plus/drop.ts

@@ -1,71 +0,0 @@
-import type { Equal } from '../predicates/index.js'
-import type { NonNull, NonUndefined } from '../utils/index.js'
-
-export type DropFirst<A extends any[]> = number extends A['length']
-	? A
-	: A['length'] extends 0
-	? never[]
-	: A['length'] extends 1
-	? never[]
-	: A extends [any, ...infer Tail]
-	? Tail
-	: never
-
-export type DropLast<A extends any[]> = number extends A['length']
-	? A
-	: A['length'] extends 0
-	? never[]
-	: A['length'] extends 1
-	? never[]
-	: A extends [...infer Heads, any]
-	? Heads
-	: never
-
-type ExcludeUnionOfEmptyTuple<A> = Equal<A, []> extends true ? A : Exclude<A, []>
-
-/**
- * drops entries matching `Criteria` in array or tuple `A`.
- */
-export type DropMatch<A extends Readonly<Array<any>>, Criteria> = number extends A['length']
-	? // array
-	  A[0] extends Criteria
-		? // criteria matches: DropAll<string[], string>
-		  never[]
-		: undefined extends Criteria
-		? null extends Criteria
-			? Array<NonNullable<A[0]>>
-			: Array<NonUndefined<A[0]>>
-		: null extends Criteria
-		? Array<NonNull<A[0]>>
-		: Criteria extends A[0]
-		? Array<Exclude<A[0], Criteria>>
-		: A[0] extends Criteria
-		? A
-		: Array<Exclude<A[0], Criteria>>
-	: DropMatchTuple<A, Criteria>
-
-type DropMatchTuple<A extends Readonly<Array<any>>, Criteria> = A['length'] extends 0
-	? // empty tuple
-	  A
-	: A extends readonly [infer Head, ...infer Tail]
-	? Tail['length'] extends 0
-		? // single element tuple
-		  undefined extends Criteria
-			? ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]>
-			: ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]>
-		: // multiple elements
-		Exclude<Head, Criteria> extends never
-		? DropMatch<Tail, Criteria>
-		: [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>]
-	: never[]
-
-export type DropNull<A extends Array<any>> = DropMatch<A, null>
-export type DropNullable<A extends Array<any>> = DropMatch<A, null | undefined>
-export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>
-
-/**
- * drop a particular value from an array
- */
-export function drop<A extends Readonly<Array<any>>, C>(array: A, value: C): DropMatch<A, C> {
-	return array.filter(v => v !== value) as DropMatch<A, C>
-}

package/ts/array_plus/filter.ts

@@ -1,28 +0,0 @@
-/**
- * filter the array or tuple `A`, keeping entries satisfying `Criteria`.
- * @deprecated renaming to `KeepMatch`
- */
-export type Filter<A extends Array<any>, Criteria> = number extends A['length']
-	? // array
-	  A[0] extends Criteria
-		? A
-		: Criteria extends A[0]
-		? Array<Criteria>
-		: never[]
-	: // tuple
-	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
-
-/**
- * keeps entries satisfying `Criteria` in array or tuple `A`.
- */
-export type KeepMatch<A extends Array<any>, Criteria> = Filter<A, Criteria>

package/ts/array_plus/index.ts

@@ -1,19 +0,0 @@
-export type * from './array.js'
-export type * from './common_prop_keys.js'
-export type * from './create_tuple.js'
-export * from './drop.js'
-export type * from './filter.js'
-export type * from './find_first.js'
-export type * from './find_last.js'
-export type * from './head.js'
-export type * from './intersect_of_props.js'
-export type * from './is_array.js'
-export type * from './last.js'
-export * from './literal_array.js'
-export type * from './pad_left.js'
-export * from './reduce_while.js'
-export type * from './reverse.js'
-export type * from './some.js'
-export type * from './tail.js'
-export type * from './union_of_props.js'
-export type * from './union_of_values.js'

package/ts/array_plus/is_array.ts

@@ -1 +0,0 @@
-export type IsArray<T, Then = true, Else = false> = T extends any[] ? Then : Else