@dxos/functions 0.8.4-main.72ec0f3 → 0.8.4-main.74a063c4e0

package/dist/types/src/errors.d.ts

@@ -1,28 +1,26 @@
 import { BaseError, type BaseErrorOptions } from '@dxos/errors';
 declare const ServiceNotAvailableError_base: {
     new (options?: BaseErrorOptions): {
-        code: "SERVICE_NOT_AVAILABLE";
+        name: "ServiceNotAvailable";
         context: Record<string, unknown>;
-        readonly name: "SERVICE_NOT_AVAILABLE";
         readonly message: string;
-        readonly _tag: "SERVICE_NOT_AVAILABLE";
+        readonly _tag: "ServiceNotAvailable";
         stack?: string;
         cause?: unknown;
     };
-    code: "SERVICE_NOT_AVAILABLE";
+    name: "ServiceNotAvailable";
     is(error: unknown): error is BaseError;
     wrap(options?: Omit<BaseErrorOptions, "cause"> & {
         ifTypeDiffers?: boolean;
     }): (error: unknown) => {
-        code: "SERVICE_NOT_AVAILABLE";
+        name: "ServiceNotAvailable";
         context: Record<string, unknown>;
-        readonly name: "SERVICE_NOT_AVAILABLE";
         readonly message: string;
-        readonly _tag: "SERVICE_NOT_AVAILABLE";
+        readonly _tag: "ServiceNotAvailable";
         stack?: string;
         cause?: unknown;
     };
-    extend<Code extends string = string>(code: Code, message?: string): any;
+    extend<Name extends string = string>(name: Name, message?: string): any;
     isError(error: unknown): error is Error;
     captureStackTrace(targetObject: object, constructorOpt?: Function): void;
     prepareStackTrace?: ((err: Error, stackTraces: NodeJS.CallSite[]) => any) | undefined;
@@ -33,28 +31,26 @@ export declare class ServiceNotAvailableError extends ServiceNotAvailableError_b
 }
 declare const FunctionNotFoundError_base: {
     new (options?: BaseErrorOptions): {
-        code: "FUNCTION_NOT_FOUND";
+        name: "FunctionNotFound";
         context: Record<string, unknown>;
-        readonly name: "FUNCTION_NOT_FOUND";
         readonly message: string;
-        readonly _tag: "FUNCTION_NOT_FOUND";
+        readonly _tag: "FunctionNotFound";
         stack?: string;
         cause?: unknown;
     };
-    code: "FUNCTION_NOT_FOUND";
+    name: "FunctionNotFound";
     is(error: unknown): error is BaseError;
     wrap(options?: Omit<BaseErrorOptions, "cause"> & {
         ifTypeDiffers?: boolean;
     }): (error: unknown) => {
-        code: "FUNCTION_NOT_FOUND";
+        name: "FunctionNotFound";
         context: Record<string, unknown>;
-        readonly name: "FUNCTION_NOT_FOUND";
         readonly message: string;
-        readonly _tag: "FUNCTION_NOT_FOUND";
+        readonly _tag: "FunctionNotFound";
         stack?: string;
         cause?: unknown;
     };
-    extend<Code extends string = string>(code: Code, message?: string): any;
+    extend<Name extends string = string>(name: Name, message?: string): any;
     isError(error: unknown): error is Error;
     captureStackTrace(targetObject: object, constructorOpt?: Function): void;
     prepareStackTrace?: ((err: Error, stackTraces: NodeJS.CallSite[]) => any) | undefined;
@@ -65,28 +61,26 @@ export declare class FunctionNotFoundError extends FunctionNotFoundError_base {
 }
 declare const FunctionError_base: {
     new (options?: BaseErrorOptions): {
-        code: "FUNCTION_ERROR";
+        name: "FunctionError";
         context: Record<string, unknown>;
-        readonly name: "FUNCTION_ERROR";
         readonly message: string;
-        readonly _tag: "FUNCTION_ERROR";
+        readonly _tag: "FunctionError";
         stack?: string;
         cause?: unknown;
     };
-    code: "FUNCTION_ERROR";
+    name: "FunctionError";
     is(error: unknown): error is BaseError;
     wrap(options?: Omit<BaseErrorOptions, "cause"> & {
         ifTypeDiffers?: boolean;
     }): (error: unknown) => {
-        code: "FUNCTION_ERROR";
+        name: "FunctionError";
         context: Record<string, unknown>;
-        readonly name: "FUNCTION_ERROR";
         readonly message: string;
-        readonly _tag: "FUNCTION_ERROR";
+        readonly _tag: "FunctionError";
         stack?: string;
         cause?: unknown;
     };
-    extend<Code extends string = string>(code: Code, message?: string): any;
+    extend<Name extends string = string>(name: Name, message?: string): any;
     isError(error: unknown): error is Error;
     captureStackTrace(targetObject: object, constructorOpt?: Function): void;
     prepareStackTrace?: ((err: Error, stackTraces: NodeJS.CallSite[]) => any) | undefined;
@@ -96,28 +90,26 @@ export declare class FunctionError extends FunctionError_base {
 }
 declare const TriggerStateNotFoundError_base: {
     new (options?: BaseErrorOptions): {
-        code: "TRIGGER_STATE_NOT_FOUND";
+        name: "TriggerStateNotFound";
         context: Record<string, unknown>;
-        readonly name: "TRIGGER_STATE_NOT_FOUND";
         readonly message: string;
-        readonly _tag: "TRIGGER_STATE_NOT_FOUND";
+        readonly _tag: "TriggerStateNotFound";
         stack?: string;
         cause?: unknown;
     };
-    code: "TRIGGER_STATE_NOT_FOUND";
+    name: "TriggerStateNotFound";
     is(error: unknown): error is BaseError;
     wrap(options?: Omit<BaseErrorOptions, "cause"> & {
         ifTypeDiffers?: boolean;
     }): (error: unknown) => {
-        code: "TRIGGER_STATE_NOT_FOUND";
+        name: "TriggerStateNotFound";
         context: Record<string, unknown>;
-        readonly name: "TRIGGER_STATE_NOT_FOUND";
         readonly message: string;
-        readonly _tag: "TRIGGER_STATE_NOT_FOUND";
+        readonly _tag: "TriggerStateNotFound";
         stack?: string;
         cause?: unknown;
     };
-    extend<Code extends string = string>(code: Code, message?: string): any;
+    extend<Name extends string = string>(name: Name, message?: string): any;
     isError(error: unknown): error is Error;
     captureStackTrace(targetObject: object, constructorOpt?: Function): void;
     prepareStackTrace?: ((err: Error, stackTraces: NodeJS.CallSite[]) => any) | undefined;

package/dist/types/src/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/errors.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,SAAS,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;;;;;;;;;;;;;;qBAiBkQ,CAAC;;;;;;;;;;;;;;;;AAfnU,qBAAa,wBAAyB,SAAQ,6BAAkE;gBAClG,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC;CAGzE;;;;;;;;;;;;;;qBAWiU,CAAC;;;;;;;;;;;;;;;;AATnU,qBAAa,qBAAsB,SAAQ,0BAA4D;gBACzF,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC;CAG7E;;;;;;;;;;;;;;qBAKiU,CAAC;;;;;;;;;;;;;;;;AAHnU,qBAAa,aAAc,SAAQ,kBAA+D;CAAG;;;;;;;;;;;;;;qBAG6N,CAAC;;;;;;;;;;;;;;;;AADnU,qBAAa,yBAA0B,SAAQ,8BAAsE;CAAG"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/errors.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,SAAS,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;;;;;;;;;;;;;qBAiB8L,CAAC;;;;;;;;;;;;;;;AAf/P,qBAAa,wBAAyB,SAAQ,6BAAgE;gBAChG,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC;CAGzE;;;;;;;;;;;;;qBAW6P,CAAC;;;;;;;;;;;;;;;AAT/P,qBAAa,qBAAsB,SAAQ,0BAA0D;gBACvF,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC;CAG7E;;;;;;;;;;;;;qBAK6P,CAAC;;;;;;;;;;;;;;;AAH/P,qBAAa,aAAc,SAAQ,kBAA8D;CAAG;;;;;;;;;;;;;qBAG0J,CAAC;;;;;;;;;;;;;;;AAD/P,qBAAa,yBAA0B,SAAQ,8BAAmE;CAAG"}

package/dist/types/src/example/definitions.d.ts

@@ -0,0 +1,11 @@
+import { Operation } from '@dxos/operation';
+export declare const Fibonacci: Operation.Definition<{
+    readonly iterations?: number | undefined;
+}, {
+    readonly result: string;
+}, never>;
+export declare const Reply: Operation.Definition<any, any, never>;
+export declare const Sleep: Operation.Definition<{
+    readonly duration?: number | undefined;
+}, void, never>;
+//# sourceMappingURL=definitions.d.ts.map

package/dist/types/src/example/definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../../src/example/definitions.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,eAAO,MAAM,SAAS;;;;SAepB,CAAC;AAEH,eAAO,MAAM,KAAK,uCAQhB,CAAC;AAEH,eAAO,MAAM,KAAK;;eAahB,CAAC"}

package/dist/types/src/example/fib.d.ts

@@ -1,7 +1,8 @@
-declare const _default: import("..").FunctionDefinition<{
+import { Operation } from '@dxos/operation';
+declare const _default: Operation.WithHandler<Operation.Definition<{
     readonly iterations?: number | undefined;
 }, {
     readonly result: string;
-}, import("..").FunctionServices>;
+}, never>>;
 export default _default;
 //# sourceMappingURL=fib.d.ts.map

package/dist/types/src/example/fib.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fib.d.ts","sourceRoot":"","sources":["../../../../src/example/fib.ts"],"names":[],"mappings":";;;;;AASA,wBAsBG"}
+{"version":3,"file":"fib.d.ts","sourceRoot":"","sources":["../../../../src/example/fib.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;;;;;;AAI5C,wBAYE"}

package/dist/types/src/example/index.d.ts

@@ -1,12 +1,4 @@
-export declare namespace Example {
-    const fib: import("..").FunctionDefinition<{
-        readonly iterations?: number | undefined;
-    }, {
-        readonly result: string;
-    }, import("..").FunctionServices>;
-    const reply: import("..").FunctionDefinition<any, any, import("..").FunctionServices>;
-    const sleep: import("..").FunctionDefinition<{
-        readonly duration?: number | undefined;
-    }, void, import("..").FunctionServices>;
-}
+import { OperationHandlerSet } from '@dxos/operation';
+export * from './definitions';
+export declare const ExampleHandlers: OperationHandlerSet.OperationHandlerSet;
 //# sourceMappingURL=index.d.ts.map

package/dist/types/src/example/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/example/index.ts"],"names":[],"mappings":"AAQA,yBAAiB,OAAO,CAAC;IAChB,MAAM,GAAG;;;;qCAAO,CAAC;IACjB,MAAM,KAAK,0EAAS,CAAC;IACrB,MAAM,KAAK;;2CAAS,CAAC;CAC7B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/example/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,cAAc,eAAe,CAAC;AAE9B,eAAO,MAAM,eAAe,yCAI3B,CAAC"}

package/dist/types/src/example/reply.d.ts

@@ -1,3 +1,4 @@
-declare const _default: import("..").FunctionDefinition<any, any, import("..").FunctionServices>;
+import { Operation } from '@dxos/operation';
+declare const _default: Operation.WithHandler<Operation.Definition<any, any, never>>;
 export default _default;
 //# sourceMappingURL=reply.d.ts.map

package/dist/types/src/example/reply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../../../src/example/reply.ts"],"names":[],"mappings":";AAUA,wBAUG"}
+{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../../../src/example/reply.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;;AAI5C,wBAOE"}

package/dist/types/src/example/sleep.d.ts

@@ -1,5 +1,6 @@
-declare const _default: import("..").FunctionDefinition<{
+import { Operation } from '@dxos/operation';
+declare const _default: Operation.WithHandler<Operation.Definition<{
     readonly duration?: number | undefined;
-}, void, import("..").FunctionServices>;
+}, void, never>>;
 export default _default;
 //# sourceMappingURL=sleep.d.ts.map

package/dist/types/src/example/sleep.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sleep.d.ts","sourceRoot":"","sources":["../../../../src/example/sleep.ts"],"names":[],"mappings":";;;AASA,wBAcG"}
+{"version":3,"file":"sleep.d.ts","sourceRoot":"","sources":["../../../../src/example/sleep.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;;;;AAI5C,wBAME"}

package/dist/types/src/index.d.ts

@@ -1,7 +1,11 @@
 export * from './errors';
 export * from './example';
+export * as Process from './process/Process';
+export * as ServiceResolver from './process/ServiceResolver';
+export * from './process/StorageService';
 export * from './sdk';
 export * from './services';
 export * from './types';
 export * from './protocol';
+export * as Trace from './Trace';
 //# sourceMappingURL=index.d.ts.map

package/dist/types/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,eAAe,MAAM,2BAA2B,CAAC;AAC7D,cAAc,0BAA0B,CAAC;AACzC,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC"}

package/dist/types/src/process/Process.d.ts

@@ -0,0 +1,247 @@
+import type { Atom } from '@effect-atom/atom';
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import type * as Exit from 'effect/Exit';
+import * as Option from 'effect/Option';
+import * as Schema from 'effect/Schema';
+import * as Scope from 'effect/Scope';
+import type * as Types from 'effect/Types';
+import { Operation, OperationHandlerSet } from '@dxos/operation';
+import type { ObjectId } from '@dxos/protocols';
+import type { TracingService } from '../services/tracing';
+import * as Trace from '../Trace';
+/** Opaque process id (arbitrary string). */
+export declare const ID: Schema.brand<typeof Schema.String, "ProcessId">;
+export type ID = Schema.Schema.Type<typeof ID>;
+/**
+ * A running process callbacks.
+ *
+ * Process lifecycle: Initial -> Running <-> Suspended -> Terminated.
+ *
+ * - onSpawn -> called once when the process is spawned.
+ * - onInput -> called for every input submitted to the process.
+ * - onAlarm -> called for processes scheduling alarms.
+ * - onChildEvent -> called when child process produces output or exits.
+ */
+export interface Callbacks<I, O, R> {
+    /**
+     * Called when the process is spawned.
+     * Not called for processes that are resumed from a previously suspended state.
+     *
+     * @returns A signal indicating to the runtime whether the process is finished, or should be resumed later.
+     * @throws Throwing in the handler will terminate the process with an error.
+     *
+     * Note: This function should aim to complete in under 5 seconds to avoid exceeding limits in serverless environments.
+     */
+    onSpawn(): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when there's input available to process.
+     *
+     * The function can be called in parallel.
+     *
+     * @returns A signal indicating to the runtime whether the process is finished, or should be resumed later.
+     * @throws Throwing in the handler will terminate the process with an error.
+     *
+     * Note: This function should aim to complete in under 5 seconds to avoid exceeding limits in serverless environments.
+     */
+    onInput(input: I): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when the process's alarm is triggered.
+     *
+     * @throws Throwing in the handler will terminate the process with an error.
+     */
+    onAlarm(): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when the process's child process produces output or exits.
+     *
+     * This allows the parent process to hibernate while a long-running child process is running.
+     */
+    onChildEvent(event: ChildEvent<unknown>): Effect.Effect<void, never, R | BaseServices>;
+}
+/**
+ * Services that are always available to all processes.
+ */
+export type BaseServices = TracingService | Trace.TraceService;
+export type ChildEvent<T> = {
+    readonly _tag: 'output';
+    readonly pid: ID;
+    readonly data: T;
+} | {
+    readonly _tag: 'exited';
+    readonly pid: ID;
+    readonly result: Exit.Exit<void>;
+};
+export interface ProcessContext<I, O> {
+    readonly id: ID;
+    /**
+     * Parameters assigned during process creation.
+     */
+    readonly params: Params;
+    /**
+     * Complete this process with sucessful result.
+     * No additional events will be pushed to the process.
+     */
+    succeed(): void;
+    /**
+     * Complete this process with an error.
+     * No additional events will be pushed to the process.
+     */
+    fail(error: Error): void;
+    /**
+     * Submit output of the process.
+     */
+    submitOutput(output: O): void;
+    /**
+     * Set an alarm for the process to be woken up later.
+     *
+     * @param timeout - Optional timeout in milliseconds. If not provided, the process is woken up as soon as possible.
+     */
+    setAlarm(timeout?: number): void;
+}
+/**
+ * Generic parameters for a all processes.
+ */
+export interface Params {
+    /**
+     * Process name for debugging purposes.
+     */
+    readonly name: string | null;
+    /**
+     * Target object that this process is assigned to.
+     */
+    readonly target: ObjectId | null;
+}
+export declare const ProcessTypeId: "~@dxos/functions/Process";
+export type ProcessTypeId = typeof ProcessTypeId;
+/**
+ * A process (factory).
+ * Can be instantiated mutlitple times to produce new runtime instance with separate state and callbacks.
+ * `create` is used to instantiate a new process.
+ * Can store runtime state in scope of `create` function.
+ */
+export interface Process<I, O, R> extends Process.Variance<I, O, R> {
+    /**
+     * Unique identifier for the executable in the reverse DNS format.
+     */
+    readonly key: string;
+    /**
+     * Human-readable label from {@link MakeExecutableOpts.name} when provided.
+     */
+    readonly name?: string;
+    readonly services: readonly Context.Tag<any, any>[];
+    /**
+     * Create a new instance of the process.
+     */
+    create(ctx: ProcessContext<I, O>): Effect.Effect<Callbacks<I, O, R>, never, R | BaseServices | Scope.Scope>;
+}
+export declare const isProcess: (executable: unknown) => executable is Process.Any;
+export declare namespace Process {
+    interface Variance<I, O, R> {
+        readonly [ProcessTypeId]: {
+            readonly _Input: Types.Contravariant<I>;
+            readonly _Output: Types.Covariant<O>;
+            readonly _Requirements: Types.Covariant<R>;
+        };
+    }
+    type Any = Process<any, any, never>;
+}
+export interface MakeProcessOpts {
+    /**
+     * Unique identifier for the process in the reverse DNS format.
+     */
+    readonly key: string;
+    readonly input: Schema.Schema.AnyNoContext;
+    readonly output: Schema.Schema.AnyNoContext;
+    readonly services: readonly Context.Tag<any, any>[];
+}
+export declare const make: <const Opts extends Types.NoExcessProperties<MakeProcessOpts, Opts>>(opts: Opts, create: (ctx: ProcessContext<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>>) => Effect.Effect<Partial<Callbacks<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]>>>, never, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]> | BaseServices | Scope.Scope>) => Process<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]>>;
+export declare const fromOperation: <const Op extends Operation.Definition.Any>(op: Op, handler: OperationHandlerSet.OperationHandlerSet) => Process<Operation.Definition.Input<Op>, Operation.Definition.Output<Op>, Operation.Definition.Services<Op>>;
+/**
+ * Runtime state of a process.
+ */
+export declare enum State {
+    RUNNING = "RUNNING",
+    HYBERNATING = "HYBERNATING",
+    IDLE = "IDLE",
+    TERMINATING = "TERMINATING",
+    TERMINATED = "TERMINATED",
+    SUCCEEDED = "SUCCEEDED",
+    FAILED = "FAILED"
+}
+/**
+ * Read-only view of a process tree
+ */
+export interface Monitor {
+    /**
+     * Get the current state of the process tree.
+     */
+    processTree: Effect.Effect<readonly Info[]>;
+    /**
+     * Atom for the process tree.
+     */
+    processTreeAtom: Atom.Atom<readonly Info[]>;
+}
+declare const ProcessMonitorService_base: Context.TagClass<ProcessMonitorService, "@dxos/functions/ProcessMonitorService", Monitor>;
+export declare class ProcessMonitorService extends ProcessMonitorService_base {
+}
+export interface Info {
+    readonly pid: ID;
+    readonly parentPid: ID | null;
+    /**
+     * Key of the process.
+     *
+     * NOTE: There might be multiple running processes with the same key.
+     */
+    readonly key: string;
+    /**
+     * Parameters of the process.
+     */
+    readonly params: Params;
+    /**
+     * State of the process.
+     */
+    readonly state: State;
+    /**
+     * Error of the process.
+     * Only for process in FAILED state.
+     */
+    readonly error: string | null;
+    /**
+     * UNIX timestamp in milliseconds.
+     */
+    readonly startedAt: number;
+    /**
+     * UNIX timestamp in milliseconds.
+     */
+    readonly completedAt: Option.Option<number>;
+    readonly metrics: {
+        /**
+         * Total wall time of all handler invocations of the process in milliseconds.
+         */
+        readonly wallTime: number;
+        /**
+         * Total number of inputs submitted to the process.
+         */
+        readonly inputCount: number;
+        /**
+         * Total number of outputs submitted to the process.
+         */
+        readonly outputCount: number;
+    };
+}
+/**
+ * New process is spawned.
+ */
+export declare const SpawnedEvent: Trace.EventType<void>;
+/**
+ * Process has reached a terminal state.
+ */
+export declare const ExitedEvent: Trace.EventType<{
+    readonly outcome: "succeeded" | "failed" | "terminated";
+}>;
+/**
+ * Renders spawned processes as a forest: top-level rows use "- ", nested rows use ├── / └── / │.
+ */
+export declare const prettyProcessTree: (tree: readonly Info[]) => string;
+export {};
+//# sourceMappingURL=Process.d.ts.map

package/dist/types/src/process/Process.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Process.d.ts","sourceRoot":"","sources":["../../../../src/process/Process.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,IAAI,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,KAAK,MAAM,UAAU,CAAC;AAMlC,4CAA4C;AAC5C,eAAO,MAAM,EAAE,iDAAgD,CAAC;AAChE,MAAM,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAChC;;;;;;;;OAQG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAExD;;;;;;;;;OASG;IACH,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAEhE;;;;OAIG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAExD;;;;OAIG;IACH,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;CACxF;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,cAAc,GAAG,KAAK,CAAC,YAAY,CAAC;AAE/D,MAAM,MAAM,UAAU,CAAC,CAAC,IACpB;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;CAClC,CAAC;AAEN,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAEhB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;;OAGG;IACH,OAAO,IAAI,IAAI,CAAC;IAEhB;;;OAGG;IACH,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEzB;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;CAClC;AAMD,eAAO,MAAM,aAAa,EAAG,0BAAmC,CAAC;AACjE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IAEpD;;OAEG;IACH,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;CAC7G;AAED,eAAO,MAAM,SAAS,GAAI,YAAY,OAAO,KAAG,UAAU,IAAI,OAAO,CAAC,GACgB,CAAC;AAEvF,yBAAiB,OAAO,CAAC;IACvB,UAAiB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;YACxB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACxC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;SAC5C,CAAC;KACH;IAED,KAAY,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;CACrD;AAED,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,kBAAkB,CAAC,eAAe,EAAE,IAAI,CAAC,EACrF,MAAM,IAAI,EACV,QAAQ,CACN,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KACvF,MAAM,CAAC,MAAM,CAChB,OAAO,CACL,SAAS,CACP,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC9D,CACF,EACD,KAAK,EACL,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,GAAG,KAAK,CAAC,KAAK,CAC3F,KACA,OAAO,CACR,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAiB9D,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,KAAK,CAAC,EAAE,SAAS,SAAS,CAAC,UAAU,CAAC,GAAG,EACrE,IAAI,EAAE,EACN,SAAS,mBAAmB,CAAC,mBAAmB,KAC/C,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAuD1G,CAAC;AAEJ;;GAEG;AACH,oBAAY,KAAK;IAEf,OAAO,YAAY;IAGnB,WAAW,gBAAgB;IAG3B,IAAI,SAAS;IAIb,WAAW,gBAAgB;IAG3B,UAAU,eAAe;IAGzB,SAAS,cAAc;IAGvB,MAAM,WAAW;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAE5C;;OAEG;IACH,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;CAC7C;;AAED,qBAAa,qBAAsB,SAAQ,0BAGxC;CAAG;AAEN,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAEtB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9B;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE5C,QAAQ,CAAC,OAAO,EAAE;QAChB;;WAEG;QACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAE1B;;WAEG;QACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAE5B;;WAEG;QACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,uBAGvB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW;;EAKtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,SAAS,IAAI,EAAE,KAAG,MA+DzD,CAAC"}

package/dist/types/src/process/ServiceResolver.d.ts

@@ -0,0 +1,74 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import * as Scope from 'effect/Scope';
+import type { DXN, SpaceId } from '@dxos/keys';
+import { ServiceNotAvailableError } from '../errors';
+import * as Process from './Process';
+declare const ServiceResolverTypeId: "~@dxos/functions/ServiceResolver";
+type ServiceResolverTypeId = typeof ServiceResolverTypeId;
+export interface ServiceResolver {
+    readonly [ServiceResolverTypeId]: ServiceResolverTypeId;
+    /**
+     * Resolve a set of services identified by their tags.
+     * Returns a Context containing all requested services, or fails with ServiceNotAvailableError.
+     */
+    resolve<Tag extends Context.Tag<any, any>>(tag: Tag, context: ResolutionContext): Effect.Effect<Context.Tag.Service<Tag>, ServiceNotAvailableError, Scope.Scope>;
+}
+/**
+ * Tag for the ServiceResolver service.
+ */
+export declare const ServiceResolver: Context.Tag<ServiceResolver, ServiceResolver>;
+export declare const resolve: <Tag extends Context.Tag<any, any>>(tag: Tag, context: ResolutionContext) => Effect.Effect<Context.Tag.Service<Tag>, ServiceNotAvailableError, Scope.Scope | ServiceResolver>;
+export declare const resolveAll: <const Tags extends readonly Context.Tag<any, any>[]>(tags: Tags, context: ResolutionContext) => Effect.Effect<Context.Context<Tags[number]>, ServiceNotAvailableError, Scope.Scope | ServiceResolver>;
+/**
+ * Provides context for service resolution.
+ */
+export interface ResolutionContext {
+    /**
+     * Under which identity the process is running.
+     */
+    readonly identity?: string;
+    /**
+     * Under which space the process is running.
+     */
+    readonly space?: SpaceId;
+    /**
+     * DXN of the conversation feed the process is running in.
+     */
+    readonly conversation?: DXN.String;
+    /**
+     * Under which process the process is running.
+     */
+    readonly process?: Process.ID;
+}
+export declare const succeed: <I, S>(tag: Context.Tag<I, S>, getService: (context: ResolutionContext) => Effect.Effect<S, ServiceNotAvailableError, Scope.Scope>) => ServiceResolver;
+/**
+ * Create a ServiceResolver from a custom resolution function.
+ */
+export declare const make: (resolveFn: <I, S>(tag: Context.Tag<I, S>, context: ResolutionContext) => Effect.Effect<S, ServiceNotAvailableError, Scope.Scope>) => ServiceResolver;
+/**
+ * Create a ServiceResolver backed by a static Context.
+ * Tags present in the context are resolved; missing tags fail with ServiceNotAvailableError.
+ */
+export declare const fromContext: (ctx: Context.Context<any>) => ServiceResolver;
+/**
+ * Create a ServiceResolver that resolves tags from the current Effect context.
+ * Only the specified tags are available; requests for other tags fail.
+ */
+export declare const fromRequirements: <const Tags extends readonly Context.Tag<any, any>[]>(...tags: Tags) => Effect.Effect<ServiceResolver, never, Context.Tag.Identifier<Tags[number]>>;
+/**
+ * Like {@link fromRequirements} but returns a Layer that provides ServiceResolver.
+ */
+export declare const layerRequirements: <const Tags extends readonly Context.Tag<any, any>[]>(...tags: Tags) => Layer.Layer<ServiceResolver, never, Context.Tag.Identifier<Tags[number]>>;
+/**
+ * Compose multiple resolvers left to right. Earlier resolvers take precedence:
+ * the first resolver that can satisfy a tag wins.
+ */
+export declare const compose: (...resolvers: readonly ServiceResolver[]) => ServiceResolver;
+/**
+ * An empty resolver that fails for any requested service.
+ */
+export declare const empty: ServiceResolver;
+export {};
+//# sourceMappingURL=ServiceResolver.d.ts.map

package/dist/types/src/process/ServiceResolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ServiceResolver.d.ts","sourceRoot":"","sources":["../../../../src/process/ServiceResolver.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AAErC,QAAA,MAAM,qBAAqB,EAAG,kCAA2C,CAAC;AAC1E,KAAK,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAE1D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;IAExD;;;OAGG;IACH,OAAO,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,iBAAiB,GACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;CACnF;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,+CAAyE,CAAC;AAEtG,eAAO,MAAM,OAAO,GAXV,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,2IAW2C,CAAC;AAEvF,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAC5E,MAAM,IAAI,EACV,SAAS,iBAAiB,KACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,GAAG,eAAe,CAMnG,CAAC;AAEL;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;CAC/B;AAED,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAC1B,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACtB,YAAY,CAAC,OAAO,EAAE,iBAAiB,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,KAClG,eAQF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,WAAW,CAAC,CAAC,EAAE,CAAC,EACd,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACtB,OAAO,EAAE,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,KAC3D,eAGD,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAG,eASrD,CAAC;AAEJ;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAClF,GAAG,MAAM,IAAI,KACZ,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAgBzE,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EACnF,GAAG,MAAM,IAAI,KACZ,KAAK,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACjB,CAAC;AAE3D;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,WAAW,SAAS,eAAe,EAAE,KAAG,eAYhE,CAAC;AAEJ;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,eAElB,CAAC"}

package/dist/types/src/process/StorageService.d.ts

@@ -0,0 +1,58 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Option from 'effect/Option';
+import * as Pipeable from 'effect/Pipeable';
+import * as Schema from 'effect/Schema';
+export interface Service {
+    /** Read a value by key. Returns `None` if key does not exist. */
+    get<S extends Schema.Schema<any, string, any>>(schema: S, key: string): Effect.Effect<Option.Option<Schema.Schema.Type<S>>, never, Schema.Schema.Context<S>>;
+    /** Write a value for the given key. */
+    set<S extends Schema.Schema<any, string, any>>(schema: S, key: string, value: Schema.Schema.Type<S>): Effect.Effect<void, never, Schema.Schema.Context<S>>;
+    /** Remove a key. */
+    delete(key: string): Effect.Effect<void>;
+    /** List all keys, optionally filtered by prefix. */
+    list(prefix?: string): Effect.Effect<readonly string[]>;
+    /** Remove all keys managed by this scoped store. */
+    clear(): Effect.Effect<void>;
+}
+declare const StorageService_base: Context.TagClass<StorageService, "@dxos/functions/StorageService", Service>;
+/**
+ * Scoped key-value storage service for processes.
+ * Each process receives its own namespaced instance via the process manager.
+ * Construct a live implementation with `StorageService.layer` from `@dxos/functions-runtime`.
+ */
+export declare class StorageService extends StorageService_base {
+}
+export declare const get: <S extends Schema.Schema<any, string, any>>(schema: S, key: string) => Effect.Effect<Option.Option<Schema.Schema.Type<S>>, never, Schema.Schema.Context<S> | StorageService>;
+export declare const set: <S extends Schema.Schema<any, string, any>>(schema: S, key: string, value: Schema.Schema.Type<S>) => Effect.Effect<void, never, Schema.Schema.Context<S> | StorageService>;
+export declare const deleteKey: (key: string) => Effect.Effect<void, never, StorageService>;
+export declare const list: (prefix?: string | undefined) => Effect.Effect<readonly string[], never, StorageService>;
+export declare const clear: () => Effect.Effect<void, never, StorageService>;
+/**
+ * Typed key in a storage service.
+ */
+export interface Key<T> extends Pipeable.Pipeable {
+    readonly key: string;
+    get: Effect.Effect<Option.Option<T>, never, StorageService>;
+    set(value: T): Effect.Effect<void, never, StorageService>;
+    delete(): Effect.Effect<void, never, StorageService>;
+}
+/**
+ * Create a typed key in a storage service.
+ */
+export declare const key: <S extends Schema.Schema<any, string, any>>(schema: S, key: string) => Key<Schema.Schema.Type<S>>;
+/**
+ * Typed key in a storage service with a default value.
+ */
+export interface KeyWithDefault<T, U> extends Pipeable.Pipeable {
+    readonly key: string;
+    get: Effect.Effect<T | U, never, StorageService>;
+    set(value: U): Effect.Effect<void, never, StorageService>;
+    delete(): Effect.Effect<void, never, StorageService>;
+}
+/**
+ * Assign a default value to a key if it is not present.
+ */
+export declare const withDefault: <T>(getDefault: () => NoInfer<T>) => (key: Key<T>) => KeyWithDefault<T, T>;
+export {};
+//# sourceMappingURL=StorageService.d.ts.map