type-plus 8.0.0-beta.2 → 8.0.0-beta.4

package/cjs/assertion/assert_type.js

@@ -0,0 +1,111 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assertType = assertType;
+const tersify_1 = require("tersify");
+const index_js_1 = require("../class/index.js");
+function assertType(subject, validator) {
+    if (validator) {
+        if (((0, index_js_1.isConstructor)(validator) && !(subject instanceof validator)) || !validator(subject))
+            throw new TypeError(`subject fails to satisfy ${(0, tersify_1.tersify)(validator)}`);
+    }
+    return;
+}
+assertType.isUndefined = (subject) => {
+    if (typeof subject !== 'undefined')
+        throw TypeError('subject is not undefined');
+};
+assertType.noUndefined = (subject) => {
+    if (typeof subject === 'undefined')
+        throw TypeError('subject is undefined');
+};
+assertType.isNull = (subject) => {
+    if (subject !== null)
+        throw TypeError('subject is not null');
+};
+assertType.noNull = (subject) => {
+    if (subject === null)
+        throw TypeError('subject is null');
+};
+assertType.isNumber = (subject) => {
+    if (typeof subject !== 'number')
+        throw TypeError('subject is not number');
+};
+assertType.noNumber = (subject) => {
+    if (typeof subject === 'number')
+        throw TypeError('subject is number');
+};
+assertType.isBoolean = (subject) => {
+    if (typeof subject !== 'boolean')
+        throw TypeError('subject is not boolean');
+};
+assertType.noBoolean = (subject) => {
+    if (typeof subject === 'boolean')
+        throw TypeError('subject is boolean');
+};
+assertType.isTrue = (subject) => {
+    if (subject !== true)
+        throw TypeError('subject is not true');
+};
+assertType.noTrue = (subject) => {
+    // @ts-ignore
+    if (subject === true)
+        throw TypeError('subject is true');
+};
+assertType.isFalse = (subject) => {
+    if (subject !== false)
+        throw TypeError('subject is not false');
+};
+assertType.noFalse = (subject) => {
+    // @ts-ignore
+    if (subject === false)
+        throw TypeError('subject is false');
+};
+assertType.isString = (subject) => {
+    if (typeof subject !== 'string')
+        throw TypeError('subject is not string');
+};
+assertType.noString = (subject) => {
+    if (typeof subject === 'string')
+        throw TypeError('subject is string');
+};
+assertType.isFunction = (subject) => {
+    if (typeof subject !== 'function')
+        throw TypeError('subject is not function');
+};
+assertType.noFunction = (subject) => {
+    if (typeof subject === 'function')
+        throw TypeError('subject is function');
+};
+/**
+ * 💀 deprecated. It does not work in all cases.
+ *
+ * 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 = (subject) => {
+    if (!(0, index_js_1.isConstructor)(subject))
+        throw TypeError('subject is not a constructor');
+};
+assertType.isError = (subject) => {
+    if (!(subject instanceof Error))
+        throw TypeError('subject is not an Error');
+};
+assertType.noError = (subject) => {
+    if (subject instanceof Error)
+        throw TypeError('subject is an Error');
+};
+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 =
+    (validator) => (subject) => {
+        if (!validator(subject))
+            throw new TypeError(`subject fails to satisfy ${(0, tersify_1.tersify)(validator)}`);
+        return;
+    };
+assertType.as = (_subject) => { };
+//# sourceMappingURL=assert_type.js.map

package/cjs/assertion/assert_type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert_type.js","sourceRoot":"","sources":["../../src/assertion/assert_type.ts"],"names":[],"mappings":";;AAoBA,gCAMC;AA1BD,qCAAiC;AACjC,gDAAsE;AAmBtE,SAAgB,UAAU,CAAC,OAAgB,EAAE,SAA+B;IAC3E,IAAI,SAAS,EAAE,CAAC;QACf,IAAI,CAAC,IAAA,wBAAa,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,YAAY,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;YACvF,MAAM,IAAI,SAAS,CAAC,4BAA4B,IAAA,iBAAO,EAAC,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,aAAa;IACb,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,aAAa;IACb,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,IAAA,wBAAa,EAAC,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,IAAA,iBAAO,EAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACrG,OAAM;IACP,CAAC,CAAA;AAEF,UAAU,CAAC,EAAE,GAAG,CAAI,QAAiB,EAAyB,EAAE,GAAE,CAAC,CAAA"}

package/cjs/bigint/cast.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Cast a string to a bigint literal type if possible.
+ *
+ * ```ts
+ * StringToBigint<'1n'> // 1n
+ * StringToBigint<'-1n'> // -1n
+ * ```
+ */
+export type StringToBigint<S extends string, Fail = never> = S extends `-0n` ? 0n : S extends `${infer N extends bigint}n` ? N : Fail;
+//# sourceMappingURL=cast.d.ts.map

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

@@ -0,0 +1 @@
+{"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/cjs/bigint/cast.js

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

package/cjs/bigint/cast.js.map

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

package/cjs/bigint/is_bigint.d.ts

@@ -0,0 +1,95 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $Exact } from '../type_plus/branch/$exact.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.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 = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsBigint.$<T, $O>;
+}>>;
+export declare namespace IsBigint {
+    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$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 ? $IsDistributive<$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<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=is_bigint.d.ts.map

package/cjs/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,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACxE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,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,QAAQ,CAAC,CAAC,SAAS,IAAI,GACrG,eAAe,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,GAC7D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;IAEpE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/bigint/is_bigint.js

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

package/cjs/bigint/is_bigint.js.map

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

package/cjs/bigint/is_bigint_literal.d.ts

@@ -0,0 +1,83 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.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 = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Else]>;
+    $else: IsBigintLiteral.$<T, $O>;
+}>>;
+export declare namespace IsBigintLiteral {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$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> = $IsDistributive<$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<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Else]>;
+}
+//# sourceMappingURL=is_bigint_literal.d.ts.map

package/cjs/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,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,EAAE,SAAS,eAAe,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CACtF,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAC/B,CACD,CACD,CAAA;AAED,yBAAiB,eAAe,CAAC;IAChC,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,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;IAEvG,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/bigint/is_bigint_literal.js

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

package/cjs/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/cjs/bigint/is_not_bigint.d.ts

@@ -0,0 +1,92 @@
+import type { NotAssignable } from '../predicates/not_assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $Exact } from '../type_plus/branch/$exact.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.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 = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Then]>;
+    $else: IsNotBigint.$<T, $O>;
+}>>;
+export declare namespace IsNotBigint {
+    type $Options = $Equality.$Options & $Exact.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$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 ? $IsDistributive<$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<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+    type _SN<T, $O extends $Options> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]>;
+}
+//# sourceMappingURL=is_not_bigint.d.ts.map

package/cjs/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,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,EAAE,SAAS,WAAW,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC9E,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,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,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAC3D,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,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,eAAe,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,GAC7D,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IACjC,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAA;IAEvE,KAAY,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GACjE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/bigint/is_not_bigint.js

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

package/cjs/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":""}

package/cjs/bigint/is_not_bigint_literal.d.ts

@@ -0,0 +1,81 @@
+import type { Assignable } from '../predicates/assignable.js';
+import type { $Equality } from '../type_plus/$equality.js';
+import type { $MergeOptions } from '../type_plus/$merge_options.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $Then } from '../type_plus/branch/$selection.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is not bigint literals.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigintLiteral<bigint> // true
+ * type R = IsNotBigintLiteral<1n> // false
+ *
+ * type R = IsNotBigintLiteral<never> // true
+ * type R = IsNotBigintLiteral<unknown> // true
+ * type R = IsNotBigintLiteral<string | boolean> // true
+ *
+ * type R = IsNotBigintLiteral<string | 1n> // boolean
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not bigint literals, otherwise returns `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigintLiteral<bigint, { selection: 'filter' }> // bigint
+ * type R = IsNotBigintLiteral<1n, { selection: 'filter' }> // never
+ *
+ * type R = IsNotBigintLiteral<never, { selection: 'filter' }> // never
+ * type R = IsNotBigintLiteral<unknown, { selection: 'filter' }> // unknown
+ * type R = IsNotBigintLiteral<1n | string, { selection: 'filter' }> // string
+ * ```
+ *
+ * 🔢 *customize*:
+ *
+ * Disable distribution of union types.
+ *
+ * ```ts
+ * type R = IsNotBigintLiteral<1n | string> // boolean
+ * type R = IsNotBigintLiteral<1n | string, { distributive: false }> // true
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotBigintLiteral<1n, $SelectionBranch> // $Else
+ * type R = IsNotBigintLiteral<bigint, $SelectionBranch> // $Then
+ * ```
+ */
+export type IsNotBigintLiteral<T, $O extends IsNotBigintLiteral.$Options = {}> = $SpecialType<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<T, $O, [$Then]>;
+    $else: IsNotBigintLiteral.$<T, $O>;
+}>>;
+export declare namespace IsNotBigintLiteral {
+    type $Options = $Equality.$Options;
+    type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>;
+    /**
+     * 🧰 *type util*
+     *
+     * Validate if `T` is not number literals.
+     *
+     * This is a type util for building custom types.
+     * It does not check against special types.
+     */
+    type $<T, $O extends $UtilOptions> = $IsDistributive<$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<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+    type _N<T, $O extends $UtilOptions> = [T] extends [bigint & infer U] ? U extends bigint ? $ResolveBranch<T, $O, [$Else]> : $ResolveBranch<T, $O, [$Then]> : $ResolveBranch<T, $O, [$Then]>;
+}
+//# sourceMappingURL=is_not_bigint_literal.d.ts.map

package/cjs/bigint/is_not_bigint_literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_bigint_literal.d.ts","sourceRoot":"","sources":["../../src/bigint/is_not_bigint_literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,EAAE,SAAS,kBAAkB,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAC5F,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CAClC,CACD,CACD,CAAA;AAED,yBAAiB,kBAAkB,CAAC;IACnC,KAAY,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAA;IACzC,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAC1D,EAAE,EACF;QACC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAChB,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAChB,CACD,CAAA;IAED,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjC,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,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC9B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC/B,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjC"}

package/cjs/bigint/is_not_bigint_literal.js

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

package/cjs/bigint/is_not_bigint_literal.js.map

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

package/cjs/binary/Bit.d.ts

@@ -0,0 +1,6 @@
+export type Bit = 0 | 1;
+export type BitNot<X extends Bit> = X extends 0 ? 1 : 0;
+export type BitAnd<A extends Bit, B extends Bit> = A extends 1 ? (B extends 1 ? 1 : 0) : 0;
+export type BitOr<A extends Bit, B extends Bit> = A extends 1 ? 1 : B extends 1 ? 1 : 0;
+export type BitXor<A extends Bit, B extends Bit> = A extends 1 ? BitNot<B> : B;
+//# sourceMappingURL=Bit.d.ts.map

package/cjs/binary/Bit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bit.d.ts","sourceRoot":"","sources":["../../src/binary/Bit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;AAEvB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvD,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;AAC1F,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}

package/cjs/binary/Bit.js

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

package/cjs/binary/Bit.js.map

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

package/cjs/binary/_binary.d.ts

@@ -0,0 +1,2 @@
+export type { Bit, BitAnd, BitNot, BitOr, BitXor } from './Bit.js';
+//# sourceMappingURL=_binary.d.ts.map

package/cjs/binary/_binary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_binary.d.ts","sourceRoot":"","sources":["../../src/binary/_binary.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA"}

package/cjs/binary/_binary.js

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

package/cjs/binary/_binary.js.map

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

package/cjs/binary/index.d.ts

@@ -0,0 +1,3 @@
+export * as B from './_binary.js';
+export * as Bit from './_binary.js';
+//# sourceMappingURL=index.d.ts.map

package/cjs/binary/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}

package/cjs/binary/index.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Bit = exports.B = void 0;
+exports.B = require("./_binary.js");
+exports.Bit = require("./_binary.js");
+//# sourceMappingURL=index.js.map

package/cjs/binary/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/binary/index.ts"],"names":[],"mappings":";;;AAAA,oCAAiC;AACjC,sCAAmC"}