type-plus 4.9.1 → 4.10.2

package/esm/class/isConstructor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isConstructor.d.ts","sourceRoot":"","sources":["../../ts/class/isConstructor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEzD,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,IAAI,cAAc,CAWzE"}

package/esm/class/isConstructor.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=isConstructor.spec.d.ts.map

package/esm/class/isConstructor.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isConstructor.spec.d.ts","sourceRoot":"","sources":["../../ts/class/isConstructor.spec.ts"],"names":[],"mappings":""}

package/esm/class/isConstructor.spec.js

@@ -0,0 +1,44 @@
+import { assertType, isConstructor } from '../index.js';
+test('check constructor', () => {
+    const x = Error;
+    if (isConstructor(x))
+        assertType(x);
+});
+test('check not constructor', () => {
+    expect(isConstructor(() => { })).toBe(false);
+});
+test('check throw function', () => {
+    expect(isConstructor(() => { throw new Error(); })).toBe(false);
+});
+test('check throwing constructor is still true', () => {
+    class Foo {
+        constructor() { throw new Error(); }
+    }
+    expect(isConstructor(Foo)).toBe(true);
+});
+test('constructor throwing non-error', () => {
+    class Foo {
+        constructor() { throw 'abc'; }
+    }
+    expect(isConstructor(Foo)).toBe(true);
+});
+test('constructor throwing undefined', () => {
+    class Foo {
+        constructor() { throw undefined; }
+    }
+    expect(isConstructor(Foo)).toBe(true);
+});
+test('class with params returns true', () => {
+    class Boo {
+        constructor(a) {
+            Object.defineProperty(this, "a", {
+                enumerable: true,
+                configurable: true,
+                writable: true,
+                value: a
+            });
+        }
+    }
+    expect(isConstructor(Boo)).toBe(true);
+});
+//# sourceMappingURL=isConstructor.spec.js.map

package/esm/class/isConstructor.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isConstructor.spec.js","sourceRoot":"","sources":["../../ts/class/isConstructor.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEvE,IAAI,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,MAAM,CAAC,GAAY,KAAK,CAAA;IACxB,IAAI,aAAa,CAAC,CAAC,CAAC;QAClB,UAAU,CAAiB,CAAC,CAAC,CAAA;AACjC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACjC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAChC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE,CAAA,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAChE,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACpD,MAAM,GAAG;QAAG,gBAAgB,MAAM,IAAI,KAAK,EAAE,CAAA,CAAC,CAAC;KAAE;IACjD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,GAAG;QAAG,gBAAgB,MAAM,KAAK,CAAA,CAAC,CAAC;KAAE;IAC3C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,GAAG;QAAG,gBAAgB,MAAM,SAAS,CAAA,CAAC,CAAC;KAAE;IAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,GAAG;QAAG,YAAmB,CAAS;;;;;uBAAT;;QAAa,CAAC;KAAE;IAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA"}

package/esm/function/AnyFunction.d.ts

@@ -0,0 +1,2 @@
+export declare type AnyFunction<Params extends any[] = any[], Result = any> = (...args: Params) => Result;
+//# sourceMappingURL=AnyFunction.d.ts.map

package/esm/function/AnyFunction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFunction.d.ts","sourceRoot":"","sources":["../../ts/function/AnyFunction.ts"],"names":[],"mappings":"AAAA,oBAAY,WAAW,CACrB,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,KAAK,MAAM,CAAA"}

package/esm/function/AnyFunction.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=AnyFunction.spec.d.ts.map

package/esm/function/AnyFunction.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFunction.spec.d.ts","sourceRoot":"","sources":["../../ts/function/AnyFunction.spec.ts"],"names":[],"mappings":""}

package/esm/function/AnyFunction.spec.js

@@ -0,0 +1,18 @@
+import { assertType } from '../index.js';
+test('basic', () => {
+    function doCallback(cb) {
+        cb();
+    }
+    doCallback(() => { });
+    doCallback(_ => { });
+    doCallback((a, b) => a + b);
+});
+test('define param as tuple', () => {
+    const foo = x => x;
+    foo(1, 'a');
+});
+test('define result type', () => {
+    const foo = x => x;
+    assertType.isString(foo('a'));
+});
+//# sourceMappingURL=AnyFunction.spec.js.map

package/esm/function/AnyFunction.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFunction.spec.js","sourceRoot":"","sources":["../../ts/function/AnyFunction.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,UAAU,EAAE,MAAM,aAAa,CAAA;AAErD,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;IACjB,SAAS,UAAU,CAAC,EAAe;QACjC,EAAE,EAAE,CAAA;IACN,CAAC;IAED,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IACrB,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACpB,UAAU,CAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACjC,MAAM,GAAG,GAAkC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjD,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACb,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAC9B,MAAM,GAAG,GAAkC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjD,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA"}

package/esm/function/index.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/function/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA"}

package/esm/functional/ChainFn.d.ts

@@ -0,0 +1,6 @@
+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;
+//# sourceMappingURL=ChainFn.d.ts.map

package/esm/functional/ChainFn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChainFn.d.ts","sourceRoot":"","sources":["../../ts/functional/ChainFn.ts"],"names":[],"mappings":"AAAA,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;AAExC;;GAEG;AACH,oBAAY,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA"}

package/esm/functional/ChainFn.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ChainFn.spec.d.ts.map

package/esm/functional/ChainFn.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChainFn.spec.d.ts","sourceRoot":"","sources":["../../ts/functional/ChainFn.spec.ts"],"names":[],"mappings":""}

package/esm/functional/ChainFn.spec.js

@@ -0,0 +1,5 @@
+import { assertType } from '../index.js';
+test('return type is the same as input type', () => {
+    assertType.isTrue(true);
+});
+//# sourceMappingURL=ChainFn.spec.js.map

package/esm/functional/ChainFn.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChainFn.spec.js","sourceRoot":"","sources":["../../ts/functional/ChainFn.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAkB,MAAM,aAAa,CAAA;AAExD,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;IAGjD,UAAU,CAAC,MAAM,CAAC,IAA8C,CAAC,CAAA;AACnE,CAAC,CAAC,CAAA"}

package/esm/functional/Maybe.d.ts

@@ -0,0 +1,13 @@
+import type { Brand } from '../nominal-types/index.js';
+import type { Equal } from '../predicates/index.js';
+import type { Widen } from '../utils/index.js';
+export declare type Maybe<T> = Just<T> | None<T>;
+export declare type Just<T> = Brand<'maybe', T> & {
+    unwrap(): T;
+};
+export declare type None<T> = Brand<'maybe', void> & {
+    unwrap(): T;
+};
+export declare function just<T>(value: T): Equal<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>>;
+export declare function none<T>(): None<T>;
+//# sourceMappingURL=Maybe.d.ts.map

package/esm/functional/Maybe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,oBAAY,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;AACxC,oBAAY,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AACzD,oBAAY,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AAE5D,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAC9B,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GACvC,IAAI,CAAC,CAAC,CAAC,GACP,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAG5B;AAED,wBAAgB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAEjC"}

package/esm/functional/Maybe.js

@@ -0,0 +1,8 @@
+export function just(value) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
+    return { unwrap() { return value; } };
+}
+export function none() {
+    return { unwrap() { } };
+}
+//# sourceMappingURL=Maybe.js.map

package/esm/functional/Maybe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.js","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,IAAI,CAAI,KAAQ;IAI9B,+DAA+D;IAC/D,OAAO,EAAE,MAAM,KAAK,OAAO,KAAK,CAAA,CAAC,CAAC,EAAS,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,IAAI;IAClB,OAAO,EAAE,MAAM,KAAK,CAAC,EAAa,CAAA;AACpC,CAAC"}

package/esm/functional/Maybe.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Maybe.spec.d.ts.map

package/esm/functional/Maybe.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.spec.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.spec.ts"],"names":[],"mappings":""}

package/esm/functional/Maybe.spec.js

@@ -0,0 +1,33 @@
+import { assertType, canAssign } from '../index.js';
+import { just, none } from './Maybe.js';
+test('just(value) returns Maybe<T>', () => {
+    assertType(just(1));
+});
+test('just(undefined) returns Maybe<T>', () => {
+    const b = undefined;
+    assertType(just(b));
+});
+test('none<T>() returns Maybe<T>', () => {
+    assertType(none());
+});
+test('unwrap Maybe<T> returns value', () => {
+    const maybe = just('abc');
+    const actual = maybe.unwrap();
+    assertType(actual);
+    expect(actual).toBe('abc');
+});
+test('None can assign to Maybe<T>', () => {
+    const actual = none();
+    assertType.isTrue(true);
+    assertType.isTrue(true);
+    assertType.isTrue(canAssign()(none()));
+});
+test('Just<number can assign to Maybe<number>', () => {
+    assertType.isTrue(true);
+    assertType.isTrue(canAssign()(just(1)));
+});
+test('Just<string> is not assignable to Maybe<number>', () => {
+    assertType.isFalse(false);
+    assertType.isTrue(canAssign(false)(just('abc')));
+});
+//# sourceMappingURL=Maybe.spec.js.map

package/esm/functional/Maybe.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.spec.js","sourceRoot":"","sources":["../../ts/functional/Maybe.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAa,SAAS,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,EAAQ,IAAI,EAAS,IAAI,EAAQ,MAAM,YAAY,CAAA;AAE1D,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;IACxC,UAAU,CAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AACpC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC5C,MAAM,CAAC,GAAwB,SAAS,CAAA;IACxC,UAAU,CAAiB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AACrC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;IACtC,UAAU,CAAiB,IAAI,EAAW,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;IACzB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAA;IAE7B,UAAU,CAAS,MAAM,CAAC,CAAA;IAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,MAAM,GAAG,IAAI,EAAU,CAAA;IAE7B,UAAU,CAAC,MAAM,CAAC,IAA+C,CAAC,CAAA;IAClE,UAAU,CAAC,MAAM,CAAC,IAA8C,CAAC,CAAA;IACjE,UAAU,CAAC,MAAM,CAAC,SAAS,EAAiB,CAAC,IAAI,EAAU,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,UAAU,CAAC,MAAM,CAAC,IAA8C,CAAC,CAAA;IACjE,UAAU,CAAC,MAAM,CAAC,SAAS,EAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,UAAU,CAAC,OAAO,CAAC,KAA8C,CAAC,CAAA;IAElE,UAAU,CAAC,MAAM,CAAC,SAAS,CAAgB,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC,CAAC,CAAA"}

package/esm/functional/compose.d.ts

@@ -0,0 +1,7 @@
+import type { Head, Last } from '../array/index.js';
+import type { AnyFunction } from '../function/AnyFunction.js';
+/**
+ * compose functions
+ */
+export declare function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>>;
+//# sourceMappingURL=compose.d.ts.map

package/esm/functional/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAE7D;;GAEG;AACH,wBAAgB,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAGrH"}

package/esm/functional/compose.js

@@ -1,4 +1,8 @@
+/**
+ * compose functions
+ */
 export function compose(...fns) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
     return (...args) => fns.reduce((args, fn) => [fn(...args)], args)[0];
 }
 //# sourceMappingURL=compose.js.map

package/esm/functional/compose.js.map

@@ -1 +1 @@
-{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,OAAO,CAA2B,GAAG,GAAO;IAE1D,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,CAAC,CAAA;AAC7E,CAAC"}
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,UAAU,OAAO,CAA2B,GAAG,GAAO;IAC1D,+DAA+D;IAC/D,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,CAAC,CAAA;AAC7E,CAAC"}

package/esm/functional/compose.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=compose.spec.d.ts.map

package/esm/functional/compose.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.spec.d.ts","sourceRoot":"","sources":["../../ts/functional/compose.spec.ts"],"names":[],"mappings":""}

package/esm/functional/compose.spec.js

@@ -0,0 +1,24 @@
+import { compose, isType } from '../index.js';
+test('works with endofunctors: +2 *3', () => {
+    const plus2 = (x) => x + 2;
+    const multiply3 = (x) => x * 3;
+    const a = compose(plus2, multiply3);
+    isType.equal();
+    expect(a(2)).toBe(12);
+});
+test('cross types', () => {
+    const n2s = (n) => String(n);
+    const len1 = (s) => s.length === 1;
+    const isSingleDigit = compose(n2s, len1);
+    isType.equal();
+    expect(isSingleDigit(1)).toBe(true);
+    expect(isSingleDigit(10)).toBe(false);
+});
+test('multiple params first function', () => {
+    const add = (a, b) => a + b;
+    const multiply3 = (x) => x * 3;
+    const a = compose(add, multiply3);
+    isType.equal();
+    expect(a(2, 2)).toBe(12);
+});
+//# sourceMappingURL=compose.spec.js.map

package/esm/functional/compose.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.spec.js","sourceRoot":"","sources":["../../ts/functional/compose.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAE7C,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAEtC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAEnC,MAAM,CAAC,KAAK,EAAyC,CAAA;IACrD,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACvB,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;IACvB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAA;IAE1C,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IAExC,MAAM,CAAC,KAAK,EAAsD,CAAA;IAClE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACnC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC1C,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC3C,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAEtC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;IAEjC,MAAM,CAAC,KAAK,EAAoD,CAAA;IAChE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC1B,CAAC,CAAC,CAAA"}

package/esm/functional/index.d.ts

@@ -0,0 +1,3 @@
+export type { ChainFn, EndoFn } from './ChainFn.js';
+export * from './compose.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":"AACA,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AACnD,cAAc,cAAc,CAAA"}

package/esm/functional/index.js

@@ -1,2 +1,2 @@
-export * from './compose';
+export * from './compose.js';
 //# 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":"AAEA,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/functional/index.ts"],"names":[],"mappings":"AAEA,cAAc,cAAc,CAAA"}

package/esm/index.d.ts

@@ -0,0 +1,19 @@
+export { required, requiredDeep } from 'unpartial';
+export * from './array/index.js';
+export * from './assertion/index.js';
+export * from './class/index.js';
+export type { ComposableTypes, NonComposableTypes } from './ComposableTypes.js';
+export * from './function/index.js';
+export * from './functional/index.js';
+export * from './JSONTypes.js';
+export * from './math/index.js';
+export * from './nodejs/index.js';
+export * from './nominal-types/index.js';
+export * from './object/index.js';
+export * from './predicates/index.js';
+export type { PrimitiveTypes } from './PrimitiveTypes.js';
+export * from './promise/index.js';
+export * from './testing/index.js';
+export type { UnionKeys } from './UnionKeys.js';
+export * from './utils/index.js';
+//# sourceMappingURL=index.d.ts.map

package/esm/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAClD,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAC/E,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAGlC,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,cAAc,kBAAkB,CAAA"}

package/esm/index.js

@@ -1,16 +1,18 @@
+// import * as types from './types/index.js'
 export { required, requiredDeep } from 'unpartial';
-export * from './array';
-export * from './assertion';
-export * from './class';
-export * from './function';
-export * from './functional';
-export * from './JSONTypes';
-export * from './math';
-export * from './nodejs';
-export * from './nominal-types';
-export * from './object';
-export * from './predicates';
-export * from './promise';
-export * from './testing';
-export * from './utils';
+export * from './array/index.js';
+export * from './assertion/index.js';
+export * from './class/index.js';
+export * from './function/index.js';
+export * from './functional/index.js';
+export * from './JSONTypes.js';
+export * from './math/index.js';
+export * from './nodejs/index.js';
+export * from './nominal-types/index.js';
+export * from './object/index.js';
+export * from './predicates/index.js';
+export * from './promise/index.js';
+export * from './testing/index.js';
+export * from './utils/index.js';
+// export { types, types as T }
 //# sourceMappingURL=index.js.map

package/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAClD,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AAEvB,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,QAAQ,CAAA;AACtB,cAAc,UAAU,CAAA;AACxB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA;AACxB,cAAc,cAAc,CAAA;AAE5B,cAAc,WAAW,CAAA;AACzB,cAAc,WAAW,CAAA;AAIzB,cAAc,SAAS,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAClD,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAEhC,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AAErC,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAIlC,cAAc,kBAAkB,CAAA;AAChC,+BAA+B"}

package/esm/math/Abs.d.ts

@@ -0,0 +1,3 @@
+import type { DigitArray } from './Digit.js';
+export declare type Abs<N extends number, Fail = never> = number extends N ? Fail : `${N}` extends `-${infer P}` ? DigitArray.ToNumber<DigitArray.FromString<P>> : N;
+//# sourceMappingURL=Abs.d.ts.map

package/esm/math/Abs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Abs.d.ts","sourceRoot":"","sources":["../../ts/math/Abs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,oBAAY,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GAAG,IAAI,GACvE,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}

package/esm/math/Abs.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Abs.spec.d.ts.map

package/esm/math/Abs.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Abs.spec.d.ts","sourceRoot":"","sources":["../../ts/math/Abs.spec.ts"],"names":[],"mappings":""}

package/esm/math/Abs.spec.js

@@ -0,0 +1,12 @@
+import { isType } from '../index.js';
+test('positive returns itself', () => {
+    isType.equal();
+});
+test('negative returns positive', () => {
+    isType.equal();
+});
+test('number returns Fail', () => {
+    isType.equal();
+    isType.equal();
+});
+//# sourceMappingURL=Abs.spec.js.map

package/esm/math/Abs.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Abs.spec.js","sourceRoot":"","sources":["../../ts/math/Abs.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAO,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACnC,MAAM,CAAC,KAAK,EAAmB,CAAA;AACjC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,KAAK,EAA0B,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;IAC/B,MAAM,CAAC,KAAK,EAA4B,CAAA;IACxC,MAAM,CAAC,KAAK,EAA2B,CAAA;AACzC,CAAC,CAAC,CAAA"}

package/esm/math/Add.d.ts

@@ -0,0 +1,22 @@
+import type { PadLeft } from '../array/index.js';
+import type { And } from '../predicates/index.js';
+import type { Digit, DigitArray } from './Digit.js';
+import type { IsPositive } from './IsPositive.js';
+import type { IsWhole } from './IsWhole.js';
+import type { Max } from './Max.js';
+/**
+ * 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>] : []) : []));
+    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>;
+//# sourceMappingURL=Add.d.ts.map

package/esm/math/Add.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Add.d.ts","sourceRoot":"","sources":["../../ts/math/Add.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC;;GAEG;AACH,oBAAY,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAC9D,GAAG,CACD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/B,SAAS,KAAK,GAAG,IAAI,GACtB,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAC/D,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAC/D,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAClE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC3C,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,CAAA;AAEf,yBAAiB,GAAG,CAAC;IACnB,KAAY,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,CAC/D,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC7B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC9B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAChD,EAAE,CAAC,GACL,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,GACnC,EAAE,CAAC,GACL,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC9B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAChC,EAAE,CAAC,GACL,EAAE,CAAC,CACR,CAAA;IAED,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAClD;QAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;KAAC,CAAC,QAAQ,CAAC,CAAA;CACvD;AACD;;GAEG;AACH,oBAAY,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA"}

package/esm/math/Add.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Add.spec.d.ts.map

package/esm/math/Add.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Add.spec.d.ts","sourceRoot":"","sources":["../../ts/math/Add.spec.ts"],"names":[],"mappings":""}

package/esm/math/Add.spec.js

@@ -0,0 +1,71 @@
+import { isType } from '../predicates/index.js';
+describe('Add<A, B>', () => {
+    test('fractional A gets never', () => {
+        isType.equal();
+    });
+    test('negative A gets never', () => {
+        isType.equal();
+    });
+    test('fractional B gets never', () => {
+        isType.equal();
+    });
+    test('negative B gets never', () => {
+        isType.equal();
+    });
+    test('number gets Fail', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    describe('single digit', () => {
+        test('0 + n = n', () => {
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+        });
+        test('9 + n', () => {
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+            isType.equal();
+        });
+    });
+    test('1 + 2 digits', () => {
+        isType.equal();
+        isType.equal();
+    });
+    test('2 + 1 digits', () => {
+        isType.equal();
+        isType.equal();
+    });
+    test('2 + 2 digits', () => {
+        isType.equal();
+        isType.equal();
+    });
+    test('n + n digits', () => {
+        isType.equal();
+    });
+});
+describe('Increment<A>', () => {
+    test('add 1', () => {
+        isType.equal();
+    });
+    test('work with large number', () => {
+        isType.equal();
+    });
+});
+//# sourceMappingURL=Add.spec.js.map

package/esm/math/Add.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Add.spec.js","sourceRoot":"","sources":["../../ts/math/Add.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAG/C,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,KAAK,EAA4B,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,KAAK,EAA2B,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,KAAK,EAA4B,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,KAAK,EAA2B,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,KAAK,EAA+B,CAAA;QAC3C,MAAM,CAAC,KAAK,EAA+B,CAAA;QAE3C,MAAM,CAAC,KAAK,EAAwC,CAAA;QACpD,MAAM,CAAC,KAAK,EAAwC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAsB,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;YACjB,MAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,MAAM,CAAC,KAAK,EAAuB,CAAA;QACrC,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,EAAwB,CAAA;QACpC,MAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,EAAwB,CAAA;QACpC,MAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,EAAyB,CAAA;QACrC,MAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,EAA+B,CAAA;IAC7C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,MAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,KAAK,EAA+B,CAAA;IAC7C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/math/Digit.d.ts

@@ -0,0 +1,100 @@
+import type { Tail } from '../array/index.js';
+import type { And } from '../predicates/index.js';
+import type { IsPositive } from './IsPositive.js';
+import type { IsWhole } from './IsWhole.js';
+export declare namespace Digit {
+    type ToTuple<T = 1> = {
+        [k in number]: any[];
+    } & {
+        0: [];
+        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;
+    } & {
+        0: never;
+        1: 0;
+        2: 0 | 1;
+        3: 0 | 1 | 2;
+        4: 0 | 1 | 2 | 3;
+        5: 0 | 1 | 2 | 3 | 4;
+        6: 0 | 1 | 2 | 3 | 4 | 5;
+        7: 0 | 1 | 2 | 3 | 4 | 5 | 6;
+        8: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7;
+        9: 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8;
+    };
+}
+export declare namespace DigitArray {
+    type ToNumber<C extends number[]> = ToTuple<[], C>['length'];
+    type ToTuple<R extends any[], S extends number[], X = any> = S['length'] extends 0 ? R : (S['length'] extends 1 ? [...R, ...Digit.ToTuple<X>[S[0]]] : (S extends [any, ...infer T] ? (T extends any[] ? ToTuple<Multi10<[...R, ...Digit.ToTuple<X>[S[0]]]>, T> : never) : never));
+    type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
+    type FromNumber<N extends number> = FromString<NumberToString<N>>;
+    type FromNumberAbs<N extends number> = FromString<TrimMinusSign<`${N}`>>;
+    type TrimMinusSign<N extends string> = N extends `-${infer rest}` ? rest : N;
+    type NumberToString<N extends number> = (And<IsPositive<N>, IsWhole<N>>) extends true ? `${N}` : never;
+    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 = {
+        [k in number]: number;
+    } & {
+        0: 0;
+        1: 0;
+        2: 1;
+        3: 2;
+        4: 3;
+        5: 4;
+        6: 5;
+        7: 6;
+        8: 7;
+        9: 8;
+        10: 9;
+        11: 10;
+        12: 11;
+        13: 12;
+        14: 13;
+        15: 14;
+        16: 15;
+        17: 16;
+        18: 17;
+        19: 18;
+    };
+    type Plus10 = {
+        [k in number]: number;
+    } & {
+        0: 10;
+        1: 11;
+        2: 12;
+        3: 13;
+        4: 14;
+        5: 15;
+        6: 16;
+        7: 17;
+        8: 18;
+        9: 19;
+    };
+}
+//# sourceMappingURL=Digit.d.ts.map