@rivetkit/effect 0.0.0-codex-rivetkit-cli-preview.5e414a8

package/dist/internal/StateOptions.d.ts

@@ -0,0 +1,12 @@
+import type { Schema } from "effect";
+export interface StateOptions<in out S extends Schema.Top> {
+    readonly schema: S;
+    readonly initialValue: () => S["Type"];
+}
+export interface Any {
+    readonly schema: Schema.Top;
+    readonly initialValue: () => unknown;
+}
+export type Encoded<State extends Any> = State["schema"]["Encoded"] | ([State] extends [never] ? undefined : never);
+export type Decoded<State extends Any> = State["schema"]["Type"];
+//# sourceMappingURL=StateOptions.d.ts.map

package/dist/internal/StateOptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StateOptions.d.ts","sourceRoot":"","sources":["../../src/internal/StateOptions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,WAAW,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG;IACxD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,OAAO,CAAC;CACrC;AAED,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,IAClC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GAC1B,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC;AAEjD,MAAM,MAAM,OAAO,CAAC,KAAK,SAAS,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC"}

package/dist/internal/StateOptions.js

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

package/dist/internal/StateOptions.js.map

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

package/dist/internal/logging.d.ts

@@ -0,0 +1,23 @@
+import { Context, Effect, Logger as EffectLogger, type LogLevel } from "effect";
+import type * as Rivetkit from "rivetkit";
+import { type Logger as PinoLogger, type LogLevel as PinoLogLevel } from "rivetkit/log";
+type ActorLogContext = {
+    readonly name: string;
+    readonly key: Rivetkit.ActorKey;
+    readonly actorId: string;
+};
+declare const BaseLogger_base: Context.ServiceClass<BaseLogger, "@rivetkit/effect/Logger/BaseLogger", PinoLogger>;
+export declare class BaseLogger extends BaseLogger_base {
+}
+export declare const toPinoLevel: (logLevel: LogLevel.LogLevel) => PinoLogLevel;
+export declare const makeDefaultBaseLogger: Effect.Effect<PinoLogger>;
+export declare const getOrCreateBaseLogger: Effect.Effect<PinoLogger>;
+export declare function makeActorLogAnnotations(context: ActorLogContext): {
+    readonly actor: string;
+    readonly key: string;
+    readonly actorId: string;
+};
+export declare function serializeActorKey(key: Rivetkit.ActorKey): string;
+export declare function makeEffectLogger(baseLogger: PinoLogger): EffectLogger.Logger<unknown, void>;
+export {};
+//# sourceMappingURL=logging.d.ts.map

package/dist/internal/logging.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logging.d.ts","sourceRoot":"","sources":["../../src/internal/logging.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,OAAO,EACP,MAAM,EACN,MAAM,IAAI,YAAY,EACtB,KAAK,QAAQ,EAEb,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,KAAK,QAAQ,MAAM,UAAU,CAAC;AAC1C,OAAO,EAGN,KAAK,MAAM,IAAI,UAAU,EACzB,KAAK,QAAQ,IAAI,YAAY,EAC7B,MAAM,cAAc,CAAC;AAKtB,KAAK,eAAe,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB,CAAC;;AAEF,qBAAa,UAAW,SAAQ,eAE/B;CAAG;AAaJ,eAAO,MAAM,WAAW,GAAI,UAAU,QAAQ,CAAC,QAAQ,KAAG,YACzB,CAAC;AA4BlC,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAoB3D,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAS3D,CAAC;AAEF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,eAAe,GAAG;IAClE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB,CAMA;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAgBhE;AAmED,wBAAgB,gBAAgB,CAC/B,UAAU,EAAE,UAAU,GACpB,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAoCpC"}

package/dist/internal/logging.js

@@ -0,0 +1,162 @@
+import { Cause, Config, Context, Effect, Logger as EffectLogger, References, } from "effect";
+import { configureDefaultLogger, getBaseLogger, } from "rivetkit/log";
+const EMPTY_KEY = "/";
+const KEY_SEPARATOR = "/";
+export class BaseLogger extends Context.Service()("@rivetkit/effect/Logger/BaseLogger") {
+}
+const PinoLevelByEffectLevel = {
+    All: "trace",
+    Trace: "trace",
+    Debug: "debug",
+    Info: "info",
+    Warn: "warn",
+    Error: "error",
+    Fatal: "fatal",
+    None: "silent",
+};
+export const toPinoLevel = (logLevel) => PinoLevelByEffectLevel[logLevel];
+const EffectLevelByPinoLevel = {
+    trace: "Trace",
+    debug: "Debug",
+    info: "Info",
+    warn: "Warn",
+    error: "Error",
+    fatal: "Fatal",
+    silent: "None",
+};
+const pinoLogLevelFromEnv = Config.string("RIVET_LOG_LEVEL").pipe(Config.map((value) => {
+    const pinoLevel = value.toLowerCase();
+    if (pinoLevel in EffectLevelByPinoLevel) {
+        return EffectLevelByPinoLevel[pinoLevel];
+    }
+    return "Info";
+}));
+const logLevelFromEnv = Config.logLevel("RIVET_LOG_LEVEL").pipe(Config.orElse(() => pinoLogLevelFromEnv), Effect.option);
+export const makeDefaultBaseLogger = Effect.gen(function* () {
+    const context = yield* Effect.context();
+    const providedMinimumLogLevel = Context.getOrUndefined(context, References.MinimumLogLevel);
+    const envLogLevel = yield* logLevelFromEnv;
+    const logLevel = providedMinimumLogLevel !== undefined
+        ? providedMinimumLogLevel
+        : envLogLevel._tag === "Some"
+            ? envLogLevel.value
+            : yield* References.MinimumLogLevel;
+    return yield* Effect.sync(() => {
+        configureDefaultLogger(toPinoLevel(logLevel));
+        return getBaseLogger();
+    });
+});
+export const getOrCreateBaseLogger = Effect.gen(function* () {
+    const provided = yield* Effect.serviceOption(BaseLogger);
+    if (provided._tag === "Some") {
+        return provided.value;
+    }
+    return yield* makeDefaultBaseLogger;
+});
+export function makeActorLogAnnotations(context) {
+    return {
+        actor: context.name,
+        key: serializeActorKey(context.key),
+        actorId: context.actorId,
+    };
+}
+export function serializeActorKey(key) {
+    if (key.length === 0) {
+        return EMPTY_KEY;
+    }
+    return key
+        .map((part) => {
+        if (part === "") {
+            return "\\0";
+        }
+        return part
+            .replace(/\\/g, "\\\\")
+            .replace(/\//g, `\\${KEY_SEPARATOR}`);
+    })
+        .join(KEY_SEPARATOR);
+}
+function structuredValue(value) {
+    if (value instanceof Error) {
+        return value;
+    }
+    return value;
+}
+function extractMessageAndFields(message) {
+    const values = Array.isArray(message) ? message : [message];
+    if (values.length === 0) {
+        return { msg: undefined, fields: {} };
+    }
+    const [first, ...rest] = values;
+    const fields = {};
+    let msg;
+    if (first instanceof Error) {
+        fields.error = first;
+        msg = first.message;
+    }
+    else if (first !== null && typeof first === "object") {
+        const firstFields = first;
+        for (const [key, value] of Object.entries(firstFields)) {
+            if (key === "msg") {
+                if (value !== undefined) {
+                    msg = String(value);
+                }
+            }
+            else {
+                fields[key] = structuredValue(value);
+            }
+        }
+    }
+    else if (first !== undefined) {
+        msg = String(first);
+    }
+    const args = [];
+    for (const value of rest) {
+        if (value instanceof Error) {
+            fields.error = value;
+        }
+        else if (value !== null &&
+            typeof value === "object" &&
+            !Array.isArray(value)) {
+            for (const [key, fieldValue] of Object.entries(value)) {
+                fields[key] = structuredValue(fieldValue);
+            }
+        }
+        else {
+            args.push(value);
+        }
+    }
+    if (args.length > 0) {
+        fields.args = args;
+    }
+    return { msg, fields };
+}
+export function makeEffectLogger(baseLogger) {
+    return EffectLogger.make(({ cause, date, fiber, logLevel, message }) => {
+        const { msg, fields } = extractMessageAndFields(message);
+        for (const [key, value] of Object.entries(fiber.getRef(References.CurrentLogAnnotations))) {
+            fields[key] = structuredValue(value);
+        }
+        const spans = {};
+        for (const [label, startTime] of fiber.getRef(References.CurrentLogSpans)) {
+            spans[label] = date.getTime() - startTime;
+        }
+        if (Object.keys(spans).length > 0) {
+            fields.spans = spans;
+        }
+        if (cause.reasons.length > 0) {
+            fields.cause = Cause.pretty(cause);
+        }
+        const pinoLevel = toPinoLevel(logLevel);
+        if (pinoLevel === "silent") {
+            return;
+        }
+        const logger = baseLogger[pinoLevel];
+        if (msg === undefined) {
+            logger.call(baseLogger, fields);
+        }
+        else {
+            logger.call(baseLogger, fields, msg);
+        }
+    });
+}
+//# sourceMappingURL=logging.js.map

package/dist/internal/logging.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logging.js","sourceRoot":"","sources":["../../src/internal/logging.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,EACL,MAAM,EACN,OAAO,EACP,MAAM,EACN,MAAM,IAAI,YAAY,EAEtB,UAAU,GACV,MAAM,QAAQ,CAAC;AAEhB,OAAO,EACN,sBAAsB,EACtB,aAAa,GAGb,MAAM,cAAc,CAAC;AAEtB,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,aAAa,GAAG,GAAG,CAAC;AAQ1B,MAAM,OAAO,UAAW,SAAQ,OAAO,CAAC,OAAO,EAA0B,CACxE,oCAAoC,CACpC;CAAG;AAEJ,MAAM,sBAAsB,GAA4C;IACvE,GAAG,EAAE,OAAO;IACZ,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,QAAQ;CACd,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAA2B,EAAgB,EAAE,CACxE,sBAAsB,CAAC,QAAQ,CAAC,CAAC;AAElC,MAAM,sBAAsB,GAA4C;IACvE,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,MAAM;CACd,CAAC;AAEF,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;IACpB,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACtC,IAAI,SAAS,IAAI,sBAAsB,EAAE,CAAC;QACzC,OAAO,sBAAsB,CAAC,SAAyB,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC,CAAC,CACF,CAAC;AAEF,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,EACxC,MAAM,CAAC,MAAM,CACb,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAA8B,MAAM,CAAC,GAAG,CACzE,QAAQ,CAAC;IACR,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IACxC,MAAM,uBAAuB,GAAG,OAAO,CAAC,cAAc,CACrD,OAAO,EACP,UAAU,CAAC,eAAe,CAC1B,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC;IAC3C,MAAM,QAAQ,GACb,uBAAuB,KAAK,SAAS;QACpC,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;YAC5B,CAAC,CAAC,WAAW,CAAC,KAAK;YACnB,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC;IAEvC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QAC9B,sBAAsB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9C,OAAO,aAAa,EAAE,CAAC;IACxB,CAAC,CAAC,CAAC;AACJ,CAAC,CACD,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAA8B,MAAM,CAAC,GAAG,CACzE,QAAQ,CAAC;IACR,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,KAAK,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,qBAAqB,CAAC;AACrC,CAAC,CACD,CAAC;AAEF,MAAM,UAAU,uBAAuB,CAAC,OAAwB;IAK/D,OAAO;QACN,KAAK,EAAE,OAAO,CAAC,IAAI;QACnB,GAAG,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC;QACnC,OAAO,EAAE,OAAO,CAAC,OAAO;KACxB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAsB;IACvD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,OAAO,GAAG;SACR,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACb,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACjB,OAAO,KAAK,CAAC;QACd,CAAC;QAED,OAAO,IAAI;aACT,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;aACtB,OAAO,CAAC,KAAK,EAAE,KAAK,aAAa,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC;SACD,IAAI,CAAC,aAAa,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAgB;IAIhD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;IAChC,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,IAAI,GAAuB,CAAC;IAE5B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC5B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;IACrB,CAAC;SAAM,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,KAAgC,CAAC;QACrD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACxD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;gBACnB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACzB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACrB,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,MAAM,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;QACF,CAAC;IACF,CAAC;SAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QAC1B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC5B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACtB,CAAC;aAAM,IACN,KAAK,KAAK,IAAI;YACd,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EACpB,CAAC;YACF,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAC7C,KAAgC,CAChC,EAAE,CAAC;gBACH,MAAM,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;YAC3C,CAAC;QACF,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACF,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IACpB,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC/B,UAAsB;IAEtB,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAEzD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CACxC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAC9C,EAAE,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,KAAK,GAA2B,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,MAAM,CAC5C,UAAU,CAAC,eAAe,CAC1B,EAAE,CAAC;YACH,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC;QAC3C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACtB,CAAC;QAED,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,SAAS,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO;QACR,CAAC;QAED,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;IACF,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/internal/tracing.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Identifies the SDK as the RPC system on action spans. Stamped onto
+ * the `rpc.system.name` OTel attribute.
+ */
+export declare const rpcSystem = "rivet.actors";
+/**
+ * Cross-wire trace metadata. Carries just enough of an `Effect.Tracer`
+ * span to reconstitute it on the server as a `Tracer.externalSpan`
+ * parent for the handler's span.
+ */
+export interface TraceMeta {
+    readonly traceId: string;
+    readonly spanId: string;
+    readonly sampled: boolean;
+}
+/**
+ * Pull a valid `TraceMeta` out of the wire `ActionMeta` envelope, or
+ * `undefined` if the caller didn't ship one (or shipped something
+ * malformed). Kept lenient because the meta envelope is forward-
+ * extensible — future fields shouldn't break trace extraction.
+ */
+export declare const readTraceMeta: (meta: unknown) => TraceMeta | undefined;
+//# sourceMappingURL=tracing.d.ts.map

package/dist/internal/tracing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tracing.d.ts","sourceRoot":"","sources":["../../src/internal/tracing.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,eAAO,MAAM,SAAS,iBAAiB,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,OAAO,KAAG,SAAS,GAAG,SAgBzD,CAAC"}

package/dist/internal/tracing.js

@@ -0,0 +1,30 @@
+import { Predicate } from "effect";
+/**
+ * Identifies the SDK as the RPC system on action spans. Stamped onto
+ * the `rpc.system.name` OTel attribute.
+ */
+export const rpcSystem = "rivet.actors";
+/**
+ * Pull a valid `TraceMeta` out of the wire `ActionMeta` envelope, or
+ * `undefined` if the caller didn't ship one (or shipped something
+ * malformed). Kept lenient because the meta envelope is forward-
+ * extensible — future fields shouldn't break trace extraction.
+ */
+export const readTraceMeta = (meta) => {
+    if (!Predicate.isObject(meta))
+        return undefined;
+    const trace = meta.trace;
+    if (!Predicate.isObject(trace))
+        return undefined;
+    if (!Predicate.isString(trace.traceId) ||
+        !Predicate.isString(trace.spanId) ||
+        !Predicate.isBoolean(trace.sampled)) {
+        return undefined;
+    }
+    return {
+        traceId: trace.traceId,
+        spanId: trace.spanId,
+        sampled: trace.sampled,
+    };
+};
+//# sourceMappingURL=tracing.js.map

package/dist/internal/tracing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tracing.js","sourceRoot":"","sources":["../../src/internal/tracing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAEnC;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,cAAc,CAAC;AAaxC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAa,EAAyB,EAAE;IACrE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,IACC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACjC,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAClC,CAAC;QACF,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO;QACN,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;KACtB,CAAC;AACH,CAAC,CAAC"}

package/dist/internal/utils.d.ts

@@ -0,0 +1,7 @@
+import { Predicate } from "effect";
+/**
+ * Refinement that narrows `unknown` to an object with `key` set to a
+ * `string`.
+ */
+export declare const hasStringProperty: <K extends PropertyKey>(key: K) => Predicate.Refinement<unknown, { readonly [P in K]: string; }>;
+//# sourceMappingURL=utils.d.ts.map

package/dist/internal/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/internal/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAEnC;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,CAAC,SAAS,WAAW,EACrB,KAAK,CAAC,KACJ,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,GAAE,CAEF,CAAC"}

package/dist/internal/utils.js

@@ -0,0 +1,7 @@
+import { Predicate } from "effect";
+/**
+ * Refinement that narrows `unknown` to an object with `key` set to a
+ * `string`.
+ */
+export const hasStringProperty = (key) => (u) => Predicate.hasProperty(u, key) && Predicate.isString(u[key]);
+//# sourceMappingURL=utils.js.map

package/dist/internal/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/internal/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAEnC;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC7B,CACC,GAAM,EACyD,EAAE,CAClE,CAAC,CAAC,EAAsC,EAAE,CACzC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC"}

package/dist/mod.d.ts

@@ -0,0 +1,8 @@
+export * as Action from "./Action.ts";
+export * as Actor from "./Actor.ts";
+export * as Client from "./Client.ts";
+export * as Logger from "./Logger.ts";
+export * as Registry from "./Registry.ts";
+export * as RivetError from "./RivetError.ts";
+export * as State from "./State.ts";
+//# sourceMappingURL=mod.d.ts.map

package/dist/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC"}

package/dist/mod.js

@@ -0,0 +1,8 @@
+export * as Action from "./Action.js";
+export * as Actor from "./Actor.js";
+export * as Client from "./Client.js";
+export * as Logger from "./Logger.js";
+export * as Registry from "./Registry.js";
+export * as RivetError from "./RivetError.js";
+export * as State from "./State.js";
+//# sourceMappingURL=mod.js.map

package/dist/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC"}

package/package.json

@@ -0,0 +1,46 @@
+{
+	"name": "@rivetkit/effect",
+	"version": "0.0.0-codex-rivetkit-cli-preview.5e414a8",
+	"description": "Effect SDK for Rivet Actors",
+	"license": "Apache-2.0",
+	"type": "module",
+	"sideEffects": false,
+	"files": [
+		"src/**/*.ts",
+		"dist/**/*.js",
+		"dist/**/*.js.map",
+		"dist/**/*.d.ts",
+		"dist/**/*.d.ts.map"
+	],
+	"exports": {
+		".": "./src/mod.ts"
+	},
+	"publishConfig": {
+		"access": "public",
+		"exports": {
+			".": "./dist/mod.js"
+		}
+	},
+	"scripts": {
+		"build": "tsc -p tsconfig.build.json",
+		"check-types": "tsc --noEmit",
+		"lint:publint": "publint --strict",
+		"lint:attw": "attw --pack . --profile esm-only",
+		"test": "vitest --typecheck",
+		"coverage": "vitest run --coverage"
+	},
+	"peerDependencies": {
+		"effect": "^4.0.0-beta.66",
+		"rivetkit": "0.0.0-codex-rivetkit-cli-preview.5e414a8"
+	},
+	"devDependencies": {
+		"@arethetypeswrong/cli": "^0.18.3",
+		"@effect/language-service": "^0.85.1",
+		"@effect/vitest": "^4.0.0-beta.66",
+		"@types/node": "^22.18.1",
+		"@vitest/coverage-v8": "^4.1.7",
+		"publint": "^0.3.21",
+		"typescript": "^5.9.2",
+		"vitest": "^4.1.5"
+	}
+}

package/src/Action.ts

@@ -0,0 +1,231 @@
+import { type Effect, Predicate, Schema } from "effect";
+
+const TypeId = "~@rivetkit/effect/Action";
+
+export const isAction = (u: unknown): u is Action<any, any, any, any> =>
+	Predicate.hasProperty(u, TypeId);
+
+/**
+ * A value-level definition for a non-durable, request-response call.
+ */
+export interface Action<
+	Tag extends string,
+	Payload extends Schema.Top = Schema.Void,
+	Success extends Schema.Top = Schema.Void,
+	Error extends Schema.Top = Schema.Never,
+> {
+	readonly [TypeId]: typeof TypeId;
+	readonly _tag: Tag;
+	readonly key: string;
+	/**
+	 * Raw RivetKit clients omit the argument for no-payload actions, so
+	 * the actor wrapper uses this to adapt only those calls to the Effect
+	 * JSON Void codec's null representation.
+	 */
+	readonly hasPayload: boolean;
+	readonly payloadSchema: Payload;
+	readonly successSchema: Success;
+	readonly errorSchema: Error;
+}
+
+/**
+ * Type-erased view of any `Action`. Useful for collections of actions
+ * where the specific schemas don't matter.
+ */
+export interface Any {
+	readonly [TypeId]: typeof TypeId;
+	readonly _tag: string;
+	readonly key: string;
+}
+
+/**
+ * Like `Any`, but with the prop fields (`*Schema`) accessible. Used
+ * by internal builders that need to read schemas off an action.
+ */
+export interface AnyWithProps {
+	readonly [TypeId]: typeof TypeId;
+	readonly _tag: string;
+	readonly key: string;
+	readonly hasPayload: boolean;
+	readonly payloadSchema: Schema.Top;
+	readonly successSchema: Schema.Top;
+	readonly errorSchema: Schema.Top;
+}
+
+// --- Type helpers ---------------------------------------------------
+
+export type Tag<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		? _Tag
+		: never;
+
+export type PayloadSchema<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		? _Payload
+		: never;
+
+export type Payload<R> = PayloadSchema<R>["Type"];
+
+/**
+ * The shape accepted by the payload schema's `make` constructor on the
+ * client side (i.e. before encoding). Useful for typing the call site.
+ */
+export type PayloadConstructor<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		? _Payload["~type.make.in"]
+		: never;
+
+export type SuccessSchema<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		? _Success
+		: never;
+
+export type Success<R> = SuccessSchema<R>["Type"];
+
+export type ErrorSchema<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		? _Error
+		: never;
+
+export type Error<R> = ErrorSchema<R>["Type"];
+
+/**
+ * The full set of decoding/encoding services required by every schema
+ * referenced by the action. Code generators include this in the `R`
+ * channel of any effect that handles or invokes the action.
+ */
+export type Services<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		?
+				| _Payload["DecodingServices"]
+				| _Payload["EncodingServices"]
+				| _Success["DecodingServices"]
+				| _Success["EncodingServices"]
+				| _Error["DecodingServices"]
+				| _Error["EncodingServices"]
+		: never;
+
+/**
+ * The subset of `Services` actually needed on the client side: encoding
+ * the payload, decoding the success response, decoding the error.
+ */
+export type ServicesClient<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		?
+				| _Payload["EncodingServices"]
+				| _Success["DecodingServices"]
+				| _Error["DecodingServices"]
+		: never;
+
+/**
+ * The subset of `Services` needed on the server side: decoding the
+ * payload, encoding the success response, encoding the error.
+ */
+export type ServicesServer<R> =
+	R extends Action<infer _Tag, infer _Payload, infer _Success, infer _Error>
+		?
+				| _Payload["DecodingServices"]
+				| _Success["EncodingServices"]
+				| _Error["EncodingServices"]
+		: never;
+
+/**
+ * Extract the action with the matching tag from a union of actions.
+ */
+export type ExtractTag<R extends Any, Tag extends string> = R extends {
+	readonly _tag: Tag;
+}
+	? R
+	: never;
+
+export type ResultFrom<R extends Any, Services> = R extends Action<
+	infer _Tag,
+	infer _Payload,
+	infer _Success,
+	infer _Error
+>
+	? Effect.Effect<_Success["Type"], _Error["Type"], Services>
+	: never;
+
+// --- Implementation -------------------------------------------------
+
+const Proto = {
+	[TypeId]: TypeId,
+};
+
+const makeProto = <
+	const Tag extends string,
+	Payload extends Schema.Top,
+	Success extends Schema.Top,
+	Error extends Schema.Top,
+>(options: {
+	readonly _tag: Tag;
+	readonly hasPayload: boolean;
+	readonly payloadSchema: Payload;
+	readonly successSchema: Success;
+	readonly errorSchema: Error;
+}): Action<Tag, Payload, Success, Error> => {
+	const self = Object.assign(Object.create(Proto), options);
+	self.key = `@rivetkit/effect/Action/${options._tag}`;
+	return self;
+};
+
+/**
+ * Define a Rivet Actor action.
+ *
+ * @example
+ * ```ts
+ * import { Schema } from "effect"
+ * import { Action } from "@rivetkit/effect"
+ *
+ * class CounterOverflow extends Schema.TaggedErrorClass<CounterOverflow>()(
+ *   "CounterOverflow",
+ *   { limit: Schema.Number },
+ * ) {}
+ *
+ * export const Increment = Action.make("Increment", {
+ *   payload: { amount: Schema.Number },
+ *   success: Schema.Number,
+ *   error: CounterOverflow,
+ * })
+ * ```
+ */
+export const make = <
+	const Tag extends string,
+	Payload extends Schema.Top | Schema.Struct.Fields = Schema.Void,
+	Success extends Schema.Top = Schema.Void,
+	Error extends Schema.Top = Schema.Never,
+>(
+	tag: Tag,
+	options?: {
+		readonly payload?: Payload;
+		readonly success?: Success;
+		readonly error?: Error;
+	},
+): Action<
+	Tag,
+	Payload extends Schema.Struct.Fields ? Schema.Struct<Payload> : Payload,
+	Success,
+	Error
+> => {
+	const successSchema = options?.success ?? Schema.Void;
+	const errorSchema = options?.error ?? Schema.Never;
+	const hasPayload = options?.payload !== undefined;
+	const payloadSchema: Schema.Top = Schema.isSchema(options?.payload)
+		? (options?.payload as any)
+		: options?.payload
+			? Schema.Struct(options?.payload as any)
+			: Schema.Void;
+	return makeProto({
+		_tag: tag,
+		hasPayload,
+		payloadSchema,
+		successSchema,
+		errorSchema,
+	}) as Action<
+		Tag,
+		Payload extends Schema.Struct.Fields ? Schema.Struct<Payload> : Payload,
+		Success,
+		Error
+	>;
+};