type-plus 3.12.1 → 3.14.0

package/README.md

@@ -35,8 +35,8 @@ yarn add type-plus
 ## Runtime type checker
 
 Bringing the power of TypeScript to JavaScript runtime.
-At the moment, this provide some basic functionalities.
-If you need more feature, I would recommend other excellent type checking library such as [zod](https://github.com/colinhacks/zod).
+At the moment, this provides some basic functionalities.
+If you need more features, I would recommend other excellent type checking libraries such as [zod](https://github.com/colinhacks/zod).
 
 ```ts
 const eslintConfig = T.object.create({
@@ -74,13 +74,13 @@ Types supported: `any`, `array`, `boolean`, `null`, `number`, `object`, `record`
 i.e., most of the basic types are supported except `bigint`.
 It is left out for backward compatibility reasons.
 
-You can use one of the three functions to perform type check:
+You can use one of the three functions to perform type-check:
 
 `satisfy(type, subject)`:
 A loose type check that permits extra elements in `Tuple` and properties in `Object`.
 
 `conform(type, subject)`:
-A strick type check that does not allow extra elements in `Tuple` and properties in `Object`.
+A strict type check that does not allow extra elements in `Tuple` and properties in `Object`.
 
 `check(options, type, subject)`:
 A general form of `satisfy()` and `conform()`.
@@ -107,7 +107,7 @@ Use the one that fits your specific needs.
 ✔️ `immediate`
 
 It ensures `subject` satisfies `T`.
-It is similar to `const x: T = subject` without introducing unused variable.
+It is similar to `const x: T = subject` without introducing an unused variable.
 You need to specify `T` for it to work.
 
 `assertType<T>(subject, validator)`:
@@ -116,7 +116,7 @@ You need to specify `T` for it to work.
 
 ✔️ `assertion function`, `runtime`
 
-These overloads of `assertType` allows you to specify a `validator`.
+These overloads of `assertType` allow you to specify a `validator`.
 With these overloads, `subject` can be `unknown` or `any`.
 
 If `subject` fails the assertion,
@@ -163,7 +163,7 @@ const s: number | undefined = undefined
 assertType.isUndefined(s) // TypeScript complains
 ```
 
-They accepts `any` and will be narrowed to the specific type.
+They accept `any` and will be narrowed to the specific type.
 
 ```ts
 const s: any = undefined
@@ -177,9 +177,9 @@ s // type is undefined
 
 Check if the subject type is `never`.
 This function is not very useful in actual code as TypeScript will indicate the error.
-But it can be useful when writing tests for type.
+But it can be useful when writing tests for types.
 
-This is useful for variable. For type level only check, do the following:
+This is useful for variables. For type level only check, do the following:
 
 ```ts
 assertType.isTrue(true as Equal<YourType, never>)
@@ -214,8 +214,8 @@ const s: number | undefined = 1
 assertType.noUndefined(s) // TypeScript complains
 ```
 
-They accepts `subject` with type `any` or `unknown`,
-assertion will happens in runtime to ensure `subject` is the specific type.
+They accept `subject` with type `any` or `unknown`,
+the assertion will happen in runtime to ensure `subject` is the specific type.
 
 `isType<T>(subject: T)`:
 
@@ -250,11 +250,11 @@ It returns `true` when passes (which is the only case when used in TypeScript).
 ✔️ `immediate`
 
 Slightly easier to use then `isType.t<>()` and `isType.f<>()`,
-when doing type level only equality comparison as you don't have to import `Equal<>`.
+when doing type-level only equality comparison as you don't have to import `Equal<>`.
 
 ✔️ `type guard`, `runtime`
 
-These overloads of `isType` allows you to specify a `validator`.
+These overloads of `isType` allow you to specify a `validator`.
 With these overloads, `subject` can be `unknown` or `any`.
 
 `Equal<A, B>`:
@@ -302,7 +302,7 @@ assertType.isTrue(true as CanAssign<{ a:string, b:number }, { a: string }>)
 
 ✔️ `immediate`, `logical`
 
-Returns a compile time validating function to ensure `subject` is assignable to `T`.
+Returns a compile-time validating function to ensure `subject` is assignable to `T`.
 
 ```ts
 const isConfig = canAssign<{ a: string }>()
@@ -313,7 +313,7 @@ assertType.isTrue(isConfig({ a: 'a' }))
 
 ✔️ `immediate`, `logical`
 
-Returns a compile time validating function to ensure `subject` is not assignable to `T`.
+Returns a compile-time validating function to ensure `subject` is not assignable to `T`.
 
 ```ts
 const notA = canAssign<{ a: string }>(false)
@@ -324,7 +324,7 @@ notA({ a: '' }) // TypeScript complains
 
 ## Nominal Type
 
-TypeScript type system is structural.
+The TypeScript type system is structural.
 
 In some cases, we want to express a type with nominal behavior.
 `type-plus` provides two kinds of nominal types: `Brand` and `Flavor`.
@@ -383,12 +383,12 @@ nominalMatch(b1, b2) // false
 
 ## Functional Types
 
-- `ChainFn<T>: T`: chain function that return the input type.
+- `ChainFn<T>: T`: chain function that returns the input type.
 
 ## Type Utilities
 
 `type-plus` also provides additional type utilities.
-These utilities includes utility types and type adjusted functions.
+These utilities include utility types and type-adjusted functions.
 
 Note that most `predicate` types (such as `IsAny<>`) have a `Then` and `Else` that you can override.
 
@@ -406,13 +406,13 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 - `CreateTuple<L, T>`: creates `Tuple<T>` with `L` number of elements.
 - `DropFirst<A>`: drops the first value type of `A`.
 - `DropLast<A>`: drops the last value type of `A`.
-- `Filter<A, Criteria>`: gets array of types satisfying `Criteria` in `A`.
-- `FindFirst<A, Criteria>`: gets first type satisfying `Criteria`.
-- `FindLast<A, Criteria>`: gets last type satisfying `Criteria`.
+- `Filter<A, Criteria>`: gets the array of types satisfying `Criteria` in `A`.
+- `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`.
-- `literalArray(...entries)`: return an array those items are restricted to the provided literals.
+- `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. \
   A simple version of the same function in the `ramda` package.
@@ -426,6 +426,8 @@ type No = IsAny<1, 'yes', 'no'> // 'no'
 
 - `KeyTypes`: type of all keys.
 - `PrimitiveTypes`: all primitive types, including `Function`, `symbol`, and `bigint`.
+- `ComposableTypes`: Types that can contain custom properties. i.e. `object`, `array`, `function`.
+- `NonComposableTypes`: Types that cannot contain custom properties. i.e. not composable.
 
 ### JSON Support
 
@@ -467,9 +469,9 @@ JSONTypes.get<string>(someJson, 'a', 'b', 1, 'c') // miku
 
 ### Type manipulation
 
-- `ANotB<A, B>`: get object with properties in `A` and not in `B`, including properties with different value type.
+- `ANotB<A, B>`: get object with properties in `A` and not in `B`, including properties with a different value type.
 - `BNotA<A, B>`: flip of `ANotB`
-- `as<T>(subject)`: assert `subject` as `T`. Avoid ASI issue such as `;(x as any).abc`
+- `as<T>(subject)`: assert `subject` as `T`. Avoid ASI issues such as `;(x as any).abc`
 - `asAny(subject)`: assert `subject` as `any`. Avoid ASI issue such as `;(x as any).abc`
 - `Except<T, K>`: Deprecated. Same as `Omit<T, K>`.
 - `ExcludePropType<T, U>`: excludes type `U` from properties in `T`.
@@ -481,13 +483,13 @@ JSONTypes.get<string>(someJson, 'a', 'b', 1, 'c') // miku
 - `PartialExcept<T, U>`: Deprecated. Same as `PartialOmit<T, U>`.
 - `PartialOmit<T, U>`: makes the properties not specified in `U` becomes optional.
 - `PartialPick<T, U>`: makes the properties specified in `U` becomes optional.
-- `Pick<T, K>`: pick properties `K` from `T`. Works with union.
+- `Pick<T, K>`: pick properties `K` from `T`. Works with unions.
 - `RecursivePartial<T>`: make type `T` optional recursively.
 - `RecursiveRequired<T>`: make type `T` required recursively.
 - `ReplaceProperty<T, K, V>`: replace property `K` in `T` with `V`.
 - `RequiredKeys<T>`: gets keys of required properties in `T`.
-- `RequiredPick<T, U>`: makes the properties specified in `U` becomes required.
-- `RequiredExcept<T, U>`: makes the properties not specified in `U` becomes required.
+- `RequiredPick<T, U>`: makes the properties specified in `U` become required.
+- `RequiredExcept<T, U>`: makes the properties not specified in `U` become required.
 - `RecursiveIntersect<T, U>`: intersect type `U` onto `T` recursively.
 - `ValueOf<T>`: type of the value of the properties of `T`.
 - `Widen<T>`: widen literal types.
@@ -502,6 +504,7 @@ They can be used to compose complex types.
 - `IsAny<T>`: `T === any`.
 - `IsBoolean<T>`: check for `boolean`, but not for `true` nor `false`.
 - `IsDisjoint<A, B>`: is `A` and `B` is a disjoint set.
+- `IsEmptyObject<T>`: is `T === {}`.
 - `IsLiteral<T>`: is `T` a literal type (literal string or number).
 
 #### Logical
@@ -512,7 +515,7 @@ They can be used to compose complex types.
 - `Xor<A, B>`: logical `XOR`.
 - `Not<X>`: logical `NOT`.
 
-Note that these types work correctly with `boolean` type.
+Note that these types work correctly with the `boolean` type.
 e.g.:
 
 - `And<boolean, true> -> boolean`
@@ -532,8 +535,7 @@ So you may encounter some weird behavior if your logic is complex.
 #### Arithmetics
 
 - `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.\
-  Negative result also returns `Fail`.
+- `Subtract<A, B, Fail=never>`: `A - B` for positive and whole numbers, `Fail` otherwise.
 - `Increment<A, Fail=never>`: alias of `Add<A, 1, Fail>`.
 - `Decrement<A, Fail=never>`: alias of `Subtract<A, 1, Fail>`.
 
@@ -570,9 +572,9 @@ overrider(source, { foo: !!source.foo })
 
 ## Attribution
 
-Some of the code in this library are created by other people in the TypeScript community.
-I merely adding them in and may be making some adjustments.
-When ever possible, I add attribution to the person who created those code in the file.
+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.
+Whenever possible, I add attribution to the person who created those **codes** in the file.
 
 ## Similar projects
 

package/lib/ComposableTypes.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Types that can contain custom properties.
+ */
+export declare type ComposableTypes = object | Function;
+/**
+ * Types that cannot contain custom properties.
+ */
+export declare type NonComposableTypes = boolean | number | string | symbol | bigint | undefined | null;

package/lib/ComposableTypes.js

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

package/lib/ComposableTypes.js.map

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

package/lib/JSONTypes.js

@@ -1,8 +1,12 @@
 "use strict";
-var __spreadArray = (this && this.__spreadArray) || function (to, from) {
-    for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
-        to[j] = from[i];
-    return to;
+var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
+    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
+        if (ar || !(i in from)) {
+            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
+            ar[i] = from[i];
+        }
+    }
+    return to.concat(ar || Array.prototype.slice.call(from));
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.JSONTypes = void 0;
@@ -17,6 +21,7 @@ function get(obj) {
     if (typeof obj !== 'object' || obj === null)
         return undefined;
     var p = props.shift();
-    return get.apply(void 0, __spreadArray([obj[p]], props));
+    // @ts-ignore
+    return get.apply(void 0, __spreadArray([obj[p]], props, false));
 }
 //# sourceMappingURL=JSONTypes.js.map

package/lib/JSONTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../src/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,OAAO,GAAG,8BAAE,GAAW,CAAC,CAAC,CAAC,GAAK,KAAK,EAAM,CAAA;AAC5C,CAAC"}
+{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../src/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,aAAa;IACb,OAAO,GAAG,8BAAC,GAAG,CAAC,CAAC,CAAC,GAAK,KAAK,SAAM,CAAA;AACnC,CAAC"}

package/lib/assertion/assertType.d.ts

@@ -5,53 +5,7 @@ import { AnyFunction } from '../function';
  * @type T the type to check against.
  */
 export declare function assertType<T>(subject: T): asserts subject is T;
-export declare namespace assertType {
-    var isUndefined: (subject: undefined) => asserts subject is undefined;
-    var noUndefined: <S>(subject: Exclude<S, undefined>) => void;
-    var isNull: (subject: null) => asserts subject is null;
-    var noNull: <S>(subject: Exclude<S, null>) => void;
-    var isNumber: (subject: number) => asserts subject is number;
-    var noNumber: <S>(subject: Exclude<S, number>) => void;
-    var isBoolean: (subject: boolean) => asserts subject is boolean;
-    var noBoolean: <S>(subject: Exclude<S, boolean>) => void;
-    var isTrue: (subject: true) => asserts subject is true;
-    var noTrue: <S>(subject: Exclude<S, true>) => void;
-    var isFalse: (subject: false) => asserts subject is false;
-    var noFalse: <S>(subject: Exclude<S, false>) => void;
-    var isString: (subject: string) => asserts subject is string;
-    var noString: <S>(subject: Exclude<S, string>) => void;
-    var isFunction: (subject: AnyFunction<any[], any>) => asserts subject is AnyFunction<any[], any>;
-    var noFunction: <S>(subject: Exclude<S, AnyFunction<any[], any>>) => void;
-    var isConstructor: (subject: AnyConstructor<any[]>) => asserts subject is AnyConstructor<any[]>;
-    var isError: (subject: Error) => asserts subject is Error;
-    var noError: <S>(subject: Exclude<S, Error>) => void;
-    var isNever: (subject: never) => asserts subject is never;
-    var custom: <T>(validator: (s: T) => boolean) => (subject: unknown) => asserts subject is T;
-}
 export declare function assertType<T>(subject: unknown, validator: (s: T) => boolean): asserts subject is T;
-export declare namespace assertType {
-    var isUndefined: (subject: undefined) => asserts subject is undefined;
-    var noUndefined: <S>(subject: Exclude<S, undefined>) => void;
-    var isNull: (subject: null) => asserts subject is null;
-    var noNull: <S>(subject: Exclude<S, null>) => void;
-    var isNumber: (subject: number) => asserts subject is number;
-    var noNumber: <S>(subject: Exclude<S, number>) => void;
-    var isBoolean: (subject: boolean) => asserts subject is boolean;
-    var noBoolean: <S>(subject: Exclude<S, boolean>) => void;
-    var isTrue: (subject: true) => asserts subject is true;
-    var noTrue: <S>(subject: Exclude<S, true>) => void;
-    var isFalse: (subject: false) => asserts subject is false;
-    var noFalse: <S>(subject: Exclude<S, false>) => void;
-    var isString: (subject: string) => asserts subject is string;
-    var noString: <S>(subject: Exclude<S, string>) => void;
-    var isFunction: (subject: AnyFunction<any[], any>) => asserts subject is AnyFunction<any[], any>;
-    var noFunction: <S>(subject: Exclude<S, AnyFunction<any[], any>>) => void;
-    var isConstructor: (subject: AnyConstructor<any[]>) => asserts subject is AnyConstructor<any[]>;
-    var isError: (subject: Error) => asserts subject is Error;
-    var noError: <S>(subject: Exclude<S, Error>) => void;
-    var isNever: (subject: never) => asserts subject is never;
-    var custom: <T>(validator: (s: T) => boolean) => (subject: unknown) => asserts subject is T;
-}
 export declare function assertType<T extends new (...args: any) => any>(subject: unknown, constructor: T): asserts subject is InstanceType<T>;
 export declare namespace assertType {
     var isUndefined: (subject: undefined) => asserts subject is undefined;

package/lib/assertion/assertType.js

@@ -5,8 +5,8 @@ var tersify_1 = require("tersify");
 var class_1 = require("../class");
 function assertType(subject, validator) {
     if (validator) {
-        if ((class_1.isConstructor(validator) && !(subject instanceof validator)) || !validator(subject))
-            throw new TypeError("subject fails to satisfy " + tersify_1.tersify(validator));
+        if (((0, class_1.isConstructor)(validator) && !(subject instanceof validator)) || !validator(subject))
+            throw new TypeError("subject fails to satisfy ".concat((0, tersify_1.tersify)(validator)));
     }
     return;
 }
@@ -78,7 +78,7 @@ assertType.noFunction = function (subject) {
         throw TypeError("subject is function");
 };
 assertType.isConstructor = function (subject) {
-    if (!class_1.isConstructor(subject))
+    if (!(0, class_1.isConstructor)(subject))
         throw TypeError("subject is not a constructor");
 };
 assertType.isError = function (subject) {
@@ -100,7 +100,7 @@ assertType.isNever = function (subject) {
 assertType.custom = function (validator) {
     return function (subject) {
         if (!validator(subject))
-            throw new TypeError("subject fails to satisfy " + tersify_1.tersify(validator));
+            throw new TypeError("subject fails to satisfy ".concat((0, tersify_1.tersify)(validator)));
         return;
     };
 };

package/lib/assertion/assertType.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertType.js","sourceRoot":"","sources":["../../src/assertion/assertType.ts"],"names":[],"mappings":";;;AAAA,mCAAiC;AACjC,kCAAwD;AAUxD,SAAgB,UAAU,CAAC,OAAY,EAAE,SAA+B;IACtE,IAAI,SAAS,EAAE;QACb,IAAI,CAAC,qBAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAC7F,MAAM,IAAI,SAAS,CAAC,8BAA4B,iBAAO,CAAC,SAAS,CAAG,CAAC,CAAA;KACxE;IACD,OAAM;AACR,CAAC;AAND,gCAMC;AAED,UAAU,CAAC,WAAW,GAAG,UAAU,OAAkB;IACnD,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AACjF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,UAAa,OAA8B;IAClE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,UAAU,OAAgB;IAC/C,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,UAAa,OAA4B;IAC9D,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACzE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,aAAa;IACb,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAChE,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,aAAa;IACb,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,UAAU,OAAoB;IACpD,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC/E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,UAAa,OAAgC;IACnE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,UAAU,CAAC,aAAa,GAAG,UAAU,OAAuB;IAC1D,IAAI,CAAC,qBAAa,CAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC9E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;AAC7C,CAAC,CAAA;AAED;;;;;GAKG;AACH,UAAU,CAAC,MAAM,GAAG,UAClB,SAA4B;IAE5B,OAAO,UAAU,OAAO;QACtB,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8BAA4B,iBAAO,CAAC,SAAS,CAAG,CAAC,CAAA;QACrG,OAAM;IACR,CAAC,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"assertType.js","sourceRoot":"","sources":["../../src/assertion/assertType.ts"],"names":[],"mappings":";;;AAAA,mCAAiC;AACjC,kCAAwD;AAUxD,SAAgB,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC1E,IAAI,SAAS,EAAE;QACb,IAAI,CAAC,IAAA,qBAAa,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACtF,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;KACxE;IACD,OAAM;AACR,CAAC;AAND,gCAMC;AAED,UAAU,CAAC,WAAW,GAAG,UAAU,OAAkB;IACnD,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AACjF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,UAAa,OAA8B;IAClE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,UAAU,OAAgB;IAC/C,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,UAAa,OAA4B;IAC9D,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACzE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IACzC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC9D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACxD,aAAa;IACb,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAChE,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,aAAa;IACb,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC5D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC5D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,UAAU,OAAoB;IACpD,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC/E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,UAAa,OAAgC;IACnE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,UAAU,CAAC,aAAa,GAAG,UAAU,OAAuB;IAC1D,IAAI,CAAC,IAAA,qBAAa,EAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC9E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC3C,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC7E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC1D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;AAC7C,CAAC,CAAA;AAED;;;;;GAKG;AACH,UAAU,CAAC,MAAM,GAAG,UAClB,SAA4B;IAE5B,OAAO,UAAU,OAAO;QACtB,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,mCAA4B,IAAA,iBAAO,EAAC,SAAS,CAAC,CAAE,CAAC,CAAA;QACrG,OAAM;IACR,CAAC,CAAA;AACH,CAAC,CAAA"}

package/lib/class/isConstructor.js

@@ -2,12 +2,12 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.isConstructor = void 0;
 function isConstructor(subject) {
-    var _a;
     try {
         new subject();
     }
     catch (err) {
-        if (((_a = err === null || err === void 0 ? void 0 : err.message) === null || _a === void 0 ? void 0 : _a.indexOf('is not a constructor')) >= 0) {
+        var msg = err === null || err === void 0 ? void 0 : err.message;
+        if (msg && msg.indexOf('is not a constructor') >= 0) {
             return false;
         }
     }

package/lib/class/isConstructor.js.map

@@ -1 +1 @@
-{"version":3,"file":"isConstructor.js","sourceRoot":"","sources":["../../src/class/isConstructor.ts"],"names":[],"mappings":";;;AAEA,SAAgB,aAAa,CAAC,OAAgB;;IAC5C,IAAI;QACF,IAAK,OAAe,EAAE,CAAA;KACvB;IACD,OAAO,GAAG,EAAE;QACV,IAAI,CAAA,MAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,0CAAE,OAAO,CAAC,sBAAsB,CAAC,KAAI,CAAC,EAAE;YACtD,OAAO,KAAK,CAAA;SACb;KACF;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAVD,sCAUC"}
+{"version":3,"file":"isConstructor.js","sourceRoot":"","sources":["../../src/class/isConstructor.ts"],"names":[],"mappings":";;;AAEA,SAAgB,aAAa,CAAC,OAAgB;IAC5C,IAAI;QACF,IAAK,OAA0B,EAAE,CAAA;KAClC;IACD,OAAO,GAAQ,EAAE;QACf,IAAM,GAAG,GAAG,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAA6B,CAAA;QAC9C,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACnD,OAAO,KAAK,CAAA;SACb;KACF;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAXD,sCAWC"}

package/lib/index.d.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/lib/index.js

@@ -32,6 +32,7 @@ Object.defineProperty(exports, "requiredDeep", { enumerable: true, get: function
 __exportStar(require("./array"), exports);
 __exportStar(require("./assertion"), exports);
 __exportStar(require("./class"), exports);
+__exportStar(require("./ComposableTypes"), exports);
 __exportStar(require("./function"), exports);
 __exportStar(require("./functional"), exports);
 __exportStar(require("./JSONTypes"), exports);

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AAAA,6CAAgC;AAkBvB,sBAAK;AAAW,kBAAC;AAjB1B,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AACvB,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAC5B,mDAAgC;AAChC,4CAAyB;AACzB,mDAAgC;AAChC,mDAAgC;AAChC,8CAA2B;AAC3B,0CAAuB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AAAA,6CAAgC;AAmBvB,sBAAK;AAAW,kBAAC;AAlB1B,uCAAkD;AAAzC,qGAAA,QAAQ,OAAA;AAAE,yGAAA,YAAY,OAAA;AAC/B,0CAAuB;AACvB,8CAA2B;AAC3B,0CAAuB;AACvB,oDAAiC;AACjC,6CAA0B;AAC1B,+CAA4B;AAC5B,8CAA2B;AAC3B,yCAAsB;AACtB,kDAA+B;AAC/B,2CAAwB;AACxB,+CAA4B;AAC5B,mDAAgC;AAChC,4CAAyB;AACzB,mDAAgC;AAChC,mDAAgC;AAChC,8CAA2B;AAC3B,0CAAuB"}

package/lib/math/Subtract.d.ts

@@ -4,7 +4,7 @@ import { Digit, DigitArray } from './Digit';
 import { IsPositive } from './IsPositive';
 import { IsWhole } from './IsWhole';
 import { Max } from './Max';
-export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, number, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
+export declare type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<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[] ? SubtractDigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
 declare type SubtractDigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : SubtractDigitArray<[...R, SubtractDigit<A[0], B[0]>], Tail<A>, Tail<B>>;
 declare type SubtractDigit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
 /**

package/lib/nominal-types/Brand.js.map

@@ -1 +1 @@
-{"version":3,"file":"Brand.js","sourceRoot":"","sources":["../../src/nominal-types/Brand.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAGvE,iCAA2C;AAmB3C,SAAgB,KAAK,CAAC,IAAY,EAAE,OAAa;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,OAAY,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAEzF,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAe,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACjC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AARD,sBAQC"}
+{"version":3,"file":"Brand.js","sourceRoot":"","sources":["../../src/nominal-types/Brand.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAGvE,iCAA2C;AAmB3C,SAAgB,KAAK,CAAC,IAAY,EAAE,OAAiB;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAE1F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAiC,CAAC,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AARD,sBAQC"}

package/lib/nominal-types/Flavor.js

@@ -5,9 +5,8 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.flavor = void 0;
 var types_1 = require("./types");
 function flavor(type, subject) {
-    if (subject === undefined) {
+    if (subject === undefined)
         return function (subject) { return flavor(type, subject); };
-    }
     if (typeof subject === 'object' && subject !== null) {
         // if subject is not an object, the branding will exist only in type-level.
         subject[types_1.typeSym] = type;

package/lib/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,iCAAiC;AAoBjC,SAAgB,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,eAAO,CAAC,GAAG,IAAI,CAAA;KACjC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AATD,wBASC"}
+{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../src/nominal-types/Flavor.ts"],"names":[],"mappings":";AAAA,kHAAkH;AAClH,uEAAuE;;;AAGvE,iCAAiC;AAoBjC,SAAgB,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,eAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAPD,wBAOC"}

package/lib/object/KnownKeys.d.ts

@@ -1,4 +1,5 @@
-export declare type KnownKeys<T> = {
+import { PrimitiveTypes } from '../PrimitiveTypes';
+export declare 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;

package/lib/object/KnownKeys.js

@@ -1,3 +1,6 @@
 "use strict";
+// Original by Klaus Meinhardt @ajafff
+// known from Gerrit Birkeland @Gerrit0
+// https://github.com/Microsoft/TypeScript/issues/25987#issuecomment-408339599
 Object.defineProperty(exports, "__esModule", { value: true });
 //# sourceMappingURL=KnownKeys.js.map

package/lib/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/lib/object/facade.js

@@ -9,14 +9,17 @@ function facade(subject) {
     return props.reduce(function (p, k) {
         var 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: function () {
+                    // eslint-disable-next-line @typescript-eslint/no-unsafe-return
                     return subject[k];
                 },
                 set: function (value) {
+                    // eslint-disable-next-line @typescript-eslint/no-unsafe-return, @typescript-eslint/no-unsafe-assignment
                     return subject[k] = value;
                 },
             });

package/lib/object/facade.js.map

@@ -1 +1 @@
-{"version":3,"file":"facade.js","sourceRoot":"","sources":["../../src/object/facade.ts"],"names":[],"mappings":";;;AAiBA,SAAgB,MAAM,CAAsB,OAAU;IAAE,eAAqB;SAArB,UAAqB,EAArB,qBAAqB,EAArB,IAAqB;QAArB,8BAAqB;;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;QACvB,IAAM,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,EAAH,UAAI,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;AAlBD,wBAkBC"}
+{"version":3,"file":"facade.js","sourceRoot":"","sources":["../../src/object/facade.ts"],"names":[],"mappings":";;;AAiBA,SAAgB,MAAM,CAAsB,OAAU;IAAE,eAAqB;SAArB,UAAqB,EAArB,qBAAqB,EAArB,IAAqB;QAArB,8BAAqB;;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;QACvB,IAAM,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,EAAH,UAAI,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;AArBD,wBAqBC"}

package/lib/object/getField.js.map

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

package/lib/object/hasKey.js.map

@@ -1 +1 @@
-{"version":3,"file":"hasKey.js","sourceRoot":"","sources":["../../src/object/hasKey.ts"],"names":[],"mappings":";;;AAIA,SAAgB,MAAM,CAAwC,OAAU;IAAE,cAAY;SAAZ,UAAY,EAAZ,qBAAY,EAAZ,IAAY;QAAZ,6BAAY;;IACpF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAA,GAAG,IAAI,OAAA,CAAC,OAAO,CAAC,GAAG,CAAC,EAAb,CAAa,CAAQ,CAAA;AAChD,CAAC;AAFD,wBAEC"}
+{"version":3,"file":"hasKey.js","sourceRoot":"","sources":["../../src/object/hasKey.ts"],"names":[],"mappings":";;;AAIA,SAAgB,MAAM,CAAwC,OAAU;IAAE,cAAY;SAAZ,UAAY,EAAZ,qBAAY,EAAZ,IAAY;QAAZ,6BAAY;;IACpF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAA,GAAG,IAAI,OAAA,CAAC,OAAO,CAAC,GAAG,CAAC,EAAb,CAAa,CAA4B,CAAA;AACpE,CAAC;AAFD,wBAEC"}

package/lib/object/mapProperties.js

@@ -11,7 +11,7 @@ var reduceKey_1 = require("./reduceKey");
  * I keep this parameter order because this parameter order provides better type inference.
  */
 function mapProperties(subject, callbackfn) {
-    return reduceKey_1.reduceByKey(subject, function (p, key) { return (p[key] = callbackfn(subject[key], key, subject),
+    return (0, reduceKey_1.reduceByKey)(subject, function (p, key) { return (p[key] = callbackfn(subject[key], key, subject),
         p); }, {});
 }
 exports.mapProperties = mapProperties;

package/lib/object/mapProperties.js.map

@@ -1 +1 @@
-{"version":3,"file":"mapProperties.js","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":";;;AACA,yCAAyC;AAGzC;;;;;;;GAOG;AACH,SAAgB,aAAa,CAI3B,OAAgB,EAChB,UAAqF;IAErF,OAAO,uBAAW,CAAC,OAAO,EAAE,UAAC,CAAC,EAAE,GAAG,IAAK,OAAA,CACtC,CAAC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,EAFoC,CAEpC,EAAE,EAA0C,CAAC,CAAA;AACnD,CAAC;AAVD,sCAUC"}
+{"version":3,"file":"mapProperties.js","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":";;;AACA,yCAAyC;AAGzC;;;;;;;GAOG;AACH,SAAgB,aAAa,CAI3B,OAAgB,EAChB,UAAqF;IAErF,OAAO,IAAA,uBAAW,EAAC,OAAO,EAAE,UAAC,CAAC,EAAE,GAAG,IAAK,OAAA,CACtC,CAAC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC;QAC/C,CAAC,CAAC,EAFoC,CAEpC,EAAE,EAA0C,CAAC,CAAA;AACnD,CAAC;AAVD,sCAUC"}

package/lib/object/omit.js

@@ -7,7 +7,7 @@ function omit(subject) {
     for (var _i = 1; _i < arguments.length; _i++) {
         props[_i - 1] = arguments[_i];
     }
-    return object_1.reduceByKey(subject, function (p, k) {
+    return (0, object_1.reduceByKey)(subject, function (p, k) {
         if (props.indexOf(k) === -1)
             p[k] = subject[k];
         return p;

package/lib/object/omit.js.map

@@ -1 +1 @@
-{"version":3,"file":"omit.js","sourceRoot":"","sources":["../../src/object/omit.ts"],"names":[],"mappings":";;;AAAA,oCAAkD;AA8BlD,SAAgB,IAAI,CAAsB,OAAU;IAAE,eAA6B;SAA7B,UAA6B,EAA7B,qBAA6B,EAA7B,IAA6B;QAA7B,8BAA6B;;IACjF,OAAO,oBAAW,CAAC,OAAO,EAAE,UAAC,CAAC,EAAE,CAAC;QAC/B,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;AALD,oBAKC"}
+{"version":3,"file":"omit.js","sourceRoot":"","sources":["../../src/object/omit.ts"],"names":[],"mappings":";;;AAAA,oCAAkD;AA8BlD,SAAgB,IAAI,CAAsB,OAAU;IAAE,eAA6B;SAA7B,UAA6B,EAA7B,qBAA6B,EAA7B,IAA6B;QAA7B,8BAA6B;;IACjF,OAAO,IAAA,oBAAW,EAAC,OAAO,EAAE,UAAC,CAAC,EAAE,CAAC;QAC/B,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;AALD,oBAKC"}

package/lib/object/pick.js

@@ -7,7 +7,7 @@ function pick(subject) {
     for (var _i = 1; _i < arguments.length; _i++) {
         props[_i - 1] = arguments[_i];
     }
-    return reduceKey_1.reduceByKey(subject, function (p, k) {
+    return (0, reduceKey_1.reduceByKey)(subject, function (p, k) {
         if (props.indexOf(k) >= 0)
             p[k] = subject[k];
         return p;

package/lib/object/pick.js.map

@@ -1 +1 @@
-{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../src/object/pick.ts"],"names":[],"mappings":";;;AAEA,yCAAyC;AAczC,SAAgB,IAAI,CAAsB,OAAU;IAAE,eAA6B;SAA7B,UAA6B,EAA7B,qBAA6B,EAA7B,IAA6B;QAA7B,8BAA6B;;IACjF,OAAO,uBAAW,CAAC,OAAO,EAAE,UAAC,CAAC,EAAE,CAAC;QAC/B,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;AALD,oBAKC"}
+{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../src/object/pick.ts"],"names":[],"mappings":";;;AAEA,yCAAyC;AAczC,SAAgB,IAAI,CAAsB,OAAU;IAAE,eAA6B;SAA7B,UAA6B,EAA7B,qBAA6B,EAA7B,IAA6B;QAA7B,8BAA6B;;IACjF,OAAO,IAAA,uBAAW,EAAC,OAAO,EAAE,UAAC,CAAC,EAAE,CAAC;QAC/B,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;AALD,oBAKC"}

package/lib/object/typeOverrideIncompatible.js.map

@@ -1 +1 @@
-{"version":3,"file":"typeOverrideIncompatible.js","sourceRoot":"","sources":["../../src/object/typeOverrideIncompatible.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAEA,SAAgB,wBAAwB;IACtC,OAAO,UAA+B,MAAS,EAAE,QAAqB;QACpE,OAAO,sBACF,MAAM,GACN,QAAQ,CACL,CAAA;IACV,CAAC,CAAA;AACH,CAAC;AAPD,4DAOC"}
+{"version":3,"file":"typeOverrideIncompatible.js","sourceRoot":"","sources":["../../src/object/typeOverrideIncompatible.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAEA,SAAgB,wBAAwB;IACtC,OAAO,UAA+B,MAAS,EAAE,QAAqB;QACpE,6BACK,MAAM,GACN,QAAQ,EACZ;IACH,CAAC,CAAA;AACH,CAAC;AAPD,4DAOC"}

package/lib/predicates/CanAssign.d.ts

@@ -1,8 +1,9 @@
 import { NotExtendable } from './Extends';
+import { IsEmptyObject } from './isEmptyObject';
 /**
  * Can `A` assign to `B`
  */
-export declare type CanAssign<A, B, Then = true, Else = false> = boolean extends A ? boolean extends B ? Then : Else : A extends B ? Then : Else;
+export declare type CanAssign<A, B, Then = true, Else = false> = IsEmptyObject<A> extends true ? Record<string, unknown> extends B ? Then : Else : boolean extends A ? (boolean extends B ? Then : Else) : A extends B ? Then : Else;
 export declare type IsAssign<A, B, Then = true, Else = false> = CanAssign<A, B, Then, Else>;
 export declare function canAssign<T>(canAssign: false): <S>(subject: NotExtendable<S, T>) => true;
 export declare function canAssign<T>(): <S extends T>(subject: S) => CanAssign<S, T>;

package/lib/predicates/CanAssign.js.map

@@ -1 +1 @@
-{"version":3,"file":"CanAssign.js","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":";;;AAeA,SAAgB,SAAS;IACvB,OAAO,cAAM,OAAA,IAAI,EAAJ,CAAI,CAAA;AACnB,CAAC;AAFD,8BAEC"}
+{"version":3,"file":"CanAssign.js","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":";;;AAkBA,SAAgB,SAAS;IACvB,OAAO,cAAM,OAAA,IAAI,EAAJ,CAAI,CAAA;AACnB,CAAC;AAFD,8BAEC"}

package/lib/predicates/index.d.ts

@@ -4,6 +4,7 @@ export * from './Extends';
 export * from './If';
 export * from './isType';
 export * from './logical';
+export * from './isEmptyObject';
 import { IsExtend } from './Extends';
 export declare type IsLiteral<T extends number | string, Then = true, Else = false> = number extends T ? Else : string extends T ? Else : Then;
 export declare type IsBoolean<T, Then = true, Else = false> = boolean extends T ? Then : Else;

package/lib/predicates/index.js

@@ -16,4 +16,5 @@ __exportStar(require("./Extends"), exports);
 __exportStar(require("./If"), exports);
 __exportStar(require("./isType"), exports);
 __exportStar(require("./logical"), exports);
+__exportStar(require("./isEmptyObject"), exports);
 //# sourceMappingURL=index.js.map

package/lib/predicates/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,8CAA2B;AAC3B,0CAAuB;AACvB,4CAAyB;AACzB,uCAAoB;AACpB,2CAAwB;AACxB,4CAAyB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,8CAA2B;AAC3B,0CAAuB;AACvB,4CAAyB;AACzB,uCAAoB;AACpB,2CAAwB;AACxB,4CAAyB;AACzB,kDAA+B"}

package/lib/predicates/isEmptyObject.d.ts

@@ -0,0 +1 @@
+export declare type IsEmptyObject<T> = T extends {} ? {} extends T ? true : false : false;