Effection Logo
@effectionx/context-apiv0.4.0thefrontside/effectionx
NPM Badge with published version
import { } from "@effectionx/context-api"

Context APIs

Algebraic effects pattern for context-dependent operations with middleware

Often called "Algebraic Effects" or "Contextual Effects", Context APIs let you access an operation via the context in a way that it can be easily (and contextually) wrapped with middleware. Middleware is powered by @effectionx/middleware and supports min/max priority ordering.

Quick Start

Let's say that you want to define a log operation that behaves differently in different contexts. The basic form will just log values to the console.

import { createApi } from "@effectionx/context-api";

export const logging = createApi("logging", {
  *log(...values: unknown[]) {
    console.log(...values);
  },
});

export const { log } = logging.operations;

Now you can use the logging API wherever you want:

import { log } from "./logging.ts";

export function* op() {
  yield* log("I am in an operation");
}

Wrapping with Middleware

Use the around function to wrap middleware around your operations. This lets you intercept calls, transform arguments, modify return values, or replace the implementation entirely.

import { logging } from "./logging.ts";

function* initCustomLogging(externalLogger: { log(...values: unknown[]): void }) {
  yield* logging.around({
    *log([...values], next) {
      externalLogger.log(...values);
      // since we override the logger entirely, we do not invoke next
    },
  });
}

Middleware is only in effect inside the scope in which it is installed — when the scope exits, the middleware is removed.

Min/Max Priority

By default, around() registers middleware at "max" priority (outermost, closest to the caller). You can also register at "min" priority (innermost, closest to the core handler) by passing an options argument:

import { createApi } from "@effectionx/context-api";
import type { Operation } from "effection";

export const files = createApi("files", {
  *readFile(path: string): Operation<string> {
    throw new Error(`readFile("${path}") is not implemented`);
  },
});

export const { readFile } = files.operations;

In your runtime setup, provide the implementation via min:

import { files } from "./files.ts";

function* initNodeRuntime() {
  yield* files.around(
    {
      *readFile([path], _next) {
        return yield* nodeReadFile(path);
      },
    },
    { at: "min" },
  );
}

max middlewares wrap the outside as usual — they don't care which min is providing the actual implementation:

import { files } from "./files.ts";

function* withLogging() {
  yield* files.around({
    *readFile([path], next) {
      console.log(`reading ${path}`);
      return yield* next(path);
    },
  });
}

In tests, swap the implementation by registering a different min:

function* useTestFixtures(fixtures: Map<string, string>) {
  yield* files.around(
    {
      *readFile([path], _next) {
        return fixtures.get(path) ?? "";
      },
    },
    { at: "min" },
  );
}

The execution order with max middlewares [M1, M2] and min middlewares [m1, m2] is:

M1 → M2 → m1 → m2 → core

Instrumentation

Middleware can be useful for automatic instrumentation:

import { fetching } from "./fetching.ts";

function* instrumentFetch(tracer) {
  yield* fetching.around({
    *fetch(args, next) {
      try {
        tracer.begin("fetch", args);
        return yield* next(...args);
      } finally {
        tracer.end("fetch", args);
      }
    },
  });
}

Test Mocking

Mock operations in test cases without changing the call site:

import { fetching } from "./fetching.ts";

function* useMocks() {
  yield* fetching.around({
    *fetch([url, ...rest], next) {
      if (url === "/my-path") {
        return new MockResponse("my-path");
      } else {
        return yield* next(url, ...rest);
      }
    },
  });
}

Scope Isolation

Middleware installed in a child scope does not affect the parent:

import { scoped } from "effection";
import { log, logging } from "./logging.ts";

function* example() {
  yield* scoped(function* () {
    yield* logging.around({
      *log([...values], next) {
        // only active inside this scope
        return yield* next(...values);
      },
    });
    yield* log("intercepted"); // middleware runs
  });

  yield* log("not intercepted"); // middleware does not run
}

API

createApi(name, handler)

Create a context API from a name and an object of handler functions or operations. Returns an object with operations and around.

import { createApi } from "@effectionx/context-api";
import type { Operation } from "effection";

const math = createApi("math", {
  *add(left: number, right: number): Operation<number> {
    return left + right;
  },
});

const { add } = math.operations;

function* example(): Operation<void> {
  const result = yield* add(1, 2); // => 3
}

around(middlewares, options?)

Register middleware around one or more operations. The second argument controls priority:

  • { at: "max" } (default) — outermost, closest to the caller
  • { at: "min" } — innermost, closest to the core handler
function* example() {
  // Wrapping middleware (max, default)
  yield* math.around({
    *add(args, next) {
      console.log("adding", args);
      return yield* next(...args);
    },
  });

  // Implementation middleware (min)
  yield* math.around(
    {
      *add([left, right], _next) {
        return left * right; // replace the core implementation
      },
    },
    { at: "min" },
  );
}

Each middleware receives the arguments as a tuple and a next function to delegate to the next middleware (or the core handler). A middleware can:

  • Pass through: call next(...args) and return its result
  • Transform arguments: call next() with different arguments
  • Transform the return value: modify what next() returns
  • Short-circuit: return a value without calling next() at all

API Reference

type Around = [K in keyof Operations<A>] : A[K] extends (args: infer TArgs) => infer TReturn ? Middleware<TArgs, TReturn> : Middleware<[], A[K]>

Type Parameters

A

interface Api<A>

Type Parameters

A

Properties

operations: Operations<A>

No documentation available.

around: (around: Partial<Around<A>>, optionsoptional: {}) => Operation<void>

No documentation available.

type Operations = [K in keyof T] : T[K] extends (args: infer TArgs) => infer TReturn ? (args: TArgs) => TReturn : T[K] extends Operation<infer TReturn> ? Operation<TReturn> : never

Type Parameters

T

function createApi<A extends Record<string, Handler>>(name: string, handler: A): Api<A>

Type Parameters

A extends Record<string, Handler>

Parameters

name: string

handler: A

Return Type

Api<A>

type Handler = Operation<unknown> | ((args: any[]) => Operation<unknown>)