import { TSemaphore } from "@effect/core/stm/TSemaphore/definition";
import { Effect } from "@effect/core/io/Effect/definition";
/**
 * Executes the specified effect, acquiring a permit immediately before the
 * effect begins execution and releasing it immediately after the effect
 * completes execution, whether by success, failure, or interruption.
 * @tsplus getter effect/core/stm/TSemaphore withPermit
 * @tsplus location "@effect/core/stm/TSemaphore/operations/withPermit"
 */
export declare function withPermit(self: TSemaphore): <R, E, A>(effect: import("../../../io/Effect").Effect<R, E, A>) => import("../../../io/Effect").Effect<R, E, A>;
//# sourceMappingURL=withPermit.d.ts.map