/**
 * The `Scope` module provides functionality for managing resource lifecycles
 * and cleanup operations in a functional and composable manner.
 *
 * A `Scope` represents a context where resources can be acquired and automatically
 * cleaned up when the scope is closed. This is essential for managing resources
 * like file handles, database connections, or any other resources that need
 * proper cleanup.
 *
 * Scopes support both sequential and parallel finalization strategies:
 * - Sequential: Finalizers run one after another in reverse order of registration
 * - Parallel: Finalizers run concurrently for better performance
 *
 * @since 2.0.0
 */
import type * as Context from "./Context.ts";
import type { Effect } from "./Effect.ts";
import type { Exit } from "./Exit.ts";
declare const TypeId = "~effect/Scope";
declare const CloseableTypeId = "~effect/Scope/Closeable";
/**
 * A `Scope` represents a context where resources can be acquired and
 * automatically cleaned up when the scope is closed. Scopes can use
 * either sequential or parallel finalization strategies.
 *
 * @example
 * ```ts
 * import { Effect, Exit, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const scope = yield* Scope.make("sequential")
 *
 *   // Scope has a strategy and state
 *   console.log(scope.strategy) // "sequential"
 *   console.log(scope.state._tag) // "Open"
 *
 *   // Close the scope
 *   yield* Scope.close(scope, Exit.void)
 *   console.log(scope.state._tag) // "Closed"
 * })
 * ```
 *
 * @since 2.0.0
 * @category models
 */
export interface Scope {
    readonly [TypeId]: typeof TypeId;
    readonly strategy: "sequential" | "parallel";
    state: State.Open | State.Closed | State.Empty;
}
/**
 * A `Closeable` scope extends the base `Scope` interface with the ability
 * to be closed, executing all registered finalizers.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const scope = yield* Scope.make()
 *
 *   // Add a finalizer
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup!"))
 *
 *   // Scope can be closed
 *   yield* Scope.close(scope, Exit.void)
 * })
 * ```
 *
 * @since 2.0.0
 * @category models
 */
export interface Closeable extends Scope {
    readonly [CloseableTypeId]: typeof CloseableTypeId;
}
/**
 * The `State` namespace contains types representing the different states
 * a scope can be in: Open (accepting new finalizers) or Closed (no longer accepting finalizers).
 *
 * @example
 * ```ts
 * import { Effect, Exit, Scope } from "effect"
 *
 * // Example of checking scope states
 * const program = Effect.gen(function*() {
 *   const scope = yield* Scope.make()
 *
 *   // When open, the scope accepts finalizers
 *   if (scope.state._tag === "Open") {
 *     console.log("Scope is open")
 *   }
 *
 *   yield* Scope.close(scope, Exit.void)
 *
 *   // When closed, the scope no longer accepts finalizers
 *   if (scope.state._tag === "Closed") {
 *     console.log("Scope is closed")
 *   }
 * })
 * ```
 *
 * @since 2.0.0
 * @category models
 */
export declare namespace State {
    /**
     * Represents an open scope state where finalizers can be added and
     * the scope is still accepting new resources.
     *
     * @example
     * ```ts
     * import { Scope } from "effect"
     *
     * const scope = Scope.makeUnsafe()
     *
     * // When scope is open, you can check its state
     * if (scope.state._tag === "Open") {
     *   console.log("Scope is open and accepting finalizers")
     *   console.log(scope.state.finalizers.size) // Number of registered finalizers
     * }
     * ```
     *
     * @since 2.0.0
     * @category models
     */
    type Empty = {
        readonly _tag: "Empty";
    };
    /**
     * Represents an open scope state where finalizers can be added and
     * the scope is still accepting new resources.
     *
     * @example
     * ```ts
     * import { Scope } from "effect"
     *
     * const scope = Scope.makeUnsafe()
     *
     * // When scope is open, you can check its state
     * if (scope.state._tag === "Open") {
     *   console.log("Scope is open and accepting finalizers")
     *   console.log(scope.state.finalizers.size) // Number of registered finalizers
     * }
     * ```
     *
     * @since 2.0.0
     * @category models
     */
    type Open = {
        readonly _tag: "Open";
        readonly finalizers: Map<{}, (exit: Exit<any, any>) => Effect<void>>;
    };
    /**
     * Represents a closed scope state where finalizers have been executed
     * and the scope is no longer accepting new resources.
     *
     * @example
     * ```ts
     * import { Effect, Exit, Scope } from "effect"
     *
     * const program = Effect.gen(function*() {
     *   const scope = yield* Scope.make()
     *
     *   // Close the scope
     *   yield* Scope.close(scope, Exit.succeed("Done"))
     *
     *   // Check if scope is closed
     *   if (scope.state._tag === "Closed") {
     *     console.log("Scope is closed")
     *     console.log(scope.state.exit) // The exit value used to close the scope
     *   }
     * })
     * ```
     *
     * @since 2.0.0
     * @category models
     */
    type Closed = {
        readonly _tag: "Closed";
        readonly exit: Exit<any, any>;
    };
}
/**
 * The service tag for `Scope`, used for dependency injection in the Effect system.
 *
 * @example
 * ```ts
 * import { Effect, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   // Access the scope from the context
 *   const scope = yield* Scope.Scope
 *
 *   // Use the scope for resource management
 *   yield* Scope.addFinalizer(scope, Effect.log("Cleanup"))
 * })
 *
 * // Provide a scope to the program
 * const scoped = Effect.scoped(program)
 * ```
 *
 * @since 2.0.0
 * @category tags
 */
export declare const Scope: Context.Service<Scope, Scope>;
/**
 * Creates a new `Scope` with the specified finalizer strategy.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   // Create a scope with sequential cleanup
 *   const scope = yield* Scope.make("sequential")
 *
 *   // Add finalizers
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup 1"))
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup 2"))
 *
 *   // Close the scope (finalizers run in reverse order)
 *   yield* Scope.close(scope, Exit.void)
 *   // Output: "Cleanup 2", then "Cleanup 1"
 * })
 * ```
 *
 * @category constructors
 * @since 2.0.0
 */
export declare const make: (finalizerStrategy?: "sequential" | "parallel") => Effect<Closeable>;
/**
 * Creates a new `Scope` synchronously without wrapping it in an `Effect`.
 * This is useful when you need a scope immediately but should be used with caution
 * as it doesn't provide the same safety guarantees as the `Effect`-wrapped version.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * // Create a scope immediately
 * const scope = Scope.makeUnsafe("sequential")
 *
 * // Use it in an Effect program
 * const program = Effect.gen(function*() {
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup"))
 *   yield* Scope.close(scope, Exit.void)
 * })
 * ```
 *
 * @since 4.0.0
 * @category constructors
 */
export declare const makeUnsafe: (finalizerStrategy?: "sequential" | "parallel") => Closeable;
/**
 * Provides a `Scope` to an `Effect`, removing the `Scope` requirement from its context.
 * This allows you to run effects that require a scope by explicitly providing one.
 *
 * **Previously Known As**
 *
 * This API replaces the following from Effect 3.x:
 *
 * - `Scope.extend`
 *
 * @example
 * ```ts
 * import { Console, Effect, Scope } from "effect"
 *
 * // An effect that requires a Scope
 * const program = Effect.gen(function*() {
 *   const scope = yield* Scope.Scope
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup"))
 *   yield* Console.log("Working...")
 * })
 *
 * // Provide a scope to the program
 * const withScope = Effect.gen(function*() {
 *   const scope = yield* Scope.make()
 *   yield* Scope.provide(scope)(program)
 * })
 * ```
 *
 * @since 4.0.0
 * @category combinators
 */
export declare const provide: {
    /**
     * Provides a `Scope` to an `Effect`, removing the `Scope` requirement from its context.
     * This allows you to run effects that require a scope by explicitly providing one.
     *
     * **Previously Known As**
     *
     * This API replaces the following from Effect 3.x:
     *
     * - `Scope.extend`
     *
     * @example
     * ```ts
     * import { Console, Effect, Scope } from "effect"
     *
     * // An effect that requires a Scope
     * const program = Effect.gen(function*() {
     *   const scope = yield* Scope.Scope
     *   yield* Scope.addFinalizer(scope, Console.log("Cleanup"))
     *   yield* Console.log("Working...")
     * })
     *
     * // Provide a scope to the program
     * const withScope = Effect.gen(function*() {
     *   const scope = yield* Scope.make()
     *   yield* Scope.provide(scope)(program)
     * })
     * ```
     *
     * @since 4.0.0
     * @category combinators
     */
    (value: Scope): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Scope>>;
    /**
     * Provides a `Scope` to an `Effect`, removing the `Scope` requirement from its context.
     * This allows you to run effects that require a scope by explicitly providing one.
     *
     * **Previously Known As**
     *
     * This API replaces the following from Effect 3.x:
     *
     * - `Scope.extend`
     *
     * @example
     * ```ts
     * import { Console, Effect, Scope } from "effect"
     *
     * // An effect that requires a Scope
     * const program = Effect.gen(function*() {
     *   const scope = yield* Scope.Scope
     *   yield* Scope.addFinalizer(scope, Console.log("Cleanup"))
     *   yield* Console.log("Working...")
     * })
     *
     * // Provide a scope to the program
     * const withScope = Effect.gen(function*() {
     *   const scope = yield* Scope.make()
     *   yield* Scope.provide(scope)(program)
     * })
     * ```
     *
     * @since 4.0.0
     * @category combinators
     */
    <A, E, R>(self: Effect<A, E, R>, value: Scope): Effect<A, E, Exclude<R, Scope>>;
};
/**
 * Adds a finalizer to a scope that will be executed when the scope is closed.
 * Finalizers are cleanup functions that receive the exit value of the scope.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const withResource = Effect.gen(function*() {
 *   const scope = yield* Scope.make()
 *
 *   // Add a finalizer for cleanup
 *   yield* Scope.addFinalizerExit(
 *     scope,
 *     (exit) =>
 *       Console.log(
 *         `Cleaning up resource. Exit: ${
 *           Exit.isSuccess(exit) ? "Success" : "Failure"
 *         }`
 *       )
 *   )
 *
 *   // Use the resource
 *   yield* Console.log("Using resource")
 *
 *   // Close the scope
 *   yield* Scope.close(scope, Exit.void)
 * })
 * ```
 *
 * @category combinators
 * @since 4.0.0
 */
export declare const addFinalizerExit: (scope: Scope, finalizer: (exit: Exit<any, any>) => Effect<unknown>) => Effect<void>;
/**
 * Adds a finalizer to a scope. The finalizer is a simple `Effect` that will be
 * executed when the scope is closed, regardless of whether the scope closes
 * successfully or with an error.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const scope = yield* Scope.make()
 *
 *   // Add simple finalizers
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup task 1"))
 *   yield* Scope.addFinalizer(scope, Console.log("Cleanup task 2"))
 *   yield* Scope.addFinalizer(scope, Effect.log("Cleanup task 3"))
 *
 *   // Do some work
 *   yield* Console.log("Doing work...")
 *
 *   // Close the scope
 *   yield* Scope.close(scope, Exit.void)
 * })
 * ```
 *
 * @since 4.0.0
 * @category combinators
 */
export declare const addFinalizer: (scope: Scope, finalizer: Effect<unknown>) => Effect<void>;
/**
 * Creates a child scope from a parent scope. The child scope inherits the
 * parent's finalization strategy unless overridden.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const nestedScopes = Effect.gen(function*() {
 *   const parentScope = yield* Scope.make("sequential")
 *
 *   // Add finalizer to parent
 *   yield* Scope.addFinalizer(parentScope, Console.log("Parent cleanup"))
 *
 *   // Create child scope
 *   const childScope = yield* Scope.fork(parentScope, "parallel")
 *
 *   // Add finalizer to child
 *   yield* Scope.addFinalizer(childScope, Console.log("Child cleanup"))
 *
 *   // Close child first, then parent
 *   yield* Scope.close(childScope, Exit.void)
 *   yield* Scope.close(parentScope, Exit.void)
 * })
 * ```
 *
 * @category combinators
 * @since 4.0.0
 */
export declare const fork: (scope: Scope, finalizerStrategy?: "sequential" | "parallel") => Effect<Closeable>;
/**
 * Creates a child scope from a parent scope synchronously without wrapping it in an `Effect`.
 * The child scope inherits the parent's finalization strategy unless overridden.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const program = Effect.gen(function*() {
 *   const parentScope = Scope.makeUnsafe("sequential")
 *   const childScope = Scope.forkUnsafe(parentScope, "parallel")
 *
 *   // Add finalizers to both scopes
 *   yield* Scope.addFinalizer(parentScope, Console.log("Parent cleanup"))
 *   yield* Scope.addFinalizer(childScope, Console.log("Child cleanup"))
 *
 *   // Close child first, then parent
 *   yield* Scope.close(childScope, Exit.void)
 *   yield* Scope.close(parentScope, Exit.void)
 * })
 * ```
 *
 * @since 4.0.0
 * @category combinators
 */
export declare const forkUnsafe: (scope: Scope, finalizerStrategy?: "sequential" | "parallel") => Closeable;
/**
 * Closes a scope, running all registered finalizers in the appropriate order.
 * The exit value is passed to each finalizer.
 *
 * @example
 * ```ts
 * import { Console, Effect, Exit, Scope } from "effect"
 *
 * const resourceManagement = Effect.gen(function*() {
 *   const scope = yield* Scope.make("sequential")
 *
 *   // Add multiple finalizers
 *   yield* Scope.addFinalizer(scope, Console.log("Close database connection"))
 *   yield* Scope.addFinalizer(scope, Console.log("Close file handle"))
 *   yield* Scope.addFinalizer(scope, Console.log("Release memory"))
 *
 *   // Do some work...
 *   yield* Console.log("Performing operations...")
 *
 *   // Close scope - finalizers run in reverse order of registration
 *   yield* Scope.close(scope, Exit.succeed("Success!"))
 *   // Output: "Release memory", "Close file handle", "Close database connection"
 * })
 * ```
 *
 * @category combinators
 * @since 4.0.0
 */
export declare const close: <A, E>(self: Scope, exit: Exit<A, E>) => Effect<void>;
/**
 * @since 4.0.0
 */
export declare const closeUnsafe: <A, E>(self: Scope, exit_: Exit<A, E>) => Effect<void, never, never> | undefined;
/**
 * @category combinators
 * @since 4.0.0
 */
export declare const use: {
    /**
     * @category combinators
     * @since 4.0.0
     */
    (scope: Closeable): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Scope>>;
    /**
     * @category combinators
     * @since 4.0.0
     */
    <A, E, R>(self: Effect<A, E, R>, scope: Closeable): Effect<A, E, Exclude<R, Scope>>;
};
export {};
//# sourceMappingURL=Scope.d.ts.map