type-plus 4.10.0 → 4.11.1

package/cjs/binary/Bit.js

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

package/cjs/binary/Bit.js.map

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

package/cjs/binary/_binary.d.ts

@@ -0,0 +1,2 @@
+export type { Bit, BitAnd, BitNot, BitOr, BitXor } from './Bit.js';
+//# sourceMappingURL=_binary.d.ts.map

package/cjs/binary/_binary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_binary.d.ts","sourceRoot":"","sources":["../../ts/binary/_binary.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA"}

package/cjs/binary/_binary.js

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

package/cjs/binary/_binary.js.map

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

package/cjs/binary/index.d.ts

@@ -0,0 +1,3 @@
+export * as B from './_binary.js';
+export * as Bit from './_binary.js';
+//# sourceMappingURL=index.d.ts.map

package/cjs/binary/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/binary/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}

package/cjs/binary/index.js

@@ -0,0 +1,29 @@
+"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 __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Bit = exports.B = void 0;
+exports.B = __importStar(require("./_binary.js"));
+exports.Bit = __importStar(require("./_binary.js"));
+//# sourceMappingURL=index.js.map

package/cjs/binary/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/binary/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,kDAAiC;AACjC,oDAAmC"}

package/cjs/binary/index.spec.d.ts

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

package/cjs/binary/index.spec.d.ts.map

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

package/cjs/binary/index.spec.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+test('B.BitNot<T>', function () {
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+});
+test('B.BitAnd<A, B>', function () {
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+});
+test('B.BitOr<A, B>', function () {
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+});
+test('B.BitXor<A, B>', function () {
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+});
+//# sourceMappingURL=index.spec.js.map

package/cjs/binary/index.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.js","sourceRoot":"","sources":["../../ts/binary/index.spec.ts"],"names":[],"mappings":";;AAAA,wCAA+C;AAG/C,IAAI,CAAC,aAAa,EAAE;IAClB,qBAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;IAChD,qBAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gBAAgB,EAAE;IACrB,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;AACrD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,eAAe,EAAE;IACpB,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;IAClD,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;IAClD,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;IAClD,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;AACpD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gBAAgB,EAAE;IACrB,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;IACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;AACrD,CAAC,CAAC,CAAA"}

package/cjs/class/AnyConstructor.spec.d.ts

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

package/cjs/class/AnyConstructor.spec.d.ts.map

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

package/cjs/class/AnyConstructor.spec.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+test('basic', function () {
+    var a = function () { };
+    new a();
+});
+test('specify params with tuple', function () {
+    var a = function () { };
+    new a(1, 'a');
+});
+//# sourceMappingURL=AnyConstructor.spec.js.map

package/cjs/class/AnyConstructor.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnyConstructor.spec.js","sourceRoot":"","sources":["../../ts/class/AnyConstructor.spec.ts"],"names":[],"mappings":";;AAEA,IAAI,CAAC,OAAO,EAAE;IACZ,IAAM,CAAC,GAAG,cAAc,CAA0B,CAAA;IAElD,IAAI,CAAC,EAAE,CAAA;AACT,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2BAA2B,EAAE;IAChC,IAAM,CAAC,GAAG,cAAc,CAA0D,CAAA;IAElF,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACf,CAAC,CAAC,CAAA"}

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

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

package/cjs/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/cjs/class/isConstructor.spec.js

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"isConstructor.spec.js","sourceRoot":"","sources":["../../ts/class/isConstructor.spec.ts"],"names":[],"mappings":";;AAAA,wCAAuE;AAEvE,IAAI,CAAC,mBAAmB,EAAE;IACxB,IAAM,CAAC,GAAY,KAAK,CAAA;IACxB,IAAI,IAAA,wBAAa,EAAC,CAAC,CAAC;QAClB,IAAA,qBAAU,EAAiB,CAAC,CAAC,CAAA;AACjC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAC5B,MAAM,CAAC,IAAA,wBAAa,EAAC,cAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,sBAAsB,EAAE;IAC3B,MAAM,CAAC,IAAA,wBAAa,EAAC,cAAQ,MAAM,IAAI,KAAK,EAAE,CAAA,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAChE,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,0CAA0C,EAAE;IAC/C;QAAY;YAAgB,MAAM,IAAI,KAAK,EAAE,CAAA;QAAC,CAAC;QAAC,UAAC;IAAD,CAAC,AAAjD,IAAiD;IACjD,MAAM,CAAC,IAAA,wBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE;IACrC;QAAY;YAAgB,MAAM,KAAK,CAAA;QAAC,CAAC;QAAC,UAAC;IAAD,CAAC,AAA3C,IAA2C;IAC3C,MAAM,CAAC,IAAA,wBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE;IACrC;QAAY;YAAgB,MAAM,SAAS,CAAA;QAAC,CAAC;QAAC,UAAC;IAAD,CAAC,AAA/C,IAA+C;IAC/C,MAAM,CAAC,IAAA,wBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,gCAAgC,EAAE;IACrC;QAAY,aAAmB,CAAS;;;;;uBAAT;;QAAa,CAAC;QAAC,UAAC;IAAD,CAAC,AAA/C,IAA+C;IAC/C,MAAM,CAAC,IAAA,wBAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvC,CAAC,CAAC,CAAA"}

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

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

package/cjs/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/cjs/function/AnyFunction.spec.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+test('basic', function () {
+    function doCallback(cb) {
+        cb();
+    }
+    doCallback(function () { });
+    doCallback(function (_) { });
+    doCallback(function (a, b) { return a + b; });
+});
+test('define param as tuple', function () {
+    var foo = function (x) { return x; };
+    foo(1, 'a');
+});
+test('define result type', function () {
+    var foo = function (x) { return x; };
+    index_js_1.assertType.isString(foo('a'));
+});
+//# sourceMappingURL=AnyFunction.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AnyFunction.spec.js","sourceRoot":"","sources":["../../ts/function/AnyFunction.spec.ts"],"names":[],"mappings":";;AAAA,wCAAqD;AAErD,IAAI,CAAC,OAAO,EAAE;IACZ,SAAS,UAAU,CAAC,EAAe;QACjC,EAAE,EAAE,CAAA;IACN,CAAC;IAED,UAAU,CAAC,cAAQ,CAAC,CAAC,CAAA;IACrB,UAAU,CAAC,UAAA,CAAC,IAAM,CAAC,CAAC,CAAA;IACpB,UAAU,CAAC,UAAC,CAAS,EAAE,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAC5B,IAAM,GAAG,GAAkC,UAAA,CAAC,IAAI,OAAA,CAAC,EAAD,CAAC,CAAA;IACjD,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACb,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,oBAAoB,EAAE;IACzB,IAAM,GAAG,GAAkC,UAAA,CAAC,IAAI,OAAA,CAAC,EAAD,CAAC,CAAA;IACjD,qBAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA"}

package/cjs/functional/ChainFn.d.ts

@@ -1,3 +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/cjs/functional/ChainFn.d.ts.map

@@ -1 +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;AAKxC,oBAAY,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA"}
+{"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/cjs/functional/ChainFn.spec.d.ts

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

package/cjs/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/cjs/functional/ChainFn.spec.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+test('return type is the same as input type', function () {
+    index_js_1.assertType.isTrue(true);
+});
+//# sourceMappingURL=ChainFn.spec.js.map

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

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

package/cjs/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/cjs/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/cjs/functional/Maybe.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.none = exports.just = void 0;
+function just(value) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
+    return { unwrap: function () { return value; } };
+}
+exports.just = just;
+function none() {
+    return { unwrap: function () { } };
+}
+exports.none = none;
+//# sourceMappingURL=Maybe.js.map

package/cjs/functional/Maybe.js.map

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

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

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

package/cjs/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/cjs/functional/Maybe.spec.js

@@ -0,0 +1,35 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+var Maybe_js_1 = require("./Maybe.js");
+test('just(value) returns Maybe<T>', function () {
+    (0, index_js_1.assertType)((0, Maybe_js_1.just)(1));
+});
+test('just(undefined) returns Maybe<T>', function () {
+    var b = undefined;
+    (0, index_js_1.assertType)((0, Maybe_js_1.just)(b));
+});
+test('none<T>() returns Maybe<T>', function () {
+    (0, index_js_1.assertType)((0, Maybe_js_1.none)());
+});
+test('unwrap Maybe<T> returns value', function () {
+    var maybe = (0, Maybe_js_1.just)('abc');
+    var actual = maybe.unwrap();
+    (0, index_js_1.assertType)(actual);
+    expect(actual).toBe('abc');
+});
+test('None can assign to Maybe<T>', function () {
+    var actual = (0, Maybe_js_1.none)();
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue((0, index_js_1.canAssign)()((0, Maybe_js_1.none)()));
+});
+test('Just<number can assign to Maybe<number>', function () {
+    index_js_1.assertType.isTrue(true);
+    index_js_1.assertType.isTrue((0, index_js_1.canAssign)()((0, Maybe_js_1.just)(1)));
+});
+test('Just<string> is not assignable to Maybe<number>', function () {
+    index_js_1.assertType.isFalse(false);
+    index_js_1.assertType.isTrue((0, index_js_1.canAssign)(false)((0, Maybe_js_1.just)('abc')));
+});
+//# sourceMappingURL=Maybe.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.spec.js","sourceRoot":"","sources":["../../ts/functional/Maybe.spec.ts"],"names":[],"mappings":";;AAAA,wCAA8D;AAC9D,uCAA0D;AAE1D,IAAI,CAAC,8BAA8B,EAAE;IACnC,IAAA,qBAAU,EAAgB,IAAA,eAAI,EAAC,CAAC,CAAC,CAAC,CAAA;AACpC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kCAAkC,EAAE;IACvC,IAAM,CAAC,GAAwB,SAAS,CAAA;IACxC,IAAA,qBAAU,EAAiB,IAAA,eAAI,EAAC,CAAC,CAAC,CAAC,CAAA;AACrC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,4BAA4B,EAAE;IACjC,IAAA,qBAAU,EAAiB,IAAA,eAAI,GAAW,CAAC,CAAA;AAC7C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,+BAA+B,EAAE;IACpC,IAAM,KAAK,GAAG,IAAA,eAAI,EAAC,KAAK,CAAC,CAAA;IACzB,IAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAA;IAE7B,IAAA,qBAAU,EAAS,MAAM,CAAC,CAAA;IAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE;IAClC,IAAM,MAAM,GAAG,IAAA,eAAI,GAAU,CAAA;IAE7B,qBAAU,CAAC,MAAM,CAAC,IAA+C,CAAC,CAAA;IAClE,qBAAU,CAAC,MAAM,CAAC,IAA8C,CAAC,CAAA;IACjE,qBAAU,CAAC,MAAM,CAAC,IAAA,oBAAS,GAAiB,CAAC,IAAA,eAAI,GAAU,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,yCAAyC,EAAE;IAC9C,qBAAU,CAAC,MAAM,CAAC,IAA8C,CAAC,CAAA;IACjE,qBAAU,CAAC,MAAM,CAAC,IAAA,oBAAS,GAAiB,CAAC,IAAA,eAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iDAAiD,EAAE;IACtD,qBAAU,CAAC,OAAO,CAAC,KAA8C,CAAC,CAAA;IAElE,qBAAU,CAAC,MAAM,CAAC,IAAA,oBAAS,EAAgB,KAAK,CAAC,CAAC,IAAA,eAAI,EAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC,CAAC,CAAA"}

package/cjs/functional/compose.d.ts

@@ -1,4 +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/cjs/functional/compose.d.ts.map

@@ -1 +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;AAK7D,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"}
+{"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/cjs/functional/compose.js

@@ -1,11 +1,15 @@
 "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];
     }
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
     return function () {
         var args = [];
         for (var _i = 0; _i < arguments.length; _i++) {

package/cjs/functional/compose.js.map

@@ -1 +1 @@
-{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../ts/functional/compose.ts"],"names":[],"mappings":";;;AAMA,SAAgB,OAAO;IAA2B,aAAU;SAAV,UAAU,EAAV,qBAAU,EAAV,IAAU;QAAV,wBAAU;;IAE1D,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,CAAC;IAAhD,CAAgD,CAAA;AAC7E,CAAC;AAHD,0BAGC"}
+{"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,+DAA+D;IAC/D,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,CAAC;IAAhD,CAAgD,CAAA;AAC7E,CAAC;AAHD,0BAGC"}

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

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

package/cjs/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/cjs/functional/compose.spec.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+test('works with endofunctors: +2 *3', function () {
+    var plus2 = function (x) { return x + 2; };
+    var multiply3 = function (x) { return x * 3; };
+    var a = (0, index_js_1.compose)(plus2, multiply3);
+    index_js_1.isType.equal();
+    expect(a(2)).toBe(12);
+});
+test('cross types', function () {
+    var n2s = function (n) { return String(n); };
+    var len1 = function (s) { return s.length === 1; };
+    var isSingleDigit = (0, index_js_1.compose)(n2s, len1);
+    index_js_1.isType.equal();
+    expect(isSingleDigit(1)).toBe(true);
+    expect(isSingleDigit(10)).toBe(false);
+});
+test('multiple params first function', function () {
+    var add = function (a, b) { return a + b; };
+    var multiply3 = function (x) { return x * 3; };
+    var a = (0, index_js_1.compose)(add, multiply3);
+    index_js_1.isType.equal();
+    expect(a(2, 2)).toBe(12);
+});
+//# sourceMappingURL=compose.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compose.spec.js","sourceRoot":"","sources":["../../ts/functional/compose.spec.ts"],"names":[],"mappings":";;AAAA,wCAA6C;AAE7C,IAAI,CAAC,gCAAgC,EAAE;IACrC,IAAM,KAAK,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,CAAA;IAClC,IAAM,SAAS,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,CAAA;IAEtC,IAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IAEnC,iBAAM,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;IAClB,IAAM,GAAG,GAAG,UAAC,CAAS,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,EAAT,CAAS,CAAA;IACpC,IAAM,IAAI,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,CAAC,MAAM,KAAK,CAAC,EAAd,CAAc,CAAA;IAE1C,IAAM,aAAa,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IAExC,iBAAM,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;IACrC,IAAM,GAAG,GAAG,UAAC,CAAS,EAAE,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,CAAA;IAC3C,IAAM,SAAS,GAAG,UAAC,CAAS,IAAK,OAAA,CAAC,GAAG,CAAC,EAAL,CAAK,CAAA;IAEtC,IAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,SAAS,CAAC,CAAA;IAEjC,iBAAM,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/cjs/index.js

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

package/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AACA,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,mDAAgC;AAChC,uDAAoC;AACpC,mDAAgC;AAEhC,sDAAmC;AACnC,wDAAqC;AACrC,iDAA8B;AAC9B,kDAA+B;AAC/B,oDAAiC;AACjC,2DAAwC;AACxC,oDAAiC;AACjC,wDAAqC;AAErC,qDAAkC;AAClC,qDAAkC;AAIlC,mDAAgC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,4CAA4C;AAC5C,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,mDAAgC;AAChC,uDAAoC;AACpC,mDAAgC;AAEhC,sDAAmC;AACnC,wDAAqC;AACrC,iDAA8B;AAC9B,kDAA+B;AAC/B,oDAAiC;AACjC,2DAAwC;AACxC,oDAAiC;AACjC,wDAAqC;AAErC,qDAAkC;AAClC,qDAAkC;AAIlC,mDAAgC;AAChC,+BAA+B"}

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

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

package/cjs/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/cjs/math/Abs.spec.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+test('positive returns itself', function () {
+    index_js_1.isType.equal();
+});
+test('negative returns positive', function () {
+    index_js_1.isType.equal();
+});
+test('number returns Fail', function () {
+    index_js_1.isType.equal();
+    index_js_1.isType.equal();
+});
+//# sourceMappingURL=Abs.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Abs.spec.js","sourceRoot":"","sources":["../../ts/math/Abs.spec.ts"],"names":[],"mappings":";;AAAA,wCAAyC;AAEzC,IAAI,CAAC,yBAAyB,EAAE;IAC9B,iBAAM,CAAC,KAAK,EAAmB,CAAA;AACjC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2BAA2B,EAAE;IAChC,iBAAM,CAAC,KAAK,EAA0B,CAAA;AACxC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qBAAqB,EAAE;IAC1B,iBAAM,CAAC,KAAK,EAA4B,CAAA;IACxC,iBAAM,CAAC,KAAK,EAA2B,CAAA;AACzC,CAAC,CAAC,CAAA"}

package/cjs/math/Add.d.ts

@@ -4,6 +4,9 @@ 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>] : []) : []));
@@ -12,5 +15,8 @@ export declare namespace Add {
         ...Digit.ToTuple[B]
     ]['length'];
 }
+/**
+ * Increment `A` by 1.
+ */
 export declare type Increment<A extends number, Fail = never> = Add<A, 1, Fail>;
 //# sourceMappingURL=Add.d.ts.map

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

@@ -1 +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;AAKnC,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;AAID,oBAAY,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA"}
+{"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/cjs/math/Add.spec.d.ts

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

package/cjs/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/cjs/math/Add.spec.js

@@ -0,0 +1,73 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../predicates/index.js");
+describe('Add<A, B>', function () {
+    test('fractional A gets never', function () {
+        index_js_1.isType.equal();
+    });
+    test('negative A gets never', function () {
+        index_js_1.isType.equal();
+    });
+    test('fractional B gets never', function () {
+        index_js_1.isType.equal();
+    });
+    test('negative B gets never', function () {
+        index_js_1.isType.equal();
+    });
+    test('number gets Fail', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    describe('single digit', function () {
+        test('0 + n = n', function () {
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+        });
+        test('9 + n', function () {
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+            index_js_1.isType.equal();
+        });
+    });
+    test('1 + 2 digits', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    test('2 + 1 digits', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    test('2 + 2 digits', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    test('n + n digits', function () {
+        index_js_1.isType.equal();
+    });
+});
+describe('Increment<A>', function () {
+    test('add 1', function () {
+        index_js_1.isType.equal();
+    });
+    test('work with large number', function () {
+        index_js_1.isType.equal();
+    });
+});
+//# sourceMappingURL=Add.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Add.spec.js","sourceRoot":"","sources":["../../ts/math/Add.spec.ts"],"names":[],"mappings":";;AAAA,mDAA+C;AAG/C,QAAQ,CAAC,WAAW,EAAE;IACpB,IAAI,CAAC,yBAAyB,EAAE;QAC9B,iBAAM,CAAC,KAAK,EAA4B,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uBAAuB,EAAE;QAC5B,iBAAM,CAAC,KAAK,EAA2B,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,yBAAyB,EAAE;QAC9B,iBAAM,CAAC,KAAK,EAA4B,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uBAAuB,EAAE;QAC5B,iBAAM,CAAC,KAAK,EAA2B,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE;QACvB,iBAAM,CAAC,KAAK,EAA+B,CAAA;QAC3C,iBAAM,CAAC,KAAK,EAA+B,CAAA;QAE3C,iBAAM,CAAC,KAAK,EAAwC,CAAA;QACpD,iBAAM,CAAC,KAAK,EAAwC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,cAAc,EAAE;QACvB,IAAI,CAAC,WAAW,EAAE;YAChB,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAsB,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,OAAO,EAAE;YACZ,iBAAM,CAAC,KAAK,EAAsB,CAAA;YAClC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;YACnC,iBAAM,CAAC,KAAK,EAAuB,CAAA;QACrC,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE;QACnB,iBAAM,CAAC,KAAK,EAAwB,CAAA;QACpC,iBAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE;QACnB,iBAAM,CAAC,KAAK,EAAwB,CAAA;QACpC,iBAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE;QACnB,iBAAM,CAAC,KAAK,EAAyB,CAAA;QACrC,iBAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,cAAc,EAAE;QACnB,iBAAM,CAAC,KAAK,EAA+B,CAAA;IAC7C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE;IACvB,IAAI,CAAC,OAAO,EAAE;QACZ,iBAAM,CAAC,KAAK,EAAyB,CAAA;IACvC,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,wBAAwB,EAAE;QAC7B,iBAAM,CAAC,KAAK,EAA+B,CAAA;IAC7C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/cjs/math/Digit.d.ts

@@ -27,6 +27,9 @@ export declare namespace Digit {
         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;