@weftui/core 0.26.3 → 0.27.1

package/README.md

@@ -9,21 +9,23 @@ This package is renderer-agnostic — pair it with [`@weftui/dom`](https://weftu
 ## Installation
 
 ```bash
-npm install @weftui/core effect
+npm install @weftui/core effect@beta
 ```
 
+Weft tracks Effect 4's beta line. This release is built and tested against `effect@4.0.0-beta.98`; the peer range accepts newer 4.0 betas, which may contain upstream breaking changes.
+
 `effect` is a peer dependency. To render, add [`@weftui/dom`](https://www.npmjs.com/package/@weftui/dom).
 
 ## Key exports
 
-| Export      | What it is                                                                                                                                                                        |
-| ----------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `h`         | Proxy namespace of element builders — `h.div`, `h.span`, `h.button`, … plus `h.fragment` for wrapper-less groups.                                                                 |
-| `Component` | `Component.gen` / `Component.make` — reusable components whose reactive prop channels propagate to the call site.                                                                 |
-| `Boundary`  | Error boundaries (`catchAll`, `catchTag`, `catchTags`, `catchSome`, `catchIf`, `catchAllCause`), plus `Boundary.suspend` (async fallbacks) and `Boundary.rpc` (server-data seam). |
-| `List`      | `List.each` — the keyed list combinator; renders once per key and reconciles across emissions.                                                                                    |
-| `Source`    | The reactive prop vocabulary (`A \| Effect \| Stream \| Subscribable`) + `Source.toSubscribable`.                                                                                 |
-| `Node<E,R>` | The core tree type — an alias for `Effect.Effect<ElementDescriptor, E, R>`.                                                                                                       |
+| Export      | What it is                                                                                                                                                                    |
+| ----------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `h`         | Proxy namespace of element builders — `h.div`, `h.span`, `h.button`, … plus `h.fragment` for wrapper-less groups.                                                             |
+| `Component` | `Component.gen` / `Component.make` — reusable components whose reactive prop channels propagate to the call site.                                                             |
+| `Boundary`  | Error boundaries (`catch`, `catchTag`, `catchTags`, `catchFilter`, `catchIf`, `catchCause`), plus `Boundary.suspend` (async fallbacks) and `Boundary.rpc` (server-data seam). |
+| `List`      | `List.each` — the keyed list combinator; renders once per key and reconciles across emissions.                                                                                |
+| `Source`    | The reactive prop vocabulary (`A \| Effect \| Stream \| Subscribable`) + `Source.toSubscribable`.                                                                             |
+| `Node<E,R>` | The core tree type — an alias for `Effect.Effect<ElementDescriptor, E, R>`.                                                                                                   |
 
 ## Example
 
@@ -37,7 +39,7 @@ const Counter = () =>
     const count = yield* SubscriptionRef.make(0);
 
     return yield* h.div([
-      h.span([count.changes]),
+      h.span([SubscriptionRef.changes(count)]),
       h.button({ onclick: () => SubscriptionRef.update(count, (n) => n + 1) }, "+"),
       h.button({ onclick: () => SubscriptionRef.update(count, (n) => n - 1) }, "-"),
     ]);

package/dist/{index-B8idtfB3.d.ts → index-DMNuAQXj.d.ts}

@@ -1,5 +1,66 @@
-import { Cause, Effect, Option, Ref, Scope, Stream, Subscribable } from "effect";
+import { Cause, Effect, Option, Scope, Stream, SubscriptionRef } from "effect";
 
+//#region src/subscribable/index.d.ts
+declare namespace index_d_exports {
+  export { Subscribable, TypeId, changes, get, isSubscribable, make };
+}
+/**
+ * Unique brand identifying a {@link Subscribable}, and the key under which its
+ * `get`/`changes` channels are held. Effect 4 dropped its own
+ * `Subscribable`/`Readable` modules, so Weft carries this reactivity interface
+ * locally; the string brand mirrors Effect 4's `"~effect/*"` TypeId convention
+ * (e.g. `SubscriptionRef`) and backs the {@link isSubscribable} guard.
+ */
+declare const TypeId = "~@weftui/core/Subscribable";
+/**
+ * Type of the {@link TypeId} brand.
+ */
+type TypeId = typeof TypeId;
+/**
+ * A hot, await-first reactive value: `get` reads the current value as an
+ * `Effect`, `changes` is a `Stream` of every value (including the current one).
+ * Read them either directly or through the {@link get} / {@link changes} module
+ * accessors, which mirror Effect 4's `SubscriptionRef.get` / `.changes` so a
+ * `Subscribable` and a `SubscriptionRef` read the same way at a call site.
+ *
+ * This is Weft's local replacement for Effect 3's `Subscribable`, preserved as
+ * public API so `Source`, `Boundary`, and the DOM renderers keep the same
+ * reactivity surface across the Effect 4 migration.
+ */
+interface Subscribable<A, E = never, R = never> {
+  readonly [TypeId]: TypeId;
+  /** Read the current value; also reachable via the {@link get} accessor. */
+  readonly get: Effect.Effect<A, E, R>;
+  /** Stream of every value; also reachable via the {@link changes} accessor. */
+  readonly changes: Stream.Stream<A, E, R>;
+}
+/**
+ * Build a {@link Subscribable} from a `get` effect and a `changes` stream. The
+ * caller owns the semantics of the two channels (e.g. hot vs. cold, whether
+ * `changes` replays the current value); `make` only stamps the brand.
+ */
+declare const make: <A, E = never, R = never>(options: {
+  readonly get: Effect.Effect<A, E, R>;
+  readonly changes: Stream.Stream<A, E, R>;
+}) => Subscribable<A, E, R>;
+/**
+ * Read the current value of a {@link Subscribable} as an `Effect`. Mirrors
+ * `SubscriptionRef.get`, so call sites read `Subscribable`s and
+ * `SubscriptionRef`s the same way.
+ */
+declare const get: <A, E, R>(self: Subscribable<A, E, R>) => Effect.Effect<A, E, R>;
+/**
+ * The `Stream` of every value of a {@link Subscribable}, starting with the
+ * current one. Mirrors `SubscriptionRef.changes`.
+ */
+declare const changes: <A, E, R>(self: Subscribable<A, E, R>) => Stream.Stream<A, E, R>;
+/**
+ * Refinement guard: `true` when `u` carries the {@link TypeId} brand, i.e. was
+ * produced by {@link make}. Used by `Source.toSubscribable` to thread an
+ * existing `Subscribable` through by reference instead of re-wrapping it.
+ */
+declare const isSubscribable: (u: unknown) => u is Subscribable<unknown, unknown, unknown>;
+//#endregion
 //#region ../../node_modules/.pnpm/csstype@3.2.3/node_modules/csstype/index.d.ts
 interface StandardLonghandProperties<TLength = (string & {}) | 0, TTime = string & {}> {
   /**
@@ -10447,7 +10508,7 @@ declare namespace Source {
    * caller can switch between them freely. An incoming `Subscribable` is threaded
    * through by reference (no re-wrap); the rest normalize via `toSubscribable`.
    */
-  type Source<A, E = any, R = any> = A | Stream.Stream<A, E, R> | Effect.Effect<A, E, R> | Subscribable.Subscribable<A, E, R>;
+  type Source<A, E = any, R = any> = A | Stream.Stream<A, E, R> | Effect.Effect<A, E, R> | Subscribable<A, E, R>;
   /**
    * Extract the emitted value type `A` from any {@link Source} kind, mirroring
    * Effect's `Effect.Effect.Success`. A `Stream`/`Effect`/`Subscribable`
@@ -10457,11 +10518,11 @@ declare namespace Source {
    * `Effect` — which is itself iterable for generators — never reaches the static
    * fallback. The props-object analog is `PropsE`/`PropsR` in `combinator/types.ts`.
    */
-  type Success<S> = S extends Stream.Stream<infer A, any, any> ? A : S extends Effect.Effect<infer A, any, any> ? A : S extends Subscribable.Subscribable<infer A, any, any> ? A : S;
+  type Success<S> = S extends Stream.Stream<infer A, any, any> ? A : S extends Effect.Effect<infer A, any, any> ? A : S extends Subscribable<infer A, any, any> ? A : S;
   /** Extract the error channel `E` from any {@link Source} kind; a static value ⇒ `never`. */
-  type Error<S> = S extends Stream.Stream<any, infer E, any> ? E : S extends Effect.Effect<any, infer E, any> ? E : S extends Subscribable.Subscribable<any, infer E, any> ? E : never;
+  type Error<S> = S extends Stream.Stream<any, infer E, any> ? E : S extends Effect.Effect<any, infer E, any> ? E : S extends Subscribable<any, infer E, any> ? E : never;
   /** Extract the requirement channel `R` from any {@link Source} kind; a static value ⇒ `never`. */
-  type Context<S> = S extends Stream.Stream<any, any, infer R> ? R : S extends Effect.Effect<any, any, infer R> ? R : S extends Subscribable.Subscribable<any, any, infer R> ? R : never;
+  type Context<S> = S extends Stream.Stream<any, any, infer R> ? R : S extends Effect.Effect<any, any, infer R> ? R : S extends Subscribable<any, any, infer R> ? R : never;
   /**
    * Normalize a `Source<A>` into an await-first, hot `Subscribable`.
    *
@@ -10477,7 +10538,7 @@ declare namespace Source {
    * @param source - The caller-supplied value.
    * @param key - Optional key carried on `NoPropValue` for diagnostics.
    */
-  function toSubscribable<A, E = never, R = never>(source: Source.Source<A, E, R>, key?: string): Effect.Effect<Subscribable.Subscribable<A, E | NoPropValue, R>, never, Scope.Scope>;
+  function toSubscribable<A, E = never, R = never>(source: Source.Source<A, E, R>, key?: string): Effect.Effect<Subscribable<A, E | NoPropValue, R>, never, Scope.Scope>;
 }
 //#endregion
 //#region src/types/html/attributes.d.ts
@@ -10783,7 +10844,7 @@ type HTMLReferrerPolicy = "no-referrer" | "no-referrer-when-downgrade" | "origin
 type HTMLRole = "alert" | "alertdialog" | "application" | "article" | "banner" | "blockquote" | "button" | "caption" | "cell" | "checkbox" | "code" | "columnheader" | "combobox" | "command" | "complementary" | "composite" | "contentinfo" | "definition" | "deletion" | "dialog" | "directory" | "document" | "emphasis" | "feed" | "figure" | "form" | "generic" | "grid" | "gridcell" | "group" | "heading" | "img" | "input" | "insertion" | "landmark" | "link" | "list" | "listbox" | "listitem" | "log" | "main" | "marquee" | "math" | "menu" | "menubar" | "menuitem" | "menuitemcheckbox" | "menuitemradio" | "meter" | "navigation" | "none" | "note" | "option" | "paragraph" | "presentation" | "progressbar" | "radio" | "radiogroup" | "range" | "region" | "roletype" | "row" | "rowgroup" | "rowheader" | "scrollbar" | "search" | "searchbox" | "section" | "sectionhead" | "select" | "separator" | "slider" | "spinbutton" | "status" | "strong" | "structure" | "subscript" | "superscript" | "switch" | "tab" | "table" | "tablist" | "tabpanel" | "term" | "textbox" | "time" | "timer" | "toolbar" | "tooltip" | "tree" | "treegrid" | "treeitem" | "widget" | "window";
 interface HTMLAttributes<T> extends AriaAttributes, DOMAttributes<T> {
   children?: HTMLAttributeSource<Renderable>;
-  ref?: Ref.Ref<Option.Option<T>>;
+  ref?: SubscriptionRef.SubscriptionRef<Option.Option<T>>;
   /**
    * Provides a hint for generating a keyboard shortcut for the current element. This attribute consists of a space-separated list of characters. The browser should use the first one that exists on the computer keyboard layout.
    */
@@ -14661,7 +14722,7 @@ type ImagePreserveAspectRatio = SVGPreserveAspectRatio | "defer none" | "defer x
 type SVGUnits = "userSpaceOnUse" | "objectBoundingBox";
 interface SVGAttributes<T> extends DOMAttributes<T> {
   children?: HTMLAttributeSource<Renderable>;
-  ref?: Ref.Ref<Option.Option<T>>;
+  ref?: SubscriptionRef.SubscriptionRef<Option.Option<T>>;
   id?: HTMLAttributeSource<string>;
   lang?: HTMLAttributeSource<string>;
   /**
@@ -15151,4 +15212,4 @@ interface ElementDescriptor {
  */
 type Renderable = void | null | undefined | string | number | bigint | boolean | ElementDescriptor | Iterable<Renderable> | Stream.Stream<unknown, any, any> | Effect.Effect<unknown, any, any>;
 //#endregion
-export { StyleAttributeValue as C, Source as E, HTMLAttributeSource as S, NoPropValue as T, HTMLFormMethod as _, SVGElements as a, HTMLReferrerPolicy as b, HTMLRole as c, EventHandlerFn as d, HTMLAutocapitalize as f, HTMLFormEncType as g, HTMLDir as h, SVGAttributes as i, DOMAttributes as l, HTMLCrossorigin as m, ElementType as n, HTMLAttributes as o, HTMLAutocomplete as p, Renderable as r, HTMLElements as s, ElementDescriptor as t, EventHandler as u, HTMLIframeSandbox as v, StyleProperties as w, AriaAttributes as x, HTMLLinkAs as y };
+export { StyleAttributeValue as C, Subscribable as D, Source as E, index_d_exports as O, HTMLAttributeSource as S, NoPropValue as T, HTMLFormMethod as _, SVGElements as a, HTMLReferrerPolicy as b, HTMLRole as c, EventHandlerFn as d, HTMLAutocapitalize as f, HTMLFormEncType as g, HTMLDir as h, SVGAttributes as i, DOMAttributes as l, HTMLCrossorigin as m, ElementType as n, HTMLAttributes as o, HTMLAutocomplete as p, Renderable as r, HTMLElements as s, ElementDescriptor as t, EventHandler as u, HTMLIframeSandbox as v, StyleProperties as w, AriaAttributes as x, HTMLLinkAs as y };