fibrae 0.1.3 → 0.2.0

package/dist/shared.d.ts

@@ -4,7 +4,62 @@ import * as Effect from "effect/Effect";
 import * as Scope from "effect/Scope";
 import * as Deferred from "effect/Deferred";
 import * as Context from "effect/Context";
+import type * as Cause from "effect/Cause";
+import type * as Types from "effect/Types";
 import { Atom as BaseAtom } from "@effect-atom/atom";
+export type { Cause, Types };
+declare const ComponentScope_base: Context.TagClass<ComponentScope, "fibrae/ComponentScope", {
+    scope: Scope.Scope;
+    mounted: Deferred.Deferred<void>;
+}>;
+/**
+ * Service tag for accessing the current component's scope and mount signal.
+ *
+ * Provides:
+ * - `scope`: Register cleanup logic that runs when the component unmounts
+ * - `mounted`: Deferred that resolves after the component's DOM subtree commits
+ *
+ * @example
+ * ```tsx
+ * const JsonEditor = () =>
+ *   Effect.gen(function* () {
+ *     const { scope, mounted } = yield* ComponentScope;
+ *     const containerRef = { current: null as HTMLDivElement | null };
+ *
+ *     // Fork an effect that waits for mount, then initializes
+ *     yield* pipe(
+ *       Effect.gen(function* () {
+ *         yield* Deferred.await(mounted); // Wait for DOM to be ready
+ *         const editor = monaco.create(containerRef.current!);
+ *         yield* Scope.addFinalizer(scope, Effect.sync(() => editor.dispose()));
+ *       }),
+ *       Effect.forkScoped,
+ *       Scope.extend(scope)
+ *     );
+ *
+ *     return <div ref={el => containerRef.current = el} />;
+ *   });
+ * ```
+ *
+ * For simple cleanup without waiting for mount:
+ *
+ * @example
+ * ```tsx
+ * const JsonEditor = () =>
+ *   Effect.gen(function* () {
+ *     const { scope } = yield* ComponentScope;
+ *
+ *     // Register cleanup that runs on unmount
+ *     yield* Scope.addFinalizer(scope, Effect.sync(() => {
+ *       console.log("Editor unmounted");
+ *     }));
+ *
+ *     return <div />;
+ *   });
+ * ```
+ */
+export declare class ComponentScope extends ComponentScope_base {
+}
 /**
  * Primitive element types: HTML tags, text nodes, fragments, suspense, or boundary
  */
@@ -85,6 +140,8 @@ export interface Fiber {
     alternate: Option.Option<Fiber>;
     effectTag: Option.Option<"UPDATE" | "PLACEMENT" | "DELETION">;
     componentScope: Option.Option<Scope.Scope>;
+    /** Deferred that resolves after this component's DOM subtree commits */
+    mountedDeferred: Option.Option<Deferred.Deferred<void>>;
     accessedAtoms: Option.Option<Set<BaseAtom.Atom<any>>>;
     latestStreamValue: Option.Option<VElement>;
     childFirstCommitDeferred: Option.Option<Deferred.Deferred<void>>;
@@ -117,7 +174,7 @@ export declare const isPrimitive: (type: ElementType) => type is Primitive;
  */
 export declare const isComponent: (type: ElementType) => type is (props: {}) => VNode;
 export declare const isStream: (value: unknown) => value is Stream.Stream<any, any, any>;
-declare const HydrationMismatch_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const HydrationMismatch_base: new <A extends Record<string, any> = {}>(args: Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
     readonly _tag: "HydrationMismatch";
 } & Readonly<A>;
 /**
@@ -149,7 +206,7 @@ export declare class HydrationMismatch extends HydrationMismatch_base<{
     readonly path: string;
 }> {
 }
-declare const RenderError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const RenderError_base: new <A extends Record<string, any> = {}>(args: Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
     readonly _tag: "RenderError";
 } & Readonly<A>;
 /**
@@ -171,7 +228,7 @@ export declare class RenderError extends RenderError_base<{
     readonly componentName?: string;
 }> {
 }
-declare const StreamError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const StreamError_base: new <A extends Record<string, any> = {}>(args: Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
     readonly _tag: "StreamError";
 } & Readonly<A>;
 /**
@@ -188,7 +245,7 @@ export declare class StreamError extends StreamError_base<{
     readonly phase: "before-first-emission" | "after-first-emission";
 }> {
 }
-declare const EventHandlerError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const EventHandlerError_base: new <A extends Record<string, any> = {}>(args: Types.Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
     readonly _tag: "EventHandlerError";
 } & Readonly<A>;
 /**
@@ -208,4 +265,3 @@ export declare class EventHandlerError extends EventHandlerError_base<{
  * Used with ErrorBoundary's onError handlers for typed error matching.
  */
 export type ComponentError = RenderError | StreamError | EventHandlerError;
-export {};

package/dist/shared.js

@@ -6,6 +6,57 @@ import * as Deferred from "effect/Deferred";
 import * as Data from "effect/Data";
 import * as Context from "effect/Context";
 import { Atom as BaseAtom } from "@effect-atom/atom";
+// =============================================================================
+// Component Scope Service
+// =============================================================================
+/**
+ * Service tag for accessing the current component's scope and mount signal.
+ *
+ * Provides:
+ * - `scope`: Register cleanup logic that runs when the component unmounts
+ * - `mounted`: Deferred that resolves after the component's DOM subtree commits
+ *
+ * @example
+ * ```tsx
+ * const JsonEditor = () =>
+ *   Effect.gen(function* () {
+ *     const { scope, mounted } = yield* ComponentScope;
+ *     const containerRef = { current: null as HTMLDivElement | null };
+ *
+ *     // Fork an effect that waits for mount, then initializes
+ *     yield* pipe(
+ *       Effect.gen(function* () {
+ *         yield* Deferred.await(mounted); // Wait for DOM to be ready
+ *         const editor = monaco.create(containerRef.current!);
+ *         yield* Scope.addFinalizer(scope, Effect.sync(() => editor.dispose()));
+ *       }),
+ *       Effect.forkScoped,
+ *       Scope.extend(scope)
+ *     );
+ *
+ *     return <div ref={el => containerRef.current = el} />;
+ *   });
+ * ```
+ *
+ * For simple cleanup without waiting for mount:
+ *
+ * @example
+ * ```tsx
+ * const JsonEditor = () =>
+ *   Effect.gen(function* () {
+ *     const { scope } = yield* ComponentScope;
+ *
+ *     // Register cleanup that runs on unmount
+ *     yield* Scope.addFinalizer(scope, Effect.sync(() => {
+ *       console.log("Editor unmounted");
+ *     }));
+ *
+ *     return <div />;
+ *   });
+ * ```
+ */
+export class ComponentScope extends Context.Tag("fibrae/ComponentScope")() {
+}
 /**
  * Helper to check if a key is an event handler
  */

package/dist/shared.js.map

@@ -1 +1 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AA0HrD;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAE7D;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CACxC,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAExE;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAqB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;AAE9F;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,UAAU,CAAC;AAE7E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAyC,EAAE,CAChF,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC;AAE9E,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAOzE;CAAG;AAEL,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAK7D;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAK7D;CAAG;AAEL;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAKzE;CAAG"}
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAI1C,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAKrD,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,OAAO,cAAe,SAAQ,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAGrE;CAAG;AA4HN;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAE7D;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CACxC,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAExE;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAqB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;AAE9F;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,UAAU,CAAC;AAE7E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAyC,EAAE,CAChF,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC;AAE9E,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAOzE;CAAG;AAEL,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAK7D;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAK7D;CAAG;AAEL;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAKzE;CAAG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fibrae",
-  "version": "0.1.3",
+  "version": "0.2.0",
   "description": "Effect-first JSX renderer with automatic reactivity",
   "license": "MIT",
   "repository": {