type-plus 4.9.0 → 4.9.1

package/LICENSE

@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2018 Homa Wong (unional) (homawong@gmail.com)
+Copyright © 2018 Homa Wong (unional) (homawong@gmail.com)
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

package/README.md

@@ -3,7 +3,7 @@
 [![NPM version][npm-image]][npm-url]
 [![NPM downloads][downloads-image]][downloads-url]
 
-[![Github NodeJS][github-nodejs]][github-action-url]
+[![GitHub NodeJS][github-nodejs]][github-action-url]
 [![Codecov][codecov-image]][codecov-url]
 
 [![Semantic Release][semantic-release-image]][semantic-release-url]
@@ -11,7 +11,7 @@
 [![Visual Studio Code][vscode-image]][vscode-url]
 [![Wallaby.js][wallaby-image]][wallaby-url]
 
-Provides additional types and type adjusted utilities for [TypeScript](https://www.typescriptlang.org/).
+Provides additional types and type adjusted utilities for [TypeScript].
 
 ## Feature Highlights
 
@@ -39,7 +39,7 @@ There are 5 kinds of type assertions:
 - `type guard`: [User-defined type guard functions](https://www.typescriptlang.org/docs/handbook/advanced-types.html#user-defined-type-guards) (`if (isBool(s))`) introduced in TypeScript 1.6.
 - `assertion function`: [assertion functions](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions) (`assertIsBool(a)`) introduced in TypeScript 3.7.
 - `logical`: functions or generic types that returns `true` or `false` type to be used in type level programming.
-- `filter`: generic types that returns `never` if the test fails.
+- `filter`: generic type that returns `never` if the test fails.
 
 Here are the type assertions provided in `type-plus`.
 Use the one that fits your specific needs.
@@ -175,7 +175,7 @@ You need to specify `T`.
 
 ✔️ `immediate`, `runtime`
 
-It can used as type check: `isType.t<Equal<A, B>>()`,
+It can be used as type check: `isType.t<Equal<A, B>>()`,
 or value type check: `isType.t(valueTypeIsTrue)`.
 It returns `true` when passes (which is the only case when used in TypeScript).
 
@@ -183,7 +183,7 @@ It returns `true` when passes (which is the only case when used in TypeScript).
 
 ✔️ `immediate`, `runtime`
 
-It can used as type check: `isType.f<Equal<A, B>>()`,
+It can be used as type check: `isType.f<Equal<A, B>>()`,
 or value type check: `isType.f(valueTypeIsFalse)`.
 It returns `true` when passes (which is the only case when used in TypeScript).
 
@@ -288,14 +288,14 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `DropLast<A>`: drops the last value type of `A`.
 - `DropMatch<A, Criteria>`: drops entries matching `Criteria` in array or tuple `A`.
 - `DropUndefined<A>`: drop undefined entries from array of tuple `A`.
-- `Filter<A, Criteria>`: filter the array or tuple `A`, keeping entries satisfying `Criteria`. **deprecated. Renaming to `KeepMatch`**
+- `Filter<A, Criteria>`: filter the array or tuple `A`, keeping entries satisfying `Criteria`. **Deprecated. Renaming to `KeepMatch`**
 - `FindFirst<A, Criteria>`: gets the first type satisfying `Criteria`.
 - `FindLast<A, Criteria>`: gets the last type satisfying `Criteria`.
 - `Head<A>`: gets the first entry in the array.
 - `IntersectOfProps<A, K>`: gets the intersect of `A[K]` types (deprecate `MapToProp`)
 - `IsArray<T>`: `logical` predicate for `Array`.
 - `KeepMatch<A, Criteria>`: keeps entries satisfying `Criteria` in array or tuple `A`.
-- `Last<A>`: gets the last type of an array or tuple.
+- `Last<A>`: gets the last type of array or tuple.
 - `literalArray(...entries)`: return an array whose items are restricted to the provided literals.
 - `PadLeft<A, Total, PadWith>`: pads `A` with `PadWith` if the length of `A` is less than `L`.
 - `reduceWhile()`: `reduce()` with predicate for early termination. \
@@ -319,7 +319,7 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `JSONObject`: JSON object
 - `JSONArray`: JSON array
 - `JSONTypes`: all JSON compatible types.
-- `JSONTypes.get<T>(obj, ...props)`: get a cast value in json
+- `JSONTypes.get<T>(obj, ...props)`: get a cast value in JSON
 
 ```ts
 import { JSONTypes } from 'type-plus'
@@ -341,7 +341,7 @@ JSONTypes.get<string>(someJson, 'a', 'b', 1, 'c') // miku
 - `mapKey()`: type adjusted map by key.
 - `reduceByKey()`: type adjusted reduce by key.
 - `someKey()`: type adjusted some by key.
-- `SpreadRecord<A, B>`: type for `{...a, ...b}` when both `a` and `b` are `Record`. \
+- `SpreadRecord<A, B>`: type for `{...a, ...b}` when both `a` and `b` are `Record`\
   for array, just do `[...A, ...B]`.
 
 ### Promise function
@@ -418,7 +418,7 @@ So you may encounter some weird behavior if your logic is complex.
 - `Max<A, B, Fail=never>`: `max(A, B)`, for whole number, `Fail` otherwise.
 - `GreaterThan<A, B, Fail=never>`: `A > B` for whole numbers, `Fail` otherwise.
 
-#### Arithmetics
+#### Arithmetic
 
 - `Add<A, B, Fail=never>`: `A + B` for positive and whole numbers, `Fail` otherwise.
 - `Subtract<A, B, Fail=never>`: `A - B` for positive and whole numbers, `Fail` otherwise.
@@ -433,10 +433,10 @@ So you may encounter some weird behavior if your logic is complex.
 - `hasKey()`: function of `HasKey`.
 - `hasProperty(value, prop)`: assert `value` has property `prop`. This will pick the correct union type.
 - `isConstructor(subject)`: type guard `subject` is a constructor.
-- `isSystemError(code, err)`: type guard `err` with Nodejs error code.
+- `isSystemError(code, err)`: type guard `err` with NodeJS error code.
 - `omit(obj, ...props)`: omit properties from `obj`.
 - `pick(obj, ...props)`: pick properties from `obj`.
-- `record<K, V>(value?)`:  create a `Record<K, V>` without extra object prototype.
+- `record<K, V>(value?)`: create a `Record<K, V>` without extra object prototype.
 - `required(...)`: merge options and removing `Partial<T>`. From [`unpartial`](https://github.com/unional/unpartial)
 - `requiredDeep(...)`: merge options deeply and removing `Partial<T>`. From [`unpartial`](https://github.com/unional/unpartial)
 - `split(target, ...splitters)`: split one object into multiple objects.
@@ -528,8 +528,8 @@ nominalMatch(b1, b2) // false
 
 ## Attribution
 
-Some of the code in this library is created by other people in the TypeScript community.
-I merely adding them in and maybe making some adjustments.
+Some code in this library is created by other people in the TypeScript community.
+I'm merely adding them in and maybe making some adjustments.
 Whenever possible, I add attribution to the person who created those **codes** in the file.
 
 ## Similar projects
@@ -539,7 +539,7 @@ Whenever possible, I add attribution to the person who created those **codes** i
 - [`type-fest`](https://github.com/sindresorhus/type-fest), a collection of essential TypeScript types.
 - [`type-zoo`](https://github.com/pelotom/type-zoo), a modest type lib usable today.
 - [`typepark`](https://github.com/kgtkr/typepark), a new type collection offering tuple manipulation and `Pipe`.
-- [`typelevel-ts`](https://github.com/gcanti/typelevel-ts), a type lib by [@gcanti](https://github.com/gcanti), author of several FP libs in TS.
+- [`typelevel-ts`](https://github.com/gcanti/typelevel-ts), a type lib by [@gcanti](https://github.com/gcanti), author of several FP libraries in TS.
 - [`typical`](https://github.com/KiaraGrouwstra/typical), a playground of type-level operations for TypeScript.
 
 ## Contribute
@@ -563,12 +563,13 @@ git push
 [codecov-url]: https://codecov.io/gh/unional/type-plus
 [downloads-image]: https://img.shields.io/npm/dm/type-plus.svg?style=flat
 [downloads-url]: https://npmjs.org/package/type-plus
-[github-nodejs]: https://github.com/unional/type-plus/workflows/nodejs/badge.svg
 [github-action-url]: https://github.com/unional/type-plus/actions
+[github-nodejs]: https://github.com/unional/type-plus/workflows/nodejs/badge.svg
 [npm-image]: https://img.shields.io/npm/v/type-plus.svg?style=flat
 [npm-url]: https://npmjs.org/package/type-plus
 [semantic-release-image]: https://img.shields.io/badge/%20%20%F0%9F%93%A6%F0%9F%9A%80-semantic--release-e10079.svg
 [semantic-release-url]: https://github.com/semantic-release/semantic-release
+[TypeScript]: https://www.typescriptlang.org
 [vscode-image]: https://img.shields.io/badge/vscode-ready-green.svg
 [vscode-url]: https://code.visualstudio.com/
 [wallaby-image]: https://img.shields.io/badge/wallaby.js-configured-green.svg

package/cjs/array/drop.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":";;;AAqEA,SAAgB,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACxE,OAAO,KAAK,CAAC,MAAM,CAAC,UAAA,CAAC,IAAI,OAAA,CAAC,KAAK,KAAK,EAAX,CAAW,CAAQ,CAAA;AAC9C,CAAC;AAFD,oBAEC"}
+{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":";;;AAqEA,SAAgB,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACxE,OAAO,KAAK,CAAC,MAAM,CAAC,UAAA,CAAC,IAAI,OAAA,CAAC,KAAK,KAAK,EAAX,CAAW,CAAoB,CAAA;AAC1D,CAAC;AAFD,oBAEC"}

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;;IAC1D,OAAO;QAAC,cAAc;aAAd,UAAc,EAAd,qBAAc,EAAd,IAAc;YAAd,yBAAc;;QAAK,OAAA,GAAG,CAAC,MAAM,CAAC,UAAC,IAAI,EAAE,EAAE,IAAK,OAAA,CAAC,EAAE,eAAI,IAAI,EAAE,EAAb,CAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAQ;IAAvD,CAAuD,CAAA;AACpF,CAAC;AAFD,0BAEC"}
+{"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"}

package/cjs/object/record.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.record = void 0;
 function record(value) {
     var r = Object.create(null);
-    return value ? Object.assign(r, value) : r;
+    return (value ? Object.assign(r, value) : r);
 }
 exports.record = record;
 //# sourceMappingURL=record.js.map

package/cjs/object/record.js.map

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["../../ts/object/record.ts"],"names":[],"mappings":";;;AAMA,SAAgB,MAAM,CAAwB,KAAoB;IAChE,IAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5C,CAAC;AAHD,wBAGC"}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../ts/object/record.ts"],"names":[],"mappings":";;;AAOA,SAAgB,MAAM,CAAwB,KAAoB;IAChE,IAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAc,CAAA;IAC1C,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAwB,CAAA;AACrE,CAAC;AAHD,wBAGC"}

package/cjs/object/split.js.map

@@ -1 +1 @@
-{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":";;;;;;;;;;;;AAEA,yCAAyC;AA+LzC,SAAgB,KAAK,CAAC,MAAiB;IAAE,mBAAyB;SAAzB,UAAyB,EAAzB,qBAAyB,EAAzB,IAAyB;QAAzB,kCAAyB;;IAChE,IAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,IAAA,uBAAW,EACtC,CAAC,EACD,UAAC,CAAC,EAAE,CAAC,YAAK,OAAA,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAA,MAAM,CAAC,CAAC,CAAC,mCAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,EAAA,EAC1D,EAAe,CAAC,EAHW,CAGX,CAAC,CAAA;IACnB,IAAM,CAAC,GAAG,IAAA,uBAAW,EAAC,MAAM,EAAE,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAArC,CAAqC,EAAE,EAAe,CAAC,CAAA;IAC/F,uCAAW,CAAC,UAAE,CAAC,UAAC;AAClB,CAAC;AARD,sBAQC"}
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":";;;;;;;;;;;;AAGA,yCAAyC;AA+LzC,SAAgB,KAAK,CAAC,MAAiB;IAAE,mBAAyB;SAAzB,UAAyB,EAAzB,qBAAyB,EAAzB,IAAyB;QAAzB,kCAAyB;;IAChE,IAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,UAAA,CAAC,IAAI,OAAA,IAAA,uBAAW,EACtC,CAAC,EACD,UAAC,CAAC,EAAE,CAAC,YAAK,OAAA,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAA,MAAM,CAAC,CAAC,CAAC,mCAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,EAAA,EACzD,EAAe,CAAC,EAHW,CAGX,CAAC,CAAA;IACnB,IAAM,CAAC,GAAG,IAAA,uBAAW,EAAC,MAAM,EAAE,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAArC,CAAqC,EAAE,EAAe,CAAC,CAAA;IAC/F,uCAAW,CAAC,UAAE,CAAC,UAAC;AAClB,CAAC;AARD,sBAQC"}

package/esm/array/drop.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAqEA,MAAM,UAAU,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACxE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAQ,CAAA;AAC9C,CAAC"}
+{"version":3,"file":"drop.js","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAqEA,MAAM,UAAU,IAAI,CAAoC,KAAQ,EAAE,KAAQ;IACxE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAoB,CAAA;AAC1D,CAAC"}

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;IAC1D,OAAO,CAAC,GAAG,IAAW,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAQ,CAAA;AACpF,CAAC"}
+{"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"}

package/esm/object/record.js

@@ -1,5 +1,5 @@
 export function record(value) {
     const r = Object.create(null);
-    return value ? Object.assign(r, value) : r;
+    return (value ? Object.assign(r, value) : r);
 }
 //# sourceMappingURL=record.js.map

package/esm/object/record.js.map

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["../../ts/object/record.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,MAAM,CAAwB,KAAoB;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5C,CAAC"}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../ts/object/record.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,MAAM,CAAwB,KAAoB;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAc,CAAA;IAC1C,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAwB,CAAA;AACrE,CAAC"}

package/esm/object/split.js.map

@@ -1 +1 @@
-{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AA+LzC,MAAM,UAAU,KAAK,CAAC,MAAiB,EAAE,GAAG,SAAsB;IAChE,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CACtC,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC1D,EAAe,CAAC,CAAC,CAAA;IACnB,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAA;IAC/F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC"}
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../ts/object/split.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AA+LzC,MAAM,UAAU,KAAK,CAAC,MAAiB,EAAE,GAAG,SAAsB;IAChE,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CACtC,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACzD,EAAe,CAAC,CAAC,CAAA;IACnB,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAe,CAAC,CAAA;IAC/F,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "4.9.0",
+  "version": "4.9.1",
   "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
@@ -63,15 +63,17 @@
     "@semantic-release/changelog": "^6.0.1",
     "@size-limit/preset-small-lib": "^7.0.8",
     "@types/jest": "^27.4.1",
+    "@typescript-eslint/eslint-plugin": "^5.23.0",
+    "@typescript-eslint/parser": "^5.23.0",
     "@unional/fixture": "^1.8.0",
     "assertron": "^9.0.4",
     "dependency-check": "^4.1.0",
     "eslint": "^8.11.0",
-    "eslint-plugin-harmony": "^6.0.0",
-    "husky": "^7.0.0",
-    "jest": "^27.5.1",
+    "eslint-plugin-harmony": "^7.0.1",
+    "husky": "^8.0.0",
+    "jest": "^28.0.0",
     "jest-progress-tracker": "^3.0.3",
-    "jest-validate": "^27.5.1",
+    "jest-validate": "^28.0.0",
     "jest-watch-repeat": "^2.0.0",
     "jest-watch-suspend": "^1.1.2",
     "jest-watch-toggle-config": "^2.0.1",

package/ts/array/drop.ts

@@ -68,5 +68,5 @@ export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>
  * drop a particular value from an array
  */
 export function drop<A extends Readonly<Array<any>>, C>(array: A, value: C): DropMatch<A, C> {
-  return array.filter(v => v !== value) as any
+  return array.filter(v => v !== value) as DropMatch<A, C>
 }

package/ts/functional/compose.spec.ts

@@ -11,7 +11,7 @@ test('works with endofunctors: +2 *3', () => {
 })
 
 test('cross types', () => {
-  const n2s = (n: number) => '' + n
+  const n2s = (n: number) => String(n)
   const len1 = (s: string) => s.length === 1
 
   const isSingleDigit = compose(n2s, len1)

package/ts/functional/compose.ts

@@ -5,5 +5,6 @@ import { AnyFunction } from '../function/AnyFunction'
  * compose functions
  */
 export function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>> {
-  return (...args: any[]) => fns.reduce((args, fn) => [fn(...args)], args)[0] as any
+  // eslint-disable-next-line @typescript-eslint/no-unsafe-return
+  return (...args: any[]) => fns.reduce((args, fn) => [fn(...args)], args)[0]
 }

package/ts/object/record.ts

@@ -1,10 +1,11 @@
 import { KeyTypes } from 'type-plus'
 import { Widen } from '../utils'
+import { AnyRecord } from './AnyRecord'
 
 /**
  * Creates a `Record<Key, Value>`
  */
 export function record<K extends KeyTypes, V>(value?: Record<K, V>): Record<Widen<K>, V> {
-  const r = Object.create(null)
-  return value ? Object.assign(r, value) : r
+  const r = Object.create(null) as AnyRecord
+  return (value ? Object.assign(r, value) : r) as Record<Widen<K>, V>
 }

package/ts/object/split.ts

@@ -1,3 +1,4 @@
+/* eslint-disable @typescript-eslint/no-unsafe-assignment */
 import { AnyRecord } from './AnyRecord'
 import { Omit } from './omit'
 import { reduceByKey } from './reduceKey'
@@ -195,7 +196,7 @@ export function split(target: AnyRecord, ...splitters: AnyRecord[]): AnyRecord[]
   const keyMap: AnyRecord = {}
   const s = splitters.map(s => reduceByKey(
     s,
-    (p, k) => (keyMap[k] = true, p[k] = target[k]  ?? s[k], p),
+    (p, k) => (keyMap[k] = true, p[k] = target[k] ?? s[k], p),
     {} as AnyRecord))
   const r = reduceByKey(target, (p, k) => keyMap[k] ? p : (p[k] = target[k], p), {} as AnyRecord)
   return [...s, r]

package/ts/type-checker/.eslintrc.json

@@ -1,5 +1,7 @@
 {
   "rules": {
-    "@typescript-eslint/ban-types": "off"
+    "@typescript-eslint/ban-types": "off",
+    "@typescript-eslint/no-unsafe-assignment": "off",
+    "@typescript-eslint/no-unsafe-return": "off"
   }
 }

package/ts/type-checker/Boolean.ts

@@ -30,5 +30,5 @@ export const BooleanSpec: TypeSpec<Type<'boolean', boolean>> = {
       return value === actual ? { type: 'boolean', value } : { type: 'boolean', value, fail: true }
     }
   },
-  toNative(value: any): true { return value as any }
+  toNative(value: any): true { return value }
 }

package/ts/types/.eslintrc.json

@@ -1,5 +1,7 @@
 {
   "rules": {
-    "@typescript-eslint/ban-types": "off"
+    "@typescript-eslint/ban-types": "off",
+    "@typescript-eslint/no-unsafe-assignment": "off",
+    "@typescript-eslint/no-unsafe-return": "off"
   }
 }

package/ts/types/Tuple.ts

@@ -1,50 +1,50 @@
-import { TypeAnalysis, Type } from './types'
-import { AllType } from './AllType'
-import { undef, Undefined } from './Undefined'
-import { union, Union } from './Union'
-import { Tail } from '../array'
-
-export type Tuple<Values extends AllType[] = any[]> = Type<'tuple', Values>
-
-export namespace Tuple {
-  export type Analysis<
-    Value extends AllType.PrimitiveValues | AllType.Analysis = any
-    > = TypeAnalysis<'tuple', Value[]>
-
-  export type FindByProp<
-    Tuple extends Array<{ [K in Key]: any }>,
-    Key extends string,
-    Value> = FindByProp._<Tuple, Key, Value>['result']
-  export namespace FindByProp {
-    export type _<Tuple extends Array<{ [K in Key]: any }>, Key extends string, Value> = Tuple['length'] extends 0
-      ? { result: never }
-      : { result: Value extends Tuple[0][Key] ? Tuple[0] : _<Tail<Tuple>, Key, Value>['result'] }
-  }
-}
-
-/**
- * Creates a tuple type.
- */
-function create<Value extends AllType, Values extends AllType[]>(
-  value: Value,
-  ...values: Values
-): Tuple<[Value, ...Values]> {
-  return {
-    type: 'tuple',
-    value: [value, ...values]
-  }
-}
-export const tuple = {
-  create,
-  optional: {
-    /**
-     * Creates an optional tuple type.
-     */
-    create<Value extends AllType, Values extends AllType[]>(
-      value: Value,
-      ...values: Values
-    ): Union<[Tuple<[Value, ...Values]>, Undefined]> {
-      return union.create(create(value, ...values), undef)
-    }
-  }
-}
+import { TypeAnalysis, Type } from './types'
+import { AllType } from './AllType'
+import { undef, Undefined } from './Undefined'
+import { union, Union } from './Union'
+import { Tail } from '../array'
+
+export type Tuple<Values extends AllType[] = any[]> = Type<'tuple', Values>
+
+export namespace Tuple {
+  export type Analysis<
+    Value extends AllType.PrimitiveValues | AllType.Analysis = any
+    > = TypeAnalysis<'tuple', Value[]>
+
+  export type FindByProp<
+    Tuple extends Array<{ [K in Key]: any }>,
+    Key extends string,
+    Value> = FindByProp._<Tuple, Key, Value>['result']
+  export namespace FindByProp {
+    export type _<Tuple extends Array<{ [K in Key]: any }>, Key extends string, Value> = Tuple['length'] extends 0
+      ? { result: never }
+      : { result: Value extends Tuple[0][Key] ? Tuple[0] : _<Tail<Tuple>, Key, Value>['result'] }
+  }
+}
+
+/**
+ * Creates a tuple type.
+ */
+function create<Value extends AllType, Values extends AllType[]>(
+  value: Value,
+  ...values: Values
+): Tuple<[Value, ...Values]> {
+  return {
+    type: 'tuple',
+    value: [value, ...values]
+  }
+}
+export const tuple = {
+  create,
+  optional: {
+    /**
+     * Creates an optional tuple type.
+     */
+    create<Value extends AllType, Values extends AllType[]>(
+      value: Value,
+      ...values: Values
+    ): Union<[Tuple<[Value, ...Values]>, Undefined]> {
+      return union.create(create(value, ...values), undef)
+    }
+  }
+}

package/ts/types/analyze.ts

@@ -36,15 +36,15 @@ export function analyzeInternal(options: analyze.Options, type: AllType, actual:
       return typeof actual === t ? ok(type) : fail(t)
     case 'null':
       return actual === null ? ok(type) : fail(t)
-    case 'boolean': return analyzeBoolean(type as Boolean, actual)
-    case 'number': return analyzeType(number, type as Number, actual)
-    case 'string': return analyzeType(string, type as String, actual)
+    case 'boolean': return analyzeBoolean(type, actual)
+    case 'number': return analyzeType(number, type, actual)
+    case 'string': return analyzeType(string, type, actual)
     // case 'bigint': return analyzeType(bigint, type as BigInt, actual)
-    case 'object': return analyzeObject(options, type as ObjectType, actual)
-    case 'record': return analyzeRecord(options, type as RecordType, actual)
-    case 'array': return analyzeArray(options, type as ArrayType, actual)
-    case 'tuple': return analyzeTuple(options, type as Tuple, actual)
-    case 'union': return analyzeUnion(options, type as Union, actual)
+    case 'object': return analyzeObject(options, type, actual)
+    case 'record': return analyzeRecord(options, type, actual)
+    case 'array': return analyzeArray(options, type, actual)
+    case 'tuple': return analyzeTuple(options, type, actual)
+    case 'union': return analyzeUnion(options, type, actual)
   }
 }
 
@@ -63,7 +63,7 @@ function analyzeType(
   type: Type<any, any>,
   actual: unknown
 ) {
-  const value = type['value']
+  const value = type.value
   return typeof actual === baseType['type'] && (type === baseType || actual === value)
     ? ok(type)
     : fail(type['type'], type['value'])
@@ -80,7 +80,7 @@ function analyzeArray(options: analyze.Options, type: ArrayType<AllType>, actual
   if (!Array.isArray(actual)) return fail('array', subType ? ok(subType) : undefined)
   if (subType === undefined) return ok(type)
 
-  const r = actual.reduce((p, a, i) => {
+  const r = actual.reduce((p: { keys: number[], actual: any[], value: any }, a, i) => {
     const r = analyzeInternal(options, subType, a)
     if (r.fail) {
       p.value = r.value

package/ts/types/getPlainAnalysisReport.spec.ts

@@ -237,6 +237,17 @@ describe('tuple', () => {
       ].join('\n')
     )
   })
+  test('strict with more than 2 extra', () => {
+    assertReportEquals(
+      strict,
+      T.tuple.create(T.null, T.number),
+      [null, 1, 'a', false, true],
+      [
+        `subject expects to be strictly [null,number] but is actually [null, 1, 'a', false, true]`,
+        `indices 2..4 should not contain any value`
+      ].join('\n')
+    )
+  })
 })
 describe('object', () => {
   test('not object', () => {

package/ts/types/getPlainAnalysisReport.ts

@@ -1,115 +1,115 @@
-import { tersify } from 'tersify'
-import { reduceByKey } from '../object'
-import { AllType } from './AllType'
-import { analyze } from './analyze'
-
-export function getPlainAnalysisReport(analysisResult: analyze.Result) {
-  if (!analysisResult.analysis.fail) {
-    return `The subject${analysisResult.options.strict ? ' strictly' : ''} satisfies type ${formatAnalysis(analysisResult.analysis)}`
-  }
-
-  return toViolations(analysisResult.options, [], analysisResult.actual, analysisResult.analysis).join('\n')
-}
-
-function formatAnalysis(a: AllType.Analysis) {
-  return a.type
-}
-
-function toViolations(options: analyze.Options, path: Array<string | number>, actual: any, analysis: AllType.Analysis): string[] {
-  const clause = options.strict ? `expects to be strictly` : `expects to be`
-  const violations = [`${formatPath(path)} ${clause} ${formatType(analysis)} but is actually ${tersify(actual)}`]
-
-  switch (analysis.type) {
-    case 'tuple': {
-      if (options.strict && analysis.value!.length < actual.length) {
-        const index = actual.length - analysis.value!.length === 1 ? 'index' : 'indices'
-        violations.push(`${index} ${range(analysis.value!.length, actual.length)} should not contain any value`)
-      }
-      const v2 = analysis.value!.reduce((p, a, i) => {
-        if (a.fail) p.push(...toViolations(options, [...path, i], actual[i], a))
-        return p
-      }, [] as string[])
-      if (v2.length > 0) violations.push(...v2)
-      break
-    }
-    case 'object':
-      if (analysis.value) {
-        const typeKeys = Object.keys(analysis.value)
-        const actualKeys = Object.keys(actual)
-        if (options.strict) {
-          const extraKeys = actualKeys.filter(k => typeKeys.indexOf(k) === -1)
-          const index = extraKeys.length === 1 ? 'property' : 'properties'
-          violations.push(`${index} ${extraKeys.join(',')} should not contain any value`)
-        }
-        const propViolations = typeKeys.reduce((p, k) => {
-          const a = analysis.value![k]
-          if (a.fail) p.push(...toViolations(options, [...path, k], actual[k], a))
-          return p
-        }, [] as string[])
-        if (propViolations.length > 0) violations.push(...propViolations)
-      }
-      break
-  }
-  return violations
-}
-
-function formatPath(path: Array<string | number>) {
-  return path.length === 0 ? 'subject' : `subject${path.map(p => toAccessor(p)).join('')}`
-}
-
-function toAccessor(p: string | number) {
-  if (typeof p === 'number') return `[${p}]`
-  if (p.indexOf('-') >= 0) return `['${p}']`
-  return `.${p}`
-}
-
-function toProp(p: string) {
-  return p.indexOf('-') >= 0 ? `'${p}'` : p
-}
-
-function formatType(e: AllType.Analysis): string {
-  switch (e.type) {
-    case 'undefined':
-    case 'null':
-    case 'symbol':
-      // case 'never':
-      return e.type
-    case 'boolean':
-    case 'number':
-      // case 'bigint':
-      return e.value === undefined ? e.type : String(e.value)
-    case 'string':
-      return e.value === undefined ? e.type : `'${e.value}'`
-    case 'array':
-      return e.value === undefined ? 'Array<any>' : `Array<${formatType(e.value as any)}>`
-    case 'tuple':
-      return `[${formatExpectations(e.value as AllType.Analysis[])}]`
-    case 'object':
-      return e.value === undefined ? e.type
-        : `{ ${reduceByKey(
-          e.value as Record<string, any>,
-          (p, k) => {
-            p.push(`${toProp(k)}: ${formatType((e.value as any)[k] as any)}`)
-            return p
-          },
-          [] as string[]
-        ).join(', ')} }`
-    case 'record':
-      return `Record<string, ${formatType(e.value as any)}>`
-    case 'union':
-      return `(${formatExpectations(e.value as AllType.Analysis[], ' | ')})`
-    // istanbul ignore next
-    default:
-      return `report not expected: ${e.value}`
-  }
-}
-
-function formatExpectations(es: AllType.Analysis[], sep = ',') {
-  return es.map(formatType).join(sep)
-}
-
-function range(start: number, end: number) {
-  const r: number[] = []
-  while (start < end) r.push(start++)
-  return r
-}
+import { tersify } from 'tersify'
+import { reduceByKey } from '../object'
+import { AllType } from './AllType'
+import { analyze } from './analyze'
+
+export function getPlainAnalysisReport(analysisResult: analyze.Result) {
+  if (!analysisResult.analysis.fail) {
+    return `The subject${analysisResult.options.strict ? ' strictly' : ''} satisfies type ${formatAnalysis(analysisResult.analysis)}`
+  }
+
+  return toViolations(analysisResult.options, [], analysisResult.actual, analysisResult.analysis).join('\n')
+}
+
+function formatAnalysis(a: AllType.Analysis) {
+  return a.type
+}
+
+function toViolations(options: analyze.Options, path: Array<string | number>, actual: any, analysis: AllType.Analysis): string[] {
+  const clause = options.strict ? `expects to be strictly` : `expects to be`
+  const violations = [`${formatPath(path)} ${clause} ${formatType(analysis)} but is actually ${tersify(actual)}`]
+
+  switch (analysis.type) {
+    case 'tuple': {
+      if (options.strict && analysis.value!.length < actual.length) {
+        violations.push(`${range(analysis.value!.length, actual.length)} should not contain any value`)
+      }
+      const v2 = analysis.value!.reduce((p: string[], a, i) => {
+        if (a.fail) p.push(...toViolations(options, [...path, i], actual[i], a))
+        return p
+      }, [])
+      if (v2.length > 0) violations.push(...v2)
+      break
+    }
+    case 'object':
+      if (analysis.value) {
+        const typeKeys = Object.keys(analysis.value)
+        const actualKeys = Object.keys(actual)
+        if (options.strict) {
+          const extraKeys = actualKeys.filter(k => typeKeys.indexOf(k) === -1)
+          const index = extraKeys.length === 1 ? 'property' : 'properties'
+          violations.push(`${index} ${extraKeys.join(',')} should not contain any value`)
+        }
+        const propViolations = typeKeys.reduce((p, k) => {
+          const a = analysis.value![k]
+          if (a.fail) p.push(...toViolations(options, [...path, k], actual[k], a))
+          return p
+        }, [] as string[])
+        if (propViolations.length > 0) violations.push(...propViolations)
+      }
+      break
+  }
+  return violations
+}
+
+function formatPath(path: Array<string | number>) {
+  return path.length === 0 ? 'subject' : `subject${path.map(p => toAccessor(p)).join('')}`
+}
+
+function toAccessor(p: string | number) {
+  if (typeof p === 'number') return `[${p}]`
+  if (p.indexOf('-') >= 0) return `['${p}']`
+  return `.${p}`
+}
+
+function toProp(p: string) {
+  return p.indexOf('-') >= 0 ? `'${p}'` : p
+}
+
+function formatType(e: AllType.Analysis): string {
+  switch (e.type) {
+    case 'undefined':
+    case 'null':
+    case 'symbol':
+      // case 'never':
+      return e.type
+    case 'boolean':
+    case 'number':
+      // case 'bigint':
+      return e.value === undefined ? e.type : String(e.value)
+    case 'string':
+      return e.value === undefined ? e.type : `'${e.value}'`
+    case 'array':
+      return e.value === undefined ? 'Array<any>' : `Array<${formatType(e.value)}>`
+    case 'tuple':
+      return `[${formatExpectations(e.value as AllType.Analysis[])}]`
+    case 'object':
+      return e.value === undefined ? e.type
+        : `{ ${reduceByKey(
+          e.value,
+          (p, k) => {
+            p.push(`${toProp(k)}: ${formatType((e.value as any)[k])}`)
+            return p
+          },
+          [] as string[]
+        ).join(', ')} }`
+    case 'record':
+      return `Record<string, ${formatType(e.value)}>`
+    case 'union':
+      return `(${formatExpectations(e.value as AllType.Analysis[], ' | ')})`
+    // istanbul ignore next
+    default:
+      return `report not expected: ${e.type}`
+  }
+}
+
+function formatExpectations(es: AllType.Analysis[], sep = ',') {
+  return es.map(formatType).join(sep)
+}
+
+function range(start: number, end: number) {
+  const diff = end - start
+  if (diff === 1) return `index ${start}`
+  if (diff === 2) return `indices ${start},${end - 1}`
+  return `indices ${start}..${end - 1}`
+}

package/ts/utils/as.spec.ts

@@ -1,3 +1,4 @@
+/* eslint-disable @typescript-eslint/no-unsafe-assignment */
 import { amend, as, asAny, isType } from '..'
 
 describe('as<T>()', () => {