import { Enum } from './enum';
/**
 * Interface defining the pattern matching behavior for Option types.
 * Similar to Rust's enum expression for Option<T>.
 *
 * @template T The type of value contained in Some
 * @template U The return type of the enum operation
 *
 * @example
 * ```typescript
 * const opt = Some(5);
 * const result = opt.enum({
 *   some: (val) => val * 2,
 *   none: () => 0
 * }); // result = 10
 * ```
 */
interface MatchOption<T, U> {
    Some: (val: T) => U;
    None: (() => U) | U;
}
/**
 * Option<T> type representing an optional value.
 * A type-safe alternative to handle optional values with explicit control flow.
 *
 * Key features:
 * - Explicit handling of optional values
 * - Rich set of combinators for value transformation
 * - Pattern matching support
 * - Chainable operations
 *
 * @template T The type of the contained value
 *
 * @example
 * ```typescript
 * function divide(a: number, b: number): Option<T> {
 *   return b === 0 ? None : Some(a / b);
 * }
 *
 * const result = divide(10, 2)
 *   .map(n => n * 2)      // Transform the value
 *   .filter(n => n > 0)   // Keep only positive numbers
 *   .unwrapOr(0);         // Provide default value
 * ```
 */
export declare class Option<T> extends Enum {
    protected static readonly NI: Option<any>;
    /**
     * Creates a Some variant containing a value.
     *
     * @template T The type of value to wrap
     * @param val The value to wrap
     * @returns Option<T> containing the value
     *
     * @example
     * ```typescript
     * const num = Some(42);           // Option<number>
     * const str = Some("hello");      // Option<string>
     * const obj = Some({x: 1});       // Option<{x: number}>
     * ```
     */
    static Some<T>(value: T): Option<T>;
    /**
     * Creates an Option containing no value
     * @returns Option containing no value
     *
     * @example
     * ```typescript
     * const empty = None;
     * ```
     */
    static None<T>(): Option<T>;
    /**
     * Pattern matches on the Option, executing different code paths for Some and None cases.
     * Similar to Rust's enum expression.
     *
     * @param fn Object containing functions for Some and None cases
     * @returns Result of the matched function
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.enum({
     *   some: (val) => val * 2,
     *   none: () => 0
     * }); // result = 10
     * ```
     */
    match<U>(patterns: MatchOption<T, U>): U;
    /**
     * Checks if the Option contains a value (Some variant)
     * @returns true if Some, false if None
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * if (opt.isSome()) {
     *   console.log("Has value");
     * }
     * ```
     */
    isSome(): boolean;
    /**
     * Tests if Option is Some and the value matches a predicate
     * @param fn Predicate function to test the contained value
     * @returns true if Some and predicate returns true
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * if (opt.isSomeAnd(n => n > 0)) {
     *   console.log("Has positive value");
     * }
     * ```
     */
    isSomeAnd(fn: (val: T) => boolean): boolean;
    /**
     * Checks if the Option is None variant
     * @returns true if None, false if Some
     *
     * @example
     * ```typescript
     * const empty = None;
     * if (empty.isNone()) {
     *   console.log("Is empty");
     * }
     * ```
     */
    isNone(): boolean;
    /**
     * Tests if Option is None or the value matches a predicate
     * @param fn Predicate function to test the contained value
     * @returns true if None or predicate returns true
     *
     * @example
     * ```typescript
     * const empty = None;
     * if (empty.isNoneOr(n => n > 0)) {
     *   console.log("Is empty or has positive value");
     * }
     * ```
     */
    isNoneOr(fn: (val: T) => boolean): boolean;
    /**
     * Returns the contained value or throws if None
     * @throws {Error} If the Option is None
     * @returns The contained value
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.expect("Expected Some value"); // 5
     * ```
     */
    expect(msg: string): T;
    /**
     * Returns the contained value or throws if None
     * @throws {ReferenceError} If the Option is None
     * @returns The contained value
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.unwrap(); // 5
     * ```
     */
    unwrap<U = T>(): U;
    /**
     * Returns the contained value or a default
     * @param def Default value to return if None
     * @returns Contained value if Some, default if None
     *
     * @example
     * ```typescript
     * const empty = None;
     * const result = empty.unwrapOr(0); // 0
     * ```
     */
    unwrapOr<U>(def: U): U;
    /**
     * Returns the contained value or computes a default
     * @param fn Function to compute default value if None
     * @returns Contained value if Some, computed default if None
     *
     * @example
     * ```typescript
     * const empty = None;
     * const result = empty.unwrapOrElse(() => 0); // 0
     * ```
     */
    unwrapOrElse<U>(fn: () => U): U;
    /**
     * Transforms the Option's contained value using a mapping function
     * @param fn Function to transform the contained value
     * @returns New Option containing the transformed value
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const mapped = opt.map(n => n.toString()); // Some("5")
     * ```
     */
    map<U>(fn: (val: T) => U): Option<U>;
    /**
     * Calls a function with the contained value if Some
     * @param fn Function to call with the contained value
     * @returns This Option
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * opt.inspect(n => console.log(n)); // 5
     * ```
     */
    inspect(fn: (val: T) => void): Option<T>;
    /**
     * Maps the contained value or returns a default if None
     * @param def Default value to use if None
     * @param fn Function to transform the contained value
     * @returns Transformed value or default
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.mapOr(0, n => n * 2); // 10
     * ```
     */
    mapOr<U>(def: U, fn: (val: T) => U): U;
    /**
     * Maps the contained value or computes a default if None
     * @param def Function to compute default value if None
     * @param fn Function to transform the contained value
     * @returns Transformed value or computed default
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.mapOrElse(() => 0, n => n * 2); // 10
     * ```
     */
    mapOrElse<U>(def: () => U, fn: (val: T) => U): U;
    /**
     * Returns None if this is None, otherwise returns opt
     * @param opt Option to return if this is Some
     * @returns None if this is None, opt otherwise
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.and(Some(0)); // Some(0)
     * ```
     */
    and<U>(opt: Option<U>): Option<U>;
    /**
     * Chains Option-returning functions
     * @param fn Function that returns an Option
     * @returns Result of fn if Some, None if this is None
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.andThen(n => Some(n * 2)); // Some(10)
     * ```
     */
    andThen<U>(fn: (val: T) => Option<U>): Option<U>;
    /**
     * Returns None if the predicate returns false, otherwise returns the Option
     * @param fn Predicate function to test the contained value
     * @returns This Option if predicate returns true, None otherwise
     *
     * @example
     * ```typescript
     * const opt = Some(5);
     * const result = opt.filter(n => n > 0); // Some(5)
     * ```
     */
    filter(fn: (val: T) => boolean): Option<T>;
    /**
     * Returns this Option if Some, or the provided Option if None
     * @param opt Alternative Option to use if None
     * @returns This Option if Some, opt if None
     *
     * @example
     * ```typescript
     * const empty = None;
     * const result = empty.or(Some(0)); // Some(0)
     * ```
     */
    or<U extends T>(opt: Option<U>): Option<T>;
    /**
     * Returns this Option if Some, or computes a new Option if None
     * @param fn Function to compute new Option if None
     * @returns This Option if Some, result of fn if None
     *
     * @example
     * ```typescript
     * const empty = None;
     * const result = empty.orElse(() => Some(0)); // Some(0)
     * ```
     */
    orElse<U>(fn: () => Option<U>): Option<T | U>;
    /**
     * Returns the XOR of this Option and the provided Option
     * @param opt Option to XOR with
     * @returns XOR of this Option and opt
     *
     * @example
     * ```typescript
     * const opt1 = Some(5);
     * const opt2 = None;
     * const result = opt1.xor(opt2); // Some(5)
     * ```
     */
    xor<U>(opt: Option<U>): Option<T | U>;
    toJSON(): string;
    toString(): string;
    valueOf(): Object | null | undefined;
}
/**
 * A singleton None instance representing absence of a value.
 * This is the recommended way to create None values.
 *
 * @example
 * ```typescript
 * function find(id: string): Option<User> {
 *   const user = db.get(id);
 *   return user ? Some(user) : None;
 * }
 * ```
 */
export declare const None: Option<any>;
/**
 * Creates a Some variant containing a value.
 *
 * @template T The type of value to wrap
 * @param val The value to wrap
 * @returns Option<T> containing the value
 *
 * @example
 * ```typescript
 * const num = Some(42);           // Option<number>
 * const str = Some("hello");      // Option<string>
 * const obj = Some({x: 1});       // Option<{x: number}>
 * ```
 */
export declare function Some<T>(val: T): Option<T>;
export {};