@ptolemy2002/ts-utils 2.6.0 → 3.0.0

package/README.md

@@ -9,6 +9,11 @@ import { functionName } from '@ptolemy2002/ts-utils';
 const { functionName } = require('@ptolemy2002/ts-utils');
 ```
 
+## Type Reference
+```typescript
+import { Branded, WithoutBrand } from "@ptolemy2002/ts-brand-utils";
+```
+
 ## Types
 The following types are available in the library:
 
@@ -76,42 +81,6 @@ This type returns an intersection of all the possible values in an object of typ
 ### Contains<L extends unknown[], T>
 This type returns a boolean indicating whether the type `T` is contained in the array `L`.
 
-### BrandTag<B extends unknown[]>
-This type returns a record with a single key of type `__brand` and a value of type `B`. It represents a brand that can be used to differentiate between types.
-
-Branded types are useful for making checks at runtime through assertion functions and recognizing these checks at compile time. For example:
-```typescript
-function isPositive(value: number): value is Branded<number, ["positive"]> {
-    return value > 0;
-}
-
-function takesPositive(value: WithBrand<number, "positive">) {
-    // Do something with the positive value
-}
-
-const value: number = 5;
-if (isPositive(value)) {
-    // Succeeds because value has been asserted to be positive
-    takesPositive(value);
-}
-
-// Error: value may not be positive, as we cannot guarantee the assertion succeeded
-takesPositive(value);
-```
-
-### Branded<T, B extends unknown[]>
-This type returns a type that is the same as `T` except that it is branded with the type `B`.
-
-### WithBrand<T, B>
-Using the `Contains` type, this type returns `T` if it is branded with `B` and `never` otherwise.
-
-### WithoutBrand<T extends BrandTag<unknown[]>>
-This type returns the inner type without the brand applied to it.
-
-## Values
-### declare const __brand
-A unique symbol used to define type brands.
-
 ## Functions
 The following functions are available in the library:
 
@@ -162,6 +131,7 @@ This function takes an object of type `T` and a list of keys `K` and returns a n
 
 ## Peer Dependencies
 - `is-callable^1.2.7`
+- `@ptolemy2002/ts-brand-utils^1.0.0`
 
 ## Commands
 The following commands exist in the project:

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+import { Branded, WithoutBrand } from "@ptolemy2002/ts-brand-utils";
 export type ValueOf<T> = T[keyof T];
 export type MaybeTransformer<T, Args extends any[] = []> = T | ((...args: Args) => T);
 export type MaybeTransformerRecord<T, Args extends any[] = []> = {
@@ -43,12 +44,4 @@ export type ValuesIntersection<T> = ValueOf<{
     [K in keyof T]: (x: T[K]) => void;
 }> extends (x: infer I) => void ? I : never;
 export type Contains<L extends unknown[], T> = L extends [...unknown[], T] ? true : L extends [T, ...unknown[]] ? true : L extends [T] ? true : false;
-export declare const __brand: unique symbol;
-export type BrandTag<B extends unknown[]> = {
-    readonly [__brand]: B;
-};
-export type Branded<T, B extends unknown[]> = T & BrandTag<B>;
-export type WithBrand<T, B> = T extends BrandTag<unknown[]> ? (Contains<T[typeof __brand], B> extends true ? T : never) : never;
-export type WithoutBrand<T extends BrandTag<unknown[]>> = Omit<T, typeof __brand>;
-export declare function brandValue<B extends unknown[], T>(value: T): Branded<T, B>;
 export declare function omit<T extends object, K extends keyof T>(obj: T, ...keys: K[]): Omit<T, K>;

package/dist/index.js

@@ -3,11 +3,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.isAdvancedCondition = isAdvancedCondition;
 exports.createAdvancedCondition = createAdvancedCondition;
 exports.valueConditionMatches = valueConditionMatches;
-exports.brandValue = brandValue;
 exports.omit = omit;
 const isCallable = require("is-callable");
+const ts_brand_utils_1 = require("@ptolemy2002/ts-brand-utils");
 function isAdvancedCondition(value) {
-    return "__isAdvancedCondition" in value && value.__isAdvancedCondition === true;
+    return (typeof value === "object" &&
+        value !== null &&
+        "__isAdvancedCondition" in value && value.__isAdvancedCondition === true);
 }
 function createAdvancedCondition(condition) {
     return {
@@ -15,7 +17,7 @@ function createAdvancedCondition(condition) {
         include: [],
         exclude: [],
         match: Object.is,
-        ...brandValue(condition)
+        ...(0, ts_brand_utils_1.brand)(condition)
     };
 }
 function valueConditionMatches(value, condition) {
@@ -44,9 +46,6 @@ function valueConditionMatches(value, condition) {
         return !excluded(value);
     return included(value) && !excluded(value);
 }
-function brandValue(value) {
-    return value;
-}
 function omit(obj, ...keys) {
     const _ = { ...obj };
     keys.forEach((key) => delete _[key]);

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@ptolemy2002/ts-utils",
-    "version": "2.6.0",
+    "version": "3.0.0",
     "private": false,
     "main": "dist/index.js",
     "types": "dist/index.d.ts",
@@ -27,10 +27,12 @@
         "release-major": "bash ./scripts/release.sh major"
     },
     "peerDependencies": {
-        "is-callable": "^1.2.7"
+        "is-callable": "^1.2.7",
+        "@ptolemy2002/ts-brand-utils": "^1.0.0"
     },
     "devDependencies": {
         "@types/is-callable": "~1.1.2",
+        "@ptolemy2002/ts-brand-utils": "^1.0.0",
         "is-callable": "^1.2.7"
     }
 }