@playfast/reform 1.2.1 → 1.4.0

package/dist/compose/structure.d.ts

@@ -0,0 +1,51 @@
+import type { SlotProps } from './slot.js';
+import type { EventsOf, UiContract } from './ui.js';
+export interface EachFill<P> {
+    readonly _tag: 'Each';
+    readonly items: ReadonlyArray<{
+        readonly key: string;
+        readonly props: P;
+    }>;
+}
+export interface OneFill<P> {
+    readonly _tag: 'One';
+    readonly props: P;
+}
+export interface AbsentFill {
+    readonly _tag: 'Absent';
+}
+export type SlotFill<P> = EachFill<P> | OneFill<P> | AbsentFill;
+export type StructureSlots<C extends UiContract> = C extends {
+    slots: infer S;
+} ? {
+    readonly [K in keyof S]: SlotFill<SlotProps<S[K]>>;
+} : Readonly<Record<PropertyKey, never>>;
+interface SerializableFrame<C extends UiContract> {
+    readonly props: C['props'];
+    readonly slots: StructureSlots<C>;
+}
+interface TriggeredFrame<C extends UiContract> extends SerializableFrame<C> {
+    readonly events: EventsOf<C>;
+}
+type MountFrame<C extends UiContract> = SerializableFrame<C> | TriggeredFrame<C>;
+export declare const StructureTypeId: unique symbol;
+export type StructureTypeId = typeof StructureTypeId;
+export interface Structure<C extends UiContract> {
+    readonly [StructureTypeId]: StructureTypeId;
+    readonly props: C['props'];
+    readonly slots: StructureSlots<C>;
+    readonly events: EventsOf<C> | undefined;
+}
+export declare const mount: <C extends UiContract>(frame: MountFrame<C>) => Structure<C>;
+export interface EachOptions<T, P> {
+    readonly key: (item: T) => string;
+    readonly props: (item: T) => P;
+}
+export declare const each: <T, P>(collection: Iterable<T>, options: EachOptions<T, P>) => EachFill<P>;
+export declare const one: <P>(props: P) => OneFill<P>;
+export declare const absent: AbsentFill;
+export declare const when: <F extends SlotFill<unknown>>(cond: boolean, fill: F) => F | AbsentFill;
+export declare const isStructure: (frame: unknown) => frame is Structure<UiContract>;
+export declare const structureEquals: (left: Structure<UiContract>, right: Structure<UiContract>) => boolean;
+export {};
+//# sourceMappingURL=structure.d.ts.map

package/dist/compose/structure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/compose/structure.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,MAAM,CAAA;AAEhD,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CAC3E;AAED,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,UAAU,CAAA;AAE/D,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAC3D,KAAK,EAAE,MAAM,CAAC,CAAA;CACf,GACG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACtD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,UAAU,iBAAiB,CAAC,CAAC,SAAS,UAAU;IAC9C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CAClC;AAED,UAAU,cAAc,CAAC,CAAC,SAAS,UAAU,CAAE,SAAQ,iBAAiB,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAC7B;AAED,KAAK,UAAU,CAAC,CAAC,SAAS,UAAU,IAAI,iBAAiB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;AAEhF,eAAO,MAAM,eAAe,EAAE,OAAO,MAAuC,CAAA;AAC5E,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAA;AAEpD,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,UAAU;IAC7C,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;CACzC;AAKD,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,UAAU,EAAE,OAAO,UAAU,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,CAK5E,CAAA;AAEF,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAA;CAC/B;AA8DD,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,YAAY,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,CAuB1F,CAAA;AAED,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAA6B,CAAA;AAExE,eAAO,MAAM,MAAM,EAAE,UAA+B,CAAA;AAEpD,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,OAAO,EAAE,MAAM,CAAC,KAAG,CAAC,GAAG,UACzD,CAAA;AAEtB,eAAO,MAAM,WAAW,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,SAAS,CAAC,UAAU,CACD,CAAA;AAmEzE,eAAO,MAAM,eAAe,GAC1B,MAAM,SAAS,CAAC,UAAU,CAAC,EAC3B,OAAO,SAAS,CAAC,UAAU,CAAC,KAC3B,OAGmD,CAAA"}

package/dist/compose/structure.js

@@ -0,0 +1,117 @@
+import { Equal, Option, Struct } from 'effect';
+import { reuse } from '../internal/reuse.js';
+export const StructureTypeId = Symbol.for('reform/Structure');
+const frameEvents = (frame) => 'events' in frame ? Option.some(frame.events) : Option.none();
+export const mount = (frame) => ({
+    events: Option.getOrUndefined(frameEvents(frame)),
+    props: frame.props,
+    slots: frame.slots,
+    [StructureTypeId]: StructureTypeId,
+});
+// Stable collection and callback identities retain unchanged fills by reference.
+const eachRetentions = new WeakMap();
+const latestEachRetentions = new WeakMap();
+const hasIdentity = (candidate) => (typeof candidate === 'object' && candidate !== null) || typeof candidate === 'function';
+const collectionRetentionsFor = (collection) => {
+    if (!hasIdentity(collection)) {
+        return undefined;
+    }
+    return (eachRetentions.get(collection) ?? {
+        byProps: new WeakMap(),
+    });
+};
+const sameElements = (previous, next) => previous.length === next.length &&
+    previous.every((element, index) => Object.is(element, next[index]));
+const isEachFill = (candidate) => isRecord(candidate) &&
+    candidate['_tag'] === 'Each' &&
+    Array.isArray(candidate['items']) &&
+    candidate['items'].every((entry) => isRecord(entry) && typeof entry['key'] === 'string' && 'props' in entry);
+const materializeEach = (elements, options) => ({
+    _tag: 'Each',
+    items: elements.map((element) => ({
+        key: options.key(element),
+        props: options.props(element),
+    })),
+});
+const retainEach = (previous, next) => {
+    if (!isEachFill(previous)) {
+        return next;
+    }
+    if (deepEquals({ left: previous, right: next })) {
+        return previous;
+    }
+    return reuse(previous, next);
+};
+export const each = (collection, options) => {
+    const elements = Array.from(collection);
+    const collectionRetentions = collectionRetentionsFor(collection);
+    const retained = collectionRetentions?.byProps.get(options.props)?.get(options.key);
+    const latest = hasIdentity(collection) ? latestEachRetentions.get(collection) : undefined;
+    if (retained !== undefined &&
+        sameElements(retained.elements, elements) &&
+        isEachFill(retained.fill)) {
+        return retained.fill;
+    }
+    const fill = retainEach(retained?.fill ?? latest?.fill, materializeEach(elements, options));
+    if (hasIdentity(collection) && collectionRetentions !== undefined) {
+        const byKey = collectionRetentions.byProps.get(options.props) ?? new WeakMap();
+        const retention = { elements, fill };
+        byKey.set(options.key, retention);
+        collectionRetentions.byProps.set(options.props, byKey);
+        eachRetentions.set(collection, collectionRetentions);
+        latestEachRetentions.set(collection, retention);
+    }
+    return fill;
+};
+export const one = (props) => ({ _tag: 'One', props });
+export const absent = { _tag: 'Absent' };
+export const when = (cond, fill) => cond ? fill : absent;
+export const isStructure = (frame) => typeof frame === 'object' && frame !== null && StructureTypeId in frame;
+const isRecord = (candidate) => typeof candidate === 'object' && candidate !== null && !Array.isArray(candidate);
+// A structural comparison is only meaningful over own enumerable keys when those
+// keys are the whole value — true of JSON-shaped records, false of everything
+// carrying its state anywhere else.
+const isPlainRecord = (candidate) => {
+    if (!isRecord(candidate)) {
+        return false;
+    }
+    const prototype = Object.getPrototypeOf(candidate);
+    return prototype === Object.prototype || prototype === null;
+};
+const recordEntriesEqual = (left, right, leftKeys) => leftKeys.length === Struct.keys(right).length &&
+    leftKeys.every((key) => Object.prototype.hasOwnProperty.call(right, key) &&
+        deepEquals({ left: left[key], right: right[key] }));
+const deepEquals = ({ left, right }) => {
+    if (Object.is(left, right)) {
+        return true;
+    }
+    if (Array.isArray(left) && Array.isArray(right)) {
+        return (left.length === right.length &&
+            left.every((element, index) => deepEquals({ left: element, right: right[index] })));
+    }
+    if (isPlainRecord(left) && isPlainRecord(right)) {
+        return recordEntriesEqual(left, right, Struct.keys(left));
+    }
+    // Not a plain record. Own enumerable keys describe nothing about a `Date`, `Map` or
+    // `Set` — comparing by them calls every one of them empty, and so equal — so ask
+    // the value itself first.
+    if (Equal.equals(left, right)) {
+        return true;
+    }
+    // Effect containers say no whenever they wrap a freshly allocated record, because
+    // their own equality bottoms out in reference identity. They do carry their payload
+    // in own properties, so descend: two structurally equal `Option.some({…})` are the
+    // same frame. A value with no own keys (a `Date`, a `Map`) has already answered.
+    if (!isRecord(left) || !isRecord(right)) {
+        return false;
+    }
+    const leftKeys = Struct.keys(left);
+    return (leftKeys.length > 0 &&
+        Object.getPrototypeOf(left) === Object.getPrototypeOf(right) &&
+        recordEntriesEqual(left, right, leftKeys));
+};
+export const structureEquals = (left, right) => 
+// Events are fresh trigger functions, so equality covers serializable frame data only.
+deepEquals({ left: left.props, right: right.props }) &&
+    deepEquals({ left: left.slots, right: right.slots });
+//# sourceMappingURL=structure.js.map

package/dist/compose/structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.js","sourceRoot":"","sources":["../../src/compose/structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAqCzC,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;AAU5E,MAAM,WAAW,GAAG,CAAuB,KAAoB,EAA8B,EAAE,CAC7F,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAe,CAAA;AAE5E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAuB,KAAoB,EAAgB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACjD,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,CAAC,eAAe,CAAC,EAAE,eAAe;CACnC,CAAC,CAAA;AAgBF,iFAAiF;AACjF,MAAM,cAAc,GAAG,IAAI,OAAO,EAAgC,CAAA;AAClE,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAyB,CAAA;AAEjE,MAAM,WAAW,GAAG,CAAC,SAAkB,EAAuB,EAAE,CAC9D,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,CAAC,IAAI,OAAO,SAAS,KAAK,UAAU,CAAA;AAE1F,MAAM,uBAAuB,GAAG,CAAC,UAAmB,EAAoC,EAAE;IACxF,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,CACL,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI;QAChC,OAAO,EAAE,IAAI,OAAO,EAA0C;KAC/D,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,QAAgC,EAAE,IAA4B,EAAW,EAAE,CAC/F,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;IAC/B,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAErE,MAAM,UAAU,GAAG,CAAI,SAAkB,EAA4B,EAAE,CACrE,QAAQ,CAAC,SAAS,CAAC;IACnB,SAAS,CAAC,MAAM,CAAC,KAAK,MAAM;IAC5B,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CACtB,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,CACnF,CAAA;AAEH,MAAM,eAAe,GAAG,CACtB,QAA0B,EAC1B,OAA0B,EACb,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;KAC9B,CAAC,CAAC;CACJ,CAAC,CAAA;AAEF,MAAM,UAAU,GAAG,CAAI,QAAiB,EAAE,IAAiB,EAAe,EAAE;IAC1E,IAAI,CAAC,UAAU,CAAI,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAChD,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,UAAuB,EAAE,OAA0B,EAAe,EAAE;IAC7F,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAA;IAChE,MAAM,QAAQ,GAAG,oBAAoB,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnF,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACzF,IACE,QAAQ,KAAK,SAAS;QACtB,YAAY,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QACzC,UAAU,CAAI,QAAQ,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAA;IACtB,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,IAAI,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3F,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,KAAK,GACT,oBAAoB,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,EAAyB,CAAA;QACzF,MAAM,SAAS,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;QACpC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;QACjC,oBAAoB,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACtD,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAA;QACpD,oBAAoB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAExE,MAAM,CAAC,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;AAEpD,MAAM,CAAC,MAAM,IAAI,GAAG,CAA8B,IAAa,EAAE,IAAO,EAAkB,EAAE,CAC1F,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAA;AAEtB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAc,EAAkC,EAAE,CAC5E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,IAAI,KAAK,CAAA;AAEzE,MAAM,QAAQ,GAAG,CAAC,SAAkB,EAAwC,EAAE,CAC5E,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAOlF,iFAAiF;AACjF,8EAA8E;AAC9E,oCAAoC;AACpC,MAAM,aAAa,GAAG,CAAC,SAAkB,EAAwC,EAAE;IACjF,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;IAClD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,IAA6B,EAC7B,KAA8B,EAC9B,QAA+B,EACtB,EAAE,CACX,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM;IAC7C,QAAQ,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;QAChD,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CACrD,CAAA;AAEH,MAAM,UAAU,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAa,EAAW,EAAE;IACzD,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CACnF,CAAA;IACH,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3D,CAAC;IACD,oFAAoF;IACpF,iFAAiF;IACjF,0BAA0B;IAC1B,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,kFAAkF;IAClF,oFAAoF;IACpF,mFAAmF;IACnF,iFAAiF;IACjF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClC,OAAO,CACL,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC;QAC5D,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAC1C,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAA2B,EAC3B,KAA4B,EACnB,EAAE;AACX,uFAAuF;AACvF,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IACpD,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA"}

package/dist/compose/ui.d.ts

@@ -0,0 +1,112 @@
+import type { FunctionComponent } from 'react';
+import { Context, type Schema } from 'effect';
+import type { AST } from 'effect/SchemaAST';
+import { type Manifest } from '../definition/definition.js';
+import type { Trigger } from '../ui/trigger.js';
+import { type AnySlot, type AnySlotInstance, type Node, type SlotProps } from './slot.js';
+interface UiContractOptionalFields {
+    slots: Record<string, AnySlotInstance>;
+    events: Record<string, Trigger<never>>;
+}
+export interface UiContract extends Partial<UiContractOptionalFields> {
+    props: unknown;
+}
+type PropsOf<C extends UiContract> = C['props'];
+export type EventsOf<C extends UiContract> = C extends {
+    events: infer E;
+} ? E : Readonly<Record<PropertyKey, never>>;
+type SlotsOf<C extends UiContract> = C extends {
+    slots: infer S;
+} ? {
+    readonly [K in keyof S]: FunctionComponent<Partial<SlotProps<S[K]> & {
+        readonly slotKey: string;
+    }>> & {
+        readonly props: ReadonlyArray<SlotProps<S[K]>>;
+    };
+} : Readonly<Record<PropertyKey, never>>;
+export type ViewImpl<C extends UiContract> = (props: PropsOf<C>, slots: SlotsOf<C>, events: EventsOf<C>) => Node;
+export declare const UiTypeId: unique symbol;
+export type UiTypeId = typeof UiTypeId;
+export declare const UiServiceTypeId: unique symbol;
+export type UiServiceTypeId = typeof UiServiceTypeId;
+export interface UiService<N extends string> {
+    readonly [UiServiceTypeId]: N;
+}
+export type CallableView = (...args: ReadonlyArray<never>) => unknown;
+export interface UiSchemaReflection {
+    readonly ast: AST;
+}
+interface UiManifestOptionalFields {
+    readonly props: UiSchemaReflection;
+    readonly events: Readonly<Record<string, UiSchemaReflection>>;
+}
+export interface UiManifest extends Manifest, Partial<UiManifestOptionalFields> {
+    readonly kind: 'Ui';
+}
+export interface WiredUiManifest extends UiManifest {
+    readonly props: UiSchemaReflection;
+}
+export type UiCapture<Result> = <C extends UiContract, N extends string>(contract: UiClass<C, N>) => Result;
+export interface UiReflection<out C extends UiContract = UiContract, out N extends string = string> {
+    new (): {};
+    readonly [UiTypeId]: UiTypeId;
+    readonly manifest: UiManifest & {
+        readonly name: N;
+    };
+    readonly Contract: C;
+}
+export interface AnyUi {
+    new (): {};
+    readonly [UiTypeId]: UiTypeId;
+    readonly manifest: UiManifest;
+    readonly capture: <Result>(visit: UiCapture<Result>) => Result;
+}
+export interface UiClass<C extends UiContract, N extends string> extends UiReflection<C, N> {
+    readonly capture: <Result>(visit: UiCapture<Result>) => Result;
+    readonly impl: Context.Tag<UiService<N>, ViewImpl<C>>;
+    readonly provider: Context.Tag<UiService<N>, CallableView>;
+}
+export type Contract<U> = U extends UiReflection<infer C, infer _N> ? C : never;
+export type UiName<U> = U extends UiReflection<infer _C, infer N> ? N : never;
+export type WiredUi<C extends UiContract, N extends string> = UiClass<C, N> & {
+    readonly manifest: WiredUiManifest;
+};
+interface WireSchemasOptionalFields {
+    readonly events: Readonly<Record<string, Schema.Schema.AnyNoContext>>;
+    readonly slots: Readonly<Record<string, AnySlot>>;
+}
+export interface WireSchemas extends Partial<WireSchemasOptionalFields> {
+    readonly props: Schema.Schema.AnyNoContext;
+}
+type DerivedEvents<Sch extends WireSchemas> = Sch extends {
+    readonly events: infer E extends Record<string, Schema.Schema.AnyNoContext>;
+} ? {
+    readonly [K in keyof E]: Trigger<Schema.Schema.Type<E[K]>>;
+} : Readonly<Record<PropertyKey, never>>;
+type DerivedSlots<Sch extends WireSchemas> = Sch extends {
+    readonly slots: infer S extends Record<string, AnySlot>;
+} ? {
+    readonly [K in keyof S]: InstanceType<S[K]>;
+} : Readonly<Record<PropertyKey, never>>;
+export type DerivedContract<Sch extends WireSchemas> = {
+    readonly props: Schema.Schema.Type<Sch['props']>;
+    readonly slots: DerivedSlots<Sch>;
+    readonly events: DerivedEvents<Sch>;
+};
+export declare const isUi: (candidate: unknown) => candidate is AnyUi;
+export declare function ui<const N extends string>(name: N): <C extends UiContract>() => UiClass<C, N>;
+export declare function ui<const N extends string, const Sch extends WireSchemas>(name: N, schemas: Sch): WiredUi<DerivedContract<Sch>, N>;
+export declare const UiViewContract: unique symbol;
+export type UiViewContract = typeof UiViewContract;
+export type MadeViewCapture<Result> = <C extends UiContract, N extends string, U extends AnyUi>(view: MadeView<C, N, U>) => Result;
+export type MadeView<C extends UiContract, N extends string, U extends AnyUi = UiClass<C, N>> = ViewImpl<C> & {
+    readonly [UiViewContract]: U;
+    readonly capture: <Result>(visit: MadeViewCapture<Result>) => Result;
+};
+export type AnyMadeView = CallableView & {
+    readonly [UiViewContract]: AnyUi;
+    readonly capture: <Result>(visit: MadeViewCapture<Result>) => Result;
+};
+export declare const make: <U extends AnyUi>(contract: U, view: ViewImpl<Contract<U>>) => MadeView<Contract<U>, UiName<U>, U>;
+export {};
+//# sourceMappingURL=ui.d.ts.map

package/dist/compose/ui.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../src/compose/ui.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAA;AAC9C,OAAO,EAAE,OAAO,EAA2B,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AACzE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,IAAI,EAAE,KAAK,SAAS,EAAE,MAAM,QAAQ,CAAA;AAGtF,UAAU,wBAAwB;IAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;CACvC;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO,CAAC,wBAAwB,CAAC;IACnE,KAAK,EAAE,OAAO,CAAA;CACf;AAED,KAAK,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,CAAA;AAC/C,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,CAAC,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAGxC,KAAK,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7D;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CACxC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CACxD,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;KAAE;CACvD,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,CAC3C,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EACjB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,KAChB,IAAI,CAAA;AAET,eAAO,MAAM,QAAQ,EAAE,OAAO,MAAgC,CAAA;AAC9D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAA;AAEtC,eAAO,MAAM,eAAe,EAAE,OAAO,MAAuC,CAAA;AAC5E,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAA;AAEpD,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM;IACzC,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAA;CAC9B;AAED,MAAM,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,OAAO,CAAA;AAErE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;CAClB;AAED,UAAU,wBAAwB;IAChC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;CAC9D;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ,EAAE,OAAO,CAAC,wBAAwB,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,UAAU;IACjD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAA;CACnC;AAED,MAAM,MAAM,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EACrE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KACpB,MAAM,CAAA;AAEX,MAAM,WAAW,YAAY,CAC3B,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EACrC,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAE7B,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAA;IACpD,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;CACrB;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAC/D;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,CAAE,SAAQ,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC;IACzF,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;IAC9D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACrD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;CAC3D;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAC/E,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7E,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAC5E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CACnC,CAAA;AAED,UAAU,yBAAyB;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAA;IACrE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CAClD;AAED,MAAM,WAAW,WAAY,SAAQ,OAAO,CAAC,yBAAyB,CAAC;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAA;CAC3C;AAED,KAAK,aAAa,CAAC,GAAG,SAAS,WAAW,IAAI,GAAG,SAAS;IACxD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;CAC5E,GACG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC9D,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,KAAK,YAAY,CAAC,GAAG,SAAS,WAAW,IAAI,GAAG,SAAS;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACxD,GACG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/C,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,MAAM,MAAM,eAAe,CAAC,GAAG,SAAS,WAAW,IAAI;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,IAAI,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,KAGhC,CAAA;AA8CvB,wBAAgB,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC9F,wBAAgB,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,GAAG,SAAS,WAAW,EACtE,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,GAAG,GACX,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAuBnC,eAAO,MAAM,cAAc,EAAE,OAAO,MAA8C,CAAA;AAClF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAA;AAElD,MAAM,MAAM,eAAe,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,EAC5F,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACpB,MAAM,CAAA;AAEX,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAC7B,QAAQ,CAAC,CAAC,CAAC,GAAG;IAChB,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACrE,CAAA;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG;IACvC,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,KAAK,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACrE,CAAA;AAED,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,KAAK,EAClC,UAAU,CAAC,EACX,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC1B,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAWpC,CAAA"}

package/dist/compose/ui.js

@@ -0,0 +1,58 @@
+import { Context, GlobalValue, MutableRef } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import {} from './slot.js';
+export const UiTypeId = Symbol.for('reform/Ui');
+export const UiServiceTypeId = Symbol.for('reform/UiService');
+export const isUi = (candidate) => (typeof candidate === 'function' || typeof candidate === 'object') &&
+    candidate !== null &&
+    UiTypeId in candidate;
+// Same rationale as `slot()` and `Composition.make`: two independently authored
+// definitions that happen to share a name are two contracts, not one. Keying the
+// runtime tag by name alone collapses them, and the last `provide` wins silently.
+// The wire still identifies a view by `manifest.name`, which is untouched.
+const uiDefinitionSequence = GlobalValue.globalValue(Symbol.for('reform/UiDefinitionSequence'), () => MutableRef.make(0));
+const nextUiTagKey = (name) => `reform/ui/${name}/${MutableRef.incrementAndGet(uiDefinitionSequence)}`;
+const buildUi = (name, manifest) => {
+    const key = nextUiTagKey(name);
+    const impl = Context.GenericTag(key);
+    const provider = Context.GenericTag(key);
+    const contract = definitionClass({
+        [UiTypeId]: UiTypeId,
+        manifest,
+        impl,
+        provider,
+        capture: (visit) => visit(contract),
+    });
+    return contract;
+};
+// oxlint-disable-next-line reform-rules/min-var-name -- `ui` is the public framework contract-authoring API; renaming would break every caller across the monorepo
+export function ui(name, schemas) {
+    if (schemas === undefined) {
+        return () => buildUi(name, {
+            kind: 'Ui',
+            name,
+        });
+    }
+    const eventFields = schemas.events === undefined ? {} : { events: schemas.events };
+    const manifest = {
+        kind: 'Ui',
+        name,
+        props: schemas.props,
+        ...eventFields,
+    };
+    return buildUi(name, manifest);
+}
+export const UiViewContract = Symbol.for('reform/ui/view-contract');
+export const make = (contract, view) => {
+    // Branded on a fresh wrapper rather than on `view` itself: the caller's function is
+    // theirs, and attaching in place lets a second `Ui.make` over the same view rebrand
+    // the first contract's binding out from under it.
+    const wrapped = (props, slots, events) => view(props, slots, events);
+    // oxlint-disable-next-line reform-rules/no-object-assign -- `wrapped` is callable; spread would drop callability, so its reflection statics are attached in place
+    const made = Object.assign(wrapped, {
+        [UiViewContract]: contract,
+        capture: (visit) => visit(made),
+    });
+    return made;
+};
+//# sourceMappingURL=ui.js.map

package/dist/compose/ui.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.js","sourceRoot":"","sources":["../../src/compose/ui.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAe,MAAM,QAAQ,CAAA;AAEtE,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAEzE,OAAO,EAAiE,MAAM,QAAQ,CAAA;AAgCtF,MAAM,CAAC,MAAM,QAAQ,GAAkB,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAG9D,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;AAuF5E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,SAAkB,EAAsB,EAAE,CAC7D,CAAC,OAAO,SAAS,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,QAAQ,CAAC;IAClE,SAAS,KAAK,IAAI;IAClB,QAAQ,IAAI,SAAS,CAAA;AAWvB,gFAAgF;AAChF,iFAAiF;AACjF,kFAAkF;AAClF,2EAA2E;AAC3E,MAAM,oBAAoB,GAAkC,WAAW,CAAC,WAAW,CACjF,MAAM,CAAC,GAAG,CAAC,6BAA6B,CAAC,EACzC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CACzB,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAC5C,aAAa,IAAI,IAAI,UAAU,CAAC,eAAe,CAAC,oBAAoB,CAAC,EAAE,CAAA;AAEzE,MAAM,OAAO,GAAG,CAKd,IAAO,EACP,QAAW,EAC+B,EAAE;IAC5C,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAA4B,GAAG,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAA6B,GAAG,CAAC,CAAA;IACpE,MAAM,QAAQ,GAAG,eAAe,CAA2C;QACzE,CAAC,QAAQ,CAAC,EAAE,QAAQ;QACpB,QAAQ;QACR,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE,CAAS,KAAwB,EAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;KAChC,CAAC,CAAA;IACzC,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AASD,mKAAmK;AACnK,MAAM,UAAU,EAAE,CAAyB,IAAO,EAAE,OAAqB;IACvE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,GAAwC,EAAE,CAC/C,OAAO,CAA0C,IAAI,EAAE;YACrD,IAAI,EAAE,IAAI;YACV,IAAI;SACL,CAAC,CAAA;IACN,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAA;IAClF,MAAM,QAAQ,GAA2C;QACvD,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,GAAG,WAAW;KACf,CAAA;IACD,OAAO,OAAO,CACZ,IAAI,EACJ,QAAQ,CACT,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAkB,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAA;AAqBlF,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,QAAW,EACX,IAA2B,EACU,EAAE;IACvC,oFAAoF;IACpF,oFAAoF;IACpF,kDAAkD;IAClD,MAAM,OAAO,GAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC3F,kKAAkK;IAClK,MAAM,IAAI,GAAwC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE;QACvE,CAAC,cAAc,CAAC,EAAE,QAAQ;QAC1B,OAAO,EAAE,CAAS,KAA8B,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KACzE,CAAC,CAAA;IACF,OAAO,IAAI,CAAA;AACb,CAAC,CAAA"}

package/dist/definition/definition.d.ts

@@ -0,0 +1,11 @@
+import { Effect } from 'effect';
+export type Kind = 'State' | 'StateGroup' | 'StateFamily' | 'Event' | 'EventGroup' | 'Reducer' | 'Calc' | 'CalcFamily' | 'AsyncCalc' | 'Resource' | 'RemoteState' | 'SyncedStore' | 'Boundary' | 'Procedure' | 'Channel' | 'Composition' | 'Ui' | 'Slot' | 'Feature';
+export interface Manifest {
+    readonly kind: Kind;
+    readonly name: string;
+}
+export declare function yieldableClass<A, E, R, Statics extends object>(read: Effect.Effect<A, E, R>, statics: Statics): {
+    new (): {};
+} & Effect.Effect<A, E, R> & Statics;
+export declare function definitionClass<Class>(statics: object): Class;
+//# sourceMappingURL=definition.d.ts.map

package/dist/definition/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/definition/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,YAAY,GACZ,aAAa,GACb,OAAO,GACP,YAAY,GACZ,SAAS,GACT,MAAM,GACN,YAAY,GACZ,WAAW,GACX,UAAU,GACV,aAAa,GACb,aAAa,GACb,UAAU,GACV,WAAW,GACX,SAAS,GACT,aAAa,GACb,IAAI,GACJ,MAAM,GACN,SAAS,CAAA;AAEb,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,SAAS,MAAM,EAC5D,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,OAAO,EAAE,OAAO,GACf;IAAE,QAAQ,EAAE,CAAA;CAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAA;AAoBpD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAA"}

package/dist/definition/definition.js

@@ -0,0 +1,35 @@
+import { Effect } from 'effect';
+import { attachInspectable } from '../internal/inspect.js';
+const describe = (statics) => ('manifest' in statics ? Reflect.get(statics, 'manifest') : undefined) ?? statics;
+export function yieldableClass(read, statics) {
+    class Base {
+    }
+    Object.setPrototypeOf(Base, read);
+    Reflect.ownKeys(statics).forEach((key) => {
+        const staticValue = Reflect.get(statics, key);
+        Object.defineProperty(Base, key, {
+            value: staticValue,
+            writable: true,
+            enumerable: true,
+            configurable: true,
+        });
+    });
+    attachInspectable(Base, () => describe(statics));
+    return Base;
+}
+export function definitionClass(statics) {
+    const Base = class {
+    };
+    Reflect.ownKeys(statics).forEach((key) => {
+        const staticValue = Reflect.get(statics, key);
+        Object.defineProperty(Base, key, {
+            value: staticValue,
+            writable: true,
+            enumerable: true,
+            configurable: true,
+        });
+    });
+    attachInspectable(Base, () => describe(statics));
+    return Base;
+}
+//# sourceMappingURL=definition.js.map

package/dist/definition/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../src/definition/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AAEvD,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAW,EAAE,CAC5C,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,OAAO,CAAA;AAgCnF,MAAM,UAAU,cAAc,CAC5B,IAA8C,EAC9C,OAAe;IAEf,MAAM,IAAI;KAAG;IACb,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACjC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACvC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAC7C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE;YAC/B,KAAK,EAAE,WAAW;YAClB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;SACnB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAChD,OAAO,IAAI,CAAA;AACb,CAAC;AAGD,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,MAAM,IAAI,GAAG;KAAQ,CAAA;IACrB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACvC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAC7C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE;YAC/B,KAAK,EAAE,WAAW;YAClB,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,IAAI;SACnB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAChD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/event/event.d.ts

@@ -0,0 +1,52 @@
+import { Effect, Layer, Option, Schema } from 'effect';
+import { type Manifest } from '../definition/definition.js';
+import { Bus, type Tagged } from '../runtime/bus.js';
+import type { Source } from '../state/token.js';
+import type { Trigger } from '../ui/trigger.js';
+export type EventOf<N extends string, P> = Tagged & {
+    readonly _tag: N;
+} & P;
+export interface EventSchemaReflection {
+    readonly ast: Schema.Schema<unknown, unknown, unknown>['ast'];
+}
+export interface EventManifest<N extends string> extends Manifest {
+    readonly kind: 'Event';
+    readonly name: N;
+    readonly schema: EventSchemaReflection;
+}
+export interface EventReflection<out N extends string = string, out P = unknown> {
+    new (): {};
+    readonly manifest: EventManifest<N>;
+    readonly tag: N;
+    readonly Payload: P;
+}
+export type EventCapture<Result> = <N extends string, P>(event: EventClass<N, P>) => Result;
+export interface AnyEvent extends EventReflection {
+    readonly buildUnknown: (payload: unknown) => Tagged;
+    readonly capture: <Result>(visit: EventCapture<Result>) => Result;
+}
+export interface EventClass<out N extends string, in out P> extends EventReflection<N, P> {
+    readonly build: (payload: P) => EventOf<N, P>;
+    readonly trigger: Effect.Effect<Trigger<P>, never, Bus>;
+    readonly buildUnknown: (payload: unknown) => Tagged;
+    readonly capture: <Result>(visit: EventCapture<Result>) => Result;
+}
+export type EventName<E> = E extends EventReflection<infer N, infer _P> ? N : never;
+export type EventPayload<E> = E extends EventReflection<string, infer P> ? P : never;
+export type EventType<E> = E extends EventReflection<infer N, infer P> ? EventOf<N, P> : never;
+export declare const make: <const N extends string, P, Encoded>(name: N, schema: Schema.Schema<P, Encoded, never>) => EventClass<N, P>;
+export declare function construct<N extends string, P>(event: EventClass<N, P>, payload: P): EventOf<N, P>;
+export declare function construct<E extends AnyEvent>(event: E, payload: EventPayload<E>): EventType<E>;
+export declare const dispatch: <E extends AnyEvent>(event: E, payload: EventPayload<E>) => Effect.Effect<void, never, Bus>;
+export declare const trigger: <N extends string, P>(event: EventClass<N, P>) => Effect.Effect<Trigger<P>, never, Bus>;
+export interface SourceChange<A> {
+    readonly previous: Option.Option<A>;
+    readonly current: A;
+}
+export interface SourceEventConfigExternalApi<A, P> {
+    readonly emitInitial?: boolean;
+    readonly payload: (change: SourceChange<A>) => Option.Option<P>;
+}
+export type SourceEventConfig<A, P> = SourceEventConfigExternalApi<A, P>;
+export declare const liveFromSource: <N extends string, P, SourceName extends string, A, Identifier>(event: EventClass<N, P>, source: Source<SourceName, A, Identifier>, config: SourceEventConfigExternalApi<A, P>) => Layer.Layer<never, never, Identifier | Bus>;
+//# sourceMappingURL=event.d.ts.map

package/dist/event/event.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../../src/event/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAc,MAAM,EAAmB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnF,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AAEzE,OAAO,EAAE,GAAG,EAAW,KAAK,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAE1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAAG,CAAC,CAAA;AAE5E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAA;CAC9D;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,QAAQ;IAC/D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;CACvC;AAED,MAAM,WAAW,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,OAAO;IAC7E,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAA;IACf,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED,MAAM,MAAM,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAA;AAE3F,MAAM,WAAW,QAAS,SAAQ,eAAe;IAC/C,QAAQ,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAClE;AAED,MAAM,WAAW,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC;IACvF,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;IACvD,QAAQ,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAClE;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACnF,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACpF,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA;AAE9F,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,OAAO,EACrD,MAAM,CAAC,EACP,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KACvC,UAAU,CAAC,CAAC,EAAE,CAAC,CAmDjB,CAAA;AAED,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAClG,wBAAgB,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAK/F,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,EACzC,OAAO,CAAC,EACR,SAAS,YAAY,CAAC,CAAC,CAAC,KACvB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAmD,CAAA;AAEpF,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EACzC,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACtB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAkB,CAAA;AAEzD,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED,MAAM,WAAW,4BAA4B,CAAC,CAAC,EAAE,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAChE;AACD,MAAM,MAAM,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAExE,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,UAAU,SAAS,MAAM,EAAE,CAAC,EAAE,UAAU,EAC1F,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACvB,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,UAAU,CAAC,EACzC,QAAQ,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,KACzC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,GAAG,CAqC1C,CAAA"}

package/dist/event/event.js

@@ -0,0 +1,88 @@
+import { Effect, Layer, MutableRef, Option, PubSub, Runtime, Schema } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { resolveScheduler, withInlineNotifications } from '../internal/scheduler.js';
+import { Bus, publish } from '../runtime/bus.js';
+import { applyReducers, Reducers } from '../runtime/loop.js';
+export const make = (name, schema) => {
+    const build = (payload) => ({ ...payload, _tag: name });
+    // Payloads at existential boundaries are already-decoded domain values, so
+    // check the Type side — decodeUnknownSync would reject transforming schemas
+    // (e.g. a real Option, whose _tag lives on the prototype).
+    const validatePayload = Schema.validateSync(schema);
+    const buildUnknown = (payload) => build(validatePayload(payload));
+    // A trigger is the UI's edge of the loop: it runs inside a discrete DOM event, and
+    // React decides what the DOM should look like before that event finishes. Deferring
+    // the reducer to the drain fiber means the props React reads back are one turn stale,
+    // which is what rewrites a controlled input's value and drops the caret to the end.
+    // So reducers for this one event run here, before the trigger returns, and the
+    // envelope goes out marked `reduced` for the channel/procedure half. Every batched
+    // path — `Event.dispatch`, procedure fan-out, streams — is untouched and still
+    // coalesces on the drain loop.
+    const trigger = Effect.gen(function* () {
+        const bus = yield* Bus;
+        // Optional: a bus can be provided without a reducer registry (bare harnesses,
+        // some test layers), and those keep the original deferred behaviour.
+        const reducers = yield* Effect.serviceOption(Reducers);
+        const runtime = yield* Effect.runtime();
+        return (payload) => {
+            const built = build(payload);
+            const reduced = Option.match(reducers, {
+                onNone: () => false,
+                onSome: (registry) => withInlineNotifications(() => {
+                    const failures = applyReducers({ registry, event: built });
+                    failures.forEach((failure) => Effect.runSync(Effect.logError(`reform: reducer threw handling '${failure.event._tag}'`, failure.error)));
+                    return true;
+                }),
+            });
+            Runtime.runSync(runtime)(PubSub.publish(bus, { priority: 'High', event: built, reduced }));
+        };
+    });
+    const event = definitionClass({
+        manifest: { kind: 'Event', name, schema },
+        tag: name,
+        build,
+        buildUnknown,
+        trigger,
+        capture: (visit) => visit(event),
+    });
+    return event;
+};
+export function construct(event, payload) {
+    return event.buildUnknown(payload);
+}
+export const dispatch = (event, payload) => publish('Normal', event.buildUnknown(payload));
+export const trigger = (event) => event.trigger;
+export const liveFromSource = (event, source, config) => Layer.scopedDiscard(Effect.gen(function* () {
+    const store = yield* source.store;
+    const scheduler = yield* resolveScheduler;
+    const runtime = yield* Effect.runtime();
+    const initial = store.getSnapshot();
+    // The scheduler coalesces bursts, so track the last value this adapter observed.
+    const seen = MutableRef.make(initial);
+    // A queued notification may outlive unsubscribe within the same tick.
+    const active = MutableRef.make(true);
+    const emit = (change) => {
+        if (!MutableRef.get(active)) {
+            return;
+        }
+        const payload = config.payload(change);
+        if (Option.isSome(payload)) {
+            Runtime.runSync(runtime)(publish('Normal', event.build(payload.value)));
+        }
+    };
+    const unsubscribe = store.subscribe(() => {
+        const current = store.getSnapshot();
+        const previous = MutableRef.get(seen);
+        MutableRef.set(seen, current);
+        emit({ previous: Option.some(previous), current });
+    });
+    yield* Effect.addFinalizer(() => Effect.sync(() => {
+        MutableRef.set(active, false);
+        unsubscribe();
+    }));
+    if (config.emitInitial === true) {
+        // Defer until reducers and procedures from the same layer build have registered.
+        scheduler.schedule([() => emit({ previous: Option.none(), current: initial })]);
+    }
+}));
+//# sourceMappingURL=event.js.map

package/dist/event/event.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.js","sourceRoot":"","sources":["../../src/event/event.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnF,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACjF,OAAO,EAAE,GAAG,EAAE,OAAO,EAAe,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAyCzD,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,IAAO,EACP,MAAwC,EACtB,EAAE;IACpB,MAAM,KAAK,GAAG,CAAC,OAAU,EAAiB,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IACzE,2EAA2E;IAC3E,4EAA4E;IAC5E,2DAA2D;IAC3D,MAAM,eAAe,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IACnD,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAU,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAA;IAClF,mFAAmF;IACnF,oFAAoF;IACpF,sFAAsF;IACtF,oFAAoF;IACpF,+EAA+E;IAC/E,mFAAmF;IACnF,+EAA+E;IAC/E,+BAA+B;IAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA;QACtB,8EAA8E;QAC9E,qEAAqE;QACrE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;QACtD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAS,CAAA;QAC9C,OAAO,CAAC,OAAU,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;gBACrC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;gBACnB,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CACnB,uBAAuB,CAAC,GAAG,EAAE;oBAC3B,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;oBAC1D,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3B,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,QAAQ,CACb,mCAAmC,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,EACxD,OAAO,CAAC,KAAK,CACd,CACF,CACF,CAAA;oBACD,OAAO,IAAI,CAAA;gBACb,CAAC,CAAC;aACL,CAAC,CAAA;YACF,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;QAC5F,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;IACF,MAAM,KAAK,GAAqB,eAAe,CAAmB;QAChE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,MAAM,EAAE;QAClD,GAAG,EAAE,IAAI;QACT,KAAK;QACL,YAAY;QACZ,OAAO;QACP,OAAO,EAAE,CAAS,KAA2B,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;KACvE,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAID,MAAM,UAAU,SAAS,CAAC,KAAe,EAAE,OAAgB;IACzD,OAAO,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;AACpC,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAQ,EACR,OAAwB,EACS,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;AAEpF,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,KAAuB,EACgB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAA;AAazD,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAuB,EACvB,MAAyC,EACzC,MAA0C,EACG,EAAE,CAC/C,KAAK,CAAC,aAAa,CACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAA;IACjC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,gBAAgB,CAAA;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAO,CAAA;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAA;IACnC,iFAAiF;IACjF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACrC,sEAAsE;IACtE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,CAAC,MAAuB,EAAQ,EAAE;QAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,OAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACzE,CAAC;IACH,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;QACvC,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAA;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACrC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7B,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IACF,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAC7B,WAAW,EAAE,CAAA;IACf,CAAC,CAAC,CACH,CAAA;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAChC,iFAAiF;QACjF,SAAS,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACjF,CAAC;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/event/eventGroup.d.ts

@@ -0,0 +1,8 @@
+import type { AnyEvent } from './event.js';
+export interface EventGroupClass<Members extends ReadonlyArray<AnyEvent>> {
+    new (): {};
+    readonly kind: 'EventGroup';
+    readonly members: Members;
+}
+export declare const make: <const Members extends ReadonlyArray<AnyEvent>>(...members: Members) => EventGroupClass<Members>;
+//# sourceMappingURL=eventGroup.d.ts.map

package/dist/event/eventGroup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eventGroup.d.ts","sourceRoot":"","sources":["../../src/event/eventGroup.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAEvC,MAAM,WAAW,eAAe,CAAC,OAAO,SAAS,aAAa,CAAC,QAAQ,CAAC;IACtE,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,QAAQ,CAAC,EAChE,GAAG,SAAS,OAAO,KAClB,eAAe,CAAC,OAAO,CAC2D,CAAA"}

package/dist/event/eventGroup.js

@@ -0,0 +1,3 @@
+import { definitionClass } from '../definition/definition.js';
+export const make = (...members) => definitionClass({ kind: 'EventGroup', members });
+//# sourceMappingURL=eventGroup.js.map

package/dist/event/eventGroup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eventGroup.js","sourceRoot":"","sources":["../../src/event/eventGroup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAS1D,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,GAAG,OAAgB,EACO,EAAE,CAC5B,eAAe,CAA2B,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,CAAC,CAAA"}