@stackframe/stack-shared 2.8.2 → 2.8.3

package/dist/utils/types.d.ts

@@ -2,3 +2,20 @@ export type IsAny<T> = 0 extends (1 & T) ? true : false;
 export type isNullish<T> = T extends null | undefined ? true : false;
 export type NullishCoalesce<T, U> = T extends null | undefined ? U : T;
 export type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends ((x: infer I) => void) ? I : never;
+/**
+ * A variation of TypeScript's conditionals with slightly different semantics. It is the perfect type for cases where:
+ *
+ * - If all possible values are contained in `Extends`, then it will be mapped to `Then`.
+ * - If all possible values are not contained in `Extends`, then it will be mapped to `Otherwise`.
+ * - If some possible values are contained in `Extends` and some are not, then it will be mapped to `Then | Otherwise`.
+ *
+ * This is different from TypeScript's built-in conditional types (`Value extends Extends ? Then : Otherwise`), which
+ * returns `Otherwise` for the third case (causing unsoundness in many real-world cases).
+ */
+export type IfAndOnlyIf<Value, Extends, Then, Otherwise> = (Value extends Extends ? never : Otherwise) | (Value & Extends extends never ? never : Then);
+/**
+ * Can be used to prettify a type in the IDE; for example, some complicated intersected types can be flattened into a single type.
+ */
+export type PrettifyType<T> = {
+    [K in keyof T]: T[K];
+} & {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stackframe/stack-shared",
-  "version": "2.8.2",
+  "version": "2.8.3",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
   "type": "module",
@@ -45,6 +45,7 @@
     "@simplewebauthn/browser": "^11.0.0",
     "async-mutex": "^0.5.0",
     "bcrypt": "^5.1.1",
+    "crc": "^4.3.2",
     "elliptic": "^6.5.7",
     "ip-regex": "^5.0.0",
     "jose": "^5.2.2",