Search documentation

Search by topic, API name, or import path.

GitHub ↗

variable / @typed/fx/RefSubject

modifyEffect

Modifies a RefSubject using an Effectful function that returns both a result and a new value.

Package version
2.0.0-beta.13
Category
Transactions
Since
1.0.0

Import

import { modifyEffect } from "@typed/fx/RefSubject";

Signatures

export declare const modifyEffect: {
    <A, B, E2, R2>(f: (value: A) => Effect.Effect<readonly [
        B,
        A
    ], E2, R2>): <E, R>(ref: RefSubject<A, E, R>) => Effect.Effect<B, E | E2, R | R2>;
    <A, E, R, B, E2, R2>(ref: RefSubject<A, E, R>, f: (value: A) => Effect.Effect<readonly [
        B,
        A
    ], E2, R2>): Effect.Effect<B, E | E2, R | R2>;
};

Why

Modifies a RefSubject using an Effectful function that returns both a result and a new value. The transition is serialized at the RefSubject rather than coordinated by callers or UI components.

Ownership and lifetime

Running modify effect performs one serialized subject transition and resolves with its committed value. It acquires no resource; failures and services remain those of the source ref.

Examples

import { Effect } from "effect"
import * as RefSubject from "@typed/fx/RefSubject"

const program = Effect.gen(function* () {
  const count = yield* RefSubject.make(5)

  // Get the old value and set a new one, returning the old value
  const oldValue = yield* RefSubject.modifyEffect(count, (value) =>
    Effect.succeed([value, value + 10] as const)
  )

  console.log(oldValue) // 5
  const newValue = yield* count
  console.log(newValue) // 15
})

Other public imports

These import paths expose the same declaration. Each page retains its own public name and signature.

Source