<A, E>(
self: FiberHandle<A, E>,
options?: {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?: boolean | undefined
readonly startImmediately?: boolean | undefined
}
): <R, XE extends E, XA extends A>(
effect: Effect.Effect<XA, XE, R>
) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
<A, E, R, XE extends E, XA extends A>(
self: FiberHandle<A, E>,
effect: Effect.Effect<XA, XE, R>,
options?: {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?: boolean | undefined
readonly startImmediately?: boolean | undefined
}
): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>Forks an Effect and stores the resulting fiber in the FiberHandle.
Details
The handle manages only one fiber: running a new effect interrupts the
previous fiber unless onlyIfMissing is set. When the managed fiber
completes, it is removed from the handle.
Example (Running an effect in a fiber handle)
import { Effect, Fiber, FiberHandle } from "effect"
Effect.gen(function*() {
const handle = yield* FiberHandle.make()
// Run an effect and get the fiber
const fiber = yield* FiberHandle.run(handle, Effect.succeed("hello"))
const result = yield* Fiber.await(fiber)
console.log(result) // "hello"
// Running another effect will interrupt the previous one
const fiber2 = yield* FiberHandle.run(handle, Effect.succeed("world"))
const result2 = yield* Fiber.await(fiber2)
console.log(result2) // "world"
})export const const run: {
<A, E>(
self: FiberHandle<A, E>,
options?: {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?:
| boolean
| undefined
readonly startImmediately?:
| boolean
| undefined
}
): <R, XE extends E, XA extends A>(
effect: Effect.Effect<XA, XE, R>
) => Effect.Effect<
Fiber.Fiber<XA, XE>,
never,
R
>
<A, E, R, XE extends E, XA extends A>(
self: FiberHandle<A, E>,
effect: Effect.Effect<XA, XE, R>,
options?: {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?:
| boolean
| undefined
readonly startImmediately?:
| boolean
| undefined
}
): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
}
Forks an Effect and stores the resulting fiber in the FiberHandle.
Details
The handle manages only one fiber: running a new effect interrupts the
previous fiber unless onlyIfMissing is set. When the managed fiber
completes, it is removed from the handle.
Example (Running an effect in a fiber handle)
import { Effect, Fiber, FiberHandle } from "effect"
Effect.gen(function*() {
const handle = yield* FiberHandle.make()
// Run an effect and get the fiber
const fiber = yield* FiberHandle.run(handle, Effect.succeed("hello"))
const result = yield* Fiber.await(fiber)
console.log(result) // "hello"
// Running another effect will interrupt the previous one
const fiber2 = yield* FiberHandle.run(handle, Effect.succeed("world"))
const result2 = yield* Fiber.await(fiber2)
console.log(result2) // "world"
})
run: {
<function (type parameter) A in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A, function (type parameter) E in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E>(
self: FiberHandle<A, E>(parameter) self: {
deferred: Deferred.Deferred<void, unknown>;
state: { readonly _tag: "Open"; fiber: Fiber.Fiber<A, E> | undefined } | { readonly _tag: "Closed" };
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
self: interface FiberHandle<out A = unknown, out E = unknown>Scoped handle that manages at most one fiber, interrupts the current fiber
when the handle's scope closes, and removes managed fibers from the handle
when they complete.
Example (Managing a single fiber)
import { Effect, Fiber, FiberHandle } from "effect"
Effect.gen(function*() {
// Create a FiberHandle that can hold fibers producing strings
const handle = yield* FiberHandle.make<string, never>()
// The handle can store and manage a single fiber
const fiber = yield* FiberHandle.run(handle, Effect.succeed("hello"))
const result = yield* Fiber.await(fiber)
console.log(result) // "hello"
})
FiberHandle<function (type parameter) A in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A, function (type parameter) E in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E>,
options: | {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?:
| boolean
| undefined
readonly startImmediately?:
| boolean
| undefined
}
| undefined
options?: {
readonly onlyIfMissing?: boolean | undefinedonlyIfMissing?: boolean
readonly propagateInterruption?: boolean | undefinedpropagateInterruption?: boolean | undefined
readonly startImmediately?: boolean | undefinedstartImmediately?: boolean | undefined
}
): <function (type parameter) R in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>R, function (type parameter) XE in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XE extends function (type parameter) E in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E, function (type parameter) XA in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XA extends function (type parameter) A in <A, E>(self: FiberHandle<A, E>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A>(
effect: Effect.Effect<XA, XE, R>(parameter) effect: {
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
effect: import EffectEffect.type Effect.Effect = /*unresolved*/ anyEffect<function (type parameter) XA in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XA, function (type parameter) XE in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XE, function (type parameter) R in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>R>
) => import EffectEffect.type Effect.Effect = /*unresolved*/ anyEffect<import FiberFiber.type Fiber.Fiber = /*unresolved*/ anyFiber<function (type parameter) XA in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XA, function (type parameter) XE in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>XE>, never, function (type parameter) R in <R, XE extends E, XA extends A>(effect: Effect.Effect<XA, XE, R>): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>R>
<function (type parameter) A in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A, function (type parameter) E in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E, function (type parameter) R in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
R, function (type parameter) XE in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XE extends function (type parameter) E in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E, function (type parameter) XA in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XA extends function (type parameter) A in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A>(
self: FiberHandle<A, E>(parameter) self: {
deferred: Deferred.Deferred<void, unknown>;
state: { readonly _tag: "Open"; fiber: Fiber.Fiber<A, E> | undefined } | { readonly _tag: "Closed" };
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
self: interface FiberHandle<out A = unknown, out E = unknown>Scoped handle that manages at most one fiber, interrupts the current fiber
when the handle's scope closes, and removes managed fibers from the handle
when they complete.
Example (Managing a single fiber)
import { Effect, Fiber, FiberHandle } from "effect"
Effect.gen(function*() {
// Create a FiberHandle that can hold fibers producing strings
const handle = yield* FiberHandle.make<string, never>()
// The handle can store and manage a single fiber
const fiber = yield* FiberHandle.run(handle, Effect.succeed("hello"))
const result = yield* Fiber.await(fiber)
console.log(result) // "hello"
})
FiberHandle<function (type parameter) A in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
A, function (type parameter) E in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
E>,
effect: Effect.Effect<XA, XE, R>(parameter) effect: {
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
effect: import EffectEffect.type Effect.Effect = /*unresolved*/ anyEffect<function (type parameter) XA in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XA, function (type parameter) XE in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XE, function (type parameter) R in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
R>,
options: | {
readonly onlyIfMissing?: boolean
readonly propagateInterruption?:
| boolean
| undefined
readonly startImmediately?:
| boolean
| undefined
}
| undefined
options?: {
readonly onlyIfMissing?: boolean | undefinedonlyIfMissing?: boolean
readonly propagateInterruption?: boolean | undefinedpropagateInterruption?: boolean | undefined
readonly startImmediately?: boolean | undefinedstartImmediately?: boolean | undefined
}
): import EffectEffect.type Effect.Effect = /*unresolved*/ anyEffect<import FiberFiber.type Fiber.Fiber = /*unresolved*/ anyFiber<function (type parameter) XA in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XA, function (type parameter) XE in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
XE>, never, function (type parameter) R in <A, E, R, XE extends E, XA extends A>(self: FiberHandle<A, E>, effect: Effect.Effect<XA, XE, R>, options?: {
readonly onlyIfMissing?: boolean;
readonly propagateInterruption?: boolean | undefined;
readonly startImmediately?: boolean | undefined;
}): Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
R>
} = function() {
const const self: FiberHandle<unknown, unknown>const self: {
deferred: Deferred.Deferred<void, unknown>;
state: { readonly _tag: "Open"; fiber: Fiber.Fiber<A, E> | undefined } | { readonly _tag: "Closed" };
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
self = function (local var) arguments: IArgumentsarguments[0] as interface FiberHandle<out A = unknown, out E = unknown>Scoped handle that manages at most one fiber, interrupts the current fiber
when the handle's scope closes, and removes managed fibers from the handle
when they complete.
Example (Managing a single fiber)
import { Effect, Fiber, FiberHandle } from "effect"
Effect.gen(function*() {
// Create a FiberHandle that can hold fibers producing strings
const handle = yield* FiberHandle.make<string, never>()
// The handle can store and manage a single fiber
const fiber = yield* FiberHandle.run(handle, Effect.succeed("hello"))
const result = yield* Fiber.await(fiber)
console.log(result) // "hello"
})
FiberHandle
if (import EffectEffect.isEffect(function (local var) arguments: IArgumentsarguments[1])) {
return const runImpl: <
A,
E,
R,
XE extends E,
XA extends A
>(
self: FiberHandle<A, E>,
effect: Effect.Effect<XA, XE, R>,
options?: {
readonly onlyIfMissing?: boolean | undefined
}
) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
runImpl(const self: FiberHandle<unknown, unknown>const self: {
deferred: Deferred.Deferred<void, unknown>;
state: { readonly _tag: "Open"; fiber: Fiber.Fiber<A, E> | undefined } | { readonly _tag: "Closed" };
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
self, function (local var) arguments: IArgumentsarguments[1], function (local var) arguments: IArgumentsarguments[2]) as any
}
const const options: anyoptions = function (local var) arguments: IArgumentsarguments[1]
return (effect: Effect.Effect<unknown, unknown, any>(parameter) effect: {
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
effect: import EffectEffect.type Effect.Effect = /*unresolved*/ anyEffect<unknown, unknown, any>) => const runImpl: <
A,
E,
R,
XE extends E,
XA extends A
>(
self: FiberHandle<A, E>,
effect: Effect.Effect<XA, XE, R>,
options?: {
readonly onlyIfMissing?: boolean | undefined
}
) => Effect.Effect<Fiber.Fiber<XA, XE>, never, R>
runImpl(const self: FiberHandle<unknown, unknown>const self: {
deferred: Deferred.Deferred<void, unknown>;
state: { readonly _tag: "Open"; fiber: Fiber.Fiber<A, E> | undefined } | { readonly _tag: "Closed" };
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
self, effect: Effect.Effect<unknown, unknown, any>(parameter) effect: {
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
effect, const options: anyoptions)
}