@typed/async-data 0.13.1 → 1.0.0-beta.0

package/README.md

@@ -0,0 +1,159 @@
+# @typed/async-data
+
+> **Beta:** This package is in beta; APIs may change.
+
+`@typed/async-data` provides a typed model for async data state: **NoData**, **Loading**, **Success**, **Failure**, and **Optimistic** (plus **Refreshing** as Success/Failure with progress). It integrates with Effect Schema for codecs and offers pattern matching and transformers (map, flatMap, mapError). Use it for UI state that represents remote data, loading indicators, and optimistic updates.
+
+## Dependencies
+
+- `effect`
+
+## API overview
+
+- **Type:** `AsyncData<A, E>` — union of NoData | Loading | Success\<A\> | Failure\<E\> | Optimistic\<A, E\>.
+- **Schema:** `AsyncData(A, E)` — builds an Effect Schema codec for `AsyncData` given value and error schemas.
+- **Constructors:** `NoData`, `loading(progress?)`, `success(value, progress?)`, `failure(cause, progress?)`, `optimistic(previous, value)`.
+- **Guards:** `isNoData`, `isLoading`, `isSuccess`, `isFailure`, `isOptimistic`, `isPending`, `isRefreshing`, `isAsyncData`.
+- **Pattern matching:** `match(data, { NoData, Loading, Success, Failure, Optimistic })`.
+- **Helpers:** `startLoading`, `stopLoading`; `getSuccess`, `getCause`, `getError`.
+- **Transformers:** `map`, `flatMap`, `mapError`; `fromExit`, `fromResult`.
+
+## API reference
+
+### Types
+
+- **`Progress`** — `{ readonly loaded: number; readonly total?: number }`. Used for loading/refresh progress.
+- **`NoData`** — `{ readonly _tag: "NoData" }`. Initial state before any load.
+- **`Loading`** — `{ readonly _tag: "Loading"; readonly progress?: Progress }`. Load in progress.
+- **`Success<A>`** — `{ readonly _tag: "Success"; readonly value: A; readonly progress?: Progress }`. Loaded value; optional progress when refreshing.
+- **`Failure<E>`** — `{ readonly _tag: "Failure"; readonly cause: Cause.Cause<E>; readonly progress?: Progress }`. Error state; optional progress when refreshing.
+- **`Optimistic<A, E>`** — `{ readonly _tag: "Optimistic"; readonly value: A; readonly previous: AsyncData<A, E> }`. Optimistic value with previous state.
+- **`AsyncData<A, E>`** — `NoData | Loading | Success<A> | Failure<E> | Optimistic<A, E>`.
+- **`Refreshing<A, E>`** — `(Success<A> | Failure<E>) & { readonly progress: Progress }`. Success or Failure that is currently refreshing.
+
+### Schema
+
+```ts
+AsyncData(A, E): Schema.Codec<AsyncData<A, E>, ...>
+```
+
+Builds an Effect Schema codec for `AsyncData` given value schema `A` and error schema `E`.
+
+### Constructors
+
+```ts
+NoData: NoData
+loading(progress?: Progress): Loading
+success<A>(value: A, progress?: Progress): Success<A>
+failure<E>(cause: Cause.Cause<E>, progress?: Progress): Failure<E>
+optimistic<A, E>(previous: AsyncData<A, E>, value: A): Optimistic<A, E>
+```
+
+### Guards
+
+```ts
+isNoData<A, E>(asyncData: AsyncData<A, E>): asyncData is NoData
+isLoading<A, E>(asyncData: AsyncData<A, E>): asyncData is Loading
+isSuccess<A, E>(asyncData: AsyncData<A, E>): asyncData is Success<A>
+isFailure<A, E>(asyncData: AsyncData<A, E>): asyncData is Failure<E>
+isOptimistic<A, E>(asyncData: AsyncData<A, E>): asyncData is Optimistic<A, E>
+isAsyncData<A, E>(u: unknown): u is AsyncData<A, E>
+isRefreshing<A, E>(asyncData: AsyncData<A, E>): asyncData is Refreshing<A, E>
+isPending<A, E>(asyncData: AsyncData<A, E>): asyncData is Loading | Refreshing<A, E>
+```
+
+### Pattern matching
+
+```ts
+data.pipe(
+  AsyncData.match({
+    NoData: (data) => R1,
+    Loading: (data) => R2,
+    Failure: (cause, data) => R3,
+    Success: (value, data) => R4,
+    Optimistic: (value, data) => R5,
+  })
+)
+```
+
+Returns a unified result type from the matching branch. Callbacks receive the variant payload (and full variant for `Failure`/`Success`/`Optimistic`).
+
+### Helpers
+
+```ts
+startLoading<A, E>(data: AsyncData<A, E>, progress?: Progress): AsyncData<A, E>
+```
+
+Puts data into a loading/refreshing state: Success/Failure become refreshing with optional progress; Optimistic recurs on `previous`; NoData/Loading become Loading (with optional progress).
+
+```ts
+stopLoading<A, E>(data: AsyncData<A, E>): AsyncData<A, E>
+```
+
+Removes progress from Success/Failure/Optimistic (stops refreshing); NoData/Loading unchanged.
+
+```ts
+getSuccess<A, E>(data: AsyncData<A, E>): Option.Option<A>
+getCause<A, E>(data: AsyncData<A, E>): Option.Option<Cause.Cause<E>>
+getError<A, E>(data: AsyncData<A, E>): Option.Option<E>
+```
+
+Extract the success value, failure cause, or first error from the variant (or `Option.none` when not applicable).
+
+### Transformers
+
+```ts
+data.pipe(AsyncData.map((a: A) => B))
+```
+
+Maps the success/optimistic value; NoData, Loading, and Failure are unchanged.
+
+```ts
+data.pipe(
+  AsyncData.flatMap((value: A, data: Success<A> | Optimistic<A, E>) => AsyncData<B, E2>)
+)
+```
+
+Chains on success or optimistic; NoData, Loading, and Failure are unchanged.
+
+```ts
+data.pipe(AsyncData.mapError((e: E) => E2))
+```
+
+Maps the failure error type; Success, NoData, Loading unchanged; Optimistic recurs on `previous`.
+
+```ts
+fromExit<A, E>(exit: Exit.Exit<A, E>): AsyncData<A, E>
+fromResult<A, E>(result: Result.Result<A, E>): AsyncData<A, E>
+```
+
+Convert an Effect `Exit` or `Result` to `AsyncData`.
+
+## Example
+
+```ts
+import { Option } from "effect";
+import * as AsyncData from "@typed/async-data";
+
+// Success and match
+const data = AsyncData.success({ id: 1, name: "Alice" });
+const message = data.pipe(
+  AsyncData.match({
+    NoData: () => "no data",
+    Loading: () => "loading...",
+    Failure: (cause) => `error: ${cause}`,
+    Success: (user) => `user: ${user.name}`,
+    Optimistic: (user) => `optimistic: ${user.name}`,
+  })
+);
+// message === "user: Alice"
+
+// From Result and getSuccess
+const result = { _tag: "Success" as const, success: { id: 2, name: "Bob" } };
+const data2 = AsyncData.fromResult(result);
+const name = AsyncData.getSuccess(data2).pipe(
+  Option.map((u) => u.name),
+  Option.getOrElse(() => "unknown"),
+);
+// name === "Bob"
+```

package/dist/index.d.ts

@@ -1,4 +1,92 @@
-export * from './AsyncData.js';
-export * from './LazyRef.js';
-export * from './Progress.js';
-export * from './TypeId.js';
+import * as Cause from "effect/Cause";
+import * as Exit from "effect/Exit";
+import * as Option from "effect/Option";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import type { Unify } from "effect/Unify";
+export interface Progress {
+    readonly loaded: number;
+    readonly total?: number | undefined;
+}
+export interface NoData {
+    readonly _tag: "NoData";
+}
+export interface Loading {
+    readonly _tag: "Loading";
+    readonly progress?: Progress | undefined;
+}
+export interface Success<A> {
+    readonly _tag: "Success";
+    readonly value: A;
+    readonly progress?: Progress | undefined;
+}
+export interface Failure<E> {
+    readonly _tag: "Failure";
+    readonly cause: Cause.Cause<E>;
+    readonly progress?: Progress | undefined;
+}
+export interface Optimistic<A, E> {
+    readonly _tag: "Optimistic";
+    readonly value: A;
+    readonly previous: AsyncData<A, E>;
+}
+export type AsyncData<A, E> = NoData | Loading | Success<A> | Failure<E> | Optimistic<A, E>;
+export type Refreshing<A, E> = (Success<A> | Failure<E>) & {
+    readonly progress: Progress;
+};
+export declare const AsyncData: <const A extends Schema.Top, E extends Schema.Top>(A: A, E: E) => Schema.Codec<AsyncData<A["Type"], E["Type"]>, AsyncData<A["Encoded"], E["Encoded"]>, A["DecodingServices"] | E["DecodingServices"], A["EncodingServices"] | E["EncodingServices"]>;
+export declare const isNoData: <A, E>(asyncData: AsyncData<A, E>) => asyncData is NoData;
+export declare const isLoading: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Loading;
+export declare const isSuccess: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Success<A>;
+export declare const isFailure: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Failure<E>;
+export declare const isOptimistic: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Optimistic<A, E>;
+export declare const isAsyncData: <A, E>(u: unknown) => u is AsyncData<A, E>;
+export declare const isRefreshing: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Refreshing<A, E>;
+export declare const isPending: <A, E>(asyncData: AsyncData<A, E>) => asyncData is Loading | Refreshing<A, E>;
+export declare const NoData: NoData;
+export declare const loading: (progress?: Progress) => Loading;
+export declare const success: <A>(value: A, progress?: Progress) => Success<A>;
+export declare const failure: <E>(cause: Cause.Cause<E>, progress?: Progress) => Failure<E>;
+export declare const optimistic: <A, E>(previous: AsyncData<A, E>, value: A) => Optimistic<A, E>;
+export declare const startLoading: <A, E>(data: AsyncData<A, E>, progress?: Progress) => AsyncData<A, E>;
+export declare const stopLoading: <A, E>(data: AsyncData<A, E>) => AsyncData<A, E>;
+export declare const match: {
+    <A, E, R1, R2, R3, R4, R5>(matchers: {
+        NoData: (data: NoData) => R1;
+        Loading: (data: Loading) => R2;
+        Failure: (cause: Cause.Cause<E>, data: Failure<E>) => R3;
+        Success: (value: A, data: Success<A>) => R4;
+        Optimistic: (value: A, data: Optimistic<A, E>) => R5;
+    }): (data: AsyncData<A, E>) => Unify<R1 | R2 | R3 | R4 | R5>;
+    <A, E, R1, R2, R3, R4, R5>(data: AsyncData<A, E>, matchers: {
+        NoData: (data: NoData) => R1;
+        Loading: (data: Loading) => R2;
+        Failure: (cause: Cause.Cause<E>, data: Failure<E>) => R3;
+        Success: (value: A, data: Success<A>) => R4;
+        Optimistic: (value: A, data: Optimistic<A, E>) => R5;
+    }): Unify<R1 | R2 | R3 | R4 | R5>;
+};
+export declare function getSuccess<A, E>(data: AsyncData<A, E>): Option.Option<A>;
+/**
+ * @since 1.0.0
+ */
+export declare function getCause<A, E>(data: AsyncData<A, E>): Option.Option<Cause.Cause<E>>;
+/**
+ * @since 1.0.0
+ */
+export declare function getError<A, E>(data: AsyncData<A, E>): Option.Option<E>;
+export declare const map: {
+    <A, B>(f: (a: A) => B): <E>(data: AsyncData<A, E>) => AsyncData<B, E>;
+    <A, E, B>(data: AsyncData<A, E>, f: (a: A) => B): AsyncData<B, E>;
+};
+export declare const flatMap: {
+    <A, E, B, E2>(f: (a: A, data: Success<A> | Optimistic<A, E>) => AsyncData<B, E2>): (data: AsyncData<A, E>) => AsyncData<B, E | E2>;
+    <A, E, B, E2>(data: AsyncData<A, E>, f: (a: A, data: Success<A> | Optimistic<A, E>) => AsyncData<B, E>): AsyncData<B, E | E2>;
+};
+export declare const mapError: {
+    <A, E, E2>(f: (e: E) => E2): (data: AsyncData<A, E>) => AsyncData<A, E2>;
+    <A, E, E2>(data: AsyncData<A, E>, f: (e: E) => E2): AsyncData<A, E2>;
+};
+export declare const fromExit: <A, E>(exit: Exit.Exit<A, E>) => AsyncData<A, E>;
+export declare const fromResult: <A, E>(result: Result.Result<A, E>) => AsyncData<A, E>;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AAEpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE5F,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE3F,eAAO,MAAM,SAAS,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,MAAM,CAAC,GAAG,EACxE,GAAG,CAAC,EACJ,GAAG,CAAC,KACH,MAAM,CAAC,KAAK,CACb,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAC/B,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EACrC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAC7C,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,CA8B9C,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,MAC5C,CAAC;AAC9B,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,OAC5C,CAAC;AAC/B,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,OAAO,CAAC,CAAC,CACrD,CAAC;AAC/B,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,OAAO,CAAC,CAAC,CACrD,CAAC;AAC/B,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAC3D,CAAC;AAIlC,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,OAAO,KAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CACa,CAAC;AAEhF,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAE1D,CAAC;AAEnC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KACzB,SAAS,IAAI,OAAO,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACgB,CAAC;AAE1D,eAAO,MAAM,MAAM,EAAE,MAA2B,CAAC;AAEjD,eAAO,MAAM,OAAO,GAAI,WAAW,QAAQ,KAAG,OAA0C,CAAC;AAEzF,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,QAAQ,KAAG,OAAO,CAAC,CAAC,CAIlE,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,QAAQ,KAAG,OAAO,CAAC,CAAC,CAI/E,CAAC;AAEH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,UAAU,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAIpF,CAAC;AAEH,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,QAAQ,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAU7F,CAAC;AAEF,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAUvE,CAAC;AAEF,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE;QACnC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACzD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5C,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;KACtD,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAE7D,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACvB,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,QAAQ,EAAE;QACR,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACzD,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5C,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;KACtD,GACA,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;CAyBlC,CAAC;AAEF,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAQxE;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAQnF;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAQtE;AAED,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CASlE,CAAC;AAEH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EACV,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GACjE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EACV,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAChE,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;CAexB,CAAC;AAEH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CASrE,CAAC;AAEH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CACH,CAAC;AAEnE,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CACa,CAAC"}

package/dist/index.js

@@ -1,5 +1,169 @@
-export * from './AsyncData.js';
-export * from './LazyRef.js';
-export * from './Progress.js';
-export * from './TypeId.js';
-//# sourceMappingURL=index.js.map
+import * as Cause from "effect/Cause";
+import * as Exit from "effect/Exit";
+import { dual } from "effect/Function";
+import * as Option from "effect/Option";
+import { hasProperty, isObject, isString } from "effect/Predicate";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+export const AsyncData = (A, E) => {
+    const Progress = Schema.Struct({ loaded: Schema.Number, total: Schema.optional(Schema.Number) });
+    const NoData = Schema.Struct({ _tag: Schema.tag("NoData") });
+    const Loading = Schema.Struct({
+        _tag: Schema.tag("Loading"),
+        progress: Schema.optional(Progress),
+    });
+    const Success = Schema.Struct({
+        _tag: Schema.tag("Success"),
+        value: A,
+        progress: Schema.optional(Progress),
+    });
+    const Failure = Schema.Struct({
+        _tag: Schema.tag("Failure"),
+        cause: E,
+        progress: Schema.optional(Progress),
+    });
+    const Optimistic = Schema.Struct({
+        _tag: Schema.tag("Optimistic"),
+        value: A,
+        previous: Schema.suspend(() => AsyncData),
+    });
+    const AsyncData = Schema.Union([NoData, Loading, Success, Failure, Optimistic]);
+    return AsyncData;
+};
+export const isNoData = (asyncData) => asyncData._tag === "NoData";
+export const isLoading = (asyncData) => asyncData._tag === "Loading";
+export const isSuccess = (asyncData) => asyncData._tag === "Success";
+export const isFailure = (asyncData) => asyncData._tag === "Failure";
+export const isOptimistic = (asyncData) => asyncData._tag === "Optimistic";
+const TAGS = new Set(["NoData", "Loading", "Success", "Failure", "Optimistic"]);
+export const isAsyncData = (u) => isObject(u) && hasProperty(u, "_tag") && isString(u._tag) && TAGS.has(u._tag);
+export const isRefreshing = (asyncData) => (asyncData._tag === "Success" || asyncData._tag === "Failure") &&
+    asyncData.progress !== undefined;
+export const isPending = (asyncData) => asyncData._tag === "Loading" || isRefreshing(asyncData);
+export const NoData = { _tag: "NoData" };
+export const loading = (progress) => ({ _tag: "Loading", progress });
+export const success = (value, progress) => ({
+    _tag: "Success",
+    value,
+    progress,
+});
+export const failure = (cause, progress) => ({
+    _tag: "Failure",
+    cause,
+    progress,
+});
+export const optimistic = (previous, value) => ({
+    _tag: "Optimistic",
+    value,
+    previous,
+});
+export const startLoading = (data, progress) => {
+    if (isSuccess(data)) {
+        return success(data.value, progress);
+    }
+    else if (isFailure(data)) {
+        return failure(data.cause, progress);
+    }
+    else if (isOptimistic(data)) {
+        return optimistic(startLoading(data.previous, progress), data.value);
+    }
+    else {
+        return loading(progress);
+    }
+};
+export const stopLoading = (data) => {
+    if (isSuccess(data)) {
+        return success(data.value);
+    }
+    else if (isFailure(data)) {
+        return failure(data.cause);
+    }
+    else if (isOptimistic(data)) {
+        return optimistic(stopLoading(data.previous), data.value);
+    }
+    else {
+        return data;
+    }
+};
+export const match = dual(2, (data, matchers) => {
+    if (isSuccess(data)) {
+        return matchers.Success(data.value, data);
+    }
+    else if (isFailure(data)) {
+        return matchers.Failure(data.cause, data);
+    }
+    else if (isLoading(data)) {
+        return matchers.Loading(data);
+    }
+    else if (isNoData(data)) {
+        return matchers.NoData(data);
+    }
+    else {
+        return matchers.Optimistic(data.value, data);
+    }
+});
+export function getSuccess(data) {
+    return match(data, {
+        NoData: Option.none,
+        Loading: Option.none,
+        Failure: Option.none,
+        Success: Option.some,
+        Optimistic: Option.some,
+    });
+}
+/**
+ * @since 1.0.0
+ */
+export function getCause(data) {
+    return match(data, {
+        NoData: Option.none,
+        Loading: Option.none,
+        Failure: Option.some,
+        Success: Option.none,
+        Optimistic: Option.none,
+    });
+}
+/**
+ * @since 1.0.0
+ */
+export function getError(data) {
+    return match(data, {
+        NoData: Option.none,
+        Loading: Option.none,
+        Failure: Cause.findErrorOption,
+        Success: Option.none,
+        Optimistic: Option.none,
+    });
+}
+export const map = dual(2, function map(data, f) {
+    if (isSuccess(data)) {
+        return success(f(data.value), data.progress);
+    }
+    else if (isOptimistic(data)) {
+        return optimistic(map(data.previous, f), f(data.value));
+    }
+    else {
+        return data;
+    }
+});
+export const flatMap = dual(2, function (data, f) {
+    if (isSuccess(data) || isOptimistic(data)) {
+        return f(data.value, data);
+    }
+    else {
+        return data;
+    }
+});
+export const mapError = dual(2, function mapError(data, f) {
+    if (isFailure(data)) {
+        return failure(Cause.map(data.cause, f), data.progress);
+    }
+    else if (isOptimistic(data)) {
+        return optimistic(mapError(data.previous, f), data.value);
+    }
+    else {
+        return data;
+    }
+});
+export const fromExit = (exit) => Exit.isSuccess(exit) ? success(exit.value) : failure(exit.cause);
+export const fromResult = (result) => Result.isSuccess(result) ? success(result.success) : failure(Cause.fail(result.failure));

package/package.json

@@ -1,39 +1,29 @@
 {
   "name": "@typed/async-data",
-  "version": "0.13.1",
-  "description": "Async Data for Effect",
-  "main": "dist/index.js",
-  "types": "dist/index.d.ts",
+  "version": "1.0.0-beta.0",
+  "publishConfig": {
+    "access": "public"
+  },
   "type": "module",
-  "keywords": [
-    "async",
-    "data",
-    "effect",
-    "typescript"
-  ],
-  "author": "Tylor Steinberger <tlsteinberger167@gmail.com>",
-  "license": "MIT",
-  "dependencies": {
-    "@typed/lazy-ref": "^0.3.2",
-    "effect": "^3.11.9"
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "import": "./dist/*.js"
+    }
   },
-  "peerDependencies": {
-    "@typed/lazy-ref": "^0.3.2",
-    "effect": "^3.11.9"
+  "dependencies": {
+    "effect": "4.0.0-beta.4"
   },
   "devDependencies": {
-    "@biomejs/biome": "^1.9.4",
-    "@effect/vitest": "^0.16.0",
-    "@types/node": "^22.10.2",
-    "typescript": "^5.4.2",
-    "vitest": "^2.1.8"
+    "typescript": "5.9.3",
+    "vitest": "4.0.18"
   },
   "scripts": {
     "build": "tsc",
-    "dev": "tsc --watch",
-    "lint": "biome lint --write",
-    "test:watch": "vitest --typecheck",
-    "test": "vitest run --typecheck",
-    "typecheck": "tsc --noEmit"
+    "test": "vitest run --passWithNoTests"
   }
 }