@playfast/reform 1.2.1 → 1.4.0

package/dist/channel/procedures.js

@@ -0,0 +1,82 @@
+import { Context, Layer, Option } from 'effect';
+import { makeBucketCache } from '../internal/bucketCache.js';
+const ProceduresBase = Context.Tag('reform/Procedures')();
+export class Procedures extends ProceduresBase {
+}
+const getOrCreate = (map, key, make) => {
+    const existing = map.get(key);
+    if (existing !== undefined) {
+        return existing;
+    }
+    const created = make();
+    map.set(key, created);
+    return created;
+};
+const dropFrom = (map, key, target) => {
+    const bucket = map.get(key);
+    if (bucket === undefined) {
+        return;
+    }
+    bucket.delete(target);
+    if (bucket.size === 0) {
+        map.delete(key);
+    }
+};
+const makeProcedureRegistry = () => {
+    const entries = new Set();
+    const byName = new Map();
+    const byTag = new Map();
+    const channelsByTag = new Map();
+    const channelsFor = makeBucketCache(channelsByTag);
+    const byChannelTag = new Map();
+    const snapshot = {
+        value: Option.some([]),
+    };
+    return {
+        get entries() {
+            return Option.getOrElse(snapshot.value, () => {
+                const current = Array.from(entries);
+                snapshot.value = Option.some(current);
+                return current;
+            });
+        },
+        byName,
+        byTag,
+        channelsByTag,
+        channelsFor: channelsFor.read,
+        byChannelTag,
+        register: (entry) => {
+            entries.add(entry);
+            snapshot.value = Option.none();
+            getOrCreate(byName, entry.name, () => new Set()).add(entry);
+            entry.handles.forEach((tag) => {
+                getOrCreate(byTag, tag, () => new Set()).add(entry);
+                getOrCreate(channelsByTag, tag, () => new Set()).add(entry.channelName);
+                channelsFor.invalidate(tag);
+                const channelMap = getOrCreate(byChannelTag, entry.channelName, () => new Map());
+                getOrCreate(channelMap, tag, () => new Set()).add(entry);
+            });
+        },
+        unregister: (entry) => {
+            entries.delete(entry);
+            snapshot.value = Option.none();
+            dropFrom(byName, entry.name, entry);
+            entry.handles.forEach((tag) => {
+                dropFrom(byTag, tag, entry);
+                const channelMap = byChannelTag.get(entry.channelName);
+                if (channelMap !== undefined) {
+                    dropFrom(channelMap, tag, entry);
+                    if (channelMap.get(tag) === undefined) {
+                        dropFrom(channelsByTag, tag, entry.channelName);
+                        channelsFor.invalidate(tag);
+                    }
+                    if (channelMap.size === 0) {
+                        byChannelTag.delete(entry.channelName);
+                    }
+                }
+            });
+        },
+    };
+};
+export const proceduresLayer = Layer.sync(Procedures, makeProcedureRegistry);
+//# sourceMappingURL=procedures.js.map

package/dist/channel/procedures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedures.js","sourceRoot":"","sources":["../../src/channel/procedures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAe,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAqBzD,MAAM,cAAc,GAClB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAiC,CAAA;AACnE,MAAM,OAAO,UAAW,SAAQ,cAAc;CAAG;AAEjD,MAAM,WAAW,GAAG,CAAO,GAAc,EAAE,GAAM,EAAE,IAAa,EAAK,EAAE;IACrE,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,EAAE,CAAA;IACtB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACrB,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAO,GAAmB,EAAE,GAAM,EAAE,MAAS,EAAQ,EAAE;IACtE,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAM;IACR,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACjB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,GAAsB,EAAE;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAA;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAA;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAA;IACpD,MAAM,WAAW,GAAG,eAAe,CAAC,aAAa,CAAC,CAAA;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAA4C,CAAA;IACxE,MAAM,QAAQ,GAAoD;QAChE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;KACvB,CAAA;IACD,OAAO;QACL,IAAI,OAAO;YACT,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACnC,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACrC,OAAO,OAAO,CAAA;YAChB,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,MAAM;QACN,KAAK;QACL,aAAa;QACb,WAAW,EAAE,WAAW,CAAC,IAAI;QAC7B,YAAY;QACZ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;YAClB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAClB,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAC3D,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACnD,WAAW,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;gBACvE,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;gBAChF,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAC1D,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;YACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACrB,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAA;YAC9B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACnC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;gBACtD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;oBAChC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;wBACtC,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;wBAC/C,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;oBAC7B,CAAC;oBACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBAC1B,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;oBACxC,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAA4B,KAAK,CAAC,IAAI,CAChE,UAAU,EACV,qBAAqB,CACtB,CAAA"}

package/dist/compose/composition.d.ts

@@ -0,0 +1,12 @@
+import { Effect, Layer, Option } from 'effect';
+import type { YieldWrap } from 'effect/Utils';
+import type { UiContract } from './ui.js';
+import type { CompositionActivation, CompositionActivationLayerInput, CompositionClass, CompositionConfig, CompositionId, CompositionLayerInput, CompositionService, ContextFreeProps, ContractSlots, Frame, PropsOf, RenderEnv, RequiredSlotIdentities, ScopedCompositionLiveConfig, StatesOf, UiCarrier } from './compositionTypes.js';
+export { CompositionIdTypeId } from './compositionTypes.js';
+export type { AnyComposition, CompositionActivation, CompositionCapture, CompositionClass, CompositionConfig, CompositionId, CompositionInstance, CompositionManifest, CompositionPropsReceiver, CompositionReflection, CompositionService, CompositionTag, Frame, HasExactCompositionId, RenderEnv, RequiredSlotIdentities, ScopedCompositionLiveConfig, SlotClassesOf, } from './compositionTypes.js';
+export declare const make: <const N extends string, const Config extends CompositionConfig, C extends UiContract, const UiName extends string>(name: N, config: Config & UiCarrier<C, UiName> & ContractSlots<C> & ContextFreeProps<Config>) => <Self>() => CompositionClass<PropsOf<Config>, C, StatesOf<Config>, N, Self>;
+export declare const live: <P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity, Eff extends YieldWrap<Effect.Effect<unknown, never, unknown>>>(composition: CompositionClass<P, C, S, N, Identity>, body: () => Generator<Eff, Frame<C>, never>) => Layer.Layer<CompositionId<N, Identity, RequiredSlotIdentities<C>>, never, CompositionLayerInput<Eff>>;
+export declare const liveScoped: <P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity, RenderEff extends YieldWrap<Effect.Effect<unknown, never, unknown>>, ActivationEff extends YieldWrap<Effect.Effect<unknown, never, unknown>>>(composition: CompositionClass<P, C, S, N, Identity>, config: ScopedCompositionLiveConfig<C, RenderEff, ActivationEff>) => Layer.Layer<CompositionId<N, Identity, RequiredSlotIdentities<C>>, never, CompositionLayerInput<RenderEff> | CompositionActivationLayerInput<ActivationEff>>;
+export declare const render: <P, C extends UiContract>(service: CompositionService<P, C>, env: RenderEnv<P>) => Effect.Effect<Frame<C>, never, never>;
+export declare const activation: <P, C extends UiContract>(service: CompositionService<P, C>, props: P) => Option.Option<CompositionActivation>;
+//# sourceMappingURL=composition.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition.d.ts","sourceRoot":"","sources":["../../src/compose/composition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,MAAM,EAAe,KAAK,EAAc,MAAM,EAAU,MAAM,QAAQ,CAAA;AACxF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAI7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,MAAM,CAAA;AACtC,OAAO,KAAK,EACV,qBAAqB,EACrB,+BAA+B,EAE/B,gBAAgB,EAChB,iBAAiB,EAEjB,aAAa,EACb,qBAAqB,EAErB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EAEb,KAAK,EAEL,OAAO,EACP,SAAS,EACT,sBAAsB,EACtB,2BAA2B,EAC3B,QAAQ,EACR,SAAS,EACV,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AACxD,YAAY,EACV,cAAc,EACd,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,KAAK,EACL,qBAAqB,EACrB,SAAS,EACT,sBAAsB,EACtB,2BAA2B,EAC3B,aAAa,GACd,MAAM,oBAAoB,CAAA;AAU3B,eAAO,MAAM,IAAI,GAEb,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,MAAM,SAAS,iBAAiB,EACtC,CAAC,SAAS,UAAU,EACpB,KAAK,CAAC,MAAM,SAAS,MAAM,EAE3B,MAAM,CAAC,EACP,QAAQ,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAEpF,IAAI,OAAK,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAmCvE,CAAA;AAEH,eAAO,MAAM,IAAI,GACf,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,GAAG,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAE7D,aAAa,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACnD,MAAM,MAAM,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAC1C,KAAK,CAAC,KAAK,CACZ,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,EACrD,KAAK,EACL,qBAAqB,CAAC,GAAG,CAAC,CAmB3B,CAAA;AAED,eAAO,MAAM,UAAU,GACrB,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EACR,SAAS,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EACnE,aAAa,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAEvE,aAAa,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACnD,QAAQ,2BAA2B,CAAC,CAAC,EAAE,SAAS,EAAE,aAAa,CAAC,KAC/D,KAAK,CAAC,KAAK,CACZ,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,EACrD,KAAK,EACL,qBAAqB,CAAC,SAAS,CAAC,GAAG,+BAA+B,CAAC,aAAa,CAAC,CA8BlF,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,SAAS,UAAU,EAC5C,SAAS,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,EACjC,KAAK,SAAS,CAAC,CAAC,CAAC,KAChB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAwB,CAAA;AAE/D,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,SAAS,UAAU,EAChD,SAAS,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,EACjC,OAAO,CAAC,KACP,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAA8B,CAAA"}

package/dist/compose/composition.js

@@ -0,0 +1,62 @@
+import { Context, Effect, GlobalValue, Layer, MutableRef, Option, Schema } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+import { CurrentTracker } from '../internal/track.js';
+import { propsTag } from './props.js';
+export { CompositionIdTypeId } from './compositionTypes.js';
+const compositionDefinitionSequence = GlobalValue.globalValue(Symbol.for('reform/CompositionDefinitionSequence'), () => MutableRef.make(0));
+const nextCompositionTagKey = (name) => `reform/composition/${name}/${MutableRef.incrementAndGet(compositionDefinitionSequence)}`;
+export const make = (name, config) => () => {
+    const identity = Symbol(name);
+    const props = propsTag();
+    const propsSchema = Schema.make(config.props?.ast ?? Schema.Unknown.ast);
+    // Both sides. `PropsOf<Config>` — and so every value a parent renders with — is
+    // the schema's Type, which is what the in-process call sites hold; a decode-only
+    // parser rejects a transforming props schema's own declared props. Props
+    // arriving over the wire are Encoded, so that reading has to keep working too.
+    const validateProps = Schema.validateOption(propsSchema);
+    const decodeProps = Schema.decodeUnknownOption(propsSchema);
+    const parseProps = (input) => Option.orElse(validateProps(input), () => decodeProps(input));
+    const tag = Context.GenericTag(nextCompositionTagKey(name));
+    const manifest = {
+        kind: 'Composition',
+        name,
+        ...config,
+    };
+    const composition = definitionClass({
+        manifest,
+        identity,
+        props,
+        parseProps,
+        acceptsProps: () => undefined,
+        tag,
+        capture: (visit) => visit(composition),
+    });
+    return composition;
+};
+export const live = (composition, body) => {
+    const logic = Effect.gen(body).pipe(Effect.orDie);
+    return Layer.effect(composition.tag, Effect.gen(function* () {
+        const context = yield* Effect.context();
+        const render = (env) => {
+            return logic.pipe(Effect.provideService(composition.props, env.props), Effect.provideService(CurrentTracker, env.tracker), Effect.provide(context));
+        };
+        return { render, activation: () => Option.none() };
+    }));
+};
+export const liveScoped = (composition, config) => {
+    const renderLogic = Effect.gen(config.render).pipe(Effect.orDie);
+    const activationLogic = Effect.gen(config.activate).pipe(Effect.orDie);
+    return Layer.effect(composition.tag, Effect.gen(function* () {
+        const renderContext = yield* Effect.context();
+        const activationContext = yield* Effect.context();
+        const render = (env) => renderLogic.pipe(Effect.provideService(composition.props, env.props), Effect.provideService(CurrentTracker, env.tracker), Effect.provide(renderContext));
+        const activation = (props) => {
+            const scoped = Layer.scopedDiscard(activationLogic.pipe(Effect.provideService(composition.props, props)));
+            return Option.some(scoped.pipe(Layer.provide(Layer.succeedContext(activationContext))));
+        };
+        return { render, activation };
+    }));
+};
+export const render = (service, env) => service.render(env);
+export const activation = (service, props) => service.activation(props);
+//# sourceMappingURL=composition.js.map

package/dist/compose/composition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition.js","sourceRoot":"","sources":["../../src/compose/composition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAExF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AA0BlC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAsBxD,MAAM,6BAA6B,GAAkC,WAAW,CAAC,WAAW,CAC1F,MAAM,CAAC,GAAG,CAAC,sCAAsC,CAAC,EAClD,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CACzB,CAAA;AAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CACrD,sBAAsB,IAAI,IAAI,UAAU,CAAC,eAAe,CAAC,6BAA6B,CAAC,EAAE,CAAA;AAE3F,MAAM,CAAC,MAAM,IAAI,GACf,CAME,IAAO,EACP,MAAmF,EACnF,EAAE,CACJ,GAA0E,EAAE;IAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,QAAQ,EAAmB,CAAA;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAC7B,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CACxC,CAAA;IACD,gFAAgF;IAChF,iFAAiF;IACjF,yEAAyE;IACzE,+EAA+E;IAC/E,MAAM,aAAa,GAAG,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAA;IACxD,MAAM,WAAW,GAAG,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAA;IAC3D,MAAM,UAAU,GAAG,CAAC,KAAc,EAAkC,EAAE,CACpE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAG5B,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAA;IAC9B,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,aAAa;QACnB,IAAI;QACJ,GAAG,MAAM;KAC0B,CAAA;IACrC,MAAM,WAAW,GAAG,eAAe,CAEjC;QACA,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,UAAU;QACV,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS;QAC7B,GAAG;QACH,OAAO,EAAE,CAAS,KAAiC,EAAU,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC;KACG,CAAC,CAAA;IACxF,OAAO,WAAW,CAAA;AACpB,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,IAAI,GAAG,CAQlB,WAAmD,EACnD,IAA2C,EAK3C,EAAE;IACF,MAAM,KAAK,GAA0D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CACxF,MAAM,CAAC,KAAK,CACb,CAAA;IACD,OAAO,KAAK,CAAC,MAAM,CACjB,WAAW,CAAC,GAAG,EACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAA8B,CAAA;QACnE,MAAM,MAAM,GAAG,CAAC,GAAiB,EAAyC,EAAE;YAC1E,OAAO,KAAK,CAAC,IAAI,CACf,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EACnD,MAAM,CAAC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,EAClD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CACxB,CAAA;QACH,CAAC,CAAA;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAA;IACpD,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CASxB,WAAmD,EACnD,MAAgE,EAKhE,EAAE;IACF,MAAM,WAAW,GAAgE,MAAM,CAAC,GAAG,CACzF,MAAM,CAAC,MAAM,CACd,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpB,MAAM,eAAe,GAAgE,MAAM,CAAC,GAAG,CAC7F,MAAM,CAAC,QAAQ,CAChB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAEpB,OAAO,KAAK,CAAC,MAAM,CACjB,WAAW,CAAC,GAAG,EACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAoC,CAAA;QAC/E,MAAM,iBAAiB,GACrB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAkD,CAAA;QACzE,MAAM,MAAM,GAAG,CAAC,GAAiB,EAAyC,EAAE,CAC1E,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EACnD,MAAM,CAAC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,EAClD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAC9B,CAAA;QACH,MAAM,UAAU,GAAG,CAAC,KAAQ,EAAwC,EAAE;YACpE,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAChC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACtE,CAAA;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;QACzF,CAAC,CAAA;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;IAC/B,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,OAAiC,EACjC,GAAiB,EACsB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AAE/D,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAAiC,EACjC,KAAQ,EAC8B,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA"}

package/dist/compose/compositionTypes.d.ts

@@ -0,0 +1,127 @@
+import type { Context, Effect, Layer, Option, Schema, Scope } from 'effect';
+import type { AST } from 'effect/SchemaAST';
+import type { YieldWrap } from 'effect/Utils';
+import type { Manifest } from '../definition/definition.js';
+import type { Tracker } from '../internal/track.js';
+import type { CurrentTracker } from '../internal/track.js';
+import type { PropsId, PropsTag } from './props.js';
+import type { AnySlot, AnySlotInstance, SlotClass, SlotInstance } from './slot.js';
+import type { Structure } from './structure.js';
+import type { UiClass, UiContract, UiReflection } from './ui.js';
+export type Frame<C extends UiContract = UiContract> = Structure<C>;
+export interface RenderEnv<out P = unknown> {
+    readonly props: P;
+    readonly tracker: Tracker;
+}
+export type CompositionActivation = Layer.Layer<never, never, never>;
+export interface CompositionService<in out P = unknown, out C extends UiContract = UiContract> {
+    readonly render: (env: RenderEnv<P>) => Effect.Effect<Frame<C>, never, never>;
+    readonly activation: (props: P) => Option.Option<CompositionActivation>;
+}
+export declare const CompositionIdTypeId: unique symbol;
+export type CompositionIdTypeId = typeof CompositionIdTypeId;
+export interface CompositionId<out N extends string, out Identity = unknown, out RequiredSlots = unknown> {
+    readonly [CompositionIdTypeId]: {
+        readonly name: N;
+        readonly identity: Identity;
+        readonly requiredSlots: RequiredSlots;
+    };
+}
+export type IsExact<Left, Right> = [Left] extends [Right] ? ([Right] extends [Left] ? true : false) : false;
+export type IsExactCompositionId<Service, N extends string, Identity> = Service extends {
+    readonly [CompositionIdTypeId]: {
+        readonly name: infer ServiceName extends string;
+        readonly identity: infer ServiceIdentity;
+    };
+} ? IsExact<ServiceName, N> extends true ? IsExact<ServiceIdentity, Identity> : false : false;
+export type IsAny<T> = 0 extends 1 & T ? true : false;
+export type HasExactCompositionId<Services, N extends string, Identity> = IsAny<Services> extends true ? false : true extends IsExactCompositionId<Services, N, Identity> ? true : false;
+export type CompositionTag<N extends string, P, C extends UiContract, Identity = unknown> = Context.Tag<CompositionId<N, Identity, RequiredSlotIdentities<C>>, CompositionService<P, C>>;
+export type SlotClassesOf<C extends UiContract> = C extends {
+    readonly slots: infer Slots extends Record<string, AnySlotInstance>;
+} ? {
+    readonly [K in keyof Slots]: Slots[K] extends SlotInstance<infer Child, infer SlotName, infer SlotIdentity> ? SlotClass<Child, SlotName, SlotIdentity> : never;
+} : Readonly<Record<PropertyKey, never>>;
+export type RequiredSlotIdentity<Slot> = Slot extends SlotInstance<infer _Target, infer _Name, infer Identity> ? Identity : never;
+export type RequiredSlotIdentities<C extends UiContract> = C extends {
+    readonly slots: infer Slots extends Record<string, AnySlotInstance>;
+} ? RequiredSlotIdentity<Slots[keyof Slots]> : never;
+export type CompositionSlots<C extends UiContract> = C extends {
+    readonly slots: infer Slots extends Record<string, AnySlotInstance>;
+} ? [Slots[keyof Slots]] extends [never] ? {} : {
+    readonly slots: SlotClassesOf<C>;
+} : {};
+export type CompositionManifest<C extends UiContract = UiContract, N extends string = string> = Manifest & Omit<CompositionConfig, 'slots' | 'ui'> & CompositionSlots<C> & {
+    readonly kind: 'Composition';
+    readonly name: N;
+    readonly ui: UiReflection<C>;
+};
+export interface CompositionInstance<out Identity = unknown> {
+    readonly _compositionIdentity: Identity;
+}
+export interface CompositionReflection<out P = unknown, out C extends UiContract = UiContract, out S extends ReadonlyArray<unknown> = ReadonlyArray<unknown>, out N extends string = string, out Identity = unknown> {
+    new (): CompositionInstance<Identity>;
+    readonly manifest: CompositionManifest<C, N>;
+    readonly Props: P;
+    readonly Contract: C;
+    readonly States: S;
+    readonly parseProps: (input: unknown) => Option.Option<P>;
+}
+export interface CompositionPropsReceiver<in P> {
+    readonly acceptsProps: (props: P) => void;
+}
+export type CompositionCapture<Result> = <P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity>(composition: CompositionClass<P, C, S, N, Identity>) => Result;
+export interface AnyComposition extends CompositionReflection {
+    readonly capture: <Result>(visit: CompositionCapture<Result>) => Result;
+}
+export interface CompositionSchema {
+    readonly ast: AST;
+}
+export type GeneratorContext<Eff> = [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect.Effect<infer _Success, infer _Error, infer R>>] ? R : never;
+export interface CompositionConfigOptionalFields {
+    readonly description: string;
+    readonly props: CompositionSchema;
+    readonly states: ReadonlyArray<unknown>;
+    readonly calcs: ReadonlyArray<unknown>;
+    readonly events: ReadonlyArray<unknown>;
+    readonly slots: Record<string, AnySlot>;
+}
+export interface CompositionConfig extends Partial<CompositionConfigOptionalFields> {
+    readonly title: string;
+    readonly ui: UiReflection;
+}
+export type PropsOf<Config> = Config extends {
+    props: infer PropsSchema;
+} ? PropsSchema extends Schema.Schema<infer P, infer _Encoded, infer _Context> ? P : unknown : unknown;
+export type EncodedPropsOf<Config> = Config extends {
+    props: infer PropsSchema;
+} ? PropsSchema extends Schema.Schema<infer _Props, infer Encoded, infer _Context> ? Encoded : unknown : unknown;
+export type StatesOf<Config> = Config extends {
+    states: infer S extends ReadonlyArray<unknown>;
+} ? S : readonly [];
+export interface CompositionClass<in out P, in out C extends UiContract = UiContract, out S extends ReadonlyArray<unknown> = ReadonlyArray<unknown>, in out N extends string = string, in out Identity = unknown> extends CompositionReflection<P, C, S, N, Identity>, CompositionPropsReceiver<P> {
+    readonly Props: P;
+    readonly Contract: C;
+    readonly States: S;
+    readonly identity: symbol;
+    readonly props: PropsTag<P>;
+    readonly tag: CompositionTag<N, P, C, Identity>;
+    readonly capture: <Result>(visit: CompositionCapture<Result>) => Result;
+}
+export type CompositionDefinitionStatics<P, C extends UiContract, S extends ReadonlyArray<unknown>, N extends string, Identity> = Pick<CompositionClass<P, C, S, N, Identity>, 'manifest' | 'identity' | 'props' | 'parseProps' | 'acceptsProps' | 'tag' | 'capture'>;
+export interface UiCarrier<C extends UiContract, UiName extends string> {
+    readonly ui: UiClass<C, UiName>;
+}
+export type ContractSlots<C extends UiContract> = CompositionSlots<C>;
+export type ContextFreeProps<Config> = Config extends {
+    readonly props: infer PropsSchema;
+} ? PropsSchema extends Schema.Schema<infer _P, infer _Encoded, infer Context> ? [Context] extends [never] ? unknown : {
+    readonly propsSchemaMustNotRequireServices: never;
+} : unknown : unknown;
+export type CompositionLayerInput<Eff> = Exclude<Exclude<GeneratorContext<Eff>, PropsId>, CurrentTracker>;
+export type CompositionActivationLayerInput<Eff> = Exclude<Exclude<GeneratorContext<Eff>, PropsId>, Scope.Scope>;
+export interface ScopedCompositionLiveConfig<C extends UiContract, RenderEff extends YieldWrap<Effect.Effect<unknown, never, unknown>>, ActivationEff extends YieldWrap<Effect.Effect<unknown, never, unknown>>> {
+    readonly render: () => Generator<RenderEff, Frame<C>, never>;
+    readonly activate: () => Generator<ActivationEff, void, never>;
+}
+//# sourceMappingURL=compositionTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compositionTypes.d.ts","sourceRoot":"","sources":["../../src/compose/compositionTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC3E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAA;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,MAAM,CAAA;AAE7D,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,CAAA;AAEnE,MAAM,WAAW,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO;IACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,MAAM,qBAAqB,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;AAEpE,MAAM,WAAW,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC3F,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC7E,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAA;CACxE;AAED,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAA2C,CAAA;AACpF,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAA;AAE5D,MAAM,WAAW,aAAa,CAC5B,GAAG,CAAC,CAAC,SAAS,MAAM,EACpB,GAAG,CAAC,QAAQ,GAAG,OAAO,EACtB,GAAG,CAAC,aAAa,GAAG,OAAO;IAE3B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC9B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QAChB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;QAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAA;KACtC,CAAA;CACF;AAED,MAAM,MAAM,OAAO,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;AAE3G,MAAM,MAAM,oBAAoB,CAAC,OAAO,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ,IAAI,OAAO,SAAS;IACtF,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,SAAS,MAAM,CAAA;QAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,eAAe,CAAA;KACzC,CAAA;CACF,GACG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,IAAI,GAClC,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC,GAClC,KAAK,GACP,KAAK,CAAA;AAET,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAErD,MAAM,MAAM,qBAAqB,CAAC,QAAQ,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ,IACpE,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,GACxB,KAAK,GACL,IAAI,SAAS,oBAAoB,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,GACtD,IAAI,GACJ,KAAK,CAAA;AAEb,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,QAAQ,GAAG,OAAO,IAChB,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAEhG,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACpE,GACG;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,YAAY,CACxD,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,YAAY,CACnB,GACG,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,GACxC,KAAK;CACV,GACD,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;AAExC,MAAM,MAAM,oBAAoB,CAAC,IAAI,IACnC,IAAI,SAAS,YAAY,CAAC,MAAM,OAAO,EAAE,MAAM,KAAK,EAAE,MAAM,QAAQ,CAAC,GAAG,QAAQ,GAAG,KAAK,CAAA;AAE1F,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACpE,GACG,oBAAoB,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,GACxC,KAAK,CAAA;AAET,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACpE,GACG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,EAAE,GACF;IAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,GACtC,EAAE,CAAA;AAEN,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,QAAQ,GACV,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,IAAI,CAAC,GACvC,gBAAgB,CAAC,CAAC,CAAC,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAC7B,CAAA;AAEH,MAAM,WAAW,mBAAmB,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO;IACzD,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAA;CACxC;AAED,MAAM,WAAW,qBAAqB,CACpC,GAAG,CAAC,CAAC,GAAG,OAAO,EACf,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EACrC,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,EAC7D,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAC7B,GAAG,CAAC,QAAQ,GAAG,OAAO;IAEtB,QAAQ,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAC1D;AAED,MAAM,WAAW,wBAAwB,CAAC,EAAE,CAAC,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAA;CAC1C;AAED,MAAM,MAAM,kBAAkB,CAAC,MAAM,IAAI,CACvC,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,WAAW,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAChD,MAAM,CAAA;AAEX,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACxE;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;CAClB;AAED,MAAM,MAAM,gBAAgB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACrD,KAAK,GACL,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,QAAQ,EAAE,MAAM,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAC7E,CAAC,GACD,KAAK,CAAA;AAGX,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACxC;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO,CAAC,+BAA+B,CAAC;IACjF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAA;CAC1B;AAED,MAAM,MAAM,OAAO,CAAC,MAAM,IAAI,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,WAAW,CAAA;CAAE,GACrE,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,QAAQ,EAAE,MAAM,QAAQ,CAAC,GACxE,CAAC,GACD,OAAO,GACT,OAAO,CAAA;AAEX,MAAM,MAAM,cAAc,CAAC,MAAM,IAAI,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,WAAW,CAAA;CAAE,GAC5E,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,MAAM,EAAE,MAAM,OAAO,EAAE,MAAM,QAAQ,CAAC,GAC5E,OAAO,GACP,OAAO,GACT,OAAO,CAAA;AAEX,MAAM,MAAM,QAAQ,CAAC,MAAM,IAAI,MAAM,SAAS;IAC5C,MAAM,EAAE,MAAM,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,CAAA;CAC/C,GACG,CAAC,GACD,SAAS,EAAE,CAAA;AAEf,MAAM,WAAW,gBAAgB,CAC/B,EAAE,CAAC,GAAG,CAAC,CAAC,EACR,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EACxC,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,EAC7D,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAChC,EAAE,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO,CAEzB,SAAQ,qBAAqB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC/C,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACxE;AAED,MAAM,MAAM,4BAA4B,CACtC,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,CAAC,SAAS,MAAM,EAChB,QAAQ,IACN,IAAI,CACN,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EACtC,UAAU,GAAG,UAAU,GAAG,OAAO,GAAG,YAAY,GAAG,cAAc,GAAG,KAAK,GAAG,SAAS,CACtF,CAAA;AAED,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,SAAS,MAAM;IACpE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAChC;AAED,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAA;AAErE,MAAM,MAAM,gBAAgB,CAAC,MAAM,IAAI,MAAM,SAAS;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,WAAW,CAAA;CAClC,GACG,WAAW,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,QAAQ,EAAE,MAAM,OAAO,CAAC,GACxE,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GACvB,OAAO,GACP;IAAE,QAAQ,CAAC,iCAAiC,EAAE,KAAK,CAAA;CAAE,GACvD,OAAO,GACT,OAAO,CAAA;AACX,MAAM,MAAM,qBAAqB,CAAC,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,CAAA;AAEzG,MAAM,MAAM,+BAA+B,CAAC,GAAG,IAAI,OAAO,CACxD,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,EACvC,KAAK,CAAC,KAAK,CACZ,CAAA;AAED,MAAM,WAAW,2BAA2B,CAC1C,CAAC,SAAS,UAAU,EACpB,SAAS,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EACnE,aAAa,SAAS,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAEvE,QAAQ,CAAC,MAAM,EAAE,MAAM,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;CAC/D"}

package/dist/compose/compositionTypes.js

@@ -0,0 +1,2 @@
+export const CompositionIdTypeId = Symbol.for('reform/CompositionId');
+//# sourceMappingURL=compositionTypes.js.map

package/dist/compose/compositionTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compositionTypes.js","sourceRoot":"","sources":["../../src/compose/compositionTypes.ts"],"names":[],"mappings":"AAyBA,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA"}

package/dist/compose/host.d.ts

@@ -0,0 +1,6 @@
+import type { Node } from './slot.js';
+export interface SlotRenderer {
+    (props: unknown): Node;
+    readonly props: ReadonlyArray<unknown>;
+}
+//# sourceMappingURL=host.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../src/compose/host.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAElC,MAAM,WAAW,YAAY;IAC3B,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACvC"}

package/dist/compose/host.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=host.js.map

package/dist/compose/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../src/compose/host.ts"],"names":[],"mappings":""}

package/dist/compose/props.d.ts

@@ -0,0 +1,10 @@
+import { Context } from 'effect';
+export declare const PropsIdTypeId: unique symbol;
+export type PropsIdTypeId = typeof PropsIdTypeId;
+export interface PropsId {
+    readonly [PropsIdTypeId]: PropsIdTypeId;
+}
+export type PropsTag<P> = Context.Tag<PropsId, P>;
+export declare const propsTag: <P>() => PropsTag<P>;
+export declare const Props: PropsTag<unknown>;
+//# sourceMappingURL=props.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"props.d.ts","sourceRoot":"","sources":["../../src/compose/props.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,eAAO,MAAM,aAAa,EAAE,OAAO,MAAqC,CAAA;AACxE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAA;AAEhD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,aAAa,CAAA;CACxC;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;AAEjD,eAAO,MAAM,QAAQ,GAAI,CAAC,OAAK,QAAQ,CAAC,CAAC,CAAmD,CAAA;AAG5F,eAAO,MAAM,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAuB,CAAA"}

package/dist/compose/props.js

@@ -0,0 +1,6 @@
+import { Context } from 'effect';
+export const PropsIdTypeId = Symbol.for('reform/PropsId');
+export const propsTag = () => Context.GenericTag('reform/Props');
+// Unknown keeps the compatibility reader from leaking untyped props.
+export const Props = propsTag();
+//# sourceMappingURL=props.js.map

package/dist/compose/props.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"props.js","sourceRoot":"","sources":["../../src/compose/props.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,MAAM,CAAC,MAAM,aAAa,GAAkB,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAA;AASxE,MAAM,CAAC,MAAM,QAAQ,GAAG,GAAmB,EAAE,CAAC,OAAO,CAAC,UAAU,CAAa,cAAc,CAAC,CAAA;AAE5F,qEAAqE;AACrE,MAAM,CAAC,MAAM,KAAK,GAAsB,QAAQ,EAAW,CAAA"}

package/dist/compose/provide.d.ts

@@ -0,0 +1,18 @@
+import { Layer } from 'effect';
+import { type EngineServices } from '../feature/feature.js';
+import type { AnyComposition, CompositionClass, CompositionId, RequiredSlotIdentities } from './composition.js';
+import type { CompositionChildSummary, ExactServiceExclude, FeatureSummaryOpenServices, FeatureSummarySupportOpenServices } from '../graph/closure.js';
+import { type AnyFeatureSlotTarget, type AnySlot, type SlotClass, type SlotService } from './slot.js';
+import { type Contract, type AnyUi, type UiName, type UiContract, type UiService, type ViewImpl } from './ui.js';
+type TargetOfSlotClass<Slot extends AnySlot> = InstanceType<Slot>['_slot'];
+type NameOfSlotClass<Slot extends AnySlot> = InstanceType<Slot>['_slotName'];
+type IdentityOfSlotClass<Slot extends AnySlot> = InstanceType<Slot>['_slotIdentity'];
+type FeatureTargetOfSlotClass<Slot extends AnySlot> = TargetOfSlotClass<Slot> extends AnyFeatureSlotTarget ? TargetOfSlotClass<Slot> : never;
+type CompositionIdentityOf<Composition extends AnyComposition> = InstanceType<Composition>['_compositionIdentity'];
+export declare const provideMergeExact: <Provided, ProviderError, ProviderInput>(provider: Layer.Layer<Provided, ProviderError, ProviderInput>) => <Output, Error, Input>(consumer: Layer.Layer<Output, Error, Input>) => Layer.Layer<Provided | Output, ProviderError | Error, ProviderInput | Exclude<Input, Provided> | ExactServiceExclude<Input, Provided>>;
+export declare const provideExisting: <P, C extends UiContract, S extends ReadonlyArray<unknown>, CompositionName extends string, CompositionIdentity, SlotName extends string, SlotIdentity>(hole: SlotClass<CompositionClass<P, C, S, CompositionName, CompositionIdentity>, SlotName, SlotIdentity>, composition: NoInfer<CompositionClass<P, C, S, CompositionName, CompositionIdentity>>) => Layer.Layer<SlotService<SlotName, SlotIdentity, CompositionChildSummary<CompositionIdentity>>, never, CompositionId<CompositionName, CompositionIdentity, RequiredSlotIdentities<C>>>;
+export declare function provide<U extends AnyUi>(contract: U, view: ViewImpl<Contract<U>>): Layer.Layer<UiService<UiName<U>>>;
+export declare function provide<Comp extends AnyComposition, N extends string, Identity>(hole: SlotClass<Comp, N, Identity>, composition: NoInfer<Comp>): Layer.Layer<SlotService<N, Identity, CompositionChildSummary<CompositionIdentityOf<Comp>>>>;
+export declare function provide<Slot extends AnySlot>(hole: Slot, feature: NoInfer<FeatureTargetOfSlotClass<Slot>>): Layer.Layer<SlotService<NameOfSlotClass<Slot>, IdentityOfSlotClass<Slot>, FeatureTargetOfSlotClass<Slot>['summary']>, never, EngineServices | FeatureSummaryOpenServices<FeatureTargetOfSlotClass<Slot>['summary']> | FeatureSummarySupportOpenServices<FeatureTargetOfSlotClass<Slot>['summary']>>;
+export {};
+//# sourceMappingURL=provide.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"provide.d.ts","sourceRoot":"","sources":["../../src/compose/provide.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,EAAa,MAAM,QAAQ,CAAA;AAE1D,OAAO,EAEL,KAAK,cAAc,EAKpB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EACV,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACvB,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EAEV,uBAAuB,EACvB,mBAAmB,EACnB,0BAA0B,EAC1B,iCAAiC,EAClC,MAAM,kBAAkB,CAAA;AACzB,OAAO,EACL,KAAK,oBAAoB,EACzB,KAAK,OAAO,EAEZ,KAAK,SAAS,EACd,KAAK,WAAW,EAEjB,MAAM,QAAQ,CAAA;AACf,OAAO,EAEL,KAAK,QAAQ,EACb,KAAK,KAAK,EAEV,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,QAAQ,EACd,MAAM,MAAM,CAAA;AAEb,KAAK,iBAAiB,CAAC,IAAI,SAAS,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAA;AAC1E,KAAK,eAAe,CAAC,IAAI,SAAS,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAA;AAC5E,KAAK,mBAAmB,CAAC,IAAI,SAAS,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAA;AACpF,KAAK,wBAAwB,CAAC,IAAI,SAAS,OAAO,IAChD,iBAAiB,CAAC,IAAI,CAAC,SAAS,oBAAoB,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;AAExF,KAAK,qBAAqB,CAAC,WAAW,SAAS,cAAc,IAC3D,YAAY,CAAC,WAAW,CAAC,CAAC,sBAAsB,CAAC,CAAA;AAGnD,eAAO,MAAM,iBAAiB,GAC3B,QAAQ,EAAE,aAAa,EAAE,aAAa,EACrC,UAAU,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,aAAa,CAAC,MAE9D,MAAM,EAAE,KAAK,EAAE,KAAK,EACnB,UAAU,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAC1C,KAAK,CAAC,KAAK,CACZ,QAAQ,GAAG,MAAM,EACjB,aAAa,GAAG,KAAK,EACrB,aAAa,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAK9E,CAAA;AAuBL,eAAO,MAAM,eAAe,GAC1B,CAAC,EACD,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,eAAe,SAAS,MAAM,EAC9B,mBAAmB,EACnB,QAAQ,SAAS,MAAM,EACvB,YAAY,EAEZ,MAAM,SAAS,CACb,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,mBAAmB,CAAC,EAC/D,QAAQ,EACR,YAAY,CACb,EACD,aAAa,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC,KACpF,KAAK,CAAC,KAAK,CACZ,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,uBAAuB,CAAC,mBAAmB,CAAC,CAAC,EACjF,KAAK,EACL,aAAa,CAAC,eAAe,EAAE,mBAAmB,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAQ7E,CAAA;AAgCH,wBAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,EACrC,QAAQ,EAAE,CAAC,EACX,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAC1B,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACpC,wBAAgB,OAAO,CAAC,IAAI,SAAS,cAAc,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ,EAC7E,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAClC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,GACzB,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AAC9F,wBAAgB,OAAO,CAAC,IAAI,SAAS,OAAO,EAC1C,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,GAC/C,KAAK,CAAC,KAAK,CACZ,WAAW,CACT,eAAe,CAAC,IAAI,CAAC,EACrB,mBAAmB,CAAC,IAAI,CAAC,EACzB,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAC1C,EACD,KAAK,EACH,cAAc,GACd,0BAA0B,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,GACrE,iCAAiC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAC/E,CAAA"}

package/dist/compose/provide.js

@@ -0,0 +1,49 @@
+import { Context, Effect, Layer, Predicate } from 'effect';
+import { InvalidProvideTarget } from '../internal/errors.js';
+import { isFeature, tree, } from '../feature/feature.js';
+import { isSlot, } from './slot.js';
+import { isUi, } from './ui.js';
+// Preserve exact residual inputs that Layer.provideMerge's union subtraction hides.
+export const provideMergeExact = (provider) => (consumer) => Layer.merge(Layer.provideMerge(provider)(consumer), Layer.effectDiscard(Effect.context()));
+const compositionSlotLayer = (slotDefinition, composition) => Layer.succeed(Context.GenericTag(slotDefinition.tag.key), composition);
+export const provideExisting = (hole, composition) => Layer.effect(Context.GenericTag(hole.tag.key), Effect.as(composition.tag, composition));
+const featureSlotLayer = (slotDefinition, binding) => Layer.succeed(Context.GenericTag(slotDefinition.tag.key), binding);
+const isComposition = (candidate) => (typeof candidate === 'function' || typeof candidate === 'object') &&
+    candidate !== null &&
+    Predicate.hasProperty(candidate, 'manifest') &&
+    Predicate.isRecord(candidate.manifest) &&
+    candidate.manifest['kind'] === 'Composition' &&
+    Predicate.hasProperty(candidate, 'capture') &&
+    typeof candidate.capture === 'function';
+const isCallableView = (candidate) => typeof candidate === 'function';
+export function provide(...args) {
+    const [target, implementation] = args;
+    if (isUi(target)) {
+        if (!isCallableView(implementation)) {
+            return Layer.die(new InvalidProvideTarget());
+        }
+        return target.capture((contract) => Layer.succeed(contract.provider, implementation));
+    }
+    if (!isSlot(target)) {
+        return Layer.die(new InvalidProvideTarget());
+    }
+    return target.capture((slotDefinition) => {
+        if (isFeature(implementation)) {
+            const native = tree(implementation.token);
+            return native.binding.capture((featureBinding) => {
+                // Lazy features merge only eager support; default features merge their live module.
+                const eager = native.eagerModule ?? native.supportModule;
+                const binding = featureSlotLayer(slotDefinition, featureBinding);
+                if (eager === undefined) {
+                    return binding;
+                }
+                return eager.capture((module) => Layer.merge(binding, module.layer));
+            });
+        }
+        if (!isComposition(implementation)) {
+            return Layer.die(new InvalidProvideTarget());
+        }
+        return implementation.capture((composition) => compositionSlotLayer(slotDefinition, composition));
+    });
+}
+//# sourceMappingURL=provide.js.map

package/dist/compose/provide.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provide.js","sourceRoot":"","sources":["../../src/compose/provide.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACzD,OAAO,EAKL,SAAS,EACT,IAAI,GACL,MAAM,oBAAoB,CAAA;AAc3B,OAAO,EAGL,MAAM,GAIP,MAAM,QAAQ,CAAA;AACf,OAAO,EAIL,IAAI,GAKL,MAAM,MAAM,CAAA;AAWb,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAC5B,CACE,QAA6D,EAC7D,EAAE,CACJ,CACE,QAA2C,EAK3C,EAAE,CACF,KAAK,CAAC,KAAK,CACT,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EACtC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAwC,CAAC,CAC5E,CAAA;AAEL,MAAM,oBAAoB,GAAG,CAU3B,cAAyD,EACzD,WAA4E,EACoB,EAAE,CAClG,KAAK,CAAC,OAAO,CACX,OAAO,CAAC,UAAU,CAGhB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EACzB,WAAW,CACZ,CAAA;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAS7B,IAIC,EACD,WAAqF,EAKrF,EAAE,CACF,KAAK,CAAC,MAAM,CACV,OAAO,CAAC,UAAU,CAGhB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EACf,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,CACxC,CAAA;AAEH,MAAM,gBAAgB,GAAG,CAQvB,cAAyD,EACzD,OAAsD,EACK,EAAE,CAC7D,KAAK,CAAC,OAAO,CACX,OAAO,CAAC,UAAU,CAChB,cAAc,CAAC,GAAG,CAAC,GAAG,CACvB,EACD,OAAO,CACR,CAAA;AAEH,MAAM,aAAa,GAAG,CAAC,SAAkB,EAA+B,EAAE,CACxE,CAAC,OAAO,SAAS,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,QAAQ,CAAC;IAClE,SAAS,KAAK,IAAI;IAClB,SAAS,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC;IAC5C,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;IACtC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,aAAa;IAC5C,SAAS,CAAC,WAAW,CAAC,SAAS,EAAE,SAAS,CAAC;IAC3C,OAAO,SAAS,CAAC,OAAO,KAAK,UAAU,CAAA;AAEzC,MAAM,cAAc,GAAG,CAAC,SAAkB,EAA6B,EAAE,CACvE,OAAO,SAAS,KAAK,UAAU,CAAA;AAwBjC,MAAM,UAAU,OAAO,CAAC,GAAG,IAAyD;IAClF,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,IAAI,CAAA;IACrC,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAA;IAChG,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAU,CAAC,cAAc,EAAE,EAAE;QAChD,IAAI,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAwB,cAAc,CAAC,KAAK,CAAC,CAAA;YAChE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAU,CAAC,cAAc,EAAE,EAAE;gBACxD,oFAAoF;gBACpF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,aAAa,CAAA;gBACxD,MAAM,OAAO,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;gBAChE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,OAAO,OAAO,CAAA;gBAChB,CAAC;gBACD,OAAO,KAAK,CAAC,OAAO,CAAU,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;YAC/E,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,cAAc,CAAC,OAAO,CAAU,CAAC,WAAW,EAAE,EAAE,CACrD,oBAAoB,CAAC,cAAc,EAAE,WAAW,CAAC,CAClD,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/compose/slot.d.ts

@@ -0,0 +1,70 @@
+import { Context } from 'effect';
+import { type Manifest } from '../definition/definition.js';
+import type { AnyFeatureBinding, ProvideableFeature } from '../feature/feature.js';
+import type { AnyFeatureGraphSummary, FeatureSummaryCompositionIdentity, FeatureSummaryCompositionProps, FeatureSummaryContract, FeatureSummaryMountProps, FeatureSummaryName, FeatureSummaryStates, FeatureSummaryIdentity, SlotBindingSummary } from '../graph/closure.js';
+import type { Node } from '../ui/node.js';
+import type { AnyComposition, CompositionClass } from './composition.js';
+export type { Node };
+export type { AnyComposition } from './composition.js';
+type AnyProvideableFeature = ProvideableFeature<unknown, AnyFeatureGraphSummary>;
+export type FeatureSlotTarget<Feature extends AnyProvideableFeature> = ProvideableFeature<FeatureSummaryIdentity<Feature['summary']>, Feature['summary']>;
+export type AnyFeatureSlotTarget = FeatureSlotTarget<AnyProvideableFeature>;
+export type SlotTarget = AnyComposition | AnyFeatureSlotTarget;
+export type CompositionOfSlotTarget<Target extends SlotTarget> = Target extends AnyComposition ? Target : Target extends AnyFeatureSlotTarget ? CompositionClass<FeatureSummaryCompositionProps<Target['summary']>, FeatureSummaryContract<Target['summary']>, FeatureSummaryStates<Target['summary']>, FeatureSummaryName<Target['summary']>, FeatureSummaryCompositionIdentity<Target['summary']>> : never;
+export type PropsOfSlotTarget<Target extends SlotTarget> = Target extends AnyComposition ? Target['Props'] : Target extends AnyFeatureSlotTarget ? FeatureSummaryMountProps<Target['summary']> : never;
+export type ContractOfSlotTarget<Target extends SlotTarget> = Target extends AnyComposition ? Target['Contract'] : Target extends AnyFeatureSlotTarget ? FeatureSummaryContract<Target['summary']> : never;
+export type SlotChild<Target extends SlotTarget> = Target extends AnyComposition ? Target | (AnyFeatureBinding & {
+    readonly composition: Target;
+}) : Target extends AnyFeatureSlotTarget ? AnyFeatureBinding & {
+    readonly summary: Target['summary'];
+} : never;
+export type AnySlotChild = AnyComposition | AnyFeatureBinding;
+export interface AnySlotInstance {
+    readonly _slot: SlotTarget;
+    readonly _slotName: string;
+    readonly _slotIdentity: unknown;
+}
+export interface SlotInstance<Target extends SlotTarget, N extends string, Identity> extends AnySlotInstance {
+    readonly _slot: Target;
+    readonly _slotName: N;
+    readonly _slotIdentity: Identity;
+}
+export declare const SlotTypeId: unique symbol;
+export type SlotTypeId = typeof SlotTypeId;
+export declare const SlotServiceTypeId: unique symbol;
+export type SlotServiceTypeId = typeof SlotServiceTypeId;
+export interface SlotService<N extends string, Identity = unknown, out Binding extends SlotBindingSummary = SlotBindingSummary> {
+    readonly [SlotServiceTypeId]: {
+        readonly name: N;
+        readonly identity: Identity;
+        readonly binding: Binding;
+    };
+}
+export interface SlotManifest<N extends string = string> extends Manifest {
+    readonly kind: 'Slot';
+    readonly name: N;
+}
+export type SlotCapture<Result> = <Target extends SlotTarget, N extends string, Identity>(slotDefinition: SlotClass<Target, N, Identity>) => Result;
+export interface AnySlot {
+    new (): AnySlotInstance;
+    readonly [SlotTypeId]: SlotTypeId;
+    readonly manifest: SlotManifest;
+    readonly identity: symbol;
+    readonly capture: <Result>(visit: SlotCapture<Result>) => Result;
+}
+export interface SlotClass<Target extends SlotTarget, N extends string, Identity> {
+    new (): SlotInstance<Target, N, Identity>;
+    readonly [SlotTypeId]: SlotTypeId;
+    readonly manifest: SlotManifest<N>;
+    readonly identity: symbol;
+    readonly capture: <Result>(visit: SlotCapture<Result>) => Result;
+    readonly tag: Context.Tag<SlotService<N, Identity>, SlotChild<Target>>;
+    readonly provider: Context.Tag<SlotService<N, Identity>, AnySlotChild>;
+}
+export declare const isSlot: (candidate: unknown) => candidate is AnySlot;
+export type TargetOfSlot<S> = S extends SlotInstance<infer Target, infer _N, infer _Identity> ? Target : never;
+export type SlotProps<S> = S extends SlotInstance<infer Target, infer _N, infer _Identity> ? PropsOfSlotTarget<Target> : never;
+export type SlotComposition<S> = S extends SlotInstance<infer Target, infer _N, infer _Identity> ? CompositionOfSlotTarget<Target> : never;
+export type SlotContract<S> = S extends SlotInstance<infer Target, infer _N, infer _Identity> ? ContractOfSlotTarget<Target> : never;
+export declare const slot: <const N extends string>(name: N) => <Self, Target extends SlotTarget = AnyComposition>() => SlotClass<Target, N, Self>;
+//# sourceMappingURL=slot.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"slot.d.ts","sourceRoot":"","sources":["../../src/compose/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA2B,MAAM,QAAQ,CAAA;AACzD,OAAO,EAAE,KAAK,QAAQ,EAAmB,MAAM,0BAA0B,CAAA;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC/E,OAAO,KAAK,EACV,sBAAsB,EACtB,iCAAiC,EACjC,8BAA8B,EAC9B,sBAAsB,EACtB,wBAAwB,EACxB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAErE,YAAY,EAAE,IAAI,EAAE,CAAA;AAEpB,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAEnD,KAAK,qBAAqB,GAAG,kBAAkB,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAA;AAEhF,MAAM,MAAM,iBAAiB,CAAC,OAAO,SAAS,qBAAqB,IAAI,kBAAkB,CACvF,sBAAsB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAC1C,OAAO,CAAC,SAAS,CAAC,CACnB,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,qBAAqB,CAAC,CAAA;AAE3E,MAAM,MAAM,UAAU,GAAG,cAAc,GAAG,oBAAoB,CAAA;AAE9D,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,UAAU,IAAI,MAAM,SAAS,cAAc,GAC1F,MAAM,GACN,MAAM,SAAS,oBAAoB,GACjC,gBAAgB,CACd,8BAA8B,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EACjD,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EACzC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EACvC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EACrC,iCAAiC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CACrD,GACD,KAAK,CAAA;AAEX,MAAM,MAAM,iBAAiB,CAAC,MAAM,SAAS,UAAU,IAAI,MAAM,SAAS,cAAc,GACpF,MAAM,CAAC,OAAO,CAAC,GACf,MAAM,SAAS,oBAAoB,GACjC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAC3C,KAAK,CAAA;AAEX,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,UAAU,IAAI,MAAM,SAAS,cAAc,GACvF,MAAM,CAAC,UAAU,CAAC,GAClB,MAAM,SAAS,oBAAoB,GACjC,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GACzC,KAAK,CAAA;AAEX,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,UAAU,IAAI,MAAM,SAAS,cAAc,GAC5E,MAAM,GAAG,CAAC,iBAAiB,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GAC/D,MAAM,SAAS,oBAAoB,GACjC,iBAAiB,GAAG;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;CACpC,GACD,KAAK,CAAA;AAEX,MAAM,MAAM,YAAY,GAAG,cAAc,GAAG,iBAAiB,CAAA;AAE7D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;CAChC;AAED,MAAM,WAAW,YAAY,CAC3B,MAAM,SAAS,UAAU,EACzB,CAAC,SAAS,MAAM,EAChB,QAAQ,CACR,SAAQ,eAAe;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAA;CACjC;AAED,eAAO,MAAM,UAAU,EAAE,OAAO,MAAkC,CAAA;AAClE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C,eAAO,MAAM,iBAAiB,EAAE,OAAO,MAAyC,CAAA;AAChF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAA;AAExD,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,MAAM,EAChB,QAAQ,GAAG,OAAO,EAClB,GAAG,CAAC,OAAO,SAAS,kBAAkB,GAAG,kBAAkB;IAE3D,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE;QAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QAChB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;QAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAC1B,CAAA;CACF;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,QAAQ;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CACjB;AAED,MAAM,MAAM,WAAW,CAAC,MAAM,IAAI,CAAC,MAAM,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ,EACtF,cAAc,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,KAC3C,MAAM,CAAA;AAEX,MAAM,WAAW,OAAO;IACtB,QAAQ,eAAe,CAAA;IACvB,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACjE;AAED,MAAM,WAAW,SAAS,CAAC,MAAM,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAAE,QAAQ;IAC9E,QAAQ,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;IACzC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;IAChE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;IAEtE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAA;CACvE;AAED,eAAO,MAAM,MAAM,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,OAGhC,CAAA;AAEzB,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,CAAC,SAAS,YAAY,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,SAAS,CAAC,GAAG,MAAM,GAAG,KAAK,CAAA;AAElF,MAAM,MAAM,SAAS,CAAC,CAAC,IACrB,CAAC,SAAS,YAAY,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,SAAS,CAAC,GAC3D,iBAAiB,CAAC,MAAM,CAAC,GACzB,KAAK,CAAA;AAEX,MAAM,MAAM,eAAe,CAAC,CAAC,IAC3B,CAAC,SAAS,YAAY,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,SAAS,CAAC,GAC3D,uBAAuB,CAAC,MAAM,CAAC,GAC/B,KAAK,CAAA;AAEX,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB,CAAC,SAAS,YAAY,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,SAAS,CAAC,GAC3D,oBAAoB,CAAC,MAAM,CAAC,GAC5B,KAAK,CAAA;AAUX,eAAO,MAAM,IAAI,GACd,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,MAC/B,IAAI,EAAE,MAAM,SAAS,UAAU,GAAG,cAAc,OAAK,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAe9E,CAAA"}

package/dist/compose/slot.js

@@ -0,0 +1,26 @@
+import { Context, GlobalValue, MutableRef } from 'effect';
+import { definitionClass } from '../definition/definition.js';
+export const SlotTypeId = Symbol.for('reform/Slot');
+export const SlotServiceTypeId = Symbol.for('reform/SlotService');
+export const isSlot = (candidate) => (typeof candidate === 'function' || typeof candidate === 'object') &&
+    candidate !== null &&
+    SlotTypeId in candidate;
+const slotDefinitionSequence = GlobalValue.globalValue(Symbol.for('reform/SlotDefinitionSequence'), () => MutableRef.make(0));
+const nextSlotTagKey = (name) => `reform/slot/${name}/${MutableRef.incrementAndGet(slotDefinitionSequence)}`;
+export const slot = (name) => () => {
+    const key = nextSlotTagKey(name);
+    const identity = Symbol(name);
+    const tag = Context.GenericTag(key);
+    const provider = Context.GenericTag(key);
+    const manifest = { kind: 'Slot', name };
+    const slotDefinition = definitionClass({
+        [SlotTypeId]: SlotTypeId,
+        manifest,
+        identity,
+        tag,
+        provider,
+        capture: (visit) => visit(slotDefinition),
+    });
+    return slotDefinition;
+};
+//# sourceMappingURL=slot.js.map

package/dist/compose/slot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slot.js","sourceRoot":"","sources":["../../src/compose/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,EAAiB,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAiFzE,MAAM,CAAC,MAAM,UAAU,GAAkB,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;AAGlE,MAAM,CAAC,MAAM,iBAAiB,GAAkB,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAA;AA2ChF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,SAAkB,EAAwB,EAAE,CACjE,CAAC,OAAO,SAAS,KAAK,UAAU,IAAI,OAAO,SAAS,KAAK,QAAQ,CAAC;IAClE,SAAS,KAAK,IAAI;IAClB,UAAU,IAAI,SAAS,CAAA;AAoBzB,MAAM,sBAAsB,GAAkC,WAAW,CAAC,WAAW,CACnF,MAAM,CAAC,GAAG,CAAC,+BAA+B,CAAC,EAC3C,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CACzB,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE,CAC9C,eAAe,IAAI,IAAI,UAAU,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAA;AAE7E,MAAM,CAAC,MAAM,IAAI,GACf,CAAyB,IAAO,EAAE,EAAE,CACpC,GAAiF,EAAE;IACjF,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAA0C,GAAG,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAqC,GAAG,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAoB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACxD,MAAM,cAAc,GAA+B,eAAe,CAA6B;QAC7F,CAAC,UAAU,CAAC,EAAE,UAAU;QACxB,QAAQ;QACR,QAAQ;QACR,GAAG;QACH,QAAQ;QACR,OAAO,EAAE,CAAS,KAA0B,EAAU,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC;KAC/E,CAAC,CAAA;IACF,OAAO,cAAc,CAAA;AACvB,CAAC,CAAA"}