@manifesto-ai/core 0.2.0

package/dist/effect/runner.js

@@ -0,0 +1,321 @@
+import { ok, err, effectError } from './result.js';
+import { evaluate } from '../expression/evaluator.js';
+/**
+ * Effect 실행
+ */
+export async function runEffect(effect, config) {
+    const { handler, context } = config;
+    try {
+        switch (effect._tag) {
+            case 'SetValue':
+                return await runSetValue(effect, handler, context);
+            case 'SetState':
+                return await runSetState(effect, handler, context);
+            case 'ApiCall':
+                return await runApiCall(effect, handler, context);
+            case 'Navigate':
+                return await runNavigate(effect, handler, context);
+            case 'Delay':
+                return await runDelay(effect);
+            case 'Sequence':
+                return await runSequence(effect, config);
+            case 'Parallel':
+                return await runParallel(effect, config);
+            case 'Conditional':
+                return await runConditional(effect, config);
+            case 'Catch':
+                return await runCatch(effect, config);
+            case 'EmitEvent':
+                return await runEmitEvent(effect, handler);
+            default:
+                return err(effectError(effect, new Error(`Unknown effect type: ${effect._tag}`)));
+        }
+    }
+    catch (e) {
+        return err(effectError(effect, e instanceof Error ? e : new Error(String(e)), { context }));
+    }
+}
+/**
+ * SetValue 실행
+ */
+async function runSetValue(effect, handler, context) {
+    const valueResult = evaluate(effect.value, context);
+    if (!valueResult.ok) {
+        return err(effectError(effect, new Error(valueResult.error)));
+    }
+    handler.setValue(effect.path, valueResult.value);
+    return ok(undefined);
+}
+/**
+ * SetState 실행
+ */
+async function runSetState(effect, handler, context) {
+    const valueResult = evaluate(effect.value, context);
+    if (!valueResult.ok) {
+        return err(effectError(effect, new Error(valueResult.error)));
+    }
+    handler.setState(effect.path, valueResult.value);
+    return ok(undefined);
+}
+/**
+ * ApiCall 실행
+ */
+async function runApiCall(effect, handler, context) {
+    // 엔드포인트 평가
+    let endpoint;
+    if (typeof effect.endpoint === 'string') {
+        endpoint = effect.endpoint;
+    }
+    else {
+        const endpointResult = evaluate(effect.endpoint, context);
+        if (!endpointResult.ok) {
+            return err(effectError(effect, new Error(endpointResult.error)));
+        }
+        endpoint = String(endpointResult.value);
+    }
+    // body 평가
+    let body = undefined;
+    if (effect.body) {
+        const evaluatedBody = {};
+        for (const [key, expr] of Object.entries(effect.body)) {
+            const result = evaluate(expr, context);
+            if (!result.ok) {
+                return err(effectError(effect, new Error(result.error)));
+            }
+            evaluatedBody[key] = result.value;
+        }
+        body = evaluatedBody;
+    }
+    // query 평가
+    let query = undefined;
+    if (effect.query) {
+        query = {};
+        for (const [key, expr] of Object.entries(effect.query)) {
+            const result = evaluate(expr, context);
+            if (!result.ok) {
+                return err(effectError(effect, new Error(result.error)));
+            }
+            query[key] = result.value;
+        }
+    }
+    try {
+        const response = await handler.apiCall({
+            endpoint,
+            method: effect.method,
+            body,
+            headers: effect.headers,
+            query,
+            timeout: effect.timeout,
+        });
+        return ok(response);
+    }
+    catch (e) {
+        return err(effectError(effect, e instanceof Error ? e : new Error(String(e)), {
+            code: 'API_CALL_FAILED',
+        }));
+    }
+}
+/**
+ * Navigate 실행
+ */
+async function runNavigate(effect, handler, context) {
+    let to;
+    if (typeof effect.to === 'string') {
+        to = effect.to;
+    }
+    else {
+        const toResult = evaluate(effect.to, context);
+        if (!toResult.ok) {
+            return err(effectError(effect, new Error(toResult.error)));
+        }
+        to = String(toResult.value);
+    }
+    handler.navigate(to, effect.mode);
+    return ok(undefined);
+}
+/**
+ * Delay 실행
+ */
+async function runDelay(effect) {
+    await new Promise((resolve) => setTimeout(resolve, effect.ms));
+    return ok(undefined);
+}
+/**
+ * Sequence 실행
+ */
+async function runSequence(effect, config) {
+    let lastResult = undefined;
+    for (const childEffect of effect.effects) {
+        const result = await runEffect(childEffect, config);
+        if (!result.ok) {
+            return result;
+        }
+        lastResult = result.value;
+    }
+    return ok(lastResult);
+}
+/**
+ * Parallel 실행
+ */
+async function runParallel(effect, config) {
+    const promises = effect.effects.map((e) => runEffect(e, config));
+    if (effect.waitAll !== false) {
+        const results = await Promise.all(promises);
+        const values = [];
+        for (const result of results) {
+            if (!result.ok) {
+                return result;
+            }
+            values.push(result.value);
+        }
+        return ok(values);
+    }
+    else {
+        // 하나라도 완료되면 반환
+        const result = await Promise.race(promises);
+        return result;
+    }
+}
+/**
+ * Conditional 실행
+ */
+async function runConditional(effect, config) {
+    const conditionResult = evaluate(effect.condition, config.context);
+    if (!conditionResult.ok) {
+        return err(effectError(effect, new Error(conditionResult.error)));
+    }
+    if (conditionResult.value) {
+        return runEffect(effect.then, config);
+    }
+    else if (effect.else) {
+        return runEffect(effect.else, config);
+    }
+    return ok(undefined);
+}
+/**
+ * Catch 실행
+ */
+async function runCatch(effect, config) {
+    let result;
+    try {
+        result = await runEffect(effect.try, config);
+    }
+    catch (e) {
+        result = err(effectError(effect.try, e instanceof Error ? e : new Error(String(e))));
+    }
+    // 에러 발생 시 catch 실행
+    if (!result.ok) {
+        result = await runEffect(effect.catch, config);
+    }
+    // finally 항상 실행
+    if (effect.finally) {
+        await runEffect(effect.finally, config);
+    }
+    return result;
+}
+/**
+ * EmitEvent 실행
+ */
+async function runEmitEvent(effect, handler) {
+    handler.emitEvent(effect.channel, effect.payload);
+    return ok(undefined);
+}
+// =============================================================================
+// Effect Builders
+// =============================================================================
+/**
+ * SetValue Effect 생성
+ */
+export function setValue(path, value, description) {
+    return { _tag: 'SetValue', path, value, description };
+}
+/**
+ * SetState Effect 생성
+ */
+export function setState(path, value, description) {
+    return { _tag: 'SetState', path, value, description };
+}
+/**
+ * ApiCall Effect 생성
+ */
+export function apiCall(options) {
+    return { _tag: 'ApiCall', ...options };
+}
+/**
+ * Navigate Effect 생성
+ */
+export function navigate(to, options) {
+    return {
+        _tag: 'Navigate',
+        to,
+        mode: options?.mode,
+        description: options?.description ?? `Navigate to ${typeof to === 'string' ? to : 'computed path'}`,
+    };
+}
+/**
+ * Delay Effect 생성
+ */
+export function delay(ms, description) {
+    return {
+        _tag: 'Delay',
+        ms,
+        description: description ?? `Wait ${ms}ms`,
+    };
+}
+/**
+ * Sequence Effect 생성
+ */
+export function sequence(effects, description) {
+    return {
+        _tag: 'Sequence',
+        effects,
+        description: description ?? `Sequence of ${effects.length} effects`,
+    };
+}
+/**
+ * Parallel Effect 생성
+ */
+export function parallel(effects, options) {
+    return {
+        _tag: 'Parallel',
+        effects,
+        waitAll: options?.waitAll,
+        description: options?.description ?? `Parallel execution of ${effects.length} effects`,
+    };
+}
+/**
+ * Conditional Effect 생성
+ */
+export function conditional(options) {
+    return {
+        _tag: 'Conditional',
+        condition: options.condition,
+        then: options.then,
+        else: options.else,
+        description: options.description ?? 'Conditional effect',
+    };
+}
+/**
+ * Catch Effect 생성
+ */
+export function catchEffect(options) {
+    return {
+        _tag: 'Catch',
+        try: options.try,
+        catch: options.catch,
+        finally: options.finally,
+        description: options.description ?? 'Try-catch effect',
+    };
+}
+/**
+ * EmitEvent Effect 생성
+ */
+export function emitEvent(channel, payload, description) {
+    return {
+        _tag: 'EmitEvent',
+        channel,
+        payload,
+        description: description ?? `Emit ${payload.type} event`,
+    };
+}
+//# sourceMappingURL=runner.js.map

package/dist/effect/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/effect/runner.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AA0CtD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,MAAc,EACd,MAA0B;IAE1B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAEpC,IAAI,CAAC;QACH,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,UAAU;gBACb,OAAO,MAAM,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAErD,KAAK,UAAU;gBACb,OAAO,MAAM,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAErD,KAAK,SAAS;gBACZ,OAAO,MAAM,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEpD,KAAK,UAAU;gBACb,OAAO,MAAM,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAErD,KAAK,OAAO;gBACV,OAAO,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,KAAK,UAAU;gBACb,OAAO,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAE3C,KAAK,UAAU;gBACb,OAAO,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAE3C,KAAK,aAAa;gBAChB,OAAO,MAAM,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAE9C,KAAK,OAAO;gBACV,OAAO,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAExC,KAAK,WAAW;gBACd,OAAO,MAAM,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAE7C;gBACE,OAAO,GAAG,CACR,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,wBAAyB,MAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAClF,CAAC;QACN,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CAAC,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAChF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CACxB,MAAsB,EACtB,OAAsB,EACtB,OAA0B;IAE1B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CACxB,MAAsB,EACtB,OAAsB,EACtB,OAA0B;IAE1B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,UAAU,CACvB,MAAqB,EACrB,OAAsB,EACtB,OAA0B;IAE1B,WAAW;IACX,IAAI,QAAgB,CAAC;IACrB,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;YACvB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,UAAU;IACV,IAAI,IAAI,GAAY,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,aAAa,GAA4B,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QACpC,CAAC;QACD,IAAI,GAAG,aAAa,CAAC;IACvB,CAAC;IAED,WAAW;IACX,IAAI,KAAK,GAAwC,SAAS,CAAC;IAC3D,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,GAAG,EAAE,CAAC;QACX,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC;YACrC,QAAQ;YACR,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI;YACJ,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC,CAAC;QACH,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CAAC,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;YACjE,IAAI,EAAE,iBAAiB;SACxB,CAAC,CACH,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CACxB,MAAsB,EACtB,OAAsB,EACtB,OAA0B;IAE1B,IAAI,EAAU,CAAC;IACf,IAAI,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QAClC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;IACjB,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,QAAQ,CAAC,MAAmB;IACzC,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CACxB,MAAsB,EACtB,MAA0B;IAE1B,IAAI,UAAU,GAAY,SAAS,CAAC;IAEpC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;IAC5B,CAAC;IAED,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CACxB,MAAsB,EACtB,MAA0B;IAE1B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAEjE,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAc,EAAE,CAAC;QAE7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,eAAe;QACf,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,cAAc,CAC3B,MAAyB,EACzB,MAA0B;IAE1B,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,QAAQ,CACrB,MAAmB,EACnB,MAA0B;IAE1B,IAAI,MAAoB,CAAC;IAEzB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,mBAAmB;IACnB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,gBAAgB;IAChB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CACzB,MAAuB,EACvB,OAAsB;IAEtB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC;AAED,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAkB,EAClB,KAAiB,EACjB,WAAmB;IAEnB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,IAAkB,EAClB,KAAiB,EACjB,WAAmB;IAEnB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,OAAoC;IAC1D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,EAAE,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,EAAuB,EACvB,OAA6D;IAE7D,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,EAAE;QACF,IAAI,EAAE,OAAO,EAAE,IAAI;QACnB,WAAW,EAAE,OAAO,EAAE,WAAW,IAAI,eAAe,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,EAAE;KACpG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,KAAK,CAAC,EAAU,EAAE,WAAoB;IACpD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,EAAE;QACF,WAAW,EAAE,WAAW,IAAI,QAAQ,EAAE,IAAI;KAC3C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAiB,EAAE,WAAoB;IAC9D,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO;QACP,WAAW,EAAE,WAAW,IAAI,eAAe,OAAO,CAAC,MAAM,UAAU;KACpE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,OAAiB,EACjB,OAAqD;IAErD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO;QACP,OAAO,EAAE,OAAO,EAAE,OAAO;QACzB,WAAW,EAAE,OAAO,EAAE,WAAW,IAAI,yBAAyB,OAAO,CAAC,MAAM,UAAU;KACvF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,OAK3B;IACC,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,oBAAoB;KACzD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,OAK3B;IACC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,kBAAkB;KACvD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,OAAsC,EACtC,OAAmC,EACnC,WAAoB;IAEpB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,OAAO;QACP,OAAO;QACP,WAAW,EAAE,WAAW,IAAI,QAAQ,OAAO,CAAC,IAAI,QAAQ;KACzD,CAAC;AACJ,CAAC"}

package/dist/effect/types.d.ts

@@ -0,0 +1,169 @@
+import type { Expression } from '../expression/types.js';
+import type { SemanticPath } from '../domain/types.js';
+/**
+ * Effect: 부수효과를 캡슐화하는 타입
+ *
+ * Monadic Design Principles:
+ * - 실행 전까지는 "설명"일 뿐 (데이터로서의 Effect)
+ * - 합성 가능 (Sequence, Parallel, Conditional)
+ * - 에러 처리 일관됨 (Result<T, E>)
+ * - AI가 "무슨 일이 일어날지" 이해 가능
+ */
+export type Effect = SetValueEffect | SetStateEffect | ApiCallEffect | DelayEffect | NavigateEffect | SequenceEffect | ParallelEffect | ConditionalEffect | CatchEffect | EmitEventEffect;
+/**
+ * SetValueEffect: 데이터 값 설정
+ */
+export type SetValueEffect = {
+    _tag: 'SetValue';
+    /** 대상 경로 */
+    path: SemanticPath;
+    /** 설정할 값 (Expression으로 계산 가능) */
+    value: Expression;
+    /** 설명 */
+    description: string;
+};
+/**
+ * SetStateEffect: 상태 값 설정
+ */
+export type SetStateEffect = {
+    _tag: 'SetState';
+    /** 대상 경로 */
+    path: SemanticPath;
+    /** 설정할 값 */
+    value: Expression;
+    /** 설명 */
+    description: string;
+};
+/**
+ * ApiCallEffect: API 호출
+ */
+export type ApiCallEffect = {
+    _tag: 'ApiCall';
+    /** 엔드포인트 (Expression 가능) */
+    endpoint: string | Expression;
+    /** HTTP 메서드 */
+    method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE';
+    /** 요청 본문 */
+    body?: Record<string, Expression>;
+    /** 요청 헤더 */
+    headers?: Record<string, string>;
+    /** 쿼리 파라미터 */
+    query?: Record<string, Expression>;
+    /** 타임아웃 (ms) */
+    timeout?: number;
+    /** 설명 */
+    description: string;
+};
+/**
+ * NavigateEffect: 페이지 이동
+ */
+export type NavigateEffect = {
+    _tag: 'Navigate';
+    /** 이동할 경로 (Expression 가능) */
+    to: string | Expression;
+    /** 히스토리 모드 */
+    mode?: 'push' | 'replace';
+    /** 설명 */
+    description: string;
+};
+/**
+ * DelayEffect: 대기
+ */
+export type DelayEffect = {
+    _tag: 'Delay';
+    /** 대기 시간 (ms) */
+    ms: number;
+    /** 설명 */
+    description: string;
+};
+/**
+ * SequenceEffect: 순차 실행
+ */
+export type SequenceEffect = {
+    _tag: 'Sequence';
+    /** 순차 실행할 Effect들 */
+    effects: Effect[];
+    /** 설명 */
+    description: string;
+};
+/**
+ * ParallelEffect: 병렬 실행
+ */
+export type ParallelEffect = {
+    _tag: 'Parallel';
+    /** 병렬 실행할 Effect들 */
+    effects: Effect[];
+    /** 모두 완료 대기 여부 */
+    waitAll?: boolean;
+    /** 설명 */
+    description: string;
+};
+/**
+ * ConditionalEffect: 조건부 실행
+ */
+export type ConditionalEffect = {
+    _tag: 'Conditional';
+    /** 조건 */
+    condition: Expression;
+    /** 참일 때 실행 */
+    then: Effect;
+    /** 거짓일 때 실행 (선택) */
+    else?: Effect;
+    /** 설명 */
+    description: string;
+};
+/**
+ * CatchEffect: 에러 처리
+ */
+export type CatchEffect = {
+    _tag: 'Catch';
+    /** 시도할 Effect */
+    try: Effect;
+    /** 에러 시 실행할 Effect */
+    catch: Effect;
+    /** 항상 실행할 Effect (선택) */
+    finally?: Effect;
+    /** 설명 */
+    description: string;
+};
+/**
+ * EmitEventEffect: 일회성 이벤트 발행
+ *
+ * State와 달리 Snapshot에 저장되지 않음.
+ * Projection Layer에서 구독하여 처리.
+ */
+export type EmitEventEffect = {
+    _tag: 'EmitEvent';
+    /** 이벤트 채널 */
+    channel: 'ui' | 'domain' | 'analytics';
+    /** 이벤트 페이로드 */
+    payload: {
+        /** 이벤트 타입 */
+        type: string;
+        /** 메시지 (선택) */
+        message?: string;
+        /** 추가 데이터 (선택) */
+        data?: unknown;
+        /** 이벤트 심각도 (선택, UI 채널용) */
+        severity?: 'success' | 'info' | 'warning' | 'error';
+        /** 지속 시간 (선택, 토스트 등) */
+        duration?: number;
+    };
+    /** 설명 */
+    description: string;
+};
+/**
+ * Effect 타입 가드
+ */
+export declare function isEffect(value: unknown): value is Effect;
+/**
+ * Effect 태그 타입
+ */
+export type EffectTag = Effect['_tag'];
+/**
+ * 특정 태그의 Effect인지 확인
+ */
+export declare function isEffectOfType<T extends EffectTag>(effect: Effect, tag: T): effect is Extract<Effect, {
+    _tag: T;
+}>;
+//# sourceMappingURL=types.d.ts.map

package/dist/effect/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/effect/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,GACd,cAAc,GACd,cAAc,GACd,aAAa,GACb,WAAW,GACX,cAAc,GACd,cAAc,GACd,cAAc,GACd,iBAAiB,GACjB,WAAW,GACX,eAAe,CAAC;AAMpB;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,YAAY;IACZ,IAAI,EAAE,YAAY,CAAC;IACnB,iCAAiC;IACjC,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,YAAY;IACZ,IAAI,EAAE,YAAY,CAAC;IACnB,YAAY;IACZ,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,SAAS,CAAC;IAChB,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC;IAC9B,eAAe;IACf,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,CAAC;IACpD,YAAY;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAClC,YAAY;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,cAAc;IACd,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnC,gBAAgB;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC;IACxB,cAAc;IACd,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,iBAAiB;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,qBAAqB;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,qBAAqB;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kBAAkB;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS;IACT,SAAS,EAAE,UAAU,CAAC;IACtB,cAAc;IACd,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,iBAAiB;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,sBAAsB;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,yBAAyB;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,WAAW,CAAC;IAClB,aAAa;IACb,OAAO,EAAE,IAAI,GAAG,QAAQ,GAAG,WAAW,CAAC;IACvC,eAAe;IACf,OAAO,EAAE;QACP,aAAa;QACb,IAAI,EAAE,MAAM,CAAC;QACb,eAAe;QACf,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,kBAAkB;QAClB,IAAI,CAAC,EAAE,OAAO,CAAC;QACf,2BAA2B;QAC3B,QAAQ,CAAC,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;QACpD,wBAAwB;QACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,SAAS;IACT,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;GAEG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAexD;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAEvC;;GAEG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,SAAS,EAChD,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,CAAC,GACL,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAExC"}

package/dist/effect/types.js

@@ -0,0 +1,28 @@
+// =============================================================================
+// Effect Helpers
+// =============================================================================
+/**
+ * Effect 타입 가드
+ */
+export function isEffect(value) {
+    if (!value || typeof value !== 'object')
+        return false;
+    const { _tag } = value;
+    return (_tag === 'SetValue' ||
+        _tag === 'SetState' ||
+        _tag === 'ApiCall' ||
+        _tag === 'Navigate' ||
+        _tag === 'Delay' ||
+        _tag === 'Sequence' ||
+        _tag === 'Parallel' ||
+        _tag === 'Conditional' ||
+        _tag === 'Catch' ||
+        _tag === 'EmitEvent');
+}
+/**
+ * 특정 태그의 Effect인지 확인
+ */
+export function isEffectOfType(effect, tag) {
+    return effect._tag === tag;
+}
+//# sourceMappingURL=types.js.map

package/dist/effect/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/effect/types.ts"],"names":[],"mappings":"AAoMA,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,EAAE,IAAI,EAAE,GAAG,KAA0B,CAAC;IAC5C,OAAO,CACL,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,SAAS;QAClB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,WAAW,CACrB,CAAC;AACJ,CAAC;AAOD;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,GAAM;IAEN,OAAO,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC;AAC7B,CAAC"}

package/dist/expression/analyzer.d.ts

@@ -0,0 +1,42 @@
+import type { Expression } from './types.js';
+import type { SemanticPath } from '../domain/types.js';
+/**
+ * 의존성 분석 결과
+ */
+export type DependencyAnalysis = {
+    /** 직접 의존하는 경로들 */
+    directDeps: SemanticPath[];
+    /** 사용된 연산자들 */
+    operators: string[];
+    /** 표현식의 복잡도 (노드 수) */
+    complexity: number;
+    /** 부분 표현식에서 사용되는 컨텍스트 변수 */
+    usesContext: boolean;
+};
+/**
+ * Expression 의존성 분석
+ */
+export declare function analyzeExpression(expr: Expression): DependencyAnalysis;
+/**
+ * Expression이 순수한지 확인 (부수효과 없음)
+ * 모든 Expression은 순수해야 하지만, 추가 검증용
+ */
+export declare function isPureExpression(expr: Expression): boolean;
+/**
+ * Expression이 상수인지 확인 (의존성 없음)
+ */
+export declare function isConstantExpression(expr: Expression): boolean;
+/**
+ * 두 Expression이 동일한지 확인 (구조적 동등성)
+ */
+export declare function areExpressionsEqual(a: Expression, b: Expression): boolean;
+/**
+ * Expression 최적화 (기본적인 상수 폴딩)
+ */
+export declare function optimizeExpression(expr: Expression): Expression;
+/**
+ * Expression에서 특정 경로에 대한 의존성 제거
+ * (경로가 상수로 대체되었을 때 사용)
+ */
+export declare function substitutePathWithValue(expr: Expression, path: SemanticPath, value: Expression): Expression;
+//# sourceMappingURL=analyzer.d.ts.map

package/dist/expression/analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../src/expression/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,kBAAkB;IAClB,UAAU,EAAE,YAAY,EAAE,CAAC;IAE3B,eAAe;IACf,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpB,sBAAsB;IACtB,UAAU,EAAE,MAAM,CAAC;IAEnB,4BAA4B;IAC5B,WAAW,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,GAAG,kBAAkB,CAsCtE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAI1D;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAG9D;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAmBzE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CA6C/D;AA2BD;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,YAAY,EAClB,KAAK,EAAE,UAAU,GAChB,UAAU,CAgBZ"}