type-plus 3.12.1 → 3.14.0

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

@@ -1 +1 @@
-{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../src/nominal-types/Flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAGvE,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAoBjC,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAa;IAChD,IAAI,OAAO,KAAK,SAAS,EAAE;QACzB,OAAO,UAAU,OAAY,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;KAChE;IACD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAe,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACjC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC"}
+{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../src/nominal-types/Flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAGvE,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAoBjC,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAC3F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAiC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/libm/object/KnownKeys.js

@@ -1,2 +1,5 @@
+// Original by Klaus Meinhardt @ajafff
+// known from Gerrit Birkeland @Gerrit0
+// https://github.com/Microsoft/TypeScript/issues/25987#issuecomment-408339599
 export {};
 //# sourceMappingURL=KnownKeys.js.map

package/libm/object/KnownKeys.js.map

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

package/libm/object/facade.js

@@ -2,14 +2,17 @@ export function facade(subject, ...props) {
     return props.reduce((p, k) => {
         const prop = subject[k];
         if (typeof prop === 'function') {
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment, @typescript-eslint/no-unsafe-call
             p[k] = prop.bind(subject);
         }
         else {
             Object.defineProperty(p, k, {
                 get() {
+                    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
                     return subject[k];
                 },
                 set(value) {
+                    // eslint-disable-next-line @typescript-eslint/no-unsafe-return, @typescript-eslint/no-unsafe-assignment
                     return subject[k] = value;
                 },
             });

package/libm/object/facade.js.map

@@ -1 +1 @@
-{"version":3,"file":"facade.js","sourceRoot":"","sources":["../../src/object/facade.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,MAAM,CAAsB,OAAU,EAAE,GAAG,KAAkB;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE;YAC9B,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;SAC1B;aACI;YACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE;gBAC1B,GAAG;oBACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAA;gBACnB,CAAC;gBACD,GAAG,CAAC,KAAU;oBACZ,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;gBAC3B,CAAC;aACF,CAAC,CAAA;SACH;QACD,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAO,CAAC,CAAA;AACb,CAAC"}
+{"version":3,"file":"facade.js","sourceRoot":"","sources":["../../src/object/facade.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,MAAM,CAAsB,OAAU,EAAE,GAAG,KAAkB;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE;YAC9B,sGAAsG;YACtG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;SAC1B;aACI;YACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE;gBAC1B,GAAG;oBACD,+DAA+D;oBAC/D,OAAO,OAAO,CAAC,CAAC,CAAC,CAAA;gBACnB,CAAC;gBACD,GAAG,CAAC,KAAU;oBACZ,wGAAwG;oBACxG,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;gBAC3B,CAAC;aACF,CAAC,CAAA;SACH;QACD,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAO,CAAC,CAAA;AACb,CAAC"}

package/libm/object/getField.js.map

@@ -1 +1 @@
-{"version":3,"file":"getField.js","sourceRoot":"","sources":["../../src/object/getField.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,QAAQ,CAKtB,OAAU,EAAE,GAAM,EAAE,YAAiB;IACrC,OAAO,OAAO,IAAK,OAAe,CAAC,GAAG,CAAC,IAAI,YAAY,CAAA;AACzD,CAAC"}
+{"version":3,"file":"getField.js","sourceRoot":"","sources":["../../src/object/getField.ts"],"names":[],"mappings":"AAaA,MAAM,UAAU,QAAQ,CAKtB,OAAU,EAAE,GAAM,EAAE,YAAiB;IACrC,OAAO,OAAO,IAAK,OAA+C,CAAC,GAAG,CAAC,IAAI,YAAY,CAAA;AACzF,CAAC"}

package/libm/object/hasKey.js.map

@@ -1 +1 @@
-{"version":3,"file":"hasKey.js","sourceRoot":"","sources":["../../src/object/hasKey.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,MAAM,CAAwC,OAAU,EAAE,GAAG,IAAS;IACpF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAQ,CAAA;AAChD,CAAC"}
+{"version":3,"file":"hasKey.js","sourceRoot":"","sources":["../../src/object/hasKey.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,MAAM,CAAwC,OAAU,EAAE,GAAG,IAAS;IACpF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAA4B,CAAA;AACpE,CAAC"}

package/libm/object/omit.js.map

@@ -1 +1 @@
-{"version":3,"file":"omit.js","sourceRoot":"","sources":["../../src/object/omit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,WAAW,EAAE,MAAM,WAAW,CAAA;AA8BlD,MAAM,UAAU,IAAI,CAAsB,OAAU,EAAE,GAAG,KAA0B;IACjF,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC9C,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAS,CAAC,CAAA;AACf,CAAC"}
+{"version":3,"file":"omit.js","sourceRoot":"","sources":["../../src/object/omit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,WAAW,EAAE,MAAM,WAAW,CAAA;AA8BlD,MAAM,UAAU,IAAI,CAAsB,OAAU,EAAE,GAAG,KAA0B;IACjF,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC9C,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAe,CAAC,CAAA;AACrB,CAAC"}

package/libm/object/pick.js.map

@@ -1 +1 @@
-{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../src/object/pick.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAczC,MAAM,UAAU,IAAI,CAAsB,OAAU,EAAE,GAAG,KAA0B;IACjF,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC5C,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAS,CAAC,CAAA;AACf,CAAC"}
+{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../src/object/pick.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAczC,MAAM,UAAU,IAAI,CAAsB,OAAU,EAAE,GAAG,KAA0B;IACjF,OAAO,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC5C,OAAO,CAAC,CAAA;IACV,CAAC,EAAE,EAAO,CAAC,CAAA;AACb,CAAC"}

package/libm/object/typeOverrideIncompatible.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeOverrideIncompatible.js","sourceRoot":"","sources":["../../src/object/typeOverrideIncompatible.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,wBAAwB;IACtC,OAAO,UAA+B,MAAS,EAAE,QAAqB;QACpE,OAAO;YACL,GAAG,MAAM;YACT,GAAG,QAAQ;SACL,CAAA;IACV,CAAC,CAAA;AACH,CAAC"}
+{"version":3,"file":"typeOverrideIncompatible.js","sourceRoot":"","sources":["../../src/object/typeOverrideIncompatible.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,wBAAwB;IACtC,OAAO,UAA+B,MAAS,EAAE,QAAqB;QACpE,OAAO;YACL,GAAG,MAAM;YACT,GAAG,QAAQ;SACZ,CAAA;IACH,CAAC,CAAA;AACH,CAAC"}

package/libm/predicates/CanAssign.js.map

@@ -1 +1 @@
-{"version":3,"file":"CanAssign.js","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":"AAeA,MAAM,UAAU,SAAS;IACvB,OAAO,GAAG,EAAE,CAAC,IAAI,CAAA;AACnB,CAAC"}
+{"version":3,"file":"CanAssign.js","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":"AAkBA,MAAM,UAAU,SAAS;IACvB,OAAO,GAAG,EAAE,CAAC,IAAI,CAAA;AACnB,CAAC"}

package/libm/predicates/index.js

@@ -4,4 +4,5 @@ export * from './Extends';
 export * from './If';
 export * from './isType';
 export * from './logical';
+export * from './isEmptyObject';
 //# sourceMappingURL=index.js.map

package/libm/predicates/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,MAAM,CAAA;AACpB,cAAc,UAAU,CAAA;AACxB,cAAc,WAAW,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,MAAM,CAAA;AACpB,cAAc,UAAU,CAAA;AACxB,cAAc,WAAW,CAAA;AACzB,cAAc,iBAAiB,CAAA"}

package/libm/predicates/isEmptyObject.js

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

package/libm/predicates/isEmptyObject.js.map

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

package/libm/predicates/isType.js

@@ -8,12 +8,11 @@ export function isType(subject, validator) {
     }
     return true;
 }
-const sym = Symbol();
-isType.t = function (subject = sym) {
-    return subject === sym || subject === true;
+isType.t = function (subject) {
+    return subject === undefined || subject === true;
 };
-isType.f = function (subject = sym) {
-    return subject === sym || subject === false;
+isType.f = function (subject) {
+    return subject === undefined || subject === false;
 };
 /**
  * are types A and B equals/not equals.

package/libm/predicates/isType.js.map

@@ -1 +1 @@
-{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../src/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAMxC,MAAM,UAAU,MAAM,CAAC,OAAY,EAAE,SAAe;IAClD,IAAI,SAAS,EAAE;QACb,IAAI,aAAa,CAAC,SAAS,CAAC;YAC1B,OAAO,OAAO,YAAY,SAAS,CAAA;;YAEnC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;KAC5B;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,GAAG,GAAG,MAAM,EAAE,CAAA;AAEpB,MAAM,CAAC,CAAC,GAAG,UAA0B,UAAa,GAAU;IAC1D,OAAQ,OAAe,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAA;AACrD,CAAC,CAAA;AACD,MAAM,CAAC,CAAC,GAAG,UAA2B,UAAa,GAAU;IAC3D,OAAQ,OAAe,KAAK,GAAG,IAAI,OAAO,KAAK,KAAK,CAAA;AACtD,CAAC,CAAA;AAED;;;;GAIG;AACH,6DAA6D;AAC7D,MAAM,CAAC,KAAK,GAAG,cAA2C,CAAC,CAAA"}
+{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../src/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,aAAa,EAAE,MAAM,UAAU,CAAA;AAMxD,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAsD;IAC7F,IAAI,SAAS,EAAE;QACb,IAAI,aAAa,CAAC,SAAS,CAAC;YAC1B,OAAO,OAAO,YAAY,SAAS,CAAA;;YAEnC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;KAC5B;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC9C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AAClD,CAAC,CAAA;AACD,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AACnD,CAAC,CAAA;AAED;;;;GAIG;AACH,6DAA6D;AAC7D,MAAM,CAAC,KAAK,GAAG,cAA2C,CAAC,CAAA"}

package/libm/promise/isPromise.js

@@ -1,4 +1,5 @@
 export function isPromise(subject) {
-    return !!subject && typeof subject.then === 'function';
+    // @ts-ignore
+    return !!subject && typeof subject['then'] === 'function';
 }
 //# sourceMappingURL=isPromise.js.map

package/libm/promise/isPromise.js.map

@@ -1 +1 @@
-{"version":3,"file":"isPromise.js","sourceRoot":"","sources":["../../src/promise/isPromise.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,SAAS,CAAU,OAAY;IAC7C,OAAO,CAAC,CAAC,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU,CAAA;AACxD,CAAC"}
+{"version":3,"file":"isPromise.js","sourceRoot":"","sources":["../../src/promise/isPromise.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,SAAS,CAAU,OAAgB;IACjD,aAAa;IACb,OAAO,CAAC,CAAC,OAAO,IAAI,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,UAAU,CAAA;AAC3D,CAAC"}

package/libm/promise/mapSeries.js

@@ -1,10 +1,4 @@
 export function mapSeries(values, fn) {
-    const results = [];
-    return values.reduce((p, v) => {
-        return p.then(() => fn(v)).then((r) => {
-            results.push(r);
-            return results;
-        });
-    }, Promise.resolve());
+    return values.reduce((p, v) => p.then(r => fn(v).then(v => (r.push(v), r))), Promise.resolve([]));
 }
 //# sourceMappingURL=mapSeries.js.map

package/libm/promise/mapSeries.js.map

@@ -1 +1 @@
-{"version":3,"file":"mapSeries.js","sourceRoot":"","sources":["../../src/promise/mapSeries.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,SAAS,CAAa,MAAW,EAAE,EAA4B;IAC7E,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC5B,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE;YACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACf,OAAO,OAAO,CAAA;QAChB,CAAC,CAAC,CAAA;IACJ,CAAC,EAAE,OAAO,CAAC,OAAO,EAAS,CAAC,CAAA;AAC9B,CAAC"}
+{"version":3,"file":"mapSeries.js","sourceRoot":"","sources":["../../src/promise/mapSeries.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,SAAS,CAAa,MAAW,EAAE,EAA4B;IAC7E,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EACtD,OAAO,CAAC,OAAO,CAAM,EAAE,CAAC,CAAC,CAAA;AAC7B,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "3.12.1",
+  "version": "3.14.0",
   "description": "Provides additional types for `typescript`.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
@@ -30,14 +30,13 @@
     "clean": "rimraf coverage lib libm",
     "codacy": "cat coverage/lcov.info | codacy-coverage",
     "codecov": "codecov",
-    "coverage": "jest --coverage",
+    "coverage": "tsc -p tsconfig.json && jest --coverage",
     "dc": "yarn dependency-check",
     "depcheck": "yarn dependency-check",
     "dependency-check": "dependency-check . --unused --no-dev -i ts-toolbelt -i typescript && dependency-check . --missing --no-dev",
     "lint": "eslint --ext=ts,js .",
     "nuke": "yarn clean && rimraf node_modules",
-    "semantic-release": "semantic-release",
-    "test": "jest",
+    "test": "tsc -p tsconfig.json && jest",
     "verify": "yarn lint && yarn build && yarn dc && npx size-limit && yarn coverage",
     "verify:ci": "yarn lint && yarn build && yarn dc && npx size-limit && yarn coverage --maxWorkers=2",
     "watch": "jest --watch"
@@ -52,44 +51,42 @@
     "unpartial": "^0.6.3"
   },
   "devDependencies": {
-    "@babel/cli": "^7.14.3",
-    "@babel/core": "^7.14.3",
-    "@babel/plugin-proposal-class-properties": "^7.13.0",
-    "@babel/plugin-proposal-nullish-coalescing-operator": "^7.14.2",
-    "@babel/plugin-proposal-optional-chaining": "^7.14.2",
-    "@babel/preset-env": "^7.14.4",
-    "@babel/preset-typescript": "^7.13.0",
-    "@commitlint/cli": "^12.1.4",
-    "@commitlint/config-conventional": "^12.1.4",
-    "@size-limit/preset-small-lib": "^4.11.0",
-    "@types/jest": "^26.0.23",
+    "@babel/cli": "^7.16.0",
+    "@babel/core": "^7.16.0",
+    "@babel/plugin-proposal-class-properties": "^7.16.0",
+    "@babel/plugin-proposal-nullish-coalescing-operator": "^7.16.0",
+    "@babel/plugin-proposal-optional-chaining": "^7.16.0",
+    "@babel/preset-env": "^7.16.4",
+    "@babel/preset-typescript": "^7.16.0",
+    "@commitlint/cli": "^15.0.0",
+    "@commitlint/config-conventional": "^15.0.0",
+    "@size-limit/preset-small-lib": "^7.0.3",
+    "@types/jest": "^27.0.3",
     "@unional/fixture": "^1.7.2",
     "assertron": "^7.1.3",
-    "codecov": "^3.8.2",
-    "commitlint-circle": "^1.0.0",
+    "codecov": "^3.8.3",
     "dependency-check": "^4.1.0",
     "eslint": "^7.28.0",
-    "eslint-plugin-harmony": "^5.1.0",
-    "husky": "^6.0.0",
-    "is-ci": "^3.0.0",
-    "jest": "^27.0.4",
-    "jest-junit": "^12.1.0",
+    "eslint-plugin-harmony": "^6.0.0",
+    "husky": "^7.0.4",
+    "is-ci": "^3.0.1",
+    "jest": "^27.4.3",
+    "jest-junit": "^13.0.0",
     "jest-progress-tracker": "^2.0.2",
-    "jest-validate": "^27.0.2",
+    "jest-validate": "^27.4.2",
     "jest-watch-suspend": "^1.1.2",
     "jest-watch-toggle-config": "^2.0.1",
-    "jest-watch-typeahead": "^0.6.4",
-    "npm-check-updates": "^11.6.0",
+    "jest-watch-typeahead": "^1.0.0",
+    "npm-check-updates": "^12.0.2",
     "rimraf": "^3.0.2",
     "satisfier": "^5.1.0",
-    "semantic-release": "^17.4.3",
-    "size-limit": "^4.11.0",
+    "size-limit": "^7.0.3",
     "ts-toolbelt": "^9.6.0",
-    "typescript": "^4.3.2"
+    "typescript": "^4.5.2"
   },
   "size-limit": [
     {
-      "limit": "10 kb"
+      "limit": "15 kb"
     }
   ]
 }

package/src/ComposableTypes.spec.ts

@@ -0,0 +1,29 @@
+import { assertType, canAssign, ComposableTypes, NonComposableTypes } from '.'
+
+test('ComposableTypes includes object, array, and function', () => {
+  assertType<ComposableTypes>({})
+  assertType<ComposableTypes>([])
+  // function is composable because you can do
+  // `Object.assign(fn, { ... })
+  assertType<ComposableTypes>(() => { })
+
+  assertType.isTrue(canAssign<ComposableTypes>(false)(null))
+  assertType.isTrue(canAssign<ComposableTypes>(false)(undefined))
+  assertType.isTrue(canAssign<ComposableTypes>(false)(1))
+  assertType.isTrue(canAssign<ComposableTypes>(false)(true))
+  assertType.isTrue(canAssign<ComposableTypes>(false)(''))
+  assertType.isTrue(canAssign<ComposableTypes>(false)(Symbol()))
+})
+
+test('NonComposableType excludes object, array, and function', () => {
+  assertType<NonComposableTypes>(null)
+  assertType<NonComposableTypes>(undefined)
+  assertType<NonComposableTypes>(true)
+  assertType<NonComposableTypes>(1)
+  assertType<NonComposableTypes>('')
+  assertType<NonComposableTypes>(Symbol())
+
+  assertType.isTrue(canAssign<NonComposableTypes>(false)({}))
+  assertType.isTrue(canAssign<NonComposableTypes>(false)([]))
+  assertType.isTrue(canAssign<NonComposableTypes>(false)(() => { }))
+})

package/src/ComposableTypes.ts

@@ -0,0 +1,10 @@
+/**
+ * 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/src/JSONTypes.ts

@@ -13,5 +13,6 @@ function get<T extends JSONTypes>(obj: JSONTypes, ...props: Array<string | numbe
   if (props.length === 0) return obj as T
   if (typeof obj !== 'object' || obj === null) return undefined
   const p = props.shift()!
-  return get((obj as any)[p], ...props) as T
+  // @ts-ignore
+  return get(obj[p], ...props) as T
 }

package/src/UnionToIntersection.ts

@@ -3,5 +3,5 @@
 export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
 
 export function toIntersection<U>(union: U): UnionToIntersection<U> {
-  return union as any
+  return union as any as UnionToIntersection<U>
 }

package/src/assertion/assertType.spec.ts

@@ -28,7 +28,10 @@ describe('assertType()', () => {
   test('Class as validator fails', () => {
     class Foo { }
     const s: unknown = 1
-    a.throws(() => assertType(s, Foo), e => /subject fails to satisfy class Foo{}/.test(e.message))
+    a.throws(
+      () => assertType(s, Foo),
+      (e: Error) => /subject fails to satisfy class Foo{}/.test(e.message)
+    )
   })
   test('subject can be type any', () => {
     const s: any = false

package/src/assertion/assertType.ts

@@ -9,9 +9,9 @@ import { AnyFunction } from '../function'
 export function assertType<T>(subject: T): asserts subject is T
 export function assertType<T>(subject: unknown, validator: (s: T) => boolean): asserts subject is T
 export function assertType<T extends new (...args: any) => any>(subject: unknown, constructor: T): asserts subject is InstanceType<T>
-export function assertType(subject: any, validator?: (s: any) => boolean) {
+export function assertType(subject: unknown, validator?: (s: any) => boolean) {
   if (validator) {
-    if ((isConstructor(validator) && !(subject instanceof validator)) || !validator(subject as any))
+    if ((isConstructor(validator) && !(subject instanceof validator)) || !validator(subject))
       throw new TypeError(`subject fails to satisfy ${tersify(validator)}`)
   }
   return

package/src/class/AnyConstructor.spec.ts

@@ -1,13 +1,13 @@
 import { AnyConstructor } from '..'
 
 test('basic', () => {
-  const a: AnyConstructor = function () { } as any
+  const a = function () { } as any as AnyConstructor
 
   new a()
 })
 
 test('specify params with tuple', () => {
-  const a: AnyConstructor<[count: number, value: string]> = function () { } as any
+  const a = function () { } as any as AnyConstructor<[count: number, value: string]>
 
   new a(1, 'a')
 })

package/src/class/isConstructor.spec.ts

@@ -20,11 +20,16 @@ test('check throwing constructor is still true', () => {
 })
 
 test('constructor throwing non-error', () => {
-  class Foo { constructor() { throw 'abc' }}
+  class Foo { constructor() { throw 'abc' } }
   expect(isConstructor(Foo)).toBe(true)
 })
 
 test('constructor throwing undefined', () => {
-  class Foo { constructor() { throw undefined }}
+  class Foo { constructor() { throw undefined } }
   expect(isConstructor(Foo)).toBe(true)
 })
+
+test('class with params returns true', () => {
+  class Boo { constructor(public a: number) { } }
+  expect(isConstructor(Boo)).toBe(true)
+})

package/src/class/isConstructor.ts

@@ -2,10 +2,11 @@ import { AnyConstructor } from './AnyConstructor'
 
 export function isConstructor(subject: unknown): subject is AnyConstructor {
   try {
-    new (subject as any)()
+    new (subject as AnyConstructor)()
   }
-  catch (err) {
-    if (err?.message?.indexOf('is not a constructor') >= 0) {
+  catch (err: any) {
+    const msg = err?.message as string | undefined
+    if (msg && msg.indexOf('is not a constructor') >= 0) {
       return false
     }
   }

package/src/function/AnyFunction.spec.ts

@@ -1,21 +1,21 @@
 import { AnyFunction, assertType } from '..'
 
 test('basic', () => {
-  const foo: AnyFunction = x => x
+  function doCallback(cb: AnyFunction) {
+    cb()
+  }
 
-  foo()
-  const result = foo(false)
-
-  // only any can be boolean here
-  assertType.isBoolean(result)
+  doCallback(() => { })
+  doCallback(_ => { })
+  doCallback((a: number, b: number) => a + b)
 })
 
-test('define param as tuple', () =>{
-  const foo: AnyFunction<[number,string]> = x => x
+test('define param as tuple', () => {
+  const foo: AnyFunction<[number, string]> = x => x
   foo(1, 'a')
 })
 
 test('define result type', () => {
-  const foo: AnyFunction<any[], string> = x => x
+  const foo: AnyFunction<string[], string> = x => x
   assertType.isString(foo('a'))
 })

package/src/functional/Maybe.spec.ts

@@ -6,7 +6,7 @@ test('just(value) returns Maybe<T>', () => {
 })
 
 test('just(undefined) returns Maybe<T>', () => {
-  const b: boolean | undefined = undefined as any
+  const b: boolean | undefined = undefined
   assertType<Maybe<boolean>>(just(b))
 })
 
@@ -38,6 +38,5 @@ test('Just<number can assign to Maybe<number>', () => {
 test('Just<string> is not assignable to Maybe<number>', () => {
   assertType.isFalse(false as CanAssign<Just<'abc'>, Maybe<number>>)
 
-  // this is failing, which is wrong
-  // assertType.isFalse(canAssign<Maybe<number>>()(just('abc')))
+  assertType.isTrue(canAssign<Maybe<number>>(false)(just('abc')))
 })

package/src/functional/Maybe.ts

@@ -10,6 +10,7 @@ export function just<T>(value: T):
   Equal<T, undefined | null> extends true ?
   None<T> :
   Just<Widen<NonNullable<T>>> {
+  // eslint-disable-next-line @typescript-eslint/no-unsafe-return
   return { unwrap() { return value } } as any
 }
 

package/src/index.ts

@@ -3,6 +3,7 @@ export { required, requiredDeep } from 'unpartial'
 export * from './array'
 export * from './assertion'
 export * from './class'
+export * from './ComposableTypes'
 export * from './function'
 export * from './functional'
 export * from './JSONTypes'

package/src/math/Abs.spec.ts

@@ -5,7 +5,7 @@ test('positive returns itself', () => {
 })
 
 test('negative returns positive', () => {
-  isType.equal<true, 12345, Abs<-12345>>()
+  isType.equal<true, 1234, Abs<-1234>>()
 })
 
 test('number returns Fail', () => {

package/src/math/Digit.spec.ts

@@ -30,8 +30,8 @@ describe('DigitArray.ToNumber<DA>', () => {
   })
 
   test('multi digits', () => {
-    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4, 5]>, 12345>>()
-    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4, 15]>, 12355>>()
+    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 4]>, 1234>>()
+    isType.t<Equal<DigitArray.ToNumber<[1, 2, 3, 5]>, 1235>>()
   })
 })
 

package/src/math/Subtract.spec.ts

@@ -36,5 +36,5 @@ test('multi digits', () => {
 
 test('negative results gets Fail', () => {
   isType.equal<true, 'no~~', Subtract<1, 2, 'no~~'>>()
-  isType.equal<true, never, Subtract<12345, 12346>>()
+  isType.equal<true, never, Subtract<1233, 1234>>()
 })

package/src/math/Subtract.ts

@@ -16,7 +16,7 @@ export type Subtract<A extends number, B extends number, Fail = never> =
     PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ?
     PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ?
     SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ?
-    Some<Result, number, 'strict'> extends true ? Fail :
+    Some<Result, never, 'strict'> extends true ? Fail :
     DigitArray.ToNumber<Result>
     : Fail : Fail
     : Fail : Fail

package/src/nominal-types/Brand.ts

@@ -21,12 +21,12 @@ export function brand<B extends string>(type: B): <T>(subject: T) => Brand<B, Wi
  * Creates a branded value of specified type.
  */
 export function brand<B extends string, T>(type: B, subject: T): Brand<B, Widen<T>>
-export function brand(type: string, subject?: any) {
-  if (subject === undefined) return function (subject: any) { return brand(type, subject) }
+export function brand(type: string, subject?: unknown) {
+  if (subject === undefined) return function <T>(subject: T) { return brand(type, subject) }
 
   if (typeof subject === 'object' && subject !== null) {
     // if subject is not an object, the branding will exist only in type-level.
-    (subject as any)[typeSym] = type
+    (subject as { [typeSym]: string })[typeSym] = type
   }
   return subject
 }

package/src/nominal-types/Flavor.ts

@@ -22,13 +22,11 @@ export function flavor<F extends string>(type: F): <T>(subject: T) => Flavor<F,
  * Creates a branded value of specified type.
  */
 export function flavor<F extends string, T>(type: F, subject: T): Flavor<F, Widen<T>>
-export function flavor(type: string, subject?: any) {
-  if (subject === undefined) {
-    return function (subject: any) { return flavor(type, subject) }
-  }
+export function flavor(type: string, subject?: unknown) {
+  if (subject === undefined) return function <T>(subject: T) { 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 as any)[typeSym] = type
+    (subject as { [typeSym]: string })[typeSym] = type
   }
   return subject
 }

package/src/object/ExcludePropType.spec.ts

@@ -8,6 +8,6 @@ test('exclude type R from properties of T', () => {
 
   type CustomerAgeNotNull = ExcludePropType<Customer, null>
 
-  const x: CustomerAgeNotNull = { age: 0 } as any
+  const x: CustomerAgeNotNull = { name: '', age: 0 }
   assertType.isNumber(x.age)
 })

package/src/object/KnownKeys.spec.ts

@@ -35,5 +35,5 @@ test('empty record yields never', () => {
 
 
 function getKnownKeys<T>(_value: T): KnownKeys<T> {
-  return {} as any
+  return {} as unknown as KnownKeys<T>
 }

package/src/object/KnownKeys.ts

@@ -1,8 +1,16 @@
-// by Klaus Meinhardt @ajafff
+// Original by Klaus Meinhardt @ajafff
 // known from Gerrit Birkeland @Gerrit0
 // https://github.com/Microsoft/TypeScript/issues/25987#issuecomment-408339599
+
+import { PrimitiveTypes } from '../PrimitiveTypes'
+
 // https://github.com/microsoft/TypeScript/issues/25987#issuecomment-441224690
-export type KnownKeys<T> = {
-  [K in keyof T]: string extends K ? never : number extends K ? never : K
-// eslint-disable-next-line @typescript-eslint/ban-types
-} extends { [_ in keyof T]: infer U } ? ({} extends U ? never : U) : never;
+export type KnownKeys<T> =
+  T extends PrimitiveTypes
+  ? never
+  : {
+    [K in keyof T]: string extends K ? never : number extends K ? never : K
+  } extends { [_ in keyof T]: infer U }
+  // eslint-disable-next-line @typescript-eslint/ban-types
+  ? ({} extends U ? never : U)
+  : never

package/src/object/Partial.spec.ts

@@ -2,7 +2,7 @@ import { assertType, PartialExcept, PartialOmit, PartialPick } from '..'
 
 test('work on primitive type', () => {
   type Foo = PartialPick<number, 'toFixed'>
-  const x: Foo = 1 as any
+  const x: Foo = 1
   assertType<typeof x['toFixed']>(1 as unknown as 1['toFixed'] | undefined)
 })
 
@@ -13,7 +13,7 @@ test('make picked properties optional', () => {
     c: number,
   }
 
-  const y: PartialPick<Foo, 'a'> = { b: 1, c: 2 } as any
+  const y: PartialPick<Foo, 'a'> = { b: 1, c: 2 }
 
   y.a = undefined
   assertType.noUndefined(y.b)
@@ -27,8 +27,7 @@ test('make not specified properties optional', () => {
     c: number,
   }
 
-  const y: PartialExcept<Foo, 'a'> = { a: 1 } as any
-
+  const y: PartialExcept<Foo, 'a'> = { a: 1 }
   assertType.noUndefined(y.a)
   y.b = undefined
   y.c = undefined
@@ -42,7 +41,7 @@ test('make not specified properties optional', () => {
     c: number,
   }
 
-  const y: PartialOmit<Foo, 'a'> = { a: 1 } as any
+  const y: PartialOmit<Foo, 'a'> = { a: 1 }
 
   assertType.noUndefined(y.a)
   y.b = undefined