type-plus 7.6.2 → 8.0.0-beta.10

package/esm/array/union_of_props.d.ts

@@ -3,10 +3,10 @@ import type { Tail } from '../tuple/tail.js';
 /**
  * Gets the union of properties of the elements in `A`
  */
-export type UnionOfProps<A extends Record<any, any>[], P extends KeyTypes> = A['length'] extends 0 ? never : A['length'] extends 1 ? A[0][P] : A[0][P] | UnionOfProps<Tail<A>, P>;
+export type UnionOfProps<A extends readonly Record<any, any>[], P extends KeyTypes> = A['length'] extends 0 ? never : A['length'] extends 1 ? A[0][P] : A[0][P] | UnionOfProps<Tail<A>, P>;
 /**
  * Gets the union of properties in the element of `A`
  * This will be deprecated in 4.0. Please use UnionOfProps instead.
  */
-export type PropUnion<A extends Record<any, any>[], P extends KeyTypes> = UnionOfProps<A, P>;
+export type PropUnion<A extends readonly Record<any, any>[], P extends KeyTypes> = UnionOfProps<A, P>;
 //# sourceMappingURL=union_of_props.d.ts.map

package/esm/array/union_of_props.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"union_of_props.d.ts","sourceRoot":"","sources":["../../ts/array/union_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE5C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC/F,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAErC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
+{"version":3,"file":"union_of_props.d.ts","sourceRoot":"","sources":["../../src/array/union_of_props.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAE5C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACxG,KAAK,GACL,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEtC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/esm/array/union_of_props.js.map

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

package/esm/array/union_of_values.d.ts

@@ -1,10 +1,10 @@
 /**
  * Gets the union of value types in `A`
  */
-export type UnionOfValues<A extends Array<any>> = A extends Array<infer E> ? E : never;
+export type UnionOfValues<A extends readonly unknown[]> = A extends Readonly<Array<infer E>> ? E : never;
 /**
  * Gets the union of value types in `A`
  * @deprecated Please use `UnionOfValues` instead.
  */
-export type ArrayValue<A extends any[]> = UnionOfValues<A>;
+export type ArrayValue<A extends readonly unknown[]> = UnionOfValues<A>;
 //# sourceMappingURL=union_of_values.d.ts.map

package/esm/array/union_of_values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"union_of_values.d.ts","sourceRoot":"","sources":["../../ts/array/union_of_values.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAMtF;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"union_of_values.d.ts","sourceRoot":"","sources":["../../src/array/union_of_values.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAMxG;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA"}

package/esm/array/union_of_values.js.map

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

package/esm/assertion/assert_type.d.ts

@@ -1,5 +1,5 @@
 import { type AnyConstructor } from '../class/index.js';
-import { type AnyFunction } from '../function/any_function.js';
+import type { AnyFunction } from '../function/any_function.js';
 /**
  * 💥 *immediate*
  * 🚦 *assertion*
@@ -12,7 +12,7 @@ export declare function assertType<T>(subject: unknown, validator: (s: T) => boo
 /**
  * @deprecated this is not a failsafe test
  */
-export declare function assertType<T extends new (...args: any) => any>(subject: unknown, constructor: T): asserts subject is InstanceType<T>;
+export declare function assertType<T extends new (..._args: any[]) => any>(subject: unknown, classConstructor: T): asserts subject is InstanceType<T>;
 export declare namespace assertType {
     var isUndefined: (subject: undefined) => asserts subject is undefined;
     var noUndefined: <S>(subject: Exclude<S, undefined>) => void;
@@ -34,7 +34,7 @@ export declare namespace assertType {
     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;
+    var custom: <T>(validator: (s: T) => boolean) => ((subject: unknown) => asserts subject is T);
     var as: <T>(_subject: unknown) => asserts _subject is T;
 }
 //# sourceMappingURL=assert_type.d.ts.map

package/esm/assertion/assert_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assert_type.d.ts","sourceRoot":"","sources":["../../ts/assertion/assert_type.ts"],"names":[],"mappings":"AACA,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AACnG;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,EAC7D,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,CAAC,GACZ,OAAO,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAHrB,UAAU"}
+{"version":3,"file":"assert_type.d.ts","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,cAAc,EAAiB,MAAM,mBAAmB,CAAA;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAA;AAE9D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;AACnG;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,EAChE,OAAO,EAAE,OAAO,EAChB,gBAAgB,EAAE,CAAC,GACjB,OAAO,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAHrB,UAAU;+BAYS,SAAS,KAAG,QAAQ,OAAO,IAAI,SAAS;sBAGjD,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,KAAG,IAAI;0BAIpC,IAAI,KAAG,QAAQ,OAAO,IAAI,IAAI;iBAGvC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,KAAG,IAAI;4BAIxB,MAAM,KAAG,QAAQ,OAAO,IAAI,MAAM;mBAG3C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI;6BAI3B,OAAO,KAAG,QAAQ,OAAO,IAAI,OAAO;oBAG7C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI;0BAIhC,IAAI,KAAG,QAAQ,OAAO,IAAI,IAAI;iBAGvC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,KAAG,IAAI;2BAIzB,KAAK,KAAG,QAAQ,OAAO,IAAI,KAAK;kBAGzC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI;4BAI1B,MAAM,KAAG,QAAQ,OAAO,IAAI,MAAM;mBAG3C,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI;8BAI1B,WAAW,KAAG,QAAQ,OAAO,IAAI,WAAW;qBAGrD,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,KAAG,IAAI;iCAU9B,cAAc,KAAG,QAAQ,OAAO,IAAI,cAAc;2BAIxD,KAAK,KAAG,QAAQ,OAAO,IAAI,KAAK;kBAGzC,CAAC,WAAW,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI;4BAI1B,KAAK,KAAG,QAAQ,QAAQ,IAAI,KAAK;iBAS/D,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,OAAO,EAAE,OAAO,KAAK,QAAQ,OAAO,IAAI,CAAC,CAAC;aAM/D,CAAC,YAAY,OAAO,KAAG,QAAQ,QAAQ,IAAI,CAAC"}

package/esm/assertion/assert_type.js

@@ -1,6 +1,5 @@
 import { tersify } from 'tersify';
 import { isConstructor } from '../class/index.js';
-import {} from '../function/any_function.js';
 export function assertType(subject, validator) {
     if (validator) {
         if ((isConstructor(validator) && !(subject instanceof validator)) || !validator(subject))
@@ -8,71 +7,69 @@ export function assertType(subject, validator) {
     }
     return;
 }
-assertType.isUndefined = function (subject) {
+assertType.isUndefined = (subject) => {
     if (typeof subject !== 'undefined')
-        throw TypeError(`subject is not undefined`);
+        throw TypeError('subject is not undefined');
 };
-assertType.noUndefined = function (subject) {
+assertType.noUndefined = (subject) => {
     if (typeof subject === 'undefined')
-        throw TypeError(`subject is undefined`);
+        throw TypeError('subject is undefined');
 };
-assertType.isNull = function (subject) {
+assertType.isNull = (subject) => {
     if (subject !== null)
-        throw TypeError(`subject is not null`);
+        throw TypeError('subject is not null');
 };
-assertType.noNull = function (subject) {
+assertType.noNull = (subject) => {
     if (subject === null)
-        throw TypeError(`subject is null`);
+        throw TypeError('subject is null');
 };
-assertType.isNumber = function (subject) {
+assertType.isNumber = (subject) => {
     if (typeof subject !== 'number')
-        throw TypeError(`subject is not number`);
+        throw TypeError('subject is not number');
 };
-assertType.noNumber = function (subject) {
+assertType.noNumber = (subject) => {
     if (typeof subject === 'number')
-        throw TypeError(`subject is number`);
+        throw TypeError('subject is number');
 };
-assertType.isBoolean = function (subject) {
+assertType.isBoolean = (subject) => {
     if (typeof subject !== 'boolean')
-        throw TypeError(`subject is not boolean`);
+        throw TypeError('subject is not boolean');
 };
-assertType.noBoolean = function (subject) {
+assertType.noBoolean = (subject) => {
     if (typeof subject === 'boolean')
-        throw TypeError(`subject is boolean`);
+        throw TypeError('subject is boolean');
 };
-assertType.isTrue = function (subject) {
+assertType.isTrue = (subject) => {
     if (subject !== true)
-        throw TypeError(`subject is not true`);
+        throw TypeError('subject is not true');
 };
-assertType.noTrue = function (subject) {
-    // @ts-ignore
+assertType.noTrue = (subject) => {
     if (subject === true)
-        throw TypeError(`subject is true`);
+        throw TypeError('subject is true');
 };
-assertType.isFalse = function (subject) {
+assertType.isFalse = (subject) => {
     if (subject !== false)
-        throw TypeError(`subject is not false`);
+        throw TypeError('subject is not false');
 };
-assertType.noFalse = function (subject) {
-    // @ts-ignore
+assertType.noFalse = (subject) => {
     if (subject === false)
-        throw TypeError(`subject is false`);
+        throw TypeError('subject is false');
 };
-assertType.isString = function (subject) {
+assertType.isString = (subject) => {
     if (typeof subject !== 'string')
-        throw TypeError(`subject is not string`);
+        throw TypeError('subject is not string');
 };
-assertType.noString = function (subject) {
+assertType.noString = (subject) => {
     if (typeof subject === 'string')
-        throw TypeError(`subject is string`);
+        throw TypeError('subject is string');
 };
-assertType.isFunction = function (subject) {
+assertType.isFunction = (subject) => {
     if (typeof subject !== 'function')
-        throw TypeError(`subject is not function`);
+        throw TypeError('subject is not function');
 };
-assertType.noFunction = function (subject) {
+assertType.noFunction = (subject) => {
     if (typeof subject === 'function')
-        throw TypeError(`subject is function`);
+        throw TypeError('subject is function');
 };
 /**
  * 💀 deprecated. It does not work in all cases.
@@ -80,31 +77,30 @@ assertType.noFunction = function (subject) {
  * It passes for function that can be called with `new`.
  * If the subject is an arrow function, it can still return true after compilation.
  */
-assertType.isConstructor = function (subject) {
+assertType.isConstructor = (subject) => {
     if (!isConstructor(subject))
-        throw TypeError(`subject is not a constructor`);
+        throw TypeError('subject is not a constructor');
 };
-assertType.isError = function (subject) {
+assertType.isError = (subject) => {
     if (!(subject instanceof Error))
-        throw TypeError(`subject is not an Error`);
+        throw TypeError('subject is not an Error');
 };
-assertType.noError = function (subject) {
+assertType.noError = (subject) => {
     if (subject instanceof Error)
-        throw TypeError(`subject is an Error`);
+        throw TypeError('subject is an Error');
 };
-assertType.isNever = function (_subject) { };
+assertType.isNever = (_subject) => { };
 /**
  * creates a custom assertion function with standard TypeError.
  * Currently this requires explicity type annotation,
  * thus making it hard to use:
  * https://github.com/microsoft/TypeScript/issues/41047
  */
-assertType.custom = function (validator) {
-    return function (subject) {
+assertType.custom =
+    (validator) => (subject) => {
         if (!validator(subject))
             throw new TypeError(`subject fails to satisfy ${tersify(validator)}`);
         return;
     };
-};
-assertType.as = function (_subject) { };
+assertType.as = (_subject) => { };
 //# sourceMappingURL=assert_type.js.map

package/esm/assertion/assert_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"assert_type.js","sourceRoot":"","sources":["../../ts/assertion/assert_type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAE,aAAa,EAAuB,MAAM,mBAAmB,CAAA;AACtE,OAAO,EAAoB,MAAM,6BAA6B,CAAA;AAkB9D,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC3E,IAAI,SAAS,EAAE;QACd,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACvF,MAAM,IAAI,SAAS,CAAC,4BAA4B,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;KACtE;IACD,OAAM;AACP,CAAC;AAED,UAAU,CAAC,WAAW,GAAG,UAAU,OAAkB;IACpD,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AAChF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,UAAa,OAA8B;IACnE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC5E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC7D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACzD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC9C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC1E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC7D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,UAAU,OAAgB;IAChD,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC5E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,UAAa,OAA4B;IAC/D,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACxE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,UAAU,OAAa;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC7D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,UAAa,OAAyB;IACzD,aAAa;IACb,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC5C,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC/D,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC3D,aAAa;IACb,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC3D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,UAAU,OAAe;IAC9C,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC1E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,UAAa,OAA2B;IAC7D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,UAAU,OAAoB;IACrD,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC9E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,UAAa,OAAgC;IACpE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC1E,CAAC,CAAA;AAED;;;;;GAKG;AACH,UAAU,CAAC,aAAa,GAAG,UAAU,OAAuB;IAC3D,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,OAAc;IAC5C,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC5E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,UAAa,OAA0B;IAC3D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACrE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,UAAU,QAAe,IAA8B,CAAC,CAAA;AAE7E;;;;;GAKG;AACH,UAAU,CAAC,MAAM,GAAG,UAAa,SAA4B;IAC5D,OAAO,UAAU,OAAO;QACvB,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACrG,OAAM;IACP,CAAC,CAAA;AACF,CAAC,CAAA;AAED,UAAU,CAAC,EAAE,GAAG,UAAa,QAAiB,IAA0B,CAAC,CAAA"}
+{"version":3,"file":"assert_type.js","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAuB,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAmBtE,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC3E,IAAI,SAAS,EAAE,CAAC;QACf,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACvF,MAAM,IAAI,SAAS,CAAC,4BAA4B,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IACvE,CAAC;IACD,OAAM;AACP,CAAC;AAED,UAAU,CAAC,WAAW,GAAG,CAAC,OAAkB,EAAgC,EAAE;IAC7E,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAA;AAChF,CAAC,CAAA;AACD,UAAU,CAAC,WAAW,GAAG,CAAI,OAA8B,EAAQ,EAAE;IACpE,IAAI,OAAO,OAAO,KAAK,WAAW;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC5E,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,CAAC,OAAa,EAA2B,EAAE;IAC9D,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC7D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,CAAI,OAAyB,EAAQ,EAAE;IAC1D,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,CAAC,OAAe,EAA6B,EAAE;IACpE,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC1E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,CAAI,OAA2B,EAAQ,EAAE;IAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,SAAS,GAAG,CAAC,OAAgB,EAA8B,EAAE;IACvE,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,wBAAwB,CAAC,CAAA;AAC5E,CAAC,CAAA;AACD,UAAU,CAAC,SAAS,GAAG,CAAI,OAA4B,EAAQ,EAAE;IAChE,IAAI,OAAO,OAAO,KAAK,SAAS;QAAE,MAAM,SAAS,CAAC,oBAAoB,CAAC,CAAA;AACxE,CAAC,CAAA;AAED,UAAU,CAAC,MAAM,GAAG,CAAC,OAAa,EAA2B,EAAE;IAC9D,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC7D,CAAC,CAAA;AACD,UAAU,CAAC,MAAM,GAAG,CAAI,OAAyB,EAAQ,EAAE;IAC1D,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,CAAC,OAAc,EAA4B,EAAE;IACjE,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,sBAAsB,CAAC,CAAA;AAC/D,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,CAAI,OAA0B,EAAQ,EAAE;IAC5D,IAAI,OAAO,KAAK,KAAK;QAAE,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAA;AAC3D,CAAC,CAAA;AAED,UAAU,CAAC,QAAQ,GAAG,CAAC,OAAe,EAA6B,EAAE;IACpE,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,uBAAuB,CAAC,CAAA;AAC1E,CAAC,CAAA;AACD,UAAU,CAAC,QAAQ,GAAG,CAAI,OAA2B,EAAQ,EAAE;IAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,UAAU,CAAC,UAAU,GAAG,CAAC,OAAoB,EAAkC,EAAE;IAChF,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC9E,CAAC,CAAA;AACD,UAAU,CAAC,UAAU,GAAG,CAAI,OAAgC,EAAQ,EAAE;IACrE,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AAC1E,CAAC,CAAA;AAED;;;;;GAKG;AACH,UAAU,CAAC,aAAa,GAAG,CAAC,OAAuB,EAAqC,EAAE;IACzF,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,MAAM,SAAS,CAAC,8BAA8B,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,CAAC,OAAc,EAA4B,EAAE;IACjE,IAAI,CAAC,CAAC,OAAO,YAAY,KAAK,CAAC;QAAE,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAA;AAC5E,CAAC,CAAA;AACD,UAAU,CAAC,OAAO,GAAG,CAAI,OAA0B,EAAQ,EAAE;IAC5D,IAAI,OAAO,YAAY,KAAK;QAAE,MAAM,SAAS,CAAC,qBAAqB,CAAC,CAAA;AACrE,CAAC,CAAA;AAED,UAAU,CAAC,OAAO,GAAG,CAAC,QAAe,EAA6B,EAAE,GAAE,CAAC,CAAA;AAEvE;;;;;GAKG;AACH,UAAU,CAAC,MAAM;IAChB,CAAI,SAA4B,EAAgD,EAAE,CAClF,CAAC,OAAO,EAAE,EAAE;QACX,IAAI,CAAC,SAAS,CAAC,OAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACrG,OAAM;IACP,CAAC,CAAA;AAEF,UAAU,CAAC,EAAE,GAAG,CAAI,QAAiB,EAAyB,EAAE,GAAE,CAAC,CAAA"}

package/esm/bigint/cast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cast.d.ts","sourceRoot":"","sources":["../../ts/bigint/cast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,KAAK,GACzE,EAAE,GACF,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,GAAG,GACtC,CAAC,GACD,IAAI,CAAA"}
+{"version":3,"file":"cast.d.ts","sourceRoot":"","sources":["../../src/bigint/cast.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,KAAK,GACzE,EAAE,GACF,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,GAAG,GACrC,CAAC,GACD,IAAI,CAAA"}

package/esm/bigint/cast.js.map

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

package/esm/bigint/is_bigint.d.ts

@@ -0,0 +1,99 @@
+import type { $ResolveOptions } from '../$type/$resolve_options.js';
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
+import type { Assignable } from '../predicates/assignable.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is `bigint` or `bigint` literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigint<bigint> // true
+ * type R = IsBigint<1n> // true
+ *
+ * type R = IsBigint<never> // false
+ * type R = IsBigint<unknown> // false
+ * type R = IsBigint<string | boolean> // false
+ *
+ * type R = IsBigint<string | bigint> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `bigint` or `bigint` literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigint<bigint, { selection: 'filter' }> // bigint
+ * type R = IsBigint<1n, { selection: 'filter' }> // 1n
+ *
+ * type R = IsBigint<never, { selection: 'filter' }> // never
+ * type R = IsBigint<unknown, { selection: 'filter' }> // never
+ * type R = IsBigint<string | boolean, { selection: 'filter' }> // never
+ *
+ * type R = IsBigint<string | bigint> // bigint
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Validate if `T` is exactly `bigint`.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigint<bigint, { exact: true }> // true
+ * type R = IsBigint<1n, { exact: true }> // false
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsBigint<bigint | 1> // boolean
+ * type R = IsBigint<bigint | 1, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigint<bigint, $SelectionBranch> // $Then
+ * type R = IsBigint<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsBigint<T, $O extends IsBigint.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
+    $else: IsBigint.$<T, $O>;
+}>>;
+export declare namespace IsBigint {
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is `bigint` or `bigint` literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.Default]> extends true ? $Distributive.Parse<$O, {
+        $then: _SD<T, $O>;
+        $else: _SN<T, $O>;
+    }> : Assignable.$<T, bigint, $O>;
+    type $UtilOptions = Assignable.$UtilOptions & $Exact.Options;
+    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
+}
+//# sourceMappingURL=is_bigint.d.ts.map

package/esm/bigint/is_bigint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACpE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GACpG,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GACjE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEnE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9B"}

package/esm/bigint/is_bigint.js

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

package/esm/bigint/is_bigint.js.map

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

package/esm/bigint/is_bigint_literal.d.ts

@@ -0,0 +1,88 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
+import type { Assignable } from '../predicates/assignable.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is bigint literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigintLiteral<bigint> // false
+ * type R = IsBigintLiteral<1n> // true
+ *
+ * type R = IsBigintLiteral<never> // false
+ * type R = IsBigintLiteral<unknown> // false
+ * type R = IsBigintLiteral<string | boolean> // false
+ *
+ * type R = IsBigintLiteral<string | number> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is bigint literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigintLiteral<bigint, { selection: 'filter' }> // never
+ * type R = IsBigintLiteral<1n, { selection: 'filter' }> // 1n
+ *
+ * type R = IsBigintLiteral<never, { selection: 'filter' }> // never
+ * type R = IsBigintLiteral<unknown, { selection: 'filter' }> // never
+ * type R = IsBigintLiteral<string | boolean, { selection: 'filter' }> // never
+ *
+ * type R = IsBigintLiteral<string | number> // number
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsBigintLiteral<1n | string> // boolean
+ * type R = IsBigintLiteral<1n | string, { distributive: false }> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsBigintLiteral<1n, $SelectionBranch> // $Then
+ * type R = IsBigintLiteral<string, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsBigintLiteral<T, $O extends IsBigintLiteral.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Else]>;
+    $else: IsBigintLiteral.$<T, $O>;
+}>>;
+export declare namespace IsBigintLiteral {
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is bigint literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $Distributive.Parse<$O, {
+        $then: _D<T, $O>;
+        $else: _N<T, $O>;
+    }>;
+    type $UtilOptions = Assignable.$UtilOptions;
+    type _D<T, $O extends $UtilOptions> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Else]>;
+}
+//# sourceMappingURL=is_bigint_literal.d.ts.map

package/esm/bigint/is_bigint_literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_bigint_literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAClF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAE3G,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;IAElD,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACpE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9B"}

package/esm/bigint/is_bigint_literal.js

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

package/esm/bigint/is_bigint_literal.js.map

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

package/esm/bigint/is_not_bigint.d.ts

@@ -0,0 +1,96 @@
+import type { $ResolveOptions } from '../$type/$resolve_options.js';
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { $Distributive } from '../$type/distributive/$distributive.js';
+import type { $Exact } from '../$type/exact/$exact.js';
+import type { $Any } from '../$type/special/$any.js';
+import type { $Never } from '../$type/special/$never.js';
+import type { $Special } from '../$type/special/$special.js';
+import type { $Unknown } from '../$type/special/$unknown.js';
+import type { $Void } from '../$type/special/$void.js';
+import type { $MergeOptions } from '../$type/utils/$merge_options.js';
+import type { NotAssignable } from '../predicates/not_assignable.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is not `bigint` nor `bigint` literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigint<bigint> // false
+ * type R = IsNotBigint<1n> // false
+ *
+ * type R = IsNotBigint<never> // true
+ * type R = IsNotBigint<unknown> // true
+ * type R = IsNotBigint<string | boolean> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not `bigint` nor `bigint` literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigint<bigint, { selection: 'filter' }> // never
+ * type R = IsNotBigint<1n, { selection: 'filter' }> // never
+ *
+ * type R = IsNotBigint<never, { selection: 'filter' }> // never
+ * type R = IsNotBigint<unknown, { selection: 'filter' }> // unknown
+ * type R = IsNotBigint<string | boolean, { selection: 'filter' }> // string | boolean
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Validate if `T` is not exactly `bigint`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigint<bigint, { exact: true }> // false
+ * type R = IsNotBigint<1n, { exact: true }> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Disable distribution of union types.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigint<bigint | 1> // boolean
+ * type R = IsNotBigint<bigint | 1, { distributive: false }> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigint<string, $SelectionBranch> // $Then
+ * type R = IsNotBigint<bigint, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsNotBigint<T, $O extends IsNotBigint.$Options = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
+    $else: IsNotBigint.$<T, $O>;
+}>>;
+export declare namespace IsNotBigint {
+    type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
+    type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is not `bigint` nor `bigint` literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true ? $Distributive.Parse<$O, {
+        $then: _SD<T, $O>;
+        $else: _SN<T, $O>;
+    }> : NotAssignable.$<T, bigint, $O>;
+    type $UtilOptions = NotAssignable.$UtilOptions & $Exact.Options;
+    type _SD<T, $O extends $Options> = T extends bigint & infer U ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T>;
+}
+//# sourceMappingURL=is_not_bigint.d.ts.map

package/esm/bigint/is_not_bigint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_bigint.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAEpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC1E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC3B,CACD,CACD,CAAA;AAED,yBAAiB,WAAW,CAAC;IAC5B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,IAAI,GAC3F,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GACjE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEtE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACrE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC9B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC5B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACjC"}

package/esm/bigint/is_not_bigint.js

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

package/esm/bigint/is_not_bigint.js.map

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