type-plus 7.6.2 → 8.0.0-beta.10

package/esm/math/subtract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subtract.d.ts","sourceRoot":"","sources":["../../ts/math/subtract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI;IAC1F,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;IAClC,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;CAClC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAC3B,EAAE,SAAS,aAAa,GACvB,EAAE,SAAS,aAAa,GACvB,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACvD,IAAI,GACL,IAAI,GACL,KAAK,CAAA;AAER,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
+{"version":3,"file":"subtract.d.ts","sourceRoot":"","sources":["../../src/math/subtract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI;IAC1F,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;IAClC,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC;CAClC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAC3B,EAAE,SAAS,aAAa,GACvB,EAAE,SAAS,aAAa,GACvB,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACvD,IAAI,GACL,IAAI,GACL,KAAK,CAAA;AAER,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/esm/math/subtract.js.map

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

package/esm/mix_types/box.d.ts

@@ -0,0 +1,47 @@
+import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
+import type { IsBigint } from '../bigint/is_bigint.js';
+import type { IsBoolean } from '../boolean/is_boolean.js';
+import type { IsFunction } from '../function/is_function.js';
+import type { IsNumber } from '../number/is_number.js';
+import type { IsObject } from '../object/is_object.js';
+import type { IsString } from '../string/is_string.js';
+import type { IsSymbol } from '../symbol/is_symbol.js';
+/**
+ * ⚗️ *transform*
+ * 🔢 *customizable*
+ *
+ * Converts primitive types to their boxed types.
+ *
+ * @typeParam Options['$notBoxable'] return type when `T` is not boxable. Defaults to `never`.
+ *
+ * @example
+ * ```ts
+ * Box<number> // Number
+ * Box<object> // Object
+ * Box<string>  // String
+ * Box<'abc'>  // String
+ *
+ * Box<undefined> // never
+ * ```
+ */
+export type Box<T, Options extends Box.Options = Box.DefaultOptions> = IsFunction<T, IsFunction.$Branch> extends infer R ? R extends $Then ? Function : IsObject<T, IsObject.$Branch<{
+    exact: true;
+}>> extends infer R ? R extends $Then ? Object : T extends Record<any, any> ? T : IsBoolean<T, $Selection.Branch> extends infer R ? R extends $Then ? Boolean : R extends $Else ? IsNumber<T, IsNumber.$Branch> extends infer R ? R extends $Then ? Number : R extends $Else ? IsString<T, {
+    $then: String;
+    $else: IsSymbol<T, {
+        $then: Symbol;
+        $else: IsBigint<T, {
+            $then: BigInt;
+            $else: Options['$notBoxable'];
+        }>;
+    }>;
+}> : never : never : never : never : never : never;
+export declare namespace Box {
+    type Options = {
+        $notBoxable?: unknown;
+    };
+    interface DefaultOptions {
+        $notBoxable: never;
+    }
+}
+//# sourceMappingURL=box.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"box.d.ts","sourceRoot":"","sources":["../../src/mix_types/box.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEtD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,SAAS,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,cAAc,IAAI,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,SAAS,MAAM,CAAC,GACrH,CAAC,SAAS,KAAK,GACd,QAAQ,GACR,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC7D,CAAC,SAAS,KAAK,GACd,MAAM,GACN,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACzB,CAAC,GACD,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GAC9C,CAAC,SAAS,KAAK,GACd,OAAO,GACP,CAAC,SAAS,KAAK,GACd,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,MAAM,CAAC,GAC5C,CAAC,SAAS,KAAK,GACd,MAAM,GACN,CAAC,SAAS,KAAK,GACd,QAAQ,CACR,CAAC,EACD;IACC,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,QAAQ,CACd,CAAC,EACD;QACC,KAAK,EAAE,MAAM,CAAA;QACb,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;SAAE,CAAC,CAAA;KACpE,CACD,CAAA;CACD,CACD,GACA,KAAK,GACP,KAAK,GACN,KAAK,GACP,KAAK,GACR,KAAK,GACP,KAAK,CAAA;AAER,yBAAiB,GAAG,CAAC;IACpB,KAAY,OAAO,GAAG;QACrB,WAAW,CAAC,EAAE,OAAO,CAAA;KACrB,CAAA;IACD,UAAiB,cAAc;QAC9B,WAAW,EAAE,KAAK,CAAA;KAClB;CACD"}

package/esm/mix_types/box.js

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

package/esm/mix_types/box.js.map

@@ -0,0 +1 @@
+{"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,27 @@
+import type { $Selection } from '../$type/branch/$selection.js';
+import type { IsAny } from '../any/is_any.js';
+import type { IsNever } from '../never/is_never.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 $Selection.Options = $Selection.Predicate> = 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,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAEnD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,OAAO,GAAG,UAAU,CAAC,SAAS,IAAI,OAAO,CAC1F,CAAC,EACD;IACC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,CAAA;IAClB,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACnB,CACD,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

@@ -0,0 +1,50 @@
+import type { Or } from '../logical/logical.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 { 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*
+ *
+ * Merges type `A` and type `B`.
+ *
+ * This type performs the same operations as `{ ...a, ...b }` but at the type level.
+ *
+ * This is a more general type then `ObjectPlus.Merge<A, B>`,
+ * which constraints `A` and `B` to be `Record`.
+ *
+ * This type does not have such restrictions, and tries to handle the other types accordingly.
+ */
+export type Merge<A, B> = Or<IsNever<A>, IsNever<B>, {
+    $then: never;
+    $else: Or<IsVoid<A>, IsVoid<B>, {
+        $then: A & B;
+        $else: Or<IsUnknown<A>, Or<IsUndefined<A>, IsNull<A>>, {
+            $then: B;
+            $else: Or<IsUnknown<B>, Or<IsUndefined<B>, IsNull<B>>, {
+                $then: A;
+                $else: ObjectMerge<Box<A, {
+                    $notBoxable: {};
+                }>, Box<B, {
+                    $notBoxable: {};
+                }>>;
+            }>;
+        }>;
+    }>;
+}>;
+/**
+ * Left join `a` with `b`.
+ *
+ * This returns the proper type of `{ ...a, ...b }`
+ *
+ * @example
+ * ```ts
+ * merge({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
+ * ```
+ */
+export declare function merge<A, B>(a: A, b: B): Merge<A, B>;
+//# sourceMappingURL=merge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/mix_types/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAA;AAC/C,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,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,IAAI,EAAE,CAC3B,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;IACC,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,EACT;QACC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAA;QACZ,KAAK,EAAE,EAAE,CACR,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B;YACC,KAAK,EAAE,CAAC,CAAA;YACR,KAAK,EAAE,EAAE,CACR,SAAS,CAAC,CAAC,CAAC,EACZ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAC7B;gBAAE,KAAK,EAAE,CAAC,CAAC;gBAAC,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE;oBAAE,WAAW,EAAE,EAAE,CAAA;iBAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;oBAAE,WAAW,EAAE,EAAE,CAAA;iBAAE,CAAC,CAAC,CAAA;aAAE,CAC1F,CAAA;SACD,CACD,CAAA;KACD,CACD,CAAA;CACD,CACD,CAAA;AAED;;;;;;;;;GASG;AACH,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

@@ -0,0 +1,14 @@
+/**
+ * Left join `a` with `b`.
+ *
+ * This returns the proper type of `{ ...a, ...b }`
+ *
+ * @example
+ * ```ts
+ * merge({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
+ * ```
+ */
+export function merge(a, b) {
+    return { ...a, ...b };
+}
+//# sourceMappingURL=merge.js.map

package/esm/mix_types/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/mix_types/merge.ts"],"names":[],"mappings":"AAiDA;;;;;;;;;GASG;AACH,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,60 @@
+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 { $Any } from '../$type/special/$any.js';
+import type { $NotNever } 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';
+/**
+ * 🎭 *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 = {}> = $Special<T, {
+    $any: $ResolveBranch<IsNever._O<$O>, [$Any, $Else]>;
+    $unknown: $ResolveBranch<IsNever._O<$O>, [$Unknown, $Else]>;
+    $never: $ResolveBranch<$O, [$Then], T>;
+    $void: $ResolveBranch<IsNever._O<$O>, [$Void, $Else]>;
+    $else: $ResolveBranch<IsNever._O<$O>, [$Else]>;
+}>;
+export declare namespace IsNever {
+    type $Options = $Selection.Options & $InputOptions<$Any | $Unknown>;
+    type $Branch = $Selection.Branch;
+    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,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,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,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;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,EAAE,SAAS,OAAO,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAClE,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACnD,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACtC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACrD,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9C,CACD,CAAA;AAED,yBAAiB,OAAO,CAAC;IACxB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IAC1E,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;IACvC,KAAY,EAAE,CAAC,EAAE,SAAS,QAAQ,IAAI,OAAO,SAAS,MAAM,EAAE,GAC3D,EAAE,GACF,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,EAAE,GAAG;QAAE,KAAK,EAAE,SAAS,CAAA;KAAE,GACzB,EAAE,CAAA;CACN"}

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,60 @@
+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 { $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';
+/**
+ * 🎭 *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 = {}> = $Special<T, {
+    $any: $ResolveBranch<$O, [$Any, $Then], T>;
+    $never: $ResolveBranch<IsNotNever._O<$O>, [$Else]>;
+    $unknown: $ResolveBranch<$O, [$Unknown, $Then], T>;
+    $void: $ResolveBranch<$O, [$Void, $Then], T>;
+    $else: $ResolveBranch<$O, [$Then], T>;
+}>;
+export declare namespace IsNotNever {
+    type $Options = $Selection.Options & $InputOptions<$Any | $Unknown>;
+    type $Branch = $Selection.Branch;
+    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,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,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;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACxE,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1C,MAAM,EAAE,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClD,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAClD,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;CACrC,CACD,CAAA;AAED,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAA;IAC1E,KAAY,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;IACvC,KAAY,EAAE,CAAC,EAAE,SAAS,QAAQ,IAAI,OAAO,SAAS,MAAM,EAAE,GAC3D,EAAE,GACF,EAAE,CAAC,WAAW,CAAC,SAAS,QAAQ,GAC/B,EAAE,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,GACtB,EAAE,CAAA;CACN"}

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/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,CAAA;IAClC,UAAU,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAA;IAC1C,YAAY,EAAE,KAAK,CAAA;IACnB,UAAU,EAAE,KAAK,CAAA;IACjB,MAAM,EAAE,KAAK,CAAA;IACb,MAAM,EAAE,KAAK,CAAA;IACb,MAAM,EAAE,KAAK,CAAA;IACb,MAAM,EAAE,KAAK,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;IAChD,OAAO,EAAE,KAAK,CAAA;IACd,SAAS,EAAE,KAAK,CAAA;IAChB,SAAS,EAAE,KAAK,CAAA;IAChB,KAAK,EAAE,KAAK,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,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,CAAA;IACZ,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,10 +4,8 @@ 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);
-        };
-    if (isType(subject, s => typeof s === 'object' && s !== null)) {
+        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;QAAE,OAAO,CAAI,OAAU,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IAE9E,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACxF,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,CAAA;IACb,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,10 +4,8 @@ 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);
-        };
-    if (isType(subject, s => typeof s === 'object' && s !== null)) {
+        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;QAAE,OAAO,CAAI,OAAU,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAE1E,IAAI,MAAM,CAAwB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACxF,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,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,OAAO,CAAA;AAChH,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,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;AAKxC,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;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;IAEhH,OAAO,IAAI,CAAA;AACZ,CAAC"}

package/esm/null/is_not_null.d.ts

@@ -0,0 +1,77 @@
+import type { $InputOptions } from '../$type/branch/$input_options.js';
+import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
+import type { $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 `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 = {}> = $Special<T, $MergeOptions<$O, {
+    $then: $ResolveBranch<$O, [$Then], T>;
+    $else: IsNotNull.$<T, $O>;
+}>>;
+export declare namespace IsNotNull {
+    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 `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,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AACtE,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACtE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACzB,CACD,CACD,CAAA;AAED,yBAAiB,SAAS,CAAC;IAC1B,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,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":""}