type-plus 6.8.1 → 7.0.0

package/esm/predicates/Extends.d.ts

@@ -1,5 +1,5 @@
-export type Extendable<A, B> = A extends B ? A : never;
-export type NotExtendable<A, B> = A extends B ? never : A;
+export type Extendable<A, B, Then = A, Else = never> = A extends B ? Then : Else;
+export type NotExtendable<A, B, Then = A, Else = never> = A extends B ? Else : Then;
 export type IsExtend<A, B, Then = true, Else = false> = A extends B ? Then : Else;
 export type IsNotExtend<A, B, Then = true, Else = false> = A extends B ? Else : Then;
 //# sourceMappingURL=Extends.d.ts.map

package/esm/predicates/Extends.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Extends.d.ts","sourceRoot":"","sources":["../../ts/predicates/Extends.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACtD,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAA;AACzD,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACjF,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA"}
+{"version":3,"file":"Extends.d.ts","sourceRoot":"","sources":["../../ts/predicates/Extends.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAChF,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACnF,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACjF,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/esm/predicates/index.d.ts

@@ -2,7 +2,6 @@ export * from './CanAssign.js';
 export type { Extendable, IsExtend, IsNotExtend, NotExtendable } from './Extends.js';
 export type { If } from './If.js';
 export type { IsEmptyObject } from './IsEmptyObject.js';
-export * from './isType.js';
 export type { And, Not, Or, Xor } from './logical.js';
 export type IsLiteral<T extends number | string, Then = true, Else = false> = number extends T ? Else : string extends T ? Else : Then;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACpF,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,cAAc,aAAa,CAAA;AAC3B,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAErD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GAC3F,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,IAAI,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACpF,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAErD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GAC3F,IAAI,GACJ,MAAM,SAAS,CAAC,GAChB,IAAI,GACJ,IAAI,CAAA"}

package/esm/predicates/index.js

@@ -1,3 +1,2 @@
 export * from './CanAssign.js';
-export * from './isType.js';
 //# sourceMappingURL=index.js.map

package/esm/predicates/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAI9B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA"}

package/esm/testing/test_type.d.ts

@@ -1,41 +1,77 @@
 import type { IsAny } from '../any/any_type.js';
+import type { IsArray } from '../array/array_type.js';
 import type { IsBigint } from '../bigint/bigint_type.js';
 import type { IsStrictBigint } from '../bigint/strict_bigint_type.js';
 import type { IsBoolean } from '../boolean/boolean_type.js';
 import type { IsFalse } from '../boolean/false_type.js';
 import type { IsStrictBoolean } from '../boolean/strict_boolean_type.js';
 import type { IsTrue } from '../boolean/true_type.js';
-import type { Equal } from '../equal/equal.js';
+import type { IsEqual } from '../equal/equal.js';
+import type { IsFunction } from '../function/function_type.js';
+import type { IsStrictFunction } from '../function/strict_function_type.js';
 import type { IsNever } from '../never/never_type.js';
 import type { IsNull } from '../null/null_type.js';
 import type { IsNumber } from '../number/number_type.js';
 import type { IsStrictNumber } from '../number/strict_number_type.js';
-import type { CanAssign } from '../predicates/CanAssign.js';
+import type { IsObject } from '../object/object_type.js';
+import type { CanAssign, StrictCanAssign } from '../predicates/CanAssign.js';
 import type { IsStrictString } from '../string/strict_string_type.js';
 import type { IsString } from '../string/string_type.js';
+import type { IsSymbol } from '../symbol/symbol_type.js';
+import type { IsTuple } from '../tuple/tuple_type.js';
 import type { IsUndefined } from '../undefined/undefined_type.js';
 import type { IsUnknown } from '../unknown/unknown_type.js';
 import type { IsVoid } from '../void/void_type.js';
-/**
- * Check if type `A` is equal to type `B` and `C`.
- *
- * @return `expected` as `A` for type inspection.
- */
-declare function equal<A, B, C>(expected: Equal<A, B> & Equal<A, C>): A;
-/**
- * Check if type `A` is equal to type `B`.
- *
- * @return `expected` as `A` for type inspection.
- */
-declare function equal<A, B>(expected: Equal<A, B>): A;
-/**
- * Test utilities for types.
- *
- * This is designed specifically for testing.
- * The return value is the input `expected` parameter asserted as the first type parameter,
- * so that the type can be further inspected.
- */
-export declare const testType: {
+interface TestType {
+    /**
+     * Check if type `A` is equal to type `B` and `C`.
+     *
+     * @return `expected` as `A` for type inspection.
+     */
+    equal<A, B, C>(expected: IsEqual<A, B> & IsEqual<A, C>): A;
+    /**
+     * Check if type `A` is equal to type `B`.
+     *
+     * @return `expected` as `A` for type inspection.
+     */
+    equal<A, B>(expected: IsEqual<A, B>): A;
+    /**
+     * Check if `A` can assign to `B`.
+     *
+     * If `A` is a union,
+     * the check is distributive.
+     *
+     * Meaning the result can be `boolean`,
+     * meaning both `true` and `false` will pass.
+     *
+     * If you want to avoid the distributivity,
+     * use `testType.strictCanAssign()` instead.
+     *
+     * @example
+     * ```ts
+     * testType.canAssign<123, number> // true
+     *
+     * testType.canAssign<number | string, number> // boolean
+     * ```
+     *
+     * @return `expected` as `A` for type inspection.
+     */
+    canAssign<A, B>(expected: CanAssign<A, B>): A;
+    /**
+     * Check if `A` can fully assign to `B`.
+     *
+     * This checks all branches in an union `A` are assignable to `B`.
+     *
+     * @example
+     * ```ts
+     * testType.strictCanAssign<number | string, number | string> // true
+     *
+     * testType.strictCanAssign<number | string, number> // false
+     * ```
+     *
+     * @return `expected` as `A` for type inspection.
+     */
+    strictCanAssign<A, B>(expected: StrictCanAssign<A, B>): A;
     /**
      * Check if type `T` is exactly `any`.
      *
@@ -43,102 +79,141 @@ export declare const testType: {
      */
     any<T>(expected: IsAny<T>): T;
     /**
-     * Check if type `T` is exactly `unknown`.
+     * Check if type `T` is exactly `array`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    unknown<T_1>(expected: IsUnknown<T_1>): T_1;
+    array<T>(expected: IsArray<T>): T;
     /**
-     * Check if type `T` is exactly `never`.
+     * Check if type `T` is exactly `bigint`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    never<T_2>(expected: IsNever<T_2>): T_2;
+    strictBigint<T>(expected: IsStrictBigint<T>): T;
     /**
-     * Check if type `T` is exactly `void`.
+     * Check if type `T` is `bigint` or bigint literals.
      *
      * @return `expected` as `T` for type inspection.
      */
-    void<T_3>(expected: IsVoid<T_3>): T_3;
-    equal: typeof equal;
+    bigint<T>(expected: IsBigint<T>): T;
     /**
-     * Check if `A` can assign to `B`.
+     * Check if type `T` is exactly `boolean`.
      *
-     * @return `expected` as `A` for type inspection.
+     * @return `expected` as `T` for type inspection.
      */
-    canAssign<A, B>(expected: CanAssign<A, B>): A;
+    strictBoolean<T>(expected: IsStrictBoolean<T>): T;
+    /**
+     * Check if type `T` is `boolean` and boolean literals.
+     *
+     * @return `expected` as `T` for type inspection.
+     */
+    boolean<T>(expected: IsBoolean<T>): T;
+    /**
+     * Check if type `T` is exactly `true`.
+     *
+     * @return `expected` as `T` for type inspection.
+     */
+    true<T>(expected: IsTrue<T>): T;
+    /**
+     * Check if type `T` is exactly `false`.
+     *
+     * @return `expected` as `T` for type inspection.
+     */
+    false<T>(expected: IsFalse<T>): T;
     /**
      * Check if type `T` is exactly `boolean`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    strictBoolean<T_4>(expected: IsStrictBoolean<T_4>): T_4;
+    strictFunction<T>(expected: IsStrictFunction<T>): T;
     /**
      * Check if type `T` is `boolean` and boolean literals.
      *
      * @return `expected` as `T` for type inspection.
      */
-    boolean<T_5>(expected: IsBoolean<T_5>): T_5;
+    function<T>(expected: IsFunction<T>): T;
     /**
-     * Check if type `T` is exactly `true`.
+     * Check if type `T` is exactly `never`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    true<T_6>(expected: IsTrue<T_6>): T_6;
+    never<T>(expected: IsNever<T>): T;
     /**
-     * Check if type `T` is exactly `false`.
+     * Check if type `T` is exactly `null`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    false<T_7>(expected: IsFalse<T_7>): T_7;
+    null<T>(expected: IsNull<T>): T;
     /**
      * Check if type `T` is exactly `number`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    strictNumber<T_8>(expected: IsStrictNumber<T_8>): T_8;
+    strictNumber<T>(expected: IsStrictNumber<T>): T;
     /**
      * Check if type `T` is `number` or number literals.
      *
      * @return `expected` as `T` for type inspection.
      */
-    number<T_9>(expected: IsNumber<T_9>): T_9;
+    number<T>(expected: IsNumber<T>): T;
+    /**
+     * Check if type `T` is `object`.
+     *
+     * Note that `Function`, `Array`, and *tuple* are also `object`.
+     *
+     * @return `expected` as `T` for type inspection.
+     */
+    object<T>(expected: IsObject<T>): T;
     /**
      * Check if type `T` is exactly `string`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    strictString<T_10>(expected: IsStrictString<T_10>): T_10;
+    strictString<T>(expected: IsStrictString<T>): T;
     /**
      * Check if type `T` is `string` or string literals.
      *
      * @return `expected` as `T` for type inspection.
      */
-    string<T_11>(expected: IsString<T_11>): T_11;
+    string<T>(expected: IsString<T>): T;
     /**
-     * Check if type `T` is exactly `bigint`.
+     * Check if type `T` is a `symbol`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    strictBigint<T_12>(expected: IsStrictBigint<T_12>): T_12;
+    symbol<T>(expected: IsSymbol<T>): T;
     /**
-     * Check if type `T` is `bigint` or bigint literals.
+     * Check if type `T` is a *tuple*.
      *
      * @return `expected` as `T` for type inspection.
      */
-    bigint<T_13>(expected: IsBigint<T_13>): T_13;
+    tuple<T>(expected: IsTuple<T>): T;
     /**
      * Check if type `T` is exactly `undefined`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    undefined<T_14>(expected: IsUndefined<T_14>): T_14;
+    undefined<T>(expected: IsUndefined<T>): T;
     /**
-     * Check if type `T` is exactly `null`.
+     * Check if type `T` is exactly `unknown`.
+     *
+     * @return `expected` as `T` for type inspection.
+     */
+    unknown<T>(expected: IsUnknown<T>): T;
+    /**
+     * Check if type `T` is exactly `void`.
      *
      * @return `expected` as `T` for type inspection.
      */
-    null<T_15>(expected: IsNull<T_15>): T_15;
-};
+    void<T>(expected: IsVoid<T>): T;
+}
+/**
+ * Test utilities for types.
+ *
+ * This is designed specifically for testing.
+ * The return value is the input `expected` parameter asserted as the first type parameter,
+ * so that the type can be further inspected.
+ */
+export declare const testType: TestType;
 export {};
 //# sourceMappingURL=test_type.d.ts.map

package/esm/testing/test_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD;;;;GAIG;AACH,iBAAS,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAC/D;;;;GAIG;AACH,iBAAS,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAK9C;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ;IACpB;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;;IAKH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;IAIH;;;;OAIG;;CAIH,CAAA"}
+{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD,UAAU,QAAQ;IACjB;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC1D;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7C;;;;;;;;;;;;;OAaG;IACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACzD;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;;;OAMG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEzC;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAC/B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,UAInB,CAAA"}

package/esm/testing/test_type.js

@@ -1,6 +1,3 @@
-function equal(expected) {
-    return expected;
-}
 /**
  * Test utilities for types.
  *
@@ -8,143 +5,9 @@ function equal(expected) {
  * The return value is the input `expected` parameter asserted as the first type parameter,
  * so that the type can be further inspected.
  */
-export const testType = {
-    /**
-     * Check if type `T` is exactly `any`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    any(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `unknown`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    unknown(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `never`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    never(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `void`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    void(expected) {
-        return expected;
-    },
-    equal,
-    /**
-     * Check if `A` can assign to `B`.
-     *
-     * @return `expected` as `A` for type inspection.
-     */
-    canAssign(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `boolean`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictBoolean(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is `boolean` and boolean literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    boolean(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `true`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    true(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `false`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    false(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `number`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictNumber(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is `number` or number literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    number(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `string`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictString(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is `string` or string literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    string(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `bigint`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    strictBigint(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is `bigint` or bigint literals.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    bigint(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `undefined`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    undefined(expected) {
-        return expected;
-    },
-    /**
-     * Check if type `T` is exactly `null`.
-     *
-     * @return `expected` as `T` for type inspection.
-     */
-    null(expected) {
-        return expected;
+export const testType = new Proxy({}, {
+    get(_target, _prop, _receiver) {
+        return (expected) => expected;
     }
-};
+});
 //# sourceMappingURL=test_type.js.map

package/esm/testing/test_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AA+BA,SAAS,KAAK,CAAC,QAAiB;IAC/B,OAAO,QAAQ,CAAA;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACvB;;;;OAIG;IACH,GAAG,CAAI,QAAkB;QACxB,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,OAAO,CAAI,QAAsB;QAChC,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,KAAK,CAAI,QAAoB;QAC5B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,IAAI,CAAI,QAAmB;QAC1B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD,KAAK;IACL;;;;OAIG;IACH,SAAS,CAAO,QAAyB;QACxC,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,aAAa,CAAI,QAA4B;QAC5C,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,OAAO,CAAI,QAAsB;QAChC,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,IAAI,CAAI,QAAmB;QAC1B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,KAAK,CAAI,QAAoB;QAC5B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,YAAY,CAAI,QAA2B;QAC1C,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,MAAM,CAAI,QAAqB;QAC9B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,YAAY,CAAI,QAA2B;QAC1C,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,MAAM,CAAI,QAAqB;QAC9B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,YAAY,CAAI,QAA2B;QAC1C,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,MAAM,CAAI,QAAqB;QAC9B,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,SAAS,CAAI,QAAwB;QACpC,OAAO,QAAa,CAAA;IACrB,CAAC;IACD;;;;OAIG;IACH,IAAI,CAAI,QAAmB;QAC1B,OAAO,QAAa,CAAA;IACrB,CAAC;CACD,CAAA"}
+{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAoNA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAc,EAAE;IACjD,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}

package/esm/tuple/create_tuple.d.ts

@@ -0,0 +1,28 @@
+import type { DigitArray } from '../math/numeric_struct.js';
+import type { IsInteger } from '../numeric/integer.js';
+import type { IsPositive } from '../numeric/positive.js';
+/**
+ * Creates `Tuple<T>` with `L` number of elements.
+ * @note Other cool implementations by @lazytype, @jcalz:
+ * @see https://github.com/microsoft/TypeScript/issues/26223#issuecomment-674514787
+ * @see https://github.com/microsoft/TypeScript/issues/47874#issuecomment-1039157322
+ */
+export type CreateTuple<L extends number, T = unknown, Fail = never> = number extends L ? T[] : IsPositive<L> extends true ? IsInteger<L> extends true ? ToTuple<[], DigitArray.FromString<`${L}`>, T> : Fail : Fail;
+export type ToTuple<R extends any[], S extends number[], X = any> = S['length'] extends 0 ? R : S['length'] extends 1 ? [...R, ...DigitToTuple<X>[S[0]]] : S extends [any, ...infer T] ? T extends any[] ? ToTuple<Multi10<[...R, ...DigitToTuple<X>[S[0]]]>, T> : never : never;
+type DigitToTuple<T = 1> = {
+    [k in number]: any[];
+} & {
+    0: [];
+    1: [T];
+    2: [T, T];
+    3: [T, T, T];
+    4: [T, T, T, T];
+    5: [T, T, T, T, T];
+    6: [T, T, T, T, T, T];
+    7: [T, T, T, T, T, T, T];
+    8: [T, T, T, T, T, T, T, T];
+    9: [T, T, T, T, T, T, T, T, T];
+};
+type Multi10<C extends any[]> = [...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C, ...C];
+export {};
+//# sourceMappingURL=create_tuple.d.ts.map

package/esm/tuple/create_tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create_tuple.d.ts","sourceRoot":"","sources":["../../ts/tuple/create_tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AAExD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GACpF,CAAC,EAAE,GACH,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7C,IAAI,GACL,IAAI,CAAA;AACP,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtF,CAAC,GACD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,GAAG,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAC3B,CAAC,SAAS,GAAG,EAAE,GACd,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACrD,KAAK,GACN,KAAK,CAAA;AAER,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI;KACzB,CAAC,IAAI,MAAM,GAAG,GAAG,EAAE;CACpB,GAAG;IACH,CAAC,EAAE,EAAE,CAAA;IACL,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACN,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACT,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACZ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACf,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACxB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC9B,CAAA;AACD,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA"}

package/esm/{array → tuple}/create_tuple.js.map

@@ -1 +1 @@
-{"version":3,"file":"create_tuple.js","sourceRoot":"","sources":["../../ts/array/create_tuple.ts"],"names":[],"mappings":""}
+{"version":3,"file":"create_tuple.js","sourceRoot":"","sources":["../../ts/tuple/create_tuple.ts"],"names":[],"mappings":""}

package/esm/tuple/tuple_plus.d.ts

@@ -0,0 +1,2 @@
+export * from './tuple_plus.pad_start.js';
+//# sourceMappingURL=tuple_plus.d.ts.map

package/esm/tuple/tuple_plus.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple_plus.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAA"}

package/esm/tuple/tuple_plus.js

@@ -0,0 +1,2 @@
+export * from './tuple_plus.pad_start.js';
+//# sourceMappingURL=tuple_plus.js.map

package/esm/tuple/tuple_plus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple_plus.js","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAA"}

package/esm/tuple/tuple_plus.pad_start.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Pads the start of a tuple with `PadWith`.
+ *
+ * If the `MaxLength` is less than the length of the tuple,
+ * the `Tuple` will be returned unchanged.
+ *
+ * @example
+ * ```ts
+ * PadStart<[1, 2, 3], 5, 0> // [0, 0, 1, 2, 3]
+ *
+ * // Ignore if MaxLength is less than the length of the tuple
+ * PadStart<[1, 2, 3], 5, 0> // [0, 0, 1, 2, 3]
+ *
+ * // Default to unknown
+ * PadStart<[1, 2, 3], 5> // [unknown, unknown, 1, 2, 3]
+ * ```
+ */
+export type PadStart<Tuple extends unknown[], MaxLength extends number, PadWith = unknown> = PadStartDevice<Tuple, MaxLength, PadWith, [
+]>;
+type PadStartDevice<Source extends unknown[], MaxLength extends number, PadWith, Result extends unknown[]> = Result['length'] extends MaxLength ? Source extends [] ? Result : Source extends [...infer Head, infer Tail] ? [Tail, ...Result] extends infer R extends unknown[] ? PadStartDevice<Head, R['length'], PadWith, R> : never : never : Source extends [] ? PadStartDevice<Source, MaxLength, PadWith, [PadWith, ...Result]> : Source extends [...infer Head, infer Tail] ? PadStartDevice<Head, MaxLength, PadWith, [Tail, ...Result]> : Source;
+export {};
+//# sourceMappingURL=tuple_plus.pad_start.d.ts.map

package/esm/tuple/tuple_plus.pad_start.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple_plus.pad_start.d.ts","sourceRoot":"","sources":["../../ts/tuple/tuple_plus.pad_start.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,OAAO,EAAE,EAAE,SAAS,SAAS,MAAM,EAAE,OAAO,GAAG,OAAO,IAAI,cAAc,CAC1G,KAAK,EACL,SAAS,EACT,OAAO,EACP;CAAE,CACF,CAAA;AAED,KAAK,cAAc,CAClB,MAAM,SAAS,OAAO,EAAE,EACxB,SAAS,SAAS,MAAM,EACxB,OAAO,EACP,MAAM,SAAS,OAAO,EAAE,IACrB,MAAM,CAAC,QAAQ,CAAC,SAAS,SAAS,GACnC,MAAM,SAAS,EAAE,GAChB,MAAM,GACN,MAAM,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GAC1C,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,MAAM,CAAC,SAAS,OAAO,EAAE,GAClD,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GAC7C,KAAK,GACN,KAAK,GACN,MAAM,SAAS,EAAE,GACjB,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,GAChE,MAAM,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GAC1C,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,GAC3D,MAAM,CAAA"}

package/esm/tuple/tuple_plus.pad_start.js

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

package/esm/tuple/tuple_plus.pad_start.js.map

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

package/esm/{predicates/isType.d.ts → type-guard/is_type.d.ts}

@@ -1,4 +1,4 @@
-import type { Equal } from '../equal/equal.js';
+import type { IsEqual } from '../equal/equal.js';
 /**
  * Is the subject of type T
  */
@@ -11,15 +11,17 @@ export declare namespace isType {
     var t: <T extends true>(subject?: T | undefined) => boolean;
     var f: <T extends false>(subject?: T | undefined) => boolean;
     var never: typeof isNever;
-    var equal: <C extends Equal<A, B>, A, B>() => void;
+    var equal: <C extends IsEqual<A, B>, A, B>() => void;
 }
 /**
  * Check is the type `never`
+ * @deprecated use `isType<T>()` or `testType.never<T>()` instead
  */
 declare function isNever<S extends never>(): unknown;
 /**
  * Check is the value is type `never`
+ * @deprecated use `isType<T>()` or `testType.never<T>()` instead
  */
 declare function isNever(subject: never): subject is never;
 export {};
-//# sourceMappingURL=isType.d.ts.map
+//# sourceMappingURL=is_type.d.ts.map

package/esm/type-guard/is_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_type.d.ts","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEhD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;yBAAvE,MAAM;;;;;;AAmBtB;;;GAGG;AACH,iBAAS,OAAO,CAAC,CAAC,SAAS,KAAK,KAAK,OAAO,CAAA;AAC5C;;;GAGG;AACH,iBAAS,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,CAAA"}

package/esm/{predicates/isType.js → type-guard/is_type.js}

@@ -1,9 +1,15 @@
 export function isType(subject, validator) {
     return validator ? !!validator(subject) : true;
 }
+/**
+ * @deprecated use `isType<T>()` or `testType.true<T>()` instead
+ */
 isType.t = function (subject) {
     return subject === undefined || subject === true;
 };
+/**
+ * @deprecated use `isType<T>()` or `testType.false<T>()` instead
+ */
 isType.f = function (subject) {
     return subject === undefined || subject === false;
 };
@@ -16,7 +22,7 @@ isType.never = isNever;
  * Easier to use than `isType.t<>()` and `isType.f<>()`,
  * when doing type level only equality comparison as you don't have to import `Equal<>`.
  *
- * @deprecated use `type.equal()` instead
+ * @deprecated use `testType.equal()` instead
  */
 isType.equal = function () { };
-//# sourceMappingURL=isType.js.map
+//# sourceMappingURL=is_type.js.map

package/esm/type-guard/is_type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAYD,SAAS,OAAO,CAAC,OAAiB;IACjC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA4C,CAAC,CAAA"}