@typed/async-data 1.0.0-beta.4 → 1.0.0-beta.5

package/package.json

@@ -1,33 +1,41 @@
 {
   "name": "@typed/async-data",
-  "version": "1.0.0-beta.4",
+  "version": "1.0.0-beta.5",
+  "description": "Async data states for Typed applications.",
+  "license": "MIT",
+  "homepage": "https://github.com/TylorS/typed-smol/tree/main/packages/async-data#readme",
+  "bugs": "https://github.com/TylorS/typed-smol/issues",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/TylorS/typed-smol.git",
+    "directory": "packages/async-data"
+  },
   "files": [
     "dist",
-    "src"
+    "src",
+    "!dist/**/*.test.*",
+    "!src/**/*.test.*"
   ],
   "type": "module",
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
-    },
-    "./*": {
-      "types": "./dist/*.d.ts",
-      "import": "./dist/*.js"
     }
   },
   "publishConfig": {
     "access": "public"
   },
-  "scripts": {
-    "build": "[ -d dist ] || rm -f tsconfig.tsbuildinfo; tsc",
-    "test": "vitest run --passWithNoTests"
-  },
   "dependencies": {
-    "effect": "catalog:"
+    "effect": "4.0.0-rc.112"
   },
   "devDependencies": {
-    "typescript": "catalog:",
-    "vitest": "catalog:"
+    "typescript": "7.0.2",
+    "vitest": "5.0.0"
+  },
+  "scripts": {
+    "build": "node -e \"const fs=require('node:fs'); fs.rmSync('dist',{recursive:true,force:true}); fs.rmSync('tsconfig.tsbuildinfo',{force:true})\" && tsc",
+    "test": "vitest run --config vitest.config.ts",
+    "test:types": "pnpm run build && tsc -p tsconfig.type-tests.json && tsc -p tsconfig.tests.json"
   }
-}
+}

package/src/__tests__/assert.type-test.ts

@@ -0,0 +1,4 @@
+export type Equal<A, B> =
+  (<T>() => T extends A ? 1 : 2) extends <T>() => T extends B ? 1 : 2 ? true : false;
+
+export type Assert<T extends true> = T;

package/src/__tests__/flat-map.type-test.ts

@@ -0,0 +1,29 @@
+import { flatMap, type AsyncData, type Optimistic, type Success } from "@typed/async-data";
+import type { Assert, Equal } from "./assert.type-test.js";
+
+type ExistingError = { readonly _tag: "ExistingError" };
+type NextError = { readonly _tag: "NextError" };
+
+declare const input: AsyncData<number, ExistingError>;
+declare const next: AsyncData<string, NextError>;
+
+const direct = flatMap(input, (value, data) => {
+  type _Value = Assert<Equal<typeof value, number>>;
+  type _Context = Assert<Equal<typeof data, Success<number> | Optimistic<number, ExistingError>>>;
+  return next;
+});
+
+const curried = flatMap((value: number, data) => {
+  type _Value = Assert<Equal<typeof value, number>>;
+  type _Context = Assert<Equal<typeof data, Success<number> | Optimistic<number, unknown>>>;
+  return next;
+})(input);
+
+type Expected = AsyncData<string, ExistingError | NextError>;
+type _Direct = Assert<Equal<typeof direct, Expected>>;
+type _Curried = Assert<Equal<typeof curried, Expected>>;
+
+// @ts-expect-error flatMap must retain the callback's error channel
+const _directWithoutNextError: AsyncData<string, ExistingError> = direct;
+// @ts-expect-error flatMap must retain the input's error channel
+const _curriedWithoutExistingError: AsyncData<string, NextError> = curried;