/**
 * Models a value that may be present or absent.
 *
 * An `Option<A>` is `Some<A>` when a value is available and `None` when it is
 * not. This lets code handle missing values explicitly instead of relying on
 * `null` or `undefined`. The module includes helpers for creating, checking,
 * transforming, combining, and extracting optional values, plus conversions to
 * and from common nullable or result-like shapes. It also includes `Option.gen`
 * for writing small generator-based computations that stop at the first `None`.
 *
 * @stability stable
 * @since 2.0.0
 */
import * as Combiner from "./Combiner.ts";
import * as Equivalence from "./Equivalence.ts";
import type * as Filter from "./Filter.ts";
import type { LazyArg } from "./Function.ts";
import type { TypeLambda } from "./HKT.ts";
import type { Inspectable } from "./Inspectable.ts";
import type { Order } from "./Order.ts";
import type { Pipeable } from "./Pipeable.ts";
import type { Predicate, Refinement } from "./Predicate.ts";
import * as Reducer from "./Reducer.ts";
import type { Result } from "./Result.ts";
import type { Covariant, NoInfer, NotFunction } from "./Types.ts";
import type * as Unify from "./Unify.ts";
import type * as Gen from "./Utils.ts";
declare const TypeId = "~effect/Option";
/**
 * The `Option` data type represents optional values. An `Option<A>` is either
 * `Some<A>`, containing a value of type `A`, or `None`, representing absence.
 *
 * **When to use**
 *
 * Use to represent initial values that may not yet exist
 * - Returning from partial functions (not defined for all inputs)
 * - Managing optional fields in data structures
 *
 * @see {@link some} for creating a `Some`
 * @see {@link none} for creating a `None`
 * @see {@link match} for pattern matching
 *
 * @stability stable
 * @category models
 * @since 2.0.0
 */
export type Option<A> = None<A> | Some<A>;
/**
 * Represents the absence of a value within an {@link Option}.
 *
 * **When to use**
 *
 * Use as a type guard target when narrowing via {@link isNone}
 *
 * **Details**
 *
 * - `_tag` is always `"None"`
 * - Implements `Pipeable`, `Inspectable`, and structural equality
 *
 * @see {@link isNone} to check if an `Option` is `None`
 * @see {@link none} to construct a `None`
 *
 * @stability stable
 * @category models
 * @since 2.0.0
 */
export interface None<out A> extends Pipeable, Inspectable {
    readonly _tag: "None";
    readonly _op: "None";
    readonly valueOrUndefined: undefined;
    readonly [TypeId]: {
        readonly _A: Covariant<A>;
    };
    [Symbol.iterator](): OptionIterator<Option<A>>;
    [Unify.typeSymbol]?: unknown;
    [Unify.unifySymbol]?: OptionUnify<this>;
    [Unify.ignoreSymbol]?: OptionUnifyIgnore;
}
/**
 * Iterator protocol used to yield an `Option` inside {@link gen}, returning the
 * contained value type back to the generator.
 *
 * **When to use**
 *
 * Use when defining or typing `[Symbol.iterator]()` for `Option` values so
 * `yield*` can pass the contained value type back into `Option.gen`.
 *
 * @see {@link gen} for writing generator-based `Option` code that consumes this iterator protocol
 *
 * @stability stable
 * @category generators
 * @since 4.0.0
 */
export interface OptionIterator<T extends Option<any>> {
    next(...args: ReadonlyArray<any>): IteratorResult<T, Option.Value<T>>;
}
/**
 * Represents the presence of a value within an {@link Option}.
 *
 * **When to use**
 *
 * Use as a type guard target when narrowing via {@link isSome}
 * - Access the inner value via `.value`
 *
 * **Details**
 *
 * - `_tag` is always `"Some"`
 * - `.value` holds the contained value of type `A`
 * - Implements `Pipeable`, `Inspectable`, and structural equality
 *
 * @see {@link isSome} to check if an `Option` is `Some`
 * @see {@link some} to construct a `Some`
 *
 * @stability stable
 * @category models
 * @since 2.0.0
 */
export interface Some<out A> extends Pipeable, Inspectable {
    readonly _tag: "Some";
    readonly _op: "Some";
    readonly value: A;
    readonly valueOrUndefined: A;
    readonly [TypeId]: {
        readonly _A: Covariant<A>;
    };
    [Symbol.iterator](): OptionIterator<Option<A>>;
    [Unify.typeSymbol]?: unknown;
    [Unify.unifySymbol]?: OptionUnify<this>;
    [Unify.ignoreSymbol]?: OptionUnifyIgnore;
}
/**
 * Type-level unification support for `Option` values.
 *
 * **When to use**
 *
 * Use when extending Effect's type-level unification support for `Option`.
 *
 * **Details**
 *
 * This is used by Effect's `Unify` machinery to preserve the contained value
 * type when generic code returns or combines `Option` values. Users normally
 * do not need to reference this interface directly.
 *
 * @stability stable
 * @category models
 * @since 2.0.0
 */
export interface OptionUnify<A extends {
    [Unify.typeSymbol]?: any;
}> {
    Option?: () => A[Unify.typeSymbol] extends Option<infer A0> | infer _ ? Option<A0> : never;
}
/**
 * Namespace containing utility types for `Option`.
 *
 * **When to use**
 *
 * Use to access type-level helpers associated with `Option`.
 *
 * @stability stable
 * @since 2.0.0
 */
export declare namespace Option {
    /**
     * Extracts the type of the value contained in an `Option`.
     *
     * **When to use**
     *
     * Use to infer the inner value type from an existing `Option` type.
     *
     * **Example** (Extracting the value type)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const myOption: Option.Option<string> = Option.some("value")
     * type MyType = Option.Option.Value<typeof myOption>
     *
     * const witness: MyType = "value"
     * ```
     *
     * @category utility types
     * @since 2.0.0
     */
    type Value<T extends Option<any>> = [T] extends [Option<infer _A>] ? _A : never;
}
/**
 * Marker interface used by Effect's `Unify` machinery for `Option` values.
 *
 * **When to use**
 *
 * Use when marking generic code so `Option` unification should be ignored.
 *
 * **Details**
 *
 * This supports type-level unification behavior for `Option`. Users normally
 * do not need to reference this interface directly.
 *
 * @stability stable
 * @category models
 * @since 2.0.0
 */
export interface OptionUnifyIgnore {
}
/**
 * Type lambda interface for higher-kinded type encodings with `Option`.
 *
 * **When to use**
 *
 * Use when defining higher-kinded abstractions that must accept optional-value
 * types as one of their type-lambda inputs.
 *
 * @stability stable
 * @category utility types
 * @since 2.0.0
 */
export interface OptionTypeLambda extends TypeLambda {
    readonly type: Option<this["Target"]>;
}
/**
 * Creates an `Option` representing the absence of a value.
 *
 * **When to use**
 *
 * Use to represent a missing or uninitialized value, such as returning "no
 * result" from a function.
 *
 * **Details**
 *
 * - Returns `Option<never>`, which is a subtype of `Option<A>` for any `A`
 * - Always returns the same singleton instance
 *
 * **Example** (Creating an empty Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * //      ┌─── Option<never>
 * //      ▼
 * const noValue = Option.none() // => Option.none()
 * ```
 *
 * @see {@link some} for the opposite operation.
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
export declare const none: <A = never>() => Option<A>;
/**
 * Wraps the given value into an `Option` to represent its presence.
 *
 * **When to use**
 *
 * Use to wrap a known present value as `Option`
 * - Returning a successful result from a partial function
 *
 * **Details**
 *
 * - Always returns `Some<A>`
 * - Does not filter `null` or `undefined`; use {@link fromNullishOr} for that
 *
 * **Example** (Wrapping a value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * //      ┌─── Option<number>
 * //      ▼
 * const value = Option.some(1) // => Option.some(1)
 * ```
 *
 * @see {@link none} for the opposite operation.
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
export declare const some: <A>(value: A) => Option<A>;
/**
 * Determines whether the given value is an `Option`.
 *
 * **When to use**
 *
 * Use to validate unknown values at runtime boundaries, such as type-narrowing
 * in union types.
 *
 * **Details**
 *
 * - Returns `true` for both `Some` and `None` instances
 * - Acts as a type guard, narrowing the input to `Option<unknown>`
 *
 * **Example** (Checking if a value is an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.isOption(Option.some(1)) // => true
 * Option.isOption(Option.none()) // => true
 * Option.isOption({}) // => false
 * ```
 *
 * @see {@link isNone} to check for `None` specifically
 * @see {@link isSome} to check for `Some` specifically
 *
 * @stability stable
 * @category guards
 * @since 2.0.0
 */
export declare const isOption: (input: unknown) => input is Option<unknown>;
/**
 * Checks whether an `Option` is `None` (absent).
 *
 * **When to use**
 *
 * Use when you need to branch on an absent `Option` before accessing `.value`.
 *
 * **Details**
 *
 * - Acts as a type guard, narrowing to `None<A>`
 *
 * **Example** (Checking for None)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.isNone(Option.some(1)) // => false
 * Option.isNone(Option.none()) // => true
 * ```
 *
 * @see {@link isSome} for the opposite check.
 *
 * @stability stable
 * @category guards
 * @since 2.0.0
 */
export declare const isNone: <A>(self: Option<A>) => self is None<A>;
/**
 * Checks whether an `Option` contains a value (`Some`).
 *
 * **When to use**
 *
 * Use when you need to branch on a present `Option` before accessing `.value`.
 *
 * **Details**
 *
 * - Acts as a type guard, narrowing to `Some<A>`
 *
 * **Example** (Checking for Some)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.isSome(Option.some(1)) // => true
 * Option.isSome(Option.none()) // => false
 * ```
 *
 * @see {@link isNone} for the opposite check.
 *
 * @stability stable
 * @category guards
 * @since 2.0.0
 */
export declare const isSome: <A>(self: Option<A>) => self is Some<A>;
/**
 * Pattern-matches on an `Option`, handling both `None` and `Some` cases.
 *
 * **When to use**
 *
 * Use when you need to handle both `Some` and `None` in one expression and
 * transform an `Option` into a plain value.
 *
 * **Details**
 *
 * - If `None`, calls `onNone` and returns its result
 * - If `Some`, calls `onSome` with the value and returns its result
 * - Supports the `dual` API (data-last and data-first)
 *
 * **Example** (Matching on an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.match(Option.some(1), {
 *   onNone: () => "Option is empty",
 *   onSome: (value) => `Option has a value: ${value}`
 * }) // => "Option has a value: 1"
 * ```
 *
 * @see {@link getOrElse} for unwrapping with a default
 *
 * @stability stable
 * @category pattern matching
 * @since 2.0.0
 */
export declare const match: {
    /**
     * Pattern-matches on an `Option`, handling both `None` and `Some` cases.
     *
     * **When to use**
     *
     * Use when you need to handle both `Some` and `None` in one expression and
     * transform an `Option` into a plain value.
     *
     * **Details**
     *
     * - If `None`, calls `onNone` and returns its result
     * - If `Some`, calls `onSome` with the value and returns its result
     * - Supports the `dual` API (data-last and data-first)
     *
     * **Example** (Matching on an Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.match(Option.some(1), {
     *   onNone: () => "Option is empty",
     *   onSome: (value) => `Option has a value: ${value}`
     * }) // => "Option has a value: 1"
     * ```
     *
     * @see {@link getOrElse} for unwrapping with a default
     *
     * @stability stable
     * @category pattern matching
     * @since 2.0.0
     */
    <B, A, C = B>(options: {
        readonly onNone: LazyArg<B>;
        readonly onSome: (a: A) => C;
    }): (self: Option<A>) => B | C;
    /**
     * Pattern-matches on an `Option`, handling both `None` and `Some` cases.
     *
     * **When to use**
     *
     * Use when you need to handle both `Some` and `None` in one expression and
     * transform an `Option` into a plain value.
     *
     * **Details**
     *
     * - If `None`, calls `onNone` and returns its result
     * - If `Some`, calls `onSome` with the value and returns its result
     * - Supports the `dual` API (data-last and data-first)
     *
     * **Example** (Matching on an Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.match(Option.some(1), {
     *   onNone: () => "Option is empty",
     *   onSome: (value) => `Option has a value: ${value}`
     * }) // => "Option has a value: 1"
     * ```
     *
     * @see {@link getOrElse} for unwrapping with a default
     *
     * @stability stable
     * @category pattern matching
     * @since 2.0.0
     */
    <A, B, C = B>(self: Option<A>, options: {
        readonly onNone: LazyArg<B>;
        readonly onSome: (a: A) => C;
    }): B | C;
};
/**
 * Converts an `Option`-returning function into a type guard (refinement).
 *
 * **When to use**
 *
 * Use when you need to turn an `Option`-returning parser into a type-narrowing
 * predicate, such as for `Array.prototype.filter`.
 *
 * **Details**
 *
 * - Returns `true` when the original function returns `Some`
 * - Returns `false` when the original function returns `None`
 * - Narrows the input type to `B` on success
 *
 * **Example** (Converting a parser to a type guard)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * type MyData = string | number
 *
 * const parseString = (data: MyData): Option.Option<string> =>
 *   typeof data === "string" ? Option.some(data) : Option.none()
 *
 * //      ┌─── (a: MyData) => a is string
 * //      ▼
 * const isString = Option.toRefinement(parseString)
 *
 * isString("a") // => true
 * isString(1) // => false
 * ```
 *
 * @see {@link liftPredicate} for the reverse direction
 *
 * @stability stable
 * @category converting
 * @since 2.0.0
 */
export declare const toRefinement: <A, B extends A>(f: (a: A) => Option<B>) => (a: A) => a is B;
/**
 * Wraps the first element of an `Iterable` in a `Some`, or returns `None` if
 * the iterable is empty.
 *
 * **When to use**
 *
 * Use when you need to safely extract the head of a collection, including
 * generators or lazy iterables.
 *
 * **Details**
 *
 * - Only consumes the first element; does not iterate the rest
 * - Returns `None` for empty iterables
 *
 * **Example** (Getting the first element)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.fromIterable([1, 2, 3]) // => Option.some(1)
 * Option.fromIterable([]) // => Option.none()
 * ```
 *
 * @see {@link toArray} for the inverse direction
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
export declare const fromIterable: <A>(collection: Iterable<A>) => Option<A>;
/**
 * Converts a `Result` into an `Option`, keeping only the success value.
 *
 * **When to use**
 *
 * Use when you need to discard a `Result` failure and keep only the success
 * value as an `Option`.
 *
 * **Details**
 *
 * - `Success` becomes `Some` with the success value
 * - `Failure` becomes `None` and the failure value is discarded
 *
 * **Example** (Extracting the success side)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * Option.getSuccess(Result.succeed("ok")) // => Option.some("ok")
 * Option.getSuccess(Result.fail("err")) // => Option.none()
 * ```
 *
 * @see {@link getFailure} for the opposite operation.
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const getSuccess: <A, E>(self: Result<A, E>) => Option<A>;
/**
 * Converts a `Result` into an `Option`, keeping only the failure value.
 *
 * **When to use**
 *
 * Use when you need to discard a `Result` success and keep only the failure
 * value as an `Option`.
 *
 * **Details**
 *
 * - `Failure` becomes `Some` with the failure value
 * - `Success` becomes `None` and the success value is discarded
 *
 * **Example** (Extracting the failure side)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * Option.getFailure(Result.succeed("ok")) // => Option.none()
 * Option.getFailure(Result.fail("err")) // => Option.some("err")
 * ```
 *
 * @see {@link getSuccess} for the opposite operation.
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const getFailure: <A, E>(self: Result<A, E>) => Option<E>;
/**
 * Extracts the value from a `Some`, or evaluates a fallback thunk on `None`.
 *
 * **When to use**
 *
 * Use when providing a default value for an absent `Option`
 * - Unwrapping with lazy evaluation of the fallback
 *
 * **Details**
 *
 * - `Some` → returns the inner value
 * - `None` → calls `onNone()` and returns its result
 * - `onNone` is only called when needed (lazy)
 *
 * **Example** (Unwrapping with a fallback)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.some(1).pipe(Option.getOrElse(() => 0)) // => 1
 * Option.none().pipe(Option.getOrElse(() => 0)) // => 0
 * ```
 *
 * @see {@link getOrNull} to fall back to `null`
 * @see {@link getOrUndefined} to fall back to `undefined`
 * @see {@link getOrThrow} to throw on `None`
 *
 * @stability stable
 * @category getters
 * @since 2.0.0
 */
export declare const getOrElse: {
    /**
     * Extracts the value from a `Some`, or evaluates a fallback thunk on `None`.
     *
     * **When to use**
     *
     * Use when providing a default value for an absent `Option`
     * - Unwrapping with lazy evaluation of the fallback
     *
     * **Details**
     *
     * - `Some` → returns the inner value
     * - `None` → calls `onNone()` and returns its result
     * - `onNone` is only called when needed (lazy)
     *
     * **Example** (Unwrapping with a fallback)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.some(1).pipe(Option.getOrElse(() => 0)) // => 1
     * Option.none().pipe(Option.getOrElse(() => 0)) // => 0
     * ```
     *
     * @see {@link getOrNull} to fall back to `null`
     * @see {@link getOrUndefined} to fall back to `undefined`
     * @see {@link getOrThrow} to throw on `None`
     *
     * @stability stable
     * @category getters
     * @since 2.0.0
     */
    <B>(onNone: LazyArg<B>): <A>(self: Option<A>) => B | A;
    /**
     * Extracts the value from a `Some`, or evaluates a fallback thunk on `None`.
     *
     * **When to use**
     *
     * Use when providing a default value for an absent `Option`
     * - Unwrapping with lazy evaluation of the fallback
     *
     * **Details**
     *
     * - `Some` → returns the inner value
     * - `None` → calls `onNone()` and returns its result
     * - `onNone` is only called when needed (lazy)
     *
     * **Example** (Unwrapping with a fallback)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.some(1).pipe(Option.getOrElse(() => 0)) // => 1
     * Option.none().pipe(Option.getOrElse(() => 0)) // => 0
     * ```
     *
     * @see {@link getOrNull} to fall back to `null`
     * @see {@link getOrUndefined} to fall back to `undefined`
     * @see {@link getOrThrow} to throw on `None`
     *
     * @stability stable
     * @category getters
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, onNone: LazyArg<B>): A | B;
};
/**
 * Returns the fallback `Option` if `self` is `None`; otherwise returns `self`.
 *
 * **When to use**
 *
 * Use when you need a lazy fallback `Option`, such as when building priority
 * chains of optional values.
 *
 * **Details**
 *
 * - `Some` → returns `self` unchanged
 * - `None` → evaluates and returns `that()`
 * - `that` is lazily evaluated
 *
 * **Example** (Providing a fallback Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.none().pipe(Option.orElse(() => Option.some("b"))) // => Option.some("b")
 * Option.some("a").pipe(Option.orElse(() => Option.some("b"))) // => Option.some("a")
 * ```
 *
 * @see {@link orElseSome} to wrap the fallback value in `Some` automatically
 * @see {@link firstSomeOf} to pick the first `Some` from a collection
 *
 * @stability stable
 * @category error handling
 * @since 2.0.0
 */
export declare const orElse: {
    /**
     * Returns the fallback `Option` if `self` is `None`; otherwise returns `self`.
     *
     * **When to use**
     *
     * Use when you need a lazy fallback `Option`, such as when building priority
     * chains of optional values.
     *
     * **Details**
     *
     * - `Some` → returns `self` unchanged
     * - `None` → evaluates and returns `that()`
     * - `that` is lazily evaluated
     *
     * **Example** (Providing a fallback Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.none().pipe(Option.orElse(() => Option.some("b"))) // => Option.some("b")
     * Option.some("a").pipe(Option.orElse(() => Option.some("b"))) // => Option.some("a")
     * ```
     *
     * @see {@link orElseSome} to wrap the fallback value in `Some` automatically
     * @see {@link firstSomeOf} to pick the first `Some` from a collection
     *
     * @stability stable
     * @category error handling
     * @since 2.0.0
     */
    <B>(that: LazyArg<Option<B>>): <A>(self: Option<A>) => Option<B | A>;
    /**
     * Returns the fallback `Option` if `self` is `None`; otherwise returns `self`.
     *
     * **When to use**
     *
     * Use when you need a lazy fallback `Option`, such as when building priority
     * chains of optional values.
     *
     * **Details**
     *
     * - `Some` → returns `self` unchanged
     * - `None` → evaluates and returns `that()`
     * - `that` is lazily evaluated
     *
     * **Example** (Providing a fallback Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.none().pipe(Option.orElse(() => Option.some("b"))) // => Option.some("b")
     * Option.some("a").pipe(Option.orElse(() => Option.some("b"))) // => Option.some("a")
     * ```
     *
     * @see {@link orElseSome} to wrap the fallback value in `Some` automatically
     * @see {@link firstSomeOf} to pick the first `Some` from a collection
     *
     * @stability stable
     * @category error handling
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, that: LazyArg<Option<B>>): Option<A | B>;
};
/**
 * Returns `Some` of the fallback value if `self` is `None`; otherwise returns
 * `self`.
 *
 * **When to use**
 *
 * Use when providing a default plain value (not an `Option`) as fallback
 *
 * **Details**
 *
 * - `Some` → returns `self` unchanged
 * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
 *
 * **Example** (Providing a fallback value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.none().pipe(Option.orElseSome(() => "b")) // => Option.some("b")
 * Option.some("a").pipe(Option.orElseSome(() => "b")) // => Option.some("a")
 * ```
 *
 * @see {@link orElse} when the fallback is itself an `Option`
 *
 * @stability stable
 * @category error handling
 * @since 2.0.0
 */
export declare const orElseSome: {
    /**
     * Returns `Some` of the fallback value if `self` is `None`; otherwise returns
     * `self`.
     *
     * **When to use**
     *
     * Use when providing a default plain value (not an `Option`) as fallback
     *
     * **Details**
     *
     * - `Some` → returns `self` unchanged
     * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
     *
     * **Example** (Providing a fallback value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.none().pipe(Option.orElseSome(() => "b")) // => Option.some("b")
     * Option.some("a").pipe(Option.orElseSome(() => "b")) // => Option.some("a")
     * ```
     *
     * @see {@link orElse} when the fallback is itself an `Option`
     *
     * @stability stable
     * @category error handling
     * @since 2.0.0
     */
    <B>(onNone: LazyArg<B>): <A>(self: Option<A>) => Option<B | A>;
    /**
     * Returns `Some` of the fallback value if `self` is `None`; otherwise returns
     * `self`.
     *
     * **When to use**
     *
     * Use when providing a default plain value (not an `Option`) as fallback
     *
     * **Details**
     *
     * - `Some` → returns `self` unchanged
     * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
     *
     * **Example** (Providing a fallback value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.none().pipe(Option.orElseSome(() => "b")) // => Option.some("b")
     * Option.some("a").pipe(Option.orElseSome(() => "b")) // => Option.some("a")
     * ```
     *
     * @see {@link orElse} when the fallback is itself an `Option`
     *
     * @stability stable
     * @category error handling
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, onNone: LazyArg<B>): Option<A | B>;
};
/**
 * Returns the first available value and marks whether it came from the fallback.
 *
 * **When to use**
 *
 * Use when you need to know whether a present value came from the primary or
 * fallback `Option`.
 *
 * **Details**
 *
 * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
 * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
 * - Both `None` → `None`
 *
 * **Example** (Tracking value source)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * const fallback = () => Option.some("fallback")
 *
 * Option.orElseResult(Option.some("primary"), fallback) // => Option.some(Result.fail("primary"))
 * Option.orElseResult(Option.none(), fallback) // => Option.some(Result.succeed("fallback"))
 * ```
 *
 * @see {@link orElse} for the simpler variant without source tracking
 *
 * @stability stable
 * @category error handling
 * @since 4.0.0
 */
export declare const orElseResult: {
    /**
     * Returns the first available value and marks whether it came from the fallback.
     *
     * **When to use**
     *
     * Use when you need to know whether a present value came from the primary or
     * fallback `Option`.
     *
     * **Details**
     *
     * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
     * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
     * - Both `None` → `None`
     *
     * **Example** (Tracking value source)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * const fallback = () => Option.some("fallback")
     *
     * Option.orElseResult(Option.some("primary"), fallback) // => Option.some(Result.fail("primary"))
     * Option.orElseResult(Option.none(), fallback) // => Option.some(Result.succeed("fallback"))
     * ```
     *
     * @see {@link orElse} for the simpler variant without source tracking
     *
     * @stability stable
     * @category error handling
     * @since 4.0.0
     */
    <B>(that: LazyArg<Option<B>>): <A>(self: Option<A>) => Option<Result<B, A>>;
    /**
     * Returns the first available value and marks whether it came from the fallback.
     *
     * **When to use**
     *
     * Use when you need to know whether a present value came from the primary or
     * fallback `Option`.
     *
     * **Details**
     *
     * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
     * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
     * - Both `None` → `None`
     *
     * **Example** (Tracking value source)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * const fallback = () => Option.some("fallback")
     *
     * Option.orElseResult(Option.some("primary"), fallback) // => Option.some(Result.fail("primary"))
     * Option.orElseResult(Option.none(), fallback) // => Option.some(Result.succeed("fallback"))
     * ```
     *
     * @see {@link orElse} for the simpler variant without source tracking
     *
     * @stability stable
     * @category error handling
     * @since 4.0.0
     */
    <A, B>(self: Option<A>, that: LazyArg<Option<B>>): Option<Result<B, A>>;
};
/**
 * Returns the first `Some` found in an iterable of `Option`s, or `None` if
 * all are `None`.
 *
 * **When to use**
 *
 * Use when you need the first available `Some` value from a priority list.
 *
 * **Details**
 *
 * - Short-circuits on the first `Some`
 * - Returns `None` only when every element is `None`
 *
 * **Example** (Finding the first Some)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.firstSomeOf([
 *   Option.none(),
 *   Option.some(1),
 *   Option.some(2)
 * ]) // => Option.some(1)
 * ```
 *
 * @see {@link orElse} for a two-option fallback
 *
 * @stability stable
 * @category error handling
 * @since 2.0.0
 */
export declare const firstSomeOf: <T, C extends Iterable<Option<T>> = Iterable<Option<T>>>(collection: C) => [C] extends [Iterable<Option<infer A>>] ? Option<A> : never;
/**
 * Converts a nullable value (`null` or `undefined`) into an `Option`.
 *
 * **When to use**
 *
 * Use when you need JavaScript nullish values to become absence at an API
 * boundary while all other values, including falsy ones, remain present.
 *
 * **Details**
 *
 * - `null` or `undefined` → `None`
 * - Any other value → `Some` (typed as `NonNullable<A>`)
 *
 * **Example** (Converting nullable values to an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.fromNullishOr(undefined) // => Option.none()
 * Option.fromNullishOr(null) // => Option.none()
 * Option.fromNullishOr(1) // => Option.some(1)
 * ```
 *
 * @see {@link fromNullOr} to only treat `null` as absent
 * @see {@link fromUndefinedOr} to only treat `undefined` as absent
 * @see {@link liftNullishOr} to lift a nullable-returning function
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const fromNullishOr: <A>(a: A) => Option<NonNullable<A>>;
/**
 * Converts a possibly `undefined` value into an `Option`, leaving `null`
 * as a valid `Some`.
 *
 * **When to use**
 *
 * Use when you want to treat only `undefined` as absent while preserving `null`
 * as a meaningful value.
 *
 * **Details**
 *
 * - `undefined` → `None`
 * - Any other value (including `null`) → `Some`
 *
 * **Example** (Converting possibly undefined values to an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.fromUndefinedOr(undefined) // => Option.none()
 * Option.fromUndefinedOr(null) // => Option.some(null)
 * Option.fromUndefinedOr(42) // => Option.some(42)
 * ```
 *
 * @see {@link fromNullishOr} to treat both `null` and `undefined` as absent
 * @see {@link fromNullOr} to only treat `null` as absent
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const fromUndefinedOr: <A>(a: A) => Option<Exclude<A, undefined>>;
/**
 * Converts a possibly `null` value into an `Option`, leaving `undefined`
 * as a valid `Some`.
 *
 * **When to use**
 *
 * Use when you want to treat only `null` as absent while preserving
 * `undefined` as a meaningful value.
 *
 * **Details**
 *
 * - `null` → `None`
 * - Any other value (including `undefined`) → `Some`
 *
 * **Example** (Converting possibly null values to an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.fromNullOr(null) // => Option.none()
 * Option.fromNullOr(undefined) // => Option.some(undefined)
 * Option.fromNullOr(42) // => Option.some(42)
 * ```
 *
 * @see {@link fromNullishOr} to treat both `null` and `undefined` as absent
 * @see {@link fromUndefinedOr} to only treat `undefined` as absent
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const fromNullOr: <A>(a: A) => Option<Exclude<A, null>>;
/**
 * Lifts a function that may return `null` or `undefined` into one that returns
 * an `Option`.
 *
 * **When to use**
 *
 * Use to wrap existing nullable-returning functions for use in `Option` pipelines
 *
 * **Details**
 *
 * - Calls the original function with the given arguments
 * - Wraps the result via {@link fromNullishOr}
 *
 * **Example** (Lifting a parser)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const parse = (s: string): number | undefined => {
 *   const n = parseFloat(s)
 *   return isNaN(n) ? undefined : n
 * }
 *
 * const parseOption = Option.liftNullishOr(parse)
 *
 * parseOption("1") // => Option.some(1)
 * parseOption("not a number") // => Option.none()
 * ```
 *
 * @see {@link fromNullishOr} for converting a single value
 * @see {@link liftThrowable} for functions that throw instead
 *
 * @stability stable
 * @category converting
 * @since 4.0.0
 */
export declare const liftNullishOr: <A extends ReadonlyArray<unknown>, B>(f: (...a: A) => B) => (...a: A) => Option<NonNullable<B>>;
/**
 * Extracts the value from a `Some`, or returns `null` for `None`.
 *
 * **When to use**
 *
 * Use when you need to pass absent `Option` values to APIs that expect `null`.
 *
 * **Details**
 *
 * - `Some` → the inner value
 * - `None` → `null`
 *
 * **Example** (Unwrapping to null)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.getOrNull(Option.some(1)) // => 1
 * Option.getOrNull(Option.none()) // => null
 * ```
 *
 * @see {@link getOrUndefined} to return `undefined` instead
 * @see {@link getOrElse} for a custom fallback
 *
 * @stability stable
 * @category getters
 * @since 2.0.0
 */
export declare const getOrNull: <A>(self: Option<A>) => A | null;
/**
 * Extracts the value from a `Some`, or returns `undefined` for `None`.
 *
 * **When to use**
 *
 * Use when you need to pass absent `Option` values to APIs that expect
 * `undefined`.
 *
 * **Details**
 *
 * - `Some` → the inner value
 * - `None` → `undefined`
 *
 * **Example** (Unwrapping to undefined)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.getOrUndefined(Option.some(1)) // => 1
 * Option.getOrUndefined(Option.none()) // => undefined
 * ```
 *
 * @see {@link getOrNull} to return `null` instead
 * @see {@link getOrElse} for a custom fallback
 *
 * @stability stable
 * @category getters
 * @since 2.0.0
 */
export declare const getOrUndefined: <A>(self: Option<A>) => A | undefined;
/**
 * Lifts a function that may throw into one that returns an `Option`.
 *
 * **When to use**
 *
 * Use to wrap exception-throwing APIs (e.g. `JSON.parse`) for safe usage
 *
 * **Details**
 *
 * - If the function returns normally → `Some` with the result
 * - If the function throws → `None` (exception is swallowed)
 *
 * **Example** (Lifting JSON.parse)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const parse = Option.liftThrowable(JSON.parse)
 *
 * parse("1") // => Option.some(1)
 * parse("") // => Option.none()
 * ```
 *
 * @see {@link liftNullishOr} for nullable-returning functions
 *
 * @stability stable
 * @category converting
 * @since 2.0.0
 */
export declare const liftThrowable: <A extends ReadonlyArray<unknown>, B>(f: (...a: A) => B) => (...a: A) => Option<B>;
/**
 * Extracts the value from a `Some`, or throws a custom error for `None`.
 *
 * **When to use**
 *
 * Use when you need fail-fast unwrapping of an `Option` for unexpected absence
 * and want to provide a descriptive debugging error.
 *
 * **Details**
 *
 * - `Some` → returns the inner value
 * - `None` → throws the value returned by `onNone()`
 *
 * **Example** (Throwing a custom error)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * Option.getOrThrowWith(Option.some(1), () => new Error("missing")) // => 1
 *
 * const failure = Result.try({
 *   try: () => Option.getOrThrowWith(Option.none(), () => new Error("missing")),
 *   catch: (error) => (error as Error).message
 * })
 * Result.getFailure(failure).pipe(Option.getOrElse(() => "no error")) // => "missing"
 * ```
 *
 * @see {@link getOrThrow} for a version with a default error
 * @see {@link getOrElse} for a non-throwing alternative
 *
 * @stability stable
 * @category converting
 * @since 2.0.0
 */
export declare const getOrThrowWith: {
    /**
     * Extracts the value from a `Some`, or throws a custom error for `None`.
     *
     * **When to use**
     *
     * Use when you need fail-fast unwrapping of an `Option` for unexpected absence
     * and want to provide a descriptive debugging error.
     *
     * **Details**
     *
     * - `Some` → returns the inner value
     * - `None` → throws the value returned by `onNone()`
     *
     * **Example** (Throwing a custom error)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * Option.getOrThrowWith(Option.some(1), () => new Error("missing")) // => 1
     *
     * const failure = Result.try({
     *   try: () => Option.getOrThrowWith(Option.none(), () => new Error("missing")),
     *   catch: (error) => (error as Error).message
     * })
     * Result.getFailure(failure).pipe(Option.getOrElse(() => "no error")) // => "missing"
     * ```
     *
     * @see {@link getOrThrow} for a version with a default error
     * @see {@link getOrElse} for a non-throwing alternative
     *
     * @stability stable
     * @category converting
     * @since 2.0.0
     */
    (onNone: () => unknown): <A>(self: Option<A>) => A;
    /**
     * Extracts the value from a `Some`, or throws a custom error for `None`.
     *
     * **When to use**
     *
     * Use when you need fail-fast unwrapping of an `Option` for unexpected absence
     * and want to provide a descriptive debugging error.
     *
     * **Details**
     *
     * - `Some` → returns the inner value
     * - `None` → throws the value returned by `onNone()`
     *
     * **Example** (Throwing a custom error)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * Option.getOrThrowWith(Option.some(1), () => new Error("missing")) // => 1
     *
     * const failure = Result.try({
     *   try: () => Option.getOrThrowWith(Option.none(), () => new Error("missing")),
     *   catch: (error) => (error as Error).message
     * })
     * Result.getFailure(failure).pipe(Option.getOrElse(() => "no error")) // => "missing"
     * ```
     *
     * @see {@link getOrThrow} for a version with a default error
     * @see {@link getOrElse} for a non-throwing alternative
     *
     * @stability stable
     * @category converting
     * @since 2.0.0
     */
    <A>(self: Option<A>, onNone: () => unknown): A;
};
/**
 * Extracts the value from a `Some`, or throws a default `Error` for `None`.
 *
 * **When to use**
 *
 * Use when you need quick fail-fast unwrapping of an `Option` and a generic
 * error is acceptable.
 *
 * **Details**
 *
 * - `Some` → returns the inner value
 * - `None` → throws `new Error("getOrThrow called on a None")`
 *
 * **Example** (Throwing a default error)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * Option.getOrThrow(Option.some(1)) // => 1
 *
 * const failure = Result.try({
 *   try: () => Option.getOrThrow(Option.none()),
 *   catch: (error) => (error as Error).message
 * })
 * Result.getFailure(failure).pipe(Option.getOrElse(() => "no error")) // => "getOrThrow called on a None"
 * ```
 *
 * @see {@link getOrThrowWith} for a custom error
 * @see {@link getOrElse} for a non-throwing alternative
 *
 * @stability stable
 * @category converting
 * @since 2.0.0
 */
export declare const getOrThrow: <A>(self: Option<A>) => A;
/**
 * Transforms the value inside a `Some` using the provided function, leaving
 * `None` unchanged.
 *
 * **When to use**
 *
 * Use to apply a pure transformation to an `Option`'s present value, especially
 * when chaining transformations in a pipeline.
 *
 * **Details**
 *
 * - `Some` → applies `f` and wraps the result in a new `Some`
 * - `None` → returns `None` unchanged
 *
 * **Example** (Mapping over an Option)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.map(Option.some(2), (n) => n * 2) // => Option.some(4)
 * Option.map(Option.none(), (n: number) => n * 2) // => Option.none()
 * ```
 *
 * @see {@link flatMap} when `f` returns an `Option`
 * @see {@link as} to replace the value with a constant
 *
 * @stability stable
 * @category mapping
 * @since 2.0.0
 */
export declare const map: {
    /**
     * Transforms the value inside a `Some` using the provided function, leaving
     * `None` unchanged.
     *
     * **When to use**
     *
     * Use to apply a pure transformation to an `Option`'s present value, especially
     * when chaining transformations in a pipeline.
     *
     * **Details**
     *
     * - `Some` → applies `f` and wraps the result in a new `Some`
     * - `None` → returns `None` unchanged
     *
     * **Example** (Mapping over an Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.map(Option.some(2), (n) => n * 2) // => Option.some(4)
     * Option.map(Option.none(), (n: number) => n * 2) // => Option.none()
     * ```
     *
     * @see {@link flatMap} when `f` returns an `Option`
     * @see {@link as} to replace the value with a constant
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <A, B>(f: (a: A) => B): (self: Option<A>) => Option<B>;
    /**
     * Transforms the value inside a `Some` using the provided function, leaving
     * `None` unchanged.
     *
     * **When to use**
     *
     * Use to apply a pure transformation to an `Option`'s present value, especially
     * when chaining transformations in a pipeline.
     *
     * **Details**
     *
     * - `Some` → applies `f` and wraps the result in a new `Some`
     * - `None` → returns `None` unchanged
     *
     * **Example** (Mapping over an Option)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.map(Option.some(2), (n) => n * 2) // => Option.some(4)
     * Option.map(Option.none(), (n: number) => n * 2) // => Option.none()
     * ```
     *
     * @see {@link flatMap} when `f` returns an `Option`
     * @see {@link as} to replace the value with a constant
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: (a: A) => B): Option<B>;
};
/**
 * Replaces the value inside a `Some` with a constant, leaving `None` unchanged.
 *
 * **When to use**
 *
 * Use when you need to replace a present `Option` value while preserving
 * whether it was `Some` or `None`.
 *
 * **Example** (Replacing a value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.as(Option.some(42), "new value") // => Option.some("new value")
 * Option.as(Option.none(), "new value") // => Option.none()
 * ```
 *
 * @see {@link asVoid} to replace with `undefined`
 * @see {@link map} for a general transformation
 *
 * @stability stable
 * @category mapping
 * @since 2.0.0
 */
export declare const as: {
    /**
     * Replaces the value inside a `Some` with a constant, leaving `None` unchanged.
     *
     * **When to use**
     *
     * Use when you need to replace a present `Option` value while preserving
     * whether it was `Some` or `None`.
     *
     * **Example** (Replacing a value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.as(Option.some(42), "new value") // => Option.some("new value")
     * Option.as(Option.none(), "new value") // => Option.none()
     * ```
     *
     * @see {@link asVoid} to replace with `undefined`
     * @see {@link map} for a general transformation
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <B>(b: B): <X>(self: Option<X>) => Option<B>;
    /**
     * Replaces the value inside a `Some` with a constant, leaving `None` unchanged.
     *
     * **When to use**
     *
     * Use when you need to replace a present `Option` value while preserving
     * whether it was `Some` or `None`.
     *
     * **Example** (Replacing a value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.as(Option.some(42), "new value") // => Option.some("new value")
     * Option.as(Option.none(), "new value") // => Option.none()
     * ```
     *
     * @see {@link asVoid} to replace with `undefined`
     * @see {@link map} for a general transformation
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <X, B>(self: Option<X>, b: B): Option<B>;
};
/**
 * Replaces the value inside a `Some` with `void` (`undefined`), leaving `None`
 * unchanged.
 *
 * **When to use**
 *
 * Use when you need to discard a present `Option` value while preserving
 * whether it was `Some` or `None`.
 *
 * **Example** (Voiding the value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.asVoid(Option.some(42)) // => Option.some(undefined)
 * Option.asVoid(Option.none()) // => Option.none()
 * ```
 *
 * @see {@link as} to replace with a specific constant
 *
 * @stability stable
 * @category mapping
 * @since 2.0.0
 */
export declare const asVoid: <_>(self: Option<_>) => Option<void>;
declare const void_: Option<void>;
export { 
/**
 * Provides a pre-built `Some(undefined)` constant.
 *
 * **When to use**
 *
 * Use to return a "success with no meaningful value" from an `Option`-returning function
 *
 * **Example** (Referencing Option.void)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.void // => Option.some(undefined)
 * ```
 *
 * @see {@link asVoid} to convert an existing `Option` to `Option<void>`
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
void_ as void };
/**
 * Applies a function that returns an `Option` to the value of a `Some`,
 * flattening the result. Returns `None` if the input is `None`.
 *
 * **When to use**
 *
 * Use when you need to chain dependent `Option` computations where each step
 * may return `None`.
 *
 * **Details**
 *
 * - `Some` → applies `f` to the value and returns its `Option` result
 * - `None` → returns `None` without calling `f`
 * - Equivalent to `map` followed by {@link flatten}
 *
 * **Example** (Chaining optional lookups)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * interface User {
 *   readonly name: string
 *   readonly address: Option.Option<{ readonly street: Option.Option<string> }>
 * }
 *
 * const user: User = {
 *   name: "John",
 *   address: Option.some({ street: Option.some("123 Main St") })
 * }
 *
 * user.address.pipe(
 *   Option.flatMap((addr) => addr.street)
 * ) // => Option.some("123 Main St")
 * ```
 *
 * @see {@link map} when `f` returns a plain value
 * @see {@link andThen} for a more flexible variant
 * @see {@link flatten} to unwrap a nested `Option<Option<A>>`
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const flatMap: {
    /**
     * Applies a function that returns an `Option` to the value of a `Some`,
     * flattening the result. Returns `None` if the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to chain dependent `Option` computations where each step
     * may return `None`.
     *
     * **Details**
     *
     * - `Some` → applies `f` to the value and returns its `Option` result
     * - `None` → returns `None` without calling `f`
     * - Equivalent to `map` followed by {@link flatten}
     *
     * **Example** (Chaining optional lookups)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * interface User {
     *   readonly name: string
     *   readonly address: Option.Option<{ readonly street: Option.Option<string> }>
     * }
     *
     * const user: User = {
     *   name: "John",
     *   address: Option.some({ street: Option.some("123 Main St") })
     * }
     *
     * user.address.pipe(
     *   Option.flatMap((addr) => addr.street)
     * ) // => Option.some("123 Main St")
     * ```
     *
     * @see {@link map} when `f` returns a plain value
     * @see {@link andThen} for a more flexible variant
     * @see {@link flatten} to unwrap a nested `Option<Option<A>>`
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(f: (a: A) => Option<B>): (self: Option<A>) => Option<B>;
    /**
     * Applies a function that returns an `Option` to the value of a `Some`,
     * flattening the result. Returns `None` if the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to chain dependent `Option` computations where each step
     * may return `None`.
     *
     * **Details**
     *
     * - `Some` → applies `f` to the value and returns its `Option` result
     * - `None` → returns `None` without calling `f`
     * - Equivalent to `map` followed by {@link flatten}
     *
     * **Example** (Chaining optional lookups)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * interface User {
     *   readonly name: string
     *   readonly address: Option.Option<{ readonly street: Option.Option<string> }>
     * }
     *
     * const user: User = {
     *   name: "John",
     *   address: Option.some({ street: Option.some("123 Main St") })
     * }
     *
     * user.address.pipe(
     *   Option.flatMap((addr) => addr.street)
     * ) // => Option.some("123 Main St")
     * ```
     *
     * @see {@link map} when `f` returns a plain value
     * @see {@link andThen} for a more flexible variant
     * @see {@link flatten} to unwrap a nested `Option<Option<A>>`
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: (a: A) => Option<B>): Option<B>;
};
/**
 * Chains a second computation onto an `Option`. The second value can be a
 * plain value, an `Option`, or a function returning either.
 *
 * **When to use**
 *
 * Use when you need to chain an `Option` with a next step that may be another
 * `Option`, a plain value, or a function.
 *
 * **Details**
 *
 * - If `self` is `None`, returns `None` immediately
 * - If `f` is a function, calls it with the `Some` value
 * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
 * - If `f` is not a function, uses it directly (same wrapping rules)
 *
 * **Example** (Chaining with andThen)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * // Chain with a function returning Option
 * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
 *
 * // Chain with a static value
 * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
 *
 * // Chain with None - skips
 * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
 * ```
 *
 * @see {@link flatMap} for the standard monadic bind
 * @see {@link map} when you always return a plain value
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const andThen: {
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(f: (a: A) => Option<B>): (self: Option<A>) => Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <B>(f: Option<B>): <A>(self: Option<A>) => Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(f: (a: A) => B): (self: Option<A>) => Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <B>(f: NotFunction<B>): <A>(self: Option<A>) => Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: (a: A) => Option<B>): Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: Option<B>): Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: (a: A) => B): Option<B>;
    /**
     * Chains a second computation onto an `Option`. The second value can be a
     * plain value, an `Option`, or a function returning either.
     *
     * **When to use**
     *
     * Use when you need to chain an `Option` with a next step that may be another
     * `Option`, a plain value, or a function.
     *
     * **Details**
     *
     * - If `self` is `None`, returns `None` immediately
     * - If `f` is a function, calls it with the `Some` value
     * - If `f` returns an `Option`, returns it as-is; if a plain value, wraps in `Some`
     * - If `f` is not a function, uses it directly (same wrapping rules)
     *
     * **Example** (Chaining with andThen)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * // Chain with a function returning Option
     * Option.andThen(Option.some(5), (x) => Option.some(x * 2)) // => Option.some(10)
     *
     * // Chain with a static value
     * Option.andThen(Option.some(5), "hello") // => Option.some("hello")
     *
     * // Chain with None - skips
     * Option.andThen(Option.none(), (x) => Option.some(x * 2)) // => Option.none()
     * ```
     *
     * @see {@link flatMap} for the standard monadic bind
     * @see {@link map} when you always return a plain value
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, f: NotFunction<B>): Option<B>;
};
/**
 * Combines {@link flatMap} with {@link fromNullishOr}: applies a function that
 * may return `null`/`undefined` to the value of a `Some`.
 *
 * **When to use**
 *
 * Use when you need to chain optional computations that use `null` or
 * `undefined` instead of `Option`, such as nested property access.
 *
 * **Details**
 *
 * - `None` → `None`
 * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
 *
 * **Example** (Navigating optional properties)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * interface Employee {
 *   company?: { address?: { street?: { name?: string } } }
 * }
 *
 * const emp: Employee = {
 *   company: { address: { street: { name: "high street" } } }
 * }
 *
 * Option.some(emp).pipe(
 *   Option.flatMapNullishOr((e) => e.company?.address?.street?.name)
 * ) // => Option.some("high street")
 * ```
 *
 * @see {@link flatMap} when the function already returns `Option`
 * @see {@link fromNullishOr} for single-value conversion
 *
 * @stability stable
 * @category sequencing
 * @since 4.0.0
 */
export declare const flatMapNullishOr: {
    /**
     * Combines {@link flatMap} with {@link fromNullishOr}: applies a function that
     * may return `null`/`undefined` to the value of a `Some`.
     *
     * **When to use**
     *
     * Use when you need to chain optional computations that use `null` or
     * `undefined` instead of `Option`, such as nested property access.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
     *
     * **Example** (Navigating optional properties)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * interface Employee {
     *   company?: { address?: { street?: { name?: string } } }
     * }
     *
     * const emp: Employee = {
     *   company: { address: { street: { name: "high street" } } }
     * }
     *
     * Option.some(emp).pipe(
     *   Option.flatMapNullishOr((e) => e.company?.address?.street?.name)
     * ) // => Option.some("high street")
     * ```
     *
     * @see {@link flatMap} when the function already returns `Option`
     * @see {@link fromNullishOr} for single-value conversion
     *
     * @stability stable
     * @category sequencing
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => B): (self: Option<A>) => Option<NonNullable<B>>;
    /**
     * Combines {@link flatMap} with {@link fromNullishOr}: applies a function that
     * may return `null`/`undefined` to the value of a `Some`.
     *
     * **When to use**
     *
     * Use when you need to chain optional computations that use `null` or
     * `undefined` instead of `Option`, such as nested property access.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
     *
     * **Example** (Navigating optional properties)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * interface Employee {
     *   company?: { address?: { street?: { name?: string } } }
     * }
     *
     * const emp: Employee = {
     *   company: { address: { street: { name: "high street" } } }
     * }
     *
     * Option.some(emp).pipe(
     *   Option.flatMapNullishOr((e) => e.company?.address?.street?.name)
     * ) // => Option.some("high street")
     * ```
     *
     * @see {@link flatMap} when the function already returns `Option`
     * @see {@link fromNullishOr} for single-value conversion
     *
     * @stability stable
     * @category sequencing
     * @since 4.0.0
     */
    <A, B>(self: Option<A>, f: (a: A) => B): Option<NonNullable<B>>;
};
/**
 * Flattens a nested `Option<Option<A>>` into `Option<A>`.
 *
 * **When to use**
 *
 * Use when you need to remove one layer of nested `Option`.
 *
 * **Details**
 *
 * - `Some(Some(value))` → `Some(value)`
 * - `Some(None)` → `None`
 * - `None` → `None`
 *
 * **Example** (Flattening nested Options)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.flatten(Option.some(Option.some("value"))) // => Option.some("value")
 * Option.flatten(Option.some(Option.none())) // => Option.none()
 * ```
 *
 * @see {@link flatMap} which is `map` + `flatten`
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const flatten: <A>(self: Option<Option<A>>) => Option<A>;
/**
 * Sequences two `Option`s, keeping the value from the second if both are `Some`.
 *
 * **When to use**
 *
 * Use when you need two `Option` values to both be `Some`, then keep only the
 * second value.
 *
 * **Details**
 *
 * - Both `Some` → returns `that`
 * - Either `None` → returns `None`
 *
 * **Example** (Keeping the second value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.zipRight(Option.some(1), Option.some("hello")) // => Option.some("hello")
 * Option.zipRight(Option.none(), Option.some("hello")) // => Option.none()
 * ```
 *
 * @see {@link zipLeft} to keep the first value instead
 * @see {@link zipWith} to combine both values
 *
 * @stability stable
 * @category zipping
 * @since 2.0.0
 */
export declare const zipRight: {
    /**
     * Sequences two `Option`s, keeping the value from the second if both are `Some`.
     *
     * **When to use**
     *
     * Use when you need two `Option` values to both be `Some`, then keep only the
     * second value.
     *
     * **Details**
     *
     * - Both `Some` → returns `that`
     * - Either `None` → returns `None`
     *
     * **Example** (Keeping the second value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipRight(Option.some(1), Option.some("hello")) // => Option.some("hello")
     * Option.zipRight(Option.none(), Option.some("hello")) // => Option.none()
     * ```
     *
     * @see {@link zipLeft} to keep the first value instead
     * @see {@link zipWith} to combine both values
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <B>(that: Option<B>): <_>(self: Option<_>) => Option<B>;
    /**
     * Sequences two `Option`s, keeping the value from the second if both are `Some`.
     *
     * **When to use**
     *
     * Use when you need two `Option` values to both be `Some`, then keep only the
     * second value.
     *
     * **Details**
     *
     * - Both `Some` → returns `that`
     * - Either `None` → returns `None`
     *
     * **Example** (Keeping the second value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipRight(Option.some(1), Option.some("hello")) // => Option.some("hello")
     * Option.zipRight(Option.none(), Option.some("hello")) // => Option.none()
     * ```
     *
     * @see {@link zipLeft} to keep the first value instead
     * @see {@link zipWith} to combine both values
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <X, B>(self: Option<X>, that: Option<B>): Option<B>;
};
/**
 * Sequences two `Option`s, keeping the value from the first if both are `Some`.
 *
 * **When to use**
 *
 * Use when you need two `Option` values to both be `Some`, then keep only the
 * first value.
 *
 * **Details**
 *
 * - Both `Some` → returns `self`
 * - Either `None` → returns `None`
 *
 * **Example** (Keeping the first value)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.zipLeft(Option.some("hello"), Option.some(1)) // => Option.some("hello")
 * Option.zipLeft(Option.some("hello"), Option.none()) // => Option.none()
 * ```
 *
 * @see {@link zipRight} to keep the second value instead
 * @see {@link zipWith} to combine both values
 *
 * @stability stable
 * @category zipping
 * @since 2.0.0
 */
export declare const zipLeft: {
    /**
     * Sequences two `Option`s, keeping the value from the first if both are `Some`.
     *
     * **When to use**
     *
     * Use when you need two `Option` values to both be `Some`, then keep only the
     * first value.
     *
     * **Details**
     *
     * - Both `Some` → returns `self`
     * - Either `None` → returns `None`
     *
     * **Example** (Keeping the first value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipLeft(Option.some("hello"), Option.some(1)) // => Option.some("hello")
     * Option.zipLeft(Option.some("hello"), Option.none()) // => Option.none()
     * ```
     *
     * @see {@link zipRight} to keep the second value instead
     * @see {@link zipWith} to combine both values
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <_>(that: Option<_>): <A>(self: Option<A>) => Option<A>;
    /**
     * Sequences two `Option`s, keeping the value from the first if both are `Some`.
     *
     * **When to use**
     *
     * Use when you need two `Option` values to both be `Some`, then keep only the
     * first value.
     *
     * **Details**
     *
     * - Both `Some` → returns `self`
     * - Either `None` → returns `None`
     *
     * **Example** (Keeping the first value)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipLeft(Option.some("hello"), Option.some(1)) // => Option.some("hello")
     * Option.zipLeft(Option.some("hello"), Option.none()) // => Option.none()
     * ```
     *
     * @see {@link zipRight} to keep the second value instead
     * @see {@link zipWith} to combine both values
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <A, X>(self: Option<A>, that: Option<X>): Option<A>;
};
/**
 * Composes two `Option`-returning functions into a single function that chains
 * them together.
 *
 * **When to use**
 *
 * Use when you need to compose two functions that each return an `Option`, so
 * `None` short-circuits without calling the next function.
 *
 * **Details**
 *
 * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
 * - Short-circuits to `None` if either function returns `None`
 *
 * **Example** (Composing parsers)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const parse = (s: string): Option.Option<number> =>
 *   isNaN(Number(s)) ? Option.none() : Option.some(Number(s))
 *
 * const double = (n: number): Option.Option<number> =>
 *   n > 0 ? Option.some(n * 2) : Option.none()
 *
 * const parseAndDouble = Option.composeK(parse, double)
 *
 * parseAndDouble("42") // => Option.some(84)
 * parseAndDouble("not a number") // => Option.none()
 * ```
 *
 * @see {@link flatMap} for single-step chaining
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const composeK: {
    /**
     * Composes two `Option`-returning functions into a single function that chains
     * them together.
     *
     * **When to use**
     *
     * Use when you need to compose two functions that each return an `Option`, so
     * `None` short-circuits without calling the next function.
     *
     * **Details**
     *
     * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
     * - Short-circuits to `None` if either function returns `None`
     *
     * **Example** (Composing parsers)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const parse = (s: string): Option.Option<number> =>
     *   isNaN(Number(s)) ? Option.none() : Option.some(Number(s))
     *
     * const double = (n: number): Option.Option<number> =>
     *   n > 0 ? Option.some(n * 2) : Option.none()
     *
     * const parseAndDouble = Option.composeK(parse, double)
     *
     * parseAndDouble("42") // => Option.some(84)
     * parseAndDouble("not a number") // => Option.none()
     * ```
     *
     * @see {@link flatMap} for single-step chaining
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <B, C>(bfc: (b: B) => Option<C>): <A>(afb: (a: A) => Option<B>) => (a: A) => Option<C>;
    /**
     * Composes two `Option`-returning functions into a single function that chains
     * them together.
     *
     * **When to use**
     *
     * Use when you need to compose two functions that each return an `Option`, so
     * `None` short-circuits without calling the next function.
     *
     * **Details**
     *
     * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
     * - Short-circuits to `None` if either function returns `None`
     *
     * **Example** (Composing parsers)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const parse = (s: string): Option.Option<number> =>
     *   isNaN(Number(s)) ? Option.none() : Option.some(Number(s))
     *
     * const double = (n: number): Option.Option<number> =>
     *   n > 0 ? Option.some(n * 2) : Option.none()
     *
     * const parseAndDouble = Option.composeK(parse, double)
     *
     * parseAndDouble("42") // => Option.some(84)
     * parseAndDouble("not a number") // => Option.none()
     * ```
     *
     * @see {@link flatMap} for single-step chaining
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, B, C>(afb: (a: A) => Option<B>, bfc: (b: B) => Option<C>): (a: A) => Option<C>;
};
/**
 * Runs a side-effecting `Option`-returning function on the value of a `Some`,
 * returning the original `Option` if the function returns `Some`, or `None`
 * if it returns `None`.
 *
 * **When to use**
 *
 * Use to validate an `Option`'s present value without transforming it, such as
 * adding a side-condition check in a pipeline.
 *
 * **Details**
 *
 * - `None` → `None`
 * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
 *
 * **Example** (Validating without transforming)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const getInteger = (n: number) =>
 *   Number.isInteger(n) ? Option.some(n) : Option.none()
 *
 * Option.tap(Option.some(1), getInteger) // => Option.some(1)
 * Option.tap(Option.some(1.14), getInteger) // => Option.none()
 * ```
 *
 * @see {@link flatMap} when you want to transform the value
 * @see {@link filter} for predicate-based filtering
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const tap: {
    /**
     * Runs a side-effecting `Option`-returning function on the value of a `Some`,
     * returning the original `Option` if the function returns `Some`, or `None`
     * if it returns `None`.
     *
     * **When to use**
     *
     * Use to validate an `Option`'s present value without transforming it, such as
     * adding a side-condition check in a pipeline.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
     *
     * **Example** (Validating without transforming)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const getInteger = (n: number) =>
     *   Number.isInteger(n) ? Option.some(n) : Option.none()
     *
     * Option.tap(Option.some(1), getInteger) // => Option.some(1)
     * Option.tap(Option.some(1.14), getInteger) // => Option.none()
     * ```
     *
     * @see {@link flatMap} when you want to transform the value
     * @see {@link filter} for predicate-based filtering
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, X>(f: (a: A) => Option<X>): (self: Option<A>) => Option<A>;
    /**
     * Runs a side-effecting `Option`-returning function on the value of a `Some`,
     * returning the original `Option` if the function returns `Some`, or `None`
     * if it returns `None`.
     *
     * **When to use**
     *
     * Use to validate an `Option`'s present value without transforming it, such as
     * adding a side-condition check in a pipeline.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
     *
     * **Example** (Validating without transforming)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const getInteger = (n: number) =>
     *   Number.isInteger(n) ? Option.some(n) : Option.none()
     *
     * Option.tap(Option.some(1), getInteger) // => Option.some(1)
     * Option.tap(Option.some(1.14), getInteger) // => Option.none()
     * ```
     *
     * @see {@link flatMap} when you want to transform the value
     * @see {@link filter} for predicate-based filtering
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A, X>(self: Option<A>, f: (a: A) => Option<X>): Option<A>;
};
/**
 * Combines two `Option`s into a `Some` containing a tuple `[A, B]` if both
 * are `Some`.
 *
 * **When to use**
 *
 * Use when you need to require two `Option` values to both be `Some` and keep
 * both values as a tuple.
 *
 * **Details**
 *
 * - Both `Some` → `Some([a, b])`
 * - Either `None` → `None`
 *
 * **Example** (Pairing two Options)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.product(Option.some("hello"), Option.some(42)) // => Option.some(["hello", 42])
 * Option.product(Option.none(), Option.some(42)) // => Option.none()
 * ```
 *
 * @see {@link zipWith} to combine with a function instead of a tuple
 * @see {@link all} to combine many `Option`s
 *
 * @stability stable
 * @category combining
 * @since 2.0.0
 */
export declare const product: {
    /**
     * Combines two `Option`s into a `Some` containing a tuple `[A, B]` if both
     * are `Some`.
     *
     * **When to use**
     *
     * Use when you need to require two `Option` values to both be `Some` and keep
     * both values as a tuple.
     *
     * **Details**
     *
     * - Both `Some` → `Some([a, b])`
     * - Either `None` → `None`
     *
     * **Example** (Pairing two Options)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.product(Option.some("hello"), Option.some(42)) // => Option.some(["hello", 42])
     * Option.product(Option.none(), Option.some(42)) // => Option.none()
     * ```
     *
     * @see {@link zipWith} to combine with a function instead of a tuple
     * @see {@link all} to combine many `Option`s
     *
     * @stability stable
     * @category combining
     * @since 2.0.0
     */
    <B>(that: Option<B>): <A>(self: Option<A>) => Option<[A, B]>;
    /**
     * Combines two `Option`s into a `Some` containing a tuple `[A, B]` if both
     * are `Some`.
     *
     * **When to use**
     *
     * Use when you need to require two `Option` values to both be `Some` and keep
     * both values as a tuple.
     *
     * **Details**
     *
     * - Both `Some` → `Some([a, b])`
     * - Either `None` → `None`
     *
     * **Example** (Pairing two Options)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.product(Option.some("hello"), Option.some(42)) // => Option.some(["hello", 42])
     * Option.product(Option.none(), Option.some(42)) // => Option.none()
     * ```
     *
     * @see {@link zipWith} to combine with a function instead of a tuple
     * @see {@link all} to combine many `Option`s
     *
     * @stability stable
     * @category combining
     * @since 2.0.0
     */
    <A, B>(self: Option<A>, that: Option<B>): Option<[A, B]>;
};
/**
 * Combines a primary `Option` with an iterable of `Option`s into a tuple if
 * all are `Some`.
 *
 * **When to use**
 *
 * Use when you need several `Option` values of the same type to all be `Some`
 * and return them as a non-empty tuple.
 *
 * **Details**
 *
 * - All `Some` → `Some([self.value, ...rest])`
 * - Any `None` → `None`
 *
 * **Example** (Combining many Options)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const first = Option.some(1)
 * const rest = [Option.some(2), Option.some(3)]
 *
 * Option.productMany(first, rest) // => Option.some([1, 2, 3])
 * Option.productMany(first, [Option.some(2), Option.none()]) // => Option.none()
 * ```
 *
 * @see {@link product} for combining exactly two
 * @see {@link all} for tuples, structs, and iterables
 *
 * @stability stable
 * @category combining
 * @since 2.0.0
 */
export declare const productMany: {
    /**
     * Combines a primary `Option` with an iterable of `Option`s into a tuple if
     * all are `Some`.
     *
     * **When to use**
     *
     * Use when you need several `Option` values of the same type to all be `Some`
     * and return them as a non-empty tuple.
     *
     * **Details**
     *
     * - All `Some` → `Some([self.value, ...rest])`
     * - Any `None` → `None`
     *
     * **Example** (Combining many Options)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const first = Option.some(1)
     * const rest = [Option.some(2), Option.some(3)]
     *
     * Option.productMany(first, rest) // => Option.some([1, 2, 3])
     * Option.productMany(first, [Option.some(2), Option.none()]) // => Option.none()
     * ```
     *
     * @see {@link product} for combining exactly two
     * @see {@link all} for tuples, structs, and iterables
     *
     * @stability stable
     * @category combining
     * @since 2.0.0
     */
    <A>(collection: Iterable<Option<A>>): (self: Option<A>) => Option<[A, ...Array<A>]>;
    /**
     * Combines a primary `Option` with an iterable of `Option`s into a tuple if
     * all are `Some`.
     *
     * **When to use**
     *
     * Use when you need several `Option` values of the same type to all be `Some`
     * and return them as a non-empty tuple.
     *
     * **Details**
     *
     * - All `Some` → `Some([self.value, ...rest])`
     * - Any `None` → `None`
     *
     * **Example** (Combining many Options)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const first = Option.some(1)
     * const rest = [Option.some(2), Option.some(3)]
     *
     * Option.productMany(first, rest) // => Option.some([1, 2, 3])
     * Option.productMany(first, [Option.some(2), Option.none()]) // => Option.none()
     * ```
     *
     * @see {@link product} for combining exactly two
     * @see {@link all} for tuples, structs, and iterables
     *
     * @stability stable
     * @category combining
     * @since 2.0.0
     */
    <A>(self: Option<A>, collection: Iterable<Option<A>>): Option<[A, ...Array<A>]>;
};
/**
 * Combines a structure of `Option`s (tuple, struct, or iterable) into a single
 * `Option` containing the unwrapped structure.
 *
 * **When to use**
 *
 * Use when you need to combine multiple `Option` values into one while
 * preserving the input shape, with any `None` making the result `None`.
 *
 * **Details**
 *
 * - Tuple input → `Option` of a tuple with the same length
 * - Struct input → `Option` of a struct with the same keys
 * - Iterable input → `Option` of an `Array`
 * - Any `None` in the input → entire result is `None`
 *
 * **Example** (Combining a tuple and a struct)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const maybeName: Option.Option<string> = Option.some("John")
 * const maybeAge: Option.Option<number> = Option.some(25)
 *
 * //      ┌─── Option<[string, number]>
 * //      ▼
 * const tuple = Option.all([maybeName, maybeAge]) // => Option.some(["John", 25])
 *
 * //      ┌─── Option<{ name: string; age: number; }>
 * //      ▼
 * const struct = Option.all({ name: maybeName, age: maybeAge }) // => Option.some({ name: "John", age: 25 })
 * ```
 *
 * @see {@link product} for combining exactly two
 * @see {@link productMany} for a homogeneous collection
 *
 * @stability stable
 * @category combining
 * @since 2.0.0
 */
export declare const all: <const I extends Iterable<Option<any>> | Record<string, Option<any>>>(input: I) => [I] extends [ReadonlyArray<Option<any>>] ? Option<{
    -readonly [K in keyof I]: [I[K]] extends [Option<infer A>] ? A : never;
}> : [I] extends [Iterable<Option<infer A>>] ? Option<Array<A>> : Option<{
    -readonly [K in keyof I]: [I[K]] extends [Option<infer A>] ? A : never;
}>;
/**
 * Combines two `Option`s using a provided function.
 *
 * **When to use**
 *
 * Use when you need to combine two present `Option` values into a computed
 * result.
 *
 * **Details**
 *
 * - Both `Some` → applies `f(a, b)` and wraps in `Some`
 * - Either `None` → `None`
 *
 * **Example** (Combining with a function)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.zipWith(
 *   Option.some("John"),
 *   Option.some(25),
 *   (name, age) => ({ name: name.toUpperCase(), age })
 * ) // => Option.some({ name: "JOHN", age: 25 })
 * ```
 *
 * @see {@link product} to combine into a tuple instead
 * @see {@link lift2} to lift a binary function
 *
 * @stability stable
 * @category zipping
 * @since 2.0.0
 */
export declare const zipWith: {
    /**
     * Combines two `Option`s using a provided function.
     *
     * **When to use**
     *
     * Use when you need to combine two present `Option` values into a computed
     * result.
     *
     * **Details**
     *
     * - Both `Some` → applies `f(a, b)` and wraps in `Some`
     * - Either `None` → `None`
     *
     * **Example** (Combining with a function)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipWith(
     *   Option.some("John"),
     *   Option.some(25),
     *   (name, age) => ({ name: name.toUpperCase(), age })
     * ) // => Option.some({ name: "JOHN", age: 25 })
     * ```
     *
     * @see {@link product} to combine into a tuple instead
     * @see {@link lift2} to lift a binary function
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <B, A, C>(that: Option<B>, f: (a: A, b: B) => C): (self: Option<A>) => Option<C>;
    /**
     * Combines two `Option`s using a provided function.
     *
     * **When to use**
     *
     * Use when you need to combine two present `Option` values into a computed
     * result.
     *
     * **Details**
     *
     * - Both `Some` → applies `f(a, b)` and wraps in `Some`
     * - Either `None` → `None`
     *
     * **Example** (Combining with a function)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.zipWith(
     *   Option.some("John"),
     *   Option.some(25),
     *   (name, age) => ({ name: name.toUpperCase(), age })
     * ) // => Option.some({ name: "JOHN", age: 25 })
     * ```
     *
     * @see {@link product} to combine into a tuple instead
     * @see {@link lift2} to lift a binary function
     *
     * @stability stable
     * @category zipping
     * @since 2.0.0
     */
    <A, B, C>(self: Option<A>, that: Option<B>, f: (a: A, b: B) => C): Option<C>;
};
/**
 * Reduces an iterable of `Option`s to a single value, skipping `None` entries.
 *
 * **When to use**
 *
 * Use when you need to aggregate values from a collection where some may be
 * absent.
 *
 * **Details**
 *
 * - Iterates through the collection, applying `f` only to `Some` values
 * - `None` values are skipped entirely
 * - Returns the accumulated result
 *
 * **Example** (Summing present values)
 *
 * ```ts import.meta.vitest
 * import { Option, pipe } from "effect"
 *
 * const items = [Option.some(1), Option.none(), Option.some(2), Option.none()]
 *
 * pipe(items, Option.reduceCompact(0, (b, a) => b + a)) // => 3
 * ```
 *
 * @stability stable
 * @category folding
 * @since 2.0.0
 */
export declare const reduceCompact: {
    /**
     * Reduces an iterable of `Option`s to a single value, skipping `None` entries.
     *
     * **When to use**
     *
     * Use when you need to aggregate values from a collection where some may be
     * absent.
     *
     * **Details**
     *
     * - Iterates through the collection, applying `f` only to `Some` values
     * - `None` values are skipped entirely
     * - Returns the accumulated result
     *
     * **Example** (Summing present values)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * const items = [Option.some(1), Option.none(), Option.some(2), Option.none()]
     *
     * pipe(items, Option.reduceCompact(0, (b, a) => b + a)) // => 3
     * ```
     *
     * @stability stable
     * @category folding
     * @since 2.0.0
     */
    <B, A>(b: B, f: (b: B, a: A) => B): (self: Iterable<Option<A>>) => B;
    /**
     * Reduces an iterable of `Option`s to a single value, skipping `None` entries.
     *
     * **When to use**
     *
     * Use when you need to aggregate values from a collection where some may be
     * absent.
     *
     * **Details**
     *
     * - Iterates through the collection, applying `f` only to `Some` values
     * - `None` values are skipped entirely
     * - Returns the accumulated result
     *
     * **Example** (Summing present values)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * const items = [Option.some(1), Option.none(), Option.some(2), Option.none()]
     *
     * pipe(items, Option.reduceCompact(0, (b, a) => b + a)) // => 3
     * ```
     *
     * @stability stable
     * @category folding
     * @since 2.0.0
     */
    <A, B>(self: Iterable<Option<A>>, b: B, f: (b: B, a: A) => B): B;
};
/**
 * Converts an `Option` into an `Array`.
 *
 * **When to use**
 *
 * Use when you need to pass an `Option` to array-based APIs or spread optional
 * values into collections.
 *
 * **Details**
 *
 * - `Some` → single-element array `[value]`
 * - `None` → empty array `[]`
 *
 * **Example** (Converting to an array)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.toArray(Option.some(1)) // => [1]
 * Option.toArray(Option.none()) // => []
 * ```
 *
 * @see {@link fromIterable} for the inverse direction
 *
 * @stability stable
 * @category converting
 * @since 2.0.0
 */
export declare const toArray: <A>(self: Option<A>) => Array<A>;
/**
 * Splits an `Option` into two `Option`s using a function that returns a `Result`.
 *
 * **When to use**
 *
 * Use when you need to split an optional value into success and failure
 * channels using a `Result`-returning function.
 *
 * **Details**
 *
 * - `None` → `[None, None]`
 * - `Some` where `f` returns `Ok` → `[Some(value), None]`
 * - `Some` where `f` returns `Err` → `[None, Some(error)]`
 *
 * **Example** (Partitioning by Result)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * const parseNumber = (s: string): Result.Result<number, string> => {
 *   const n = Number(s)
 *   return isNaN(n) ? Result.fail("Not a number") : Result.succeed(n)
 * }
 *
 * Option.partitionMap(Option.some("42"), parseNumber) // => [Option.some(42), Option.none()]
 * Option.partitionMap(Option.some("abc"), parseNumber) // => [Option.none(), Option.some("Not a number")]
 * Option.partitionMap(Option.none(), parseNumber) // => [Option.none(), Option.none()]
 * ```
 *
 * @see {@link filter} for simple predicate-based filtering
 *
 * @stability stable
 * @category filtering
 * @since 2.0.0
 */
export declare const partitionMap: {
    /**
     * Splits an `Option` into two `Option`s using a function that returns a `Result`.
     *
     * **When to use**
     *
     * Use when you need to split an optional value into success and failure
     * channels using a `Result`-returning function.
     *
     * **Details**
     *
     * - `None` → `[None, None]`
     * - `Some` where `f` returns `Ok` → `[Some(value), None]`
     * - `Some` where `f` returns `Err` → `[None, Some(error)]`
     *
     * **Example** (Partitioning by Result)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * const parseNumber = (s: string): Result.Result<number, string> => {
     *   const n = Number(s)
     *   return isNaN(n) ? Result.fail("Not a number") : Result.succeed(n)
     * }
     *
     * Option.partitionMap(Option.some("42"), parseNumber) // => [Option.some(42), Option.none()]
     * Option.partitionMap(Option.some("abc"), parseNumber) // => [Option.none(), Option.some("Not a number")]
     * Option.partitionMap(Option.none(), parseNumber) // => [Option.none(), Option.none()]
     * ```
     *
     * @see {@link filter} for simple predicate-based filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B, C>(f: (a: A) => Result<C, B>): (self: Option<A>) => [passes: Option<C>, fails: Option<B>];
    /**
     * Splits an `Option` into two `Option`s using a function that returns a `Result`.
     *
     * **When to use**
     *
     * Use when you need to split an optional value into success and failure
     * channels using a `Result`-returning function.
     *
     * **Details**
     *
     * - `None` → `[None, None]`
     * - `Some` where `f` returns `Ok` → `[Some(value), None]`
     * - `Some` where `f` returns `Err` → `[None, Some(error)]`
     *
     * **Example** (Partitioning by Result)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * const parseNumber = (s: string): Result.Result<number, string> => {
     *   const n = Number(s)
     *   return isNaN(n) ? Result.fail("Not a number") : Result.succeed(n)
     * }
     *
     * Option.partitionMap(Option.some("42"), parseNumber) // => [Option.some(42), Option.none()]
     * Option.partitionMap(Option.some("abc"), parseNumber) // => [Option.none(), Option.some("Not a number")]
     * Option.partitionMap(Option.none(), parseNumber) // => [Option.none(), Option.none()]
     * ```
     *
     * @see {@link filter} for simple predicate-based filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B, C>(self: Option<A>, f: (a: A) => Result<C, B>): [passes: Option<C>, fails: Option<B>];
};
/**
 * Transforms and filters an `Option` using a `Filter` callback.
 *
 * **When to use**
 *
 * Use to transform an `Option`'s present value and discard it when the `Filter`
 * fails.
 *
 * **Details**
 *
 * The callback returns a `Result`: `Result.succeed` keeps and transforms the
 * value, while `Result.fail` discards it.
 *
 * **Example** (Filtering and transforming)
 *
 * ```ts import.meta.vitest
 * import { Option, Result } from "effect"
 *
 * Option.filterMap(
 *   Option.some(2),
 *   (n) => (n % 2 === 0 ? Result.succeed(`Even: ${n}`) : Result.failVoid)
 * ) // => Option.some("Even: 2")
 * ```
 *
 * @see {@link filter} for predicate-based filtering
 *
 * @stability stable
 * @category filtering
 * @since 2.0.0
 */
export declare const filterMap: {
    /**
     * Transforms and filters an `Option` using a `Filter` callback.
     *
     * **When to use**
     *
     * Use to transform an `Option`'s present value and discard it when the `Filter`
     * fails.
     *
     * **Details**
     *
     * The callback returns a `Result`: `Result.succeed` keeps and transforms the
     * value, while `Result.fail` discards it.
     *
     * **Example** (Filtering and transforming)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * Option.filterMap(
     *   Option.some(2),
     *   (n) => (n % 2 === 0 ? Result.succeed(`Even: ${n}`) : Result.failVoid)
     * ) // => Option.some("Even: 2")
     * ```
     *
     * @see {@link filter} for predicate-based filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B, X>(f: Filter.Filter<A, B, X>): (self: Option<A>) => Option<B>;
    /**
     * Transforms and filters an `Option` using a `Filter` callback.
     *
     * **When to use**
     *
     * Use to transform an `Option`'s present value and discard it when the `Filter`
     * fails.
     *
     * **Details**
     *
     * The callback returns a `Result`: `Result.succeed` keeps and transforms the
     * value, while `Result.fail` discards it.
     *
     * **Example** (Filtering and transforming)
     *
     * ```ts import.meta.vitest
     * import { Option, Result } from "effect"
     *
     * Option.filterMap(
     *   Option.some(2),
     *   (n) => (n % 2 === 0 ? Result.succeed(`Even: ${n}`) : Result.failVoid)
     * ) // => Option.some("Even: 2")
     * ```
     *
     * @see {@link filter} for predicate-based filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B, X>(self: Option<A>, f: Filter.Filter<A, B, X>): Option<B>;
};
/**
 * Filters an `Option` using a predicate. Returns `None` if the predicate is
 * not satisfied or the input is `None`.
 *
 * **When to use**
 *
 * Use when you need to discard an `Option`'s present value when it does not
 * meet a condition, while narrowing the type via a refinement predicate.
 *
 * **Details**
 *
 * - `None` → `None`
 * - `Some` where `predicate(value)` is `true` → `Some(value)`
 * - `Some` where `predicate(value)` is `false` → `None`
 * - Supports refinements for type narrowing
 *
 * **Example** (Filtering with a predicate)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const removeEmpty = (input: Option.Option<string>) =>
 *   Option.filter(input, (value) => value !== "")
 *
 * removeEmpty(Option.some("hello")) // => Option.some("hello")
 * removeEmpty(Option.some("")) // => Option.none()
 * removeEmpty(Option.none()) // => Option.none()
 * ```
 *
 * @see {@link filterMap} to transform and filter simultaneously
 * @see {@link exists} to test without filtering
 *
 * @stability stable
 * @category filtering
 * @since 2.0.0
 */
export declare const filter: {
    /**
     * Filters an `Option` using a predicate. Returns `None` if the predicate is
     * not satisfied or the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to discard an `Option`'s present value when it does not
     * meet a condition, while narrowing the type via a refinement predicate.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` where `predicate(value)` is `true` → `Some(value)`
     * - `Some` where `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Filtering with a predicate)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const removeEmpty = (input: Option.Option<string>) =>
     *   Option.filter(input, (value) => value !== "")
     *
     * removeEmpty(Option.some("hello")) // => Option.some("hello")
     * removeEmpty(Option.some("")) // => Option.none()
     * removeEmpty(Option.none()) // => Option.none()
     * ```
     *
     * @see {@link filterMap} to transform and filter simultaneously
     * @see {@link exists} to test without filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B extends A>(refinement: Refinement<A, B>): (self: Option<A>) => Option<B>;
    /**
     * Filters an `Option` using a predicate. Returns `None` if the predicate is
     * not satisfied or the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to discard an `Option`'s present value when it does not
     * meet a condition, while narrowing the type via a refinement predicate.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` where `predicate(value)` is `true` → `Some(value)`
     * - `Some` where `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Filtering with a predicate)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const removeEmpty = (input: Option.Option<string>) =>
     *   Option.filter(input, (value) => value !== "")
     *
     * removeEmpty(Option.some("hello")) // => Option.some("hello")
     * removeEmpty(Option.some("")) // => Option.none()
     * removeEmpty(Option.none()) // => Option.none()
     * ```
     *
     * @see {@link filterMap} to transform and filter simultaneously
     * @see {@link exists} to test without filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A>(predicate: Predicate<A>): <B extends A>(self: Option<B>) => Option<B>;
    /**
     * Filters an `Option` using a predicate. Returns `None` if the predicate is
     * not satisfied or the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to discard an `Option`'s present value when it does not
     * meet a condition, while narrowing the type via a refinement predicate.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` where `predicate(value)` is `true` → `Some(value)`
     * - `Some` where `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Filtering with a predicate)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const removeEmpty = (input: Option.Option<string>) =>
     *   Option.filter(input, (value) => value !== "")
     *
     * removeEmpty(Option.some("hello")) // => Option.some("hello")
     * removeEmpty(Option.some("")) // => Option.none()
     * removeEmpty(Option.none()) // => Option.none()
     * ```
     *
     * @see {@link filterMap} to transform and filter simultaneously
     * @see {@link exists} to test without filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A, B extends A>(self: Option<A>, refinement: Refinement<A, B>): Option<B>;
    /**
     * Filters an `Option` using a predicate. Returns `None` if the predicate is
     * not satisfied or the input is `None`.
     *
     * **When to use**
     *
     * Use when you need to discard an `Option`'s present value when it does not
     * meet a condition, while narrowing the type via a refinement predicate.
     *
     * **Details**
     *
     * - `None` → `None`
     * - `Some` where `predicate(value)` is `true` → `Some(value)`
     * - `Some` where `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Filtering with a predicate)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const removeEmpty = (input: Option.Option<string>) =>
     *   Option.filter(input, (value) => value !== "")
     *
     * removeEmpty(Option.some("hello")) // => Option.some("hello")
     * removeEmpty(Option.some("")) // => Option.none()
     * removeEmpty(Option.none()) // => Option.none()
     * ```
     *
     * @see {@link filterMap} to transform and filter simultaneously
     * @see {@link exists} to test without filtering
     *
     * @stability stable
     * @category filtering
     * @since 2.0.0
     */
    <A>(self: Option<A>, predicate: Predicate<A>): Option<A>;
};
/**
 * Creates an `Equivalence` for `Option<A>` from an `Equivalence` for `A`.
 *
 * **When to use**
 *
 * Use when you need equality to treat two `None` values as equal and compare
 * two `Some` values with a supplied equality rule.
 *
 * **Details**
 *
 * - `None` vs `None` → `true`
 * - `Some` vs `None` (or vice versa) → `false`
 * - `Some(a)` vs `Some(b)` → delegates to the provided `Equivalence`
 *
 * **Example** (Comparing Options)
 *
 * ```ts import.meta.vitest
 * import { Equivalence, Option } from "effect"
 *
 * const eq = Option.makeEquivalence(Equivalence.strictEqual<number>())
 *
 * eq(Option.some(1), Option.some(1)) // => true
 * eq(Option.some(1), Option.some(2)) // => false
 * eq(Option.none(), Option.none()) // => true
 * ```
 *
 * @stability stable
 * @category instances
 * @since 4.0.0
 */
export declare const makeEquivalence: <A>(isEquivalent: Equivalence.Equivalence<A>) => Equivalence.Equivalence<Option<A>>;
/**
 * Creates an `Order` for `Option<A>` from an `Order` for `A`.
 *
 * **When to use**
 *
 * Use when you need to sort `Some` and `None` values, with `None` ordered
 * before present values and present values compared by a supplied ordering
 * rule.
 *
 * **Details**
 *
 * - `None` is considered less than any `Some`
 * - Two `Some` values are compared using the provided `Order`
 * - Two `None` values are equal (returns `0`)
 *
 * **Example** (Ordering Options)
 *
 * ```ts import.meta.vitest
 * import { Number as N, Option } from "effect"
 *
 * const ord = Option.makeOrder(N.Order)
 *
 * ord(Option.none(), Option.some(1)) // => -1
 * ord(Option.some(1), Option.none()) // => 1
 * ord(Option.some(1), Option.some(2)) // => -1
 * ```
 *
 * @stability stable
 * @category sorting
 * @since 4.0.0
 */
export declare const makeOrder: <A>(O: Order<A>) => Order<Option<A>>;
/**
 * Lifts a binary function to operate on two `Option` values.
 *
 * **When to use**
 *
 * Use when you need to reuse an existing binary function with two `Option`
 * values.
 *
 * **Details**
 *
 * - Both `Some` → applies `f` and wraps in `Some`
 * - Either `None` → `None`
 *
 * **Example** (Lifting addition)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const addOptions = Option.lift2((a: number, b: number) => a + b)
 *
 * addOptions(Option.some(2), Option.some(3)) // => Option.some(5)
 * addOptions(Option.some(2), Option.none()) // => Option.none()
 * ```
 *
 * @see {@link zipWith} for a non-lifted variant
 *
 * @stability stable
 * @category lifting
 * @since 2.0.0
 */
export declare const lift2: <A, B, C>(f: (a: A, b: B) => C) => {
    (that: Option<B>): (self: Option<A>) => Option<C>;
    (self: Option<A>, that: Option<B>): Option<C>;
};
/**
 * Lifts a `Predicate` or `Refinement` into the `Option` context: returns
 * `Some(value)` when the predicate holds, `None` otherwise.
 *
 * **When to use**
 *
 * Use to convert a boolean check into an `Option`-returning function
 * - Validating input and wrapping it in `Option`
 *
 * **Details**
 *
 * - `predicate(value)` is `true` → `Some(value)`
 * - `predicate(value)` is `false` → `None`
 * - Supports refinements for type narrowing
 *
 * **Example** (Validating positive numbers)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const parsePositive = Option.liftPredicate((n: number) => n > 0)
 *
 * parsePositive(1) // => Option.some(1)
 * parsePositive(-1) // => Option.none()
 * ```
 *
 * @see {@link filter} to apply a predicate to an existing `Option`
 * @see {@link toRefinement} for the inverse direction
 *
 * @stability stable
 * @category lifting
 * @since 2.0.0
 */
export declare const liftPredicate: {
    <A, B extends A>(refinement: Refinement<A, B>): (a: A) => Option<B>;
    /**
     * Lifts a `Predicate` or `Refinement` into the `Option` context: returns
     * `Some(value)` when the predicate holds, `None` otherwise.
     *
     * **When to use**
     *
     * Use to convert a boolean check into an `Option`-returning function
     * - Validating input and wrapping it in `Option`
     *
     * **Details**
     *
     * - `predicate(value)` is `true` → `Some(value)`
     * - `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Validating positive numbers)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const parsePositive = Option.liftPredicate((n: number) => n > 0)
     *
     * parsePositive(1) // => Option.some(1)
     * parsePositive(-1) // => Option.none()
     * ```
     *
     * @see {@link filter} to apply a predicate to an existing `Option`
     * @see {@link toRefinement} for the inverse direction
     *
     * @stability stable
     * @category lifting
     * @since 2.0.0
     */
    <B extends A, A = B>(predicate: Predicate<A>): (b: B) => Option<B>;
    /**
     * Lifts a `Predicate` or `Refinement` into the `Option` context: returns
     * `Some(value)` when the predicate holds, `None` otherwise.
     *
     * **When to use**
     *
     * Use to convert a boolean check into an `Option`-returning function
     * - Validating input and wrapping it in `Option`
     *
     * **Details**
     *
     * - `predicate(value)` is `true` → `Some(value)`
     * - `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Validating positive numbers)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const parsePositive = Option.liftPredicate((n: number) => n > 0)
     *
     * parsePositive(1) // => Option.some(1)
     * parsePositive(-1) // => Option.none()
     * ```
     *
     * @see {@link filter} to apply a predicate to an existing `Option`
     * @see {@link toRefinement} for the inverse direction
     *
     * @stability stable
     * @category lifting
     * @since 2.0.0
     */
    <A, B extends A>(self: A, refinement: Refinement<A, B>): Option<B>;
    /**
     * Lifts a `Predicate` or `Refinement` into the `Option` context: returns
     * `Some(value)` when the predicate holds, `None` otherwise.
     *
     * **When to use**
     *
     * Use to convert a boolean check into an `Option`-returning function
     * - Validating input and wrapping it in `Option`
     *
     * **Details**
     *
     * - `predicate(value)` is `true` → `Some(value)`
     * - `predicate(value)` is `false` → `None`
     * - Supports refinements for type narrowing
     *
     * **Example** (Validating positive numbers)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const parsePositive = Option.liftPredicate((n: number) => n > 0)
     *
     * parsePositive(1) // => Option.some(1)
     * parsePositive(-1) // => Option.none()
     * ```
     *
     * @see {@link filter} to apply a predicate to an existing `Option`
     * @see {@link toRefinement} for the inverse direction
     *
     * @stability stable
     * @category lifting
     * @since 2.0.0
     */
    <B extends A, A = B>(self: B, predicate: Predicate<A>): Option<B>;
};
/**
 * Checks whether an `Option` contains a value equivalent to the given one, using a
 * custom `Equivalence`.
 *
 * **When to use**
 *
 * Use when you need to test whether an `Option` contains a value using a
 * custom equality check.
 *
 * **Details**
 *
 * - `Some` where `isEquivalent(value, a)` is `true` → `true`
 * - `Some` where not equivalent, or `None` → `false`
 *
 * **Example** (Checking with custom equivalence)
 *
 * ```ts import.meta.vitest
 * import { Equivalence, Option } from "effect"
 *
 * const check = Option.containsWith(Equivalence.strictEqual<number>())
 *
 * Option.some(2).pipe(check(2)) // => true
 * Option.some(1).pipe(check(2)) // => false
 * Option.none().pipe(check(2)) // => false
 * ```
 *
 * @see {@link contains} for a version using default equality
 *
 * @stability stable
 * @category predicates
 * @since 2.0.0
 */
export declare const containsWith: <A>(isEquivalent: (self: A, that: A) => boolean) => {
    (a: A): (self: Option<A>) => boolean;
    (self: Option<A>, a: A): boolean;
};
/**
 * Checks whether an `Option` contains a value equal to the given one, using default
 * structural equality.
 *
 * **When to use**
 *
 * Use when you need a quick membership test for an `Option` value using
 * standard equality.
 *
 * **Details**
 *
 * - `Some` where `Equal.equals(value, a)` is `true` → `true`
 * - `Some` where not equal, or `None` → `false`
 *
 * **Example** (Checking containment)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * Option.some(2).pipe(Option.contains(2)) // => true
 * Option.some(1).pipe(Option.contains(2)) // => false
 * Option.none().pipe(Option.contains(2)) // => false
 * ```
 *
 * @see {@link containsWith} for custom equality
 * @see {@link exists} to test with a predicate
 *
 * @stability stable
 * @category predicates
 * @since 2.0.0
 */
export declare const contains: {
    /**
     * Checks whether an `Option` contains a value equal to the given one, using default
     * structural equality.
     *
     * **When to use**
     *
     * Use when you need a quick membership test for an `Option` value using
     * standard equality.
     *
     * **Details**
     *
     * - `Some` where `Equal.equals(value, a)` is `true` → `true`
     * - `Some` where not equal, or `None` → `false`
     *
     * **Example** (Checking containment)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.some(2).pipe(Option.contains(2)) // => true
     * Option.some(1).pipe(Option.contains(2)) // => false
     * Option.none().pipe(Option.contains(2)) // => false
     * ```
     *
     * @see {@link containsWith} for custom equality
     * @see {@link exists} to test with a predicate
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A>(a: A): (self: Option<A>) => boolean;
    /**
     * Checks whether an `Option` contains a value equal to the given one, using default
     * structural equality.
     *
     * **When to use**
     *
     * Use when you need a quick membership test for an `Option` value using
     * standard equality.
     *
     * **Details**
     *
     * - `Some` where `Equal.equals(value, a)` is `true` → `true`
     * - `Some` where not equal, or `None` → `false`
     *
     * **Example** (Checking containment)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * Option.some(2).pipe(Option.contains(2)) // => true
     * Option.some(1).pipe(Option.contains(2)) // => false
     * Option.none().pipe(Option.contains(2)) // => false
     * ```
     *
     * @see {@link containsWith} for custom equality
     * @see {@link exists} to test with a predicate
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A>(self: Option<A>, a: A): boolean;
};
/**
 * Checks whether the value in a `Some` satisfies a predicate or refinement.
 *
 * **When to use**
 *
 * Use to check a condition on an optional value without unwrapping
 *
 * **Details**
 *
 * - `None` → `false`
 * - `Some` where `predicate(value)` is `true` → `true`
 * - `Some` where `predicate(value)` is `false` → `false`
 * - With a refinement, narrows the `Option` type on `true`
 *
 * **Example** (Testing a condition)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const isEven = (n: number) => n % 2 === 0
 *
 * Option.some(2).pipe(Option.exists(isEven)) // => true
 * Option.some(1).pipe(Option.exists(isEven)) // => false
 * Option.none().pipe(Option.exists(isEven)) // => false
 * ```
 *
 * @see {@link filter} to keep or discard based on a predicate
 * @see {@link contains} to test for a specific value
 *
 * @stability stable
 * @category predicates
 * @since 2.0.0
 */
export declare const exists: {
    /**
     * Checks whether the value in a `Some` satisfies a predicate or refinement.
     *
     * **When to use**
     *
     * Use to check a condition on an optional value without unwrapping
     *
     * **Details**
     *
     * - `None` → `false`
     * - `Some` where `predicate(value)` is `true` → `true`
     * - `Some` where `predicate(value)` is `false` → `false`
     * - With a refinement, narrows the `Option` type on `true`
     *
     * **Example** (Testing a condition)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const isEven = (n: number) => n % 2 === 0
     *
     * Option.some(2).pipe(Option.exists(isEven)) // => true
     * Option.some(1).pipe(Option.exists(isEven)) // => false
     * Option.none().pipe(Option.exists(isEven)) // => false
     * ```
     *
     * @see {@link filter} to keep or discard based on a predicate
     * @see {@link contains} to test for a specific value
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): (self: Option<A>) => self is Option<B>;
    /**
     * Checks whether the value in a `Some` satisfies a predicate or refinement.
     *
     * **When to use**
     *
     * Use to check a condition on an optional value without unwrapping
     *
     * **Details**
     *
     * - `None` → `false`
     * - `Some` where `predicate(value)` is `true` → `true`
     * - `Some` where `predicate(value)` is `false` → `false`
     * - With a refinement, narrows the `Option` type on `true`
     *
     * **Example** (Testing a condition)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const isEven = (n: number) => n % 2 === 0
     *
     * Option.some(2).pipe(Option.exists(isEven)) // => true
     * Option.some(1).pipe(Option.exists(isEven)) // => false
     * Option.none().pipe(Option.exists(isEven)) // => false
     * ```
     *
     * @see {@link filter} to keep or discard based on a predicate
     * @see {@link contains} to test for a specific value
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A>(predicate: Predicate<NoInfer<A>>): (self: Option<A>) => boolean;
    /**
     * Checks whether the value in a `Some` satisfies a predicate or refinement.
     *
     * **When to use**
     *
     * Use to check a condition on an optional value without unwrapping
     *
     * **Details**
     *
     * - `None` → `false`
     * - `Some` where `predicate(value)` is `true` → `true`
     * - `Some` where `predicate(value)` is `false` → `false`
     * - With a refinement, narrows the `Option` type on `true`
     *
     * **Example** (Testing a condition)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const isEven = (n: number) => n % 2 === 0
     *
     * Option.some(2).pipe(Option.exists(isEven)) // => true
     * Option.some(1).pipe(Option.exists(isEven)) // => false
     * Option.none().pipe(Option.exists(isEven)) // => false
     * ```
     *
     * @see {@link filter} to keep or discard based on a predicate
     * @see {@link contains} to test for a specific value
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A, B extends A>(self: Option<A>, refinement: Refinement<A, B>): self is Option<B>;
    /**
     * Checks whether the value in a `Some` satisfies a predicate or refinement.
     *
     * **When to use**
     *
     * Use to check a condition on an optional value without unwrapping
     *
     * **Details**
     *
     * - `None` → `false`
     * - `Some` where `predicate(value)` is `true` → `true`
     * - `Some` where `predicate(value)` is `false` → `false`
     * - With a refinement, narrows the `Option` type on `true`
     *
     * **Example** (Testing a condition)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     *
     * const isEven = (n: number) => n % 2 === 0
     *
     * Option.some(2).pipe(Option.exists(isEven)) // => true
     * Option.some(1).pipe(Option.exists(isEven)) // => false
     * Option.none().pipe(Option.exists(isEven)) // => false
     * ```
     *
     * @see {@link filter} to keep or discard based on a predicate
     * @see {@link contains} to test for a specific value
     *
     * @stability stable
     * @category predicates
     * @since 2.0.0
     */
    <A>(self: Option<A>, predicate: Predicate<A>): boolean;
};
/**
 * Gives a name to the value of an `Option`, creating a single-key record
 * inside `Some`. Starting point for the do notation pipeline.
 *
 * **When to use**
 *
 * Use when you need to start an `Option` do notation chain by naming the first
 * value.
 *
 * **Example** (Starting do notation)
 *
 * ```ts import.meta.vitest
 * import { Option, pipe } from "effect"
 *
 * pipe(
 *   Option.some(2),
 *   Option.bindTo("x"),
 *   Option.bind("y", () => Option.some(3)),
 *   Option.let("sum", ({ x, y }) => x + y)
 * ) // => Option.some({ x: 2, y: 3, sum: 5 })
 * ```
 *
 * @see {@link Do} for starting with an empty record
 * @see {@link bind} to add `Option` values
 * @see {@link let_ let} to add plain values
 *
 * @stability stable
 * @category mapping
 * @since 2.0.0
 */
export declare const bindTo: {
    /**
     * Gives a name to the value of an `Option`, creating a single-key record
     * inside `Some`. Starting point for the do notation pipeline.
     *
     * **When to use**
     *
     * Use when you need to start an `Option` do notation chain by naming the first
     * value.
     *
     * **Example** (Starting do notation)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * pipe(
     *   Option.some(2),
     *   Option.bindTo("x"),
     *   Option.bind("y", () => Option.some(3)),
     *   Option.let("sum", ({ x, y }) => x + y)
     * ) // => Option.some({ x: 2, y: 3, sum: 5 })
     * ```
     *
     * @see {@link Do} for starting with an empty record
     * @see {@link bind} to add `Option` values
     * @see {@link let_ let} to add plain values
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <N extends string>(name: N): <A>(self: Option<A>) => Option<{
        [K in N]: A;
    }>;
    /**
     * Gives a name to the value of an `Option`, creating a single-key record
     * inside `Some`. Starting point for the do notation pipeline.
     *
     * **When to use**
     *
     * Use when you need to start an `Option` do notation chain by naming the first
     * value.
     *
     * **Example** (Starting do notation)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * pipe(
     *   Option.some(2),
     *   Option.bindTo("x"),
     *   Option.bind("y", () => Option.some(3)),
     *   Option.let("sum", ({ x, y }) => x + y)
     * ) // => Option.some({ x: 2, y: 3, sum: 5 })
     * ```
     *
     * @see {@link Do} for starting with an empty record
     * @see {@link bind} to add `Option` values
     * @see {@link let_ let} to add plain values
     *
     * @stability stable
     * @category mapping
     * @since 2.0.0
     */
    <A, N extends string>(self: Option<A>, name: N): Option<{
        [K in N]: A;
    }>;
};
declare const let_: {
    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, f: (a: NoInfer<A>) => B): (self: Option<A>) => Option<{
        [K in N | keyof A]: K extends keyof A ? A[K] : B;
    }>;
    <A extends object, N extends string, B>(self: Option<A>, name: Exclude<N, keyof A>, f: (a: NoInfer<A>) => B): Option<{
        [K in N | keyof A]: K extends keyof A ? A[K] : B;
    }>;
};
export { 
/**
 * Adds a computed plain value to the do notation record.
 *
 * **When to use**
 *
 * Use when you need to bind a derived non-`Option` value in an `Option` do
 * notation pipeline.
 *
 * **Example** (Adding a computed value)
 *
 * ```ts import.meta.vitest
 * import { Option, pipe } from "effect"
 *
 * pipe(
 *   Option.Do,
 *   Option.bind("x", () => Option.some(2)),
 *   Option.bind("y", () => Option.some(3)),
 *   Option.let("sum", ({ x, y }) => x + y)
 * ) // => Option.some({ x: 2, y: 3, sum: 5 })
 * ```
 *
 * @see {@link Do} for starting the chain
 * @see {@link bind} to add `Option` values
 * @see {@link bindTo} to start by naming an existing `Option`
 *
 * @stability stable
 * @category mapping
 * @since 2.0.0
 */
let_ as let };
/**
 * Adds an `Option` value to the do notation record under a given name. If the
 * `Option` is `None`, the whole pipeline short-circuits to `None`.
 *
 * **When to use**
 *
 * Use when you need to sequence `Option` computations in do notation.
 *
 * **Example** (Binding Option values)
 *
 * ```ts import.meta.vitest
 * import { Option, pipe } from "effect"
 *
 * pipe(
 *   Option.Do,
 *   Option.bind("x", () => Option.some(2)),
 *   Option.bind("y", () => Option.some(3)),
 *   Option.let("sum", ({ x, y }) => x + y),
 *   Option.filter(({ x, y }) => x * y > 5)
 * ) // => Option.some({ x: 2, y: 3, sum: 5 })
 * ```
 *
 * @see {@link Do} for starting the chain
 * @see {@link let_ let} to add plain values
 * @see {@link bindTo} to start by naming an existing `Option`
 *
 * @stability stable
 * @category sequencing
 * @since 2.0.0
 */
export declare const bind: {
    /**
     * Adds an `Option` value to the do notation record under a given name. If the
     * `Option` is `None`, the whole pipeline short-circuits to `None`.
     *
     * **When to use**
     *
     * Use when you need to sequence `Option` computations in do notation.
     *
     * **Example** (Binding Option values)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * pipe(
     *   Option.Do,
     *   Option.bind("x", () => Option.some(2)),
     *   Option.bind("y", () => Option.some(3)),
     *   Option.let("sum", ({ x, y }) => x + y),
     *   Option.filter(({ x, y }) => x * y > 5)
     * ) // => Option.some({ x: 2, y: 3, sum: 5 })
     * ```
     *
     * @see {@link Do} for starting the chain
     * @see {@link let_ let} to add plain values
     * @see {@link bindTo} to start by naming an existing `Option`
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <N extends string, A extends object, B>(name: Exclude<N, keyof A>, f: (a: NoInfer<A>) => Option<B>): (self: Option<A>) => Option<{
        [K in N | keyof A]: K extends keyof A ? A[K] : B;
    }>;
    /**
     * Adds an `Option` value to the do notation record under a given name. If the
     * `Option` is `None`, the whole pipeline short-circuits to `None`.
     *
     * **When to use**
     *
     * Use when you need to sequence `Option` computations in do notation.
     *
     * **Example** (Binding Option values)
     *
     * ```ts import.meta.vitest
     * import { Option, pipe } from "effect"
     *
     * pipe(
     *   Option.Do,
     *   Option.bind("x", () => Option.some(2)),
     *   Option.bind("y", () => Option.some(3)),
     *   Option.let("sum", ({ x, y }) => x + y),
     *   Option.filter(({ x, y }) => x * y > 5)
     * ) // => Option.some({ x: 2, y: 3, sum: 5 })
     * ```
     *
     * @see {@link Do} for starting the chain
     * @see {@link let_ let} to add plain values
     * @see {@link bindTo} to start by naming an existing `Option`
     *
     * @stability stable
     * @category sequencing
     * @since 2.0.0
     */
    <A extends object, N extends string, B>(self: Option<A>, name: Exclude<N, keyof A>, f: (a: NoInfer<A>) => Option<B>): Option<{
        [K in N | keyof A]: K extends keyof A ? A[K] : B;
    }>;
};
/**
 * Provides an `Option` containing an empty record `{}`, used as the starting point for
 * do notation chains.
 *
 * **When to use**
 *
 * Use when you need to start an `Option` do notation pipeline before adding
 * bindings.
 *
 * **Example** (Building Option pipelines with do notation)
 *
 * ```ts import.meta.vitest
 * import { Option, pipe } from "effect"
 *
 * pipe(
 *   Option.Do,
 *   Option.bind("x", () => Option.some(2)),
 *   Option.bind("y", () => Option.some(3)),
 *   Option.let("sum", ({ x, y }) => x + y),
 *   Option.filter(({ x, y }) => x * y > 5)
 * ) // => Option.some({ x: 2, y: 3, sum: 5 })
 * ```
 *
 * @see {@link bind} to add `Option` values
 * @see {@link let_ let} to add plain values
 * @see {@link bindTo} to start by naming an existing `Option`
 *
 * @stability stable
 * @category constructors
 * @since 2.0.0
 */
export declare const Do: Option<{}>;
/**
 * Provides generator-based syntax for `Option`, similar to `async`/`await` but for
 * optional values. Yielding a `None` short-circuits the generator to `None`.
 *
 * **When to use**
 *
 * Use when you need generator syntax for a sequence of `Option` steps that
 * should short-circuit on `None`.
 *
 * **Details**
 *
 * - Each `yield*` unwraps a `Some` value or short-circuits to `None`
 * - The return value is wrapped in `Some`
 * - No `Effect` runtime is needed
 *
 * **Example** (Sequencing Option computations with generator syntax)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 *
 * const maybeName: Option.Option<string> = Option.some("John")
 * const maybeAge: Option.Option<number> = Option.some(25)
 *
 * Option.gen(function*() {
 *   const name = (yield* maybeName).toUpperCase()
 *   const age = yield* maybeAge
 *   return { name, age }
 * }) // => Option.some({ name: "JOHN", age: 25 })
 * ```
 *
 * @see {@link Do} / {@link bind} for the do notation alternative
 *
 * @stability stable
 * @category generators
 * @since 2.0.0
 */
export declare const gen: Gen.Gen<OptionTypeLambda>;
/**
 * Creates a `Reducer` for `Option<A>` that prioritizes the first non-`None`
 * value and combines values when both are `Some`.
 *
 * **When to use**
 *
 * Use to build an `Option` reducer that falls back to the first available value
 * when either side may be absent.
 *
 * **Details**
 *
 * - `None` + `None` → `None`
 * - `Some(a)` + `None` → `Some(a)`
 * - `None` + `Some(b)` → `Some(b)`
 * - `Some(a)` + `Some(b)` → `Some(combine(a, b))`
 * - Initial value is `None`
 *
 * **Example** (Reducing with first-wins semantics)
 *
 * ```ts import.meta.vitest
 * import { Number, Option } from "effect"
 *
 * const reducer = Option.makeReducer(Number.ReducerSum)
 * reducer.combineAll([Option.some(1), Option.none(), Option.some(2)]) // => Option.some(3)
 * ```
 *
 * @see {@link makeReducerFailFast} for fail-fast semantics
 *
 * @stability stable
 * @category constructors
 * @since 4.0.0
 */
export declare function makeReducer<A>(combiner: Combiner.Combiner<A>): Reducer.Reducer<Option<A>>;
/**
 * Creates a `Combiner` for `Option<A>` with fail-fast semantics: returns `None`
 * if either operand is `None`.
 *
 * **When to use**
 *
 * Use when you need an `Option` combiner that returns `None` unless both
 * operands are `Some`.
 *
 * **Details**
 *
 * - `None` + anything → `None`
 * - anything + `None` → `None`
 * - `Some(a)` + `Some(b)` → `Some(combine(a, b))`
 *
 * **Example** (Fail-fast combining)
 *
 * ```ts import.meta.vitest
 * import { Number, Option } from "effect"
 *
 * const combiner = Option.makeCombinerFailFast(Number.ReducerSum)
 * combiner.combine(Option.some(1), Option.some(2)) // => Option.some(3)
 * combiner.combine(Option.some(1), Option.none()) // => Option.none()
 * ```
 *
 * @see {@link makeReducerFailFast} to get a full `Reducer`
 *
 * @stability stable
 * @category constructors
 * @since 4.0.0
 */
export declare function makeCombinerFailFast<A>(combiner: Combiner.Combiner<A>): Combiner.Combiner<Option<A>>;
/**
 * Creates a `Reducer` for `Option<A>` by lifting an existing `Reducer` with
 * fail-fast semantics.
 *
 * **When to use**
 *
 * Use when you need to reduce `Option` values with fail-fast semantics, where
 * any `None` aborts the entire result instead of being skipped.
 *
 * **Details**
 *
 * - Initial value is `Some(reducer.initialValue)`
 * - Combines only when both operands are `Some`
 * - Any `None` causes the result to become `None` immediately
 *
 * **Example** (Fail-fast reducing)
 *
 * ```ts import.meta.vitest
 * import { Number, Option } from "effect"
 *
 * const reducer = Option.makeReducerFailFast(Number.ReducerSum)
 * reducer.combineAll([Option.some(1), Option.some(2)]) // => Option.some(3)
 * reducer.combineAll([Option.some(1), Option.none()]) // => Option.none()
 * ```
 *
 * @see {@link makeCombinerFailFast} for just the combiner
 * @see {@link makeReducer} for non-fail-fast semantics
 *
 * @stability stable
 * @category constructors
 * @since 4.0.0
 */
export declare function makeReducerFailFast<A>(reducer: Reducer.Reducer<A>): Reducer.Reducer<Option<A>>;
//# sourceMappingURL=Option.d.ts.map