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

package/esm/mix_types/box.js.map

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

package/esm/mix_types/exclude.d.ts

@@ -0,0 +1,19 @@
+/**
+ * 🌪️ *filter*
+ *
+ * Exclude from `T` those types that are assignable to `U`,
+ * and replace them with `R`.
+ *
+ * This can be used as a drop-in replacement of the build-in `Exclude`.
+ *
+ * @example
+ * ```ts
+ * type R = Exclude<undefined, undefined> // never
+ * type R = Exclude<undefined | 1, undefined> // 1
+ *
+ * type R = Exclude<undefined, undefined, 2> // 2
+ * type R = Exclude<undefined | 1, undefined, 2> // 1 | 2
+ * ```
+ */
+export type Exclude<T, U, R = never> = T extends U ? R : T;
+//# sourceMappingURL=exclude.d.ts.map

package/esm/mix_types/exclude.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exclude.d.ts","sourceRoot":"","sources":["../../src/mix_types/exclude.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA"}

package/esm/mix_types/exclude.js

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

package/esm/mix_types/exclude.js.map

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

package/esm/mix_types/is_any_or_never.d.ts

@@ -0,0 +1,28 @@
+import type { IsAny } from '../any/is_any.js';
+import type { IsNever } from '../never/is_never.js';
+import type { $SelectionPredicate } from '../type_plus/branch/$selection.js';
+import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+/**
+ * 🎭 *predicate*
+ * 🔢 *customize*
+ * 🩳 *shortcut*
+ *
+ * Validate if `T` is either exactly `any` or exactly `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsAnyOrNever<any> // $Then
+ * type R = IsAnyOrNever<never> // $Then
+ *
+ * type R = IsAnyOrNever<1> // $Else
+ * type R = IsAnyOrNever<unknown> // $Else
+ *
+ * type R = IsAnyOrNever<never, $SelectionPredicate> // true
+ * type R = IsAnyOrNever<'a', $SelectionPredicate> // false
+ * ```
+ */
+export type IsAnyOrNever<T, $O extends $SelectionOptions = $SelectionPredicate> = IsNever<T, {
+    $then: $O['$then'];
+    $else: IsAny<T, $O>;
+}>;
+//# sourceMappingURL=is_any_or_never.d.ts.map

package/esm/mix_types/is_any_or_never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_any_or_never.d.ts","sourceRoot":"","sources":["../../src/mix_types/is_any_or_never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAA;AAC5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAElF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,YAAY,CACvB,CAAC,EACD,EAAE,SAAS,iBAAiB,GAAG,mBAAmB,IAC/C,OAAO,CAAC,CAAC,EAAE;IACd,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACnB,CAAC,CAAA"}

package/esm/mix_types/is_any_or_never.js

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

package/esm/mix_types/is_any_or_never.js.map

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

package/esm/mix_types/merge.d.ts

@@ -1,11 +1,11 @@
-import type { Box } from './box.js';
-import type { IsNever } from '../never/never_type.js';
-import type { IsNull } from '../null/null_type.js';
+import type { IsNever } from '../never/is_never.js';
+import type { IsNull } from '../null/is_null.js';
 import type { Merge as ObjectMerge } from '../object/merge.js';
 import type { Or } from '../predicates/logical.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';
+import type { IsUndefined } from '../undefined/is_undefined.js';
+import type { IsUnknown } from '../unknown/is_unknown.js';
+import type { IsVoid } from '../void/is_void.js';
+import type { Box } from './box.js';
 /**
  * ⚗️ *transform*
  * 🔢 *customizable*

package/esm/mix_types/merge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../ts/mix_types/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,KAAK,IAAI,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,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;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IACrB,EAAE,CACD,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV,KAAK,EACL,EAAE,CACD,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,EACT,CAAC,GAAG,CAAC,EACL,EAAE,CACD,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B,CAAC,EACD,EAAE,CACD,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B,CAAC,EACD,WAAW,CACV,GAAG,CAAC,CAAC,EAAE;IAAE,WAAW,EAAE,EAAE,CAAA;CAAE,CAAC,EAC3B,GAAG,CAAC,CAAC,EAAE;IAAE,WAAW,EAAE,EAAE,CAAA;CAAE,CAAC,CAC3B,CACD,CACD,CACD,CACD,CAAA;AAEF;;;;;;;;;EASE;AACF,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAEnD"}
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/mix_types/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,KAAK,IAAI,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IACrB,EAAE,CACD,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV,KAAK,EACL,EAAE,CACD,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,EACT,CAAC,GAAG,CAAC,EACL,EAAE,CACD,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B,CAAC,EACD,EAAE,CACD,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B,CAAC,EACD,WAAW,CACV,GAAG,CAAC,CAAC,EAAE;IAAE,WAAW,EAAE,EAAE,CAAA;CAAE,CAAC,EAC3B,GAAG,CAAC,CAAC,EAAE;IAAE,WAAW,EAAE,EAAE,CAAA;CAAE,CAAC,CAC3B,CACD,CACD,CACD,CACD,CAAA;AAEF;;;;;;;;;EASE;AACF,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAEnD"}

package/esm/mix_types/merge.js.map

@@ -1 +1 @@
-{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../ts/mix_types/merge.ts"],"names":[],"mappings":"AAgDA;;;;;;;;;EASE;AACF,MAAM,UAAU,KAAK,CAAO,CAAI,EAAE,CAAI;IACrC,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAS,CAAA;AAC7B,CAAC"}
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/mix_types/merge.ts"],"names":[],"mappings":"AAgDA;;;;;;;;;EASE;AACF,MAAM,UAAU,KAAK,CAAO,CAAI,EAAE,CAAI;IACrC,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAS,CAAA;AAC7B,CAAC"}

package/esm/never/is_never.d.ts

@@ -0,0 +1,59 @@
+import type { $Any } from '../any/any.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $InputOptions } from '../type_plus/branch/$input_options.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
+import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { $Unknown } from '../unknown/unknown.js';
+import type { $NotNever } from './never.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` is `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNever<never> // true
+ *
+ * type R = IsNever<1> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is `never`, otherwise returns `$NotNever`.
+ *
+ * Filter normally returns `never` in the `$else` clause.
+ * But since we are checking for `never` here,
+ * we have to return `$NotNever` instead.
+ *
+ * @example
+ * ```ts
+ * type R = IsNever<never, { selection: 'filter' }> // never
+ *
+ * type R = IsNever<1, { selection: 'filter' }> // $NotNever
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNever<never, $SelectionBranch> // $Then
+ * type R = IsNever<1, $SelectionBranch> // $Else
+ * ```
+ */
+export type IsNever<T, $O extends IsNever.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, IsNever._O<$O>, [$Any, $Else]>;
+    $unknown: $ResolveBranch<T, IsNever._O<$O>, [$Unknown, $Else]>;
+    $never: $ResolveBranch<T, $O, [$Then]>;
+    $else: $ResolveBranch<T, IsNever._O<$O>, [$Else]>;
+}>;
+export declare namespace IsNever {
+    type $Options = $SelectionOptions & $InputOptions<$Any | $Unknown>;
+    type $Branch = $SelectionBranch;
+    type _O<$O extends $Options> = '$else' extends keyof $O ? $O : $O['selection'] extends 'filter' ? $O & {
+        $else: $NotNever;
+    } : $O;
+}
+//# sourceMappingURL=is_never.d.ts.map

package/esm/never/is_never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_never.d.ts","sourceRoot":"","sources":["../../src/never/is_never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAClF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,OAAO,CAClB,CAAC,EACD,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAC7B,YAAY,CAAC,CAAC,EAAE;IACnB,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACvD,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACjD,CAAC,CAAA;AAEF,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACzE,KAAY,OAAO,GAAG,gBAAgB,CAAA;IACtC,KAAY,EAAE,CAAC,EAAE,SAAS,QAAQ,IAAI,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,GAClE,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAAG,EAAE,GAAG;QAAE,KAAK,EAAE,SAAS,CAAA;KAAE,GAAG,EAAE,CAAA;CAClE"}

package/esm/never/is_never.js

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

package/esm/never/is_never.js.map

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

package/esm/never/is_not_never.d.ts

@@ -0,0 +1,59 @@
+import type { $Any } from '../any/any.js';
+import type { $SpecialType } from '../type_plus/$special_type.js';
+import type { $InputOptions } from '../type_plus/branch/$input_options.js';
+import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/$selection.js';
+import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
+import type { $Unknown } from '../unknown/unknown.js';
+import type { $Never } from './never.js';
+/**
+ * 🎭 *predicate*
+ *
+ * Validate if `T` not `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotNever<1> // true
+ *
+ * type R = IsNotNever<never> // false
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Filter to ensure `T` is not `never`, otherwise returns `$Never`.
+ *
+ * Filter normally returns `never` in the `$else` clause.
+ * But since we are checking for `never` here,
+ * we have to return `$Never` instead.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotNever<1, { selection: 'filter' }> // 1
+ *
+ * type R = IsNotNever<never, { selection: 'filter' }> // $Never
+ * ```
+ *
+ * 🔢 *customize*
+ *
+ * Use unique branch identifiers to allow precise processing of the result.
+ *
+ * @example
+ * ```ts
+ * type R = IsNotNever<never, $SelectionBranch> // $Else
+ * type R = IsNotNever<1, $SelectionBranch> // $Then
+ * ```
+ */
+export type IsNotNever<T, $O extends IsNotNever.$Options = {}> = $SpecialType<T, {
+    $any: $ResolveBranch<T, $O, [$Any, $Then]>;
+    $unknown: $ResolveBranch<T, $O, [$Unknown, $Then]>;
+    $never: $ResolveBranch<T, IsNotNever._O<$O>, [$Else]>;
+    $else: $ResolveBranch<T, $O, [$Then]>;
+}>;
+export declare namespace IsNotNever {
+    type $Options = $SelectionOptions & $InputOptions<$Any | $Unknown>;
+    type $Branch = $SelectionBranch;
+    type _O<$O extends $Options> = '$else' extends keyof $O ? $O : $O['selection'] extends 'filter' ? $O & {
+        $else: $Never;
+    } : $O;
+}
+//# sourceMappingURL=is_not_never.d.ts.map

package/esm/never/is_not_never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_never.d.ts","sourceRoot":"","sources":["../../src/never/is_not_never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAA;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAA;AAClF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAExC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,UAAU,CACrB,CAAC,EACD,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAChC,YAAY,CAAC,CAAC,EAAE;IACnB,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3C,QAAQ,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACnD,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CACrC,CAAC,CAAA;AAEF,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,iBAAiB,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IACzE,KAAY,OAAO,GAAG,gBAAgB,CAAA;IACtC,KAAY,EAAE,CAAC,EAAE,SAAS,QAAQ,IAAI,OAAO,SAAS,MAAM,EAAE,GAAG,EAAE,GAClE,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAAG,EAAE,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,EAAE,CAAA;CAC/D"}

package/esm/never/is_not_never.js

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

package/esm/never/is_not_never.js.map

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

package/esm/never/never.d.ts

@@ -0,0 +1,75 @@
+import type { $Branch } from '../type_plus/branch/$branch.js';
+/**
+ * 🧰 *type util*
+ *
+ * A special branch type to indicate the type is `never`.
+ */
+export type $Never = $Branch<'$never'>;
+export declare namespace $Never {
+    /**
+     * 🧰 *type util*
+     *
+     * `$Never.$Options` enables customizing the behavior of the `$never` branch.
+     *
+     * The `$never` branch is used to handle when the input type is `never`.
+     *
+     * @example
+     * ```ts
+     * type YourType<
+     *   T,
+     *   $Options extends YourType.$Options = YourType.$Default
+     * > = ...
+     *
+     * namespace YourType {
+     *   export type $Options = $Never.$Options
+     *   export type $Branch = $Never.$Branch
+     * }
+     * ```
+     */
+    type $Options = {
+        $never?: unknown;
+    };
+    /**
+     * 🧰 *type util*
+     *
+     * `$Never.$Branch` is the branch option for the `$never` branch.
+     *
+     * It sets the value to `$Never`,
+     * so that the branch can be uniquely identified and handled.
+     *
+     * Use this to allow the consumer to customize the behavior of your type.
+     *
+     * @example
+     * ```ts
+     * type YourType<T, $O extends $NeverOptions> = NeverType<T> extends infer R
+     *   ? R extends $Never
+     *     ? $ResolveOptions<[$O['$never'], never]>
+     *     : HandleOtherBranches<R> // R is narrowed
+     *   : never
+     *
+     * type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers
+     * ```
+     */
+    type $Branch = {
+        $never: $Never;
+    };
+    /**
+     * 🧰 *type util*
+     *
+     * Default option for the `$never` branch.
+     *
+     * Unsurprisingly, defaulting `$never` to `never`.
+     */
+    type $Default = {
+        $never: never;
+    };
+}
+/**
+ * 🧰 *type util*
+ *
+ * `$NotNever` is a special branch type to indicate the type is not `never`.
+ *
+ * It is used in [`NeverType`](./never_type.ts).
+ */
+export type $NotNever = $Branch<'$not_never'>;
+//# sourceMappingURL=never.d.ts.map

package/esm/never/never.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"never.d.ts","sourceRoot":"","sources":["../../src/never/never.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;AAEtC,yBAAiB,MAAM,CAAC;IACvB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,CAAC,EAAE,OAAO,CAAA;KAChB,CAAA;IACD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,KAAY,OAAO,GAAG;QACrB,MAAM,EAAE,MAAM,CAAA;KACd,CAAA;IAED;;;;;;OAMG;IACH,KAAY,QAAQ,GAAG;QACtB,MAAM,EAAE,KAAK,CAAA;KACb,CAAA;CACD;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA"}

package/esm/never/never.js

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

package/esm/never/never.js.map

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

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/nodejs/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/nodejs/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA"}

package/esm/nodejs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nodejs/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/nodejs/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA"}

package/esm/nodejs/isNodeError.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.d.ts","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG;IAC1B,MAAM,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC;IACnC,UAAU,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE,KAAK,CAAC;IACpB,UAAU,EAAE,KAAK,CAAC;IAClB,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,OAAO,EAAE,KAAK,CAAC;IACf,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,YAAY,CAAA;AAEjD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAEvG"}
+{"version":3,"file":"isNodeError.d.ts","sourceRoot":"","sources":["../../src/nodejs/isNodeError.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG;IAC1B,MAAM,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC;IACnC,UAAU,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE,KAAK,CAAC;IACpB,UAAU,EAAE,KAAK,CAAC;IAClB,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,CAAC;IACd,MAAM,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,OAAO,EAAE,KAAK,CAAC;IACf,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,YAAY,CAAA;AAEjD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAEvG"}

package/esm/nodejs/isNodeError.js.map

@@ -1 +1 @@
-{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../ts/nodejs/isNodeError.ts"],"names":[],"mappings":"AAmBA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC9E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC3C,CAAC"}
+{"version":3,"file":"isNodeError.js","sourceRoot":"","sources":["../../src/nodejs/isNodeError.ts"],"names":[],"mappings":"AAmBA;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAA6B,IAAO,EAAE,GAAY;IAC9E,OAAO,CAAC,CAAC,GAAG,IAAK,GAAW,CAAC,IAAI,KAAK,IAAI,CAAA;AAC3C,CAAC"}

package/esm/nominal/brand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../ts/nominal/brand.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAElD;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAClG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GACb,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAEpB;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAC3C,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACb,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvF;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../src/nominal/brand.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAElD;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAClG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GACb,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;AAEpB;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAC3C,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACb,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvF;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/nominal/brand.js

@@ -4,9 +4,7 @@ import { isType } from '../type-guard/is_type.js';
 import { typeSym, valueSym } from './constants.js';
 export function brand(typeInput, subject) {
     if (subject === undefined)
-        return function (subject) {
-            return brand(typeInput, subject);
-        };
+        return (subject) => brand(typeInput, subject);
     if (isType(subject, s => typeof s === 'object' && s !== null)) {
         // if subject is not an object, the branding will exist only in type-level.
         subject[typeSym] = typeInput;

package/esm/nominal/brand.js.map

@@ -1 +1 @@
-{"version":3,"file":"brand.js","sourceRoot":"","sources":["../../ts/nominal/brand.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAEvE,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AAEjD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AA0BlD,MAAM,UAAU,KAAK,CAAC,SAAiB,EAAE,OAAiB;IACzD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,UAAa,OAAU;YAC7B,OAAO,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACjC,CAAC,CAAA;IAEF,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QACrF,2EAA2E;QAC3E,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;KAC5B;IACD,OAAO,OAAO,CAAA;AACf,CAAC"}
+{"version":3,"file":"brand.js","sourceRoot":"","sources":["../../src/nominal/brand.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAEvE,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AAEjD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AA0BlD,MAAM,UAAU,KAAK,CAAC,SAAiB,EAAE,OAAiB;IACzD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,CAAI,OAAU,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IAEpD,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACtF,2EAA2E;QAC3E,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;IAC7B,CAAC;IACD,OAAO,OAAO,CAAA;AACf,CAAC"}

package/esm/nominal/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../ts/nominal/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAiB,CAAA;AACrC,eAAO,MAAM,QAAQ,eAAkB,CAAA"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/nominal/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAiB,CAAA;AACrC,eAAO,MAAM,QAAQ,eAAkB,CAAA"}

package/esm/nominal/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../ts/nominal/constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AACrC,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/nominal/constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AACrC,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA"}

package/esm/nominal/flavor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flavor.d.ts","sourceRoot":"","sources":["../../ts/nominal/flavor.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAElD;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAC3F,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAElB;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM;IACzC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAChD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"flavor.d.ts","sourceRoot":"","sources":["../../src/nominal/flavor.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAElD;;;;;GAKG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAC3F,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAElB;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM;IACzC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAChD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACd,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CACb;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/nominal/flavor.js

@@ -4,9 +4,7 @@ import { isType } from '../type-guard/is_type.js';
 import { typeSym, valueSym } from './constants.js';
 export function flavor(type, subject) {
     if (subject === undefined)
-        return function (subject) {
-            return flavor(type, subject);
-        };
+        return (subject) => flavor(type, subject);
     if (isType(subject, s => typeof s === 'object' && s !== null)) {
         // if subject is not an object, the branding will exist only in type-level.
         subject[typeSym] = type;

package/esm/nominal/flavor.js.map

@@ -1 +1 @@
-{"version":3,"file":"flavor.js","sourceRoot":"","sources":["../../ts/nominal/flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAEvE,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AAEjD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAmClD,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACrD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,UAAa,OAAU;YAC7B,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7B,CAAC,CAAA;IAEF,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QACrF,2EAA2E;QAC3E,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACvB;IAED,OAAO,OAAO,CAAA;AACf,CAAC"}
+{"version":3,"file":"flavor.js","sourceRoot":"","sources":["../../src/nominal/flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAEvE,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AAEjD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAmClD,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACrD,IAAI,OAAO,KAAK,SAAS;QACxB,OAAO,CAAI,OAAU,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAEhD,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACtF,2EAA2E;QAC3E,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;IACxB,CAAC;IAED,OAAO,OAAO,CAAA;AACf,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/nominal/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/nominal/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA"}

package/esm/nominal/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nominal/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/nominal/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA"}

package/esm/nominal/nominal_match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nominal_match.d.ts","sourceRoot":"","sources":["../../ts/nominal/nominal_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGzC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EACpB,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAClB,OAAO,CAAA;AACV,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EACrB,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GACnB,OAAO,CAAA"}
+{"version":3,"file":"nominal_match.d.ts","sourceRoot":"","sources":["../../src/nominal/nominal_match.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EACpB,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAClB,OAAO,CAAA;AACV,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EACzD,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EACrB,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GACnB,OAAO,CAAA"}

package/esm/nominal/nominal_match.js

@@ -2,8 +2,6 @@ import { typeSym } from './constants.js';
 export function nominalMatch(a, b) {
     if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null)
         return a[typeSym] === b[typeSym];
-    else {
-        return true;
-    }
+    return true;
 }
 //# sourceMappingURL=nominal_match.js.map

package/esm/nominal/nominal_match.js.map

@@ -1 +1 @@
-{"version":3,"file":"nominal_match.js","sourceRoot":"","sources":["../../ts/nominal/nominal_match.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAUxC,MAAM,UAAU,YAAY,CAC3B,CAAyC,EACzC,CAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC7E,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;SAC5B;QACJ,OAAO,IAAI,CAAA;KACX;AACF,CAAC"}
+{"version":3,"file":"nominal_match.js","sourceRoot":"","sources":["../../src/nominal/nominal_match.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAWxC,MAAM,UAAU,YAAY,CAC3B,CAAyC,EACzC,CAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC7E,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;IAEjC,OAAO,IAAI,CAAA;AACZ,CAAC"}

package/esm/null/is_not_null.d.ts

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

package/esm/null/is_not_null.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_not_null.d.ts","sourceRoot":"","sources":["../../src/null/is_not_null.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,YAAY,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,YAAY,CAAC,CAAC,EAC5E,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAGD,yBAAiB,SAAS,CAAC;IAC1B,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,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;IAExE,KAAY,YAAY,GAAG,aAAa,CAAC,YAAY,CAAA;CACrD"}

package/esm/null/is_not_null.js

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

package/esm/null/is_not_null.js.map

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

package/esm/null/is_null.d.ts

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

package/esm/null/is_null.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"is_null.d.ts","sourceRoot":"","sources":["../../src/null/is_null.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,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,MAAM,CAAC,QAAQ,GAAG,EAAE,IACpD,YAAY,CAAC,CAAC,EACb,aAAa,CAAC,EAAE,EACf;IACC,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACtB,CACD,CACD,CAAA;AAEF,yBAAiB,MAAM,CAAC;IACvB,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,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;IAErE,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,CAAA;CAClD"}