effect-io-ai

Package: effect
Module: Effect

Effect.ensureRequirementsType

A no-op type constraint that enforces the requirements channel of an Effect conforms to the specified requirements type R.

Example

import { Effect } from "effect"

// Ensure that the program does not have any requirements.
const program = Effect.succeed(42).pipe(Effect.ensureRequirementsType<never>())

Signature

declare const ensureRequirementsType: <R>() => <A, E, R2 extends R>(effect: Effect<A, E, R2>) => Effect<A, E, R2>

Source

Since v3.17.0