/**
 * Defines typed positional arguments for Effect CLI applications.
 *
 * Arguments consume ordered values after a command name and its flags, then
 * parse them into the types a command handler expects. This module includes
 * constructors for common argument shapes, plus helpers for optional or
 * variadic arguments, schema validation, transformations, defaults, config
 * fallbacks, and prompts for missing values.
 *
 * @stability unstable
 * @since 4.0.0
 */
import type * as Config from "../Config.ts";
import type * as Effect from "../Effect.ts";
import { type LazyArg } from "../Function.ts";
import type * as Option from "../Option.ts";
import type * as Redacted_ from "../Redacted.ts";
import type * as Result from "../Result.ts";
import type * as Schema from "../Schema.ts";
import type * as CliError from "./CliError.ts";
import type { Environment } from "./Command.ts";
import * as Param from "./Param.ts";
import type * as Primitive from "./Primitive.ts";
/**
 * Represents a positional command-line argument.
 *
 * **Gotchas**
 *
 * For booleans, use `Flag.Boolean` or `Argument.Literals` with "true" and "false".
 *
 * @stability unstable
 * @category models
 * @since 4.0.0
 */
export interface Argument<A> extends Param.Param<typeof Param.argumentKind, A> {
}
/**
 * Creates a positional string argument.
 *
 * **Example** (Creating a string argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const filename = Argument.String("filename")
 * filename.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const String: (name: string) => Argument<string>;
/**
 * Creates a positional integer argument.
 *
 * **Example** (Creating an integer argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const count = Argument.Int("count")
 * count.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Int: (name: string) => Argument<number>;
/**
 * Creates a positional file path argument.
 *
 * **Example** (Creating file path arguments)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const inputFile = Argument.File("input", { mustExist: true }) // Must exist
 * const outputFile = Argument.File("output", { mustExist: false }) // Must not exist
 * const kinds = [inputFile.kind, outputFile.kind] // => ["argument", "argument"]
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const File: (name: string, options?: {
    readonly mustExist?: boolean | undefined;
}) => Argument<string>;
/**
 * Creates a positional directory path argument.
 *
 * **Example** (Creating a directory path argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const workspace = Argument.Directory("workspace", { mustExist: true }) // Must exist
 * workspace.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Directory: (name: string, options?: {
    readonly mustExist?: boolean | undefined;
}) => Argument<string>;
/**
 * Creates a positional argument that parses finite numbers.
 *
 * **Example** (Parsing a finite number)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const ratio = Argument.Finite("ratio")
 * ratio.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Finite: (name: string) => Argument<number>;
/**
 * Creates a positional date argument.
 *
 * **Example** (Creating a date argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const startDate = Argument.Date("start-date")
 * startDate.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Date: (name: string) => Argument<globalThis.Date>;
/**
 * Creates a positional choice argument.
 *
 * **Example** (Creating a choice argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const environment = Argument.Literals("environment", ["dev", "staging", "prod"])
 * environment.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Literals: <const Choices extends ReadonlyArray<string>>(name: string, choices: Choices) => Argument<Choices[number]>;
/**
 * Creates a positional path argument.
 *
 * **Example** (Creating a path argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const configPath = Argument.Path("config")
 * configPath.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Path: (name: string, options?: {
    pathType?: "file" | "directory" | "either";
    mustExist?: boolean;
}) => Argument<string>;
/**
 * Creates a positional redacted argument that obscures its value.
 *
 * **Example** (Creating a redacted argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const secret = Argument.Redacted("secret")
 * secret.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Redacted: (name: string) => Argument<Redacted_.Redacted<string>>;
/**
 * Creates a positional argument that reads file content as a string.
 *
 * **Example** (Reading file text)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const config = Argument.FileText("config-file")
 * config.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const FileText: (name: string) => Argument<string>;
/**
 * Creates a positional argument that reads a file and parses its content.
 *
 * **Details**
 *
 * The parser is chosen from the explicit `format` option or, when omitted, the
 * file extension. The parsed value is `unknown`; use `fileSchema` when the
 * parsed content should also be decoded with a Schema.
 *
 * **Example** (Parsing file content)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const config = Argument.FileParse("config", { format: "json" })
 * config.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const FileParse: (name: string, options?: Primitive.FileParseOptions | undefined) => Argument<unknown>;
/**
 * Creates a positional argument that reads and validates file content using a schema.
 *
 * **Example** (Validating file content with a schema)
 *
 * ```ts import.meta.vitest
 * import { Schema } from "effect"
 * import { Argument } from "effect/cli"
 *
 * const ConfigSchema = Schema.Struct({
 *   port: Schema.Number,
 *   host: Schema.String
 * })
 *
 * const config = Argument.FileSchema("config", ConfigSchema)
 * config.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const FileSchema: <A>(name: string, schema: Schema.ConstraintDecoder<A, Environment>, options?: Primitive.FileSchemaOptions | undefined) => Argument<A>;
/**
 * An argument that always fails to parse.
 *
 * **Example** (Creating a sentinel argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const noArg = Argument.Never
 * noArg.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const Never: Argument<never>;
/**
 * Makes a positional argument optional.
 *
 * **Example** (Making an argument optional)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const optionalVersion = Argument.String("version").pipe(Argument.optional)
 * optionalVersion.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const optional: <A>(arg: Argument<A>) => Argument<Option.Option<A>>;
/**
 * Adds a description to a positional argument.
 *
 * **Example** (Adding an argument description)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const filename = Argument.String("filename").pipe(
 *   Argument.withDescription("The input file to process")
 * )
 * filename.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const withDescription: {
    /**
     * Adds a description to a positional argument.
     *
     * **Example** (Adding an argument description)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const filename = Argument.String("filename").pipe(
     *   Argument.withDescription("The input file to process")
     * )
     * filename.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(description: string): (self: Argument<A>) => Argument<A>;
    /**
     * Adds a description to a positional argument.
     *
     * **Example** (Adding an argument description)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const filename = Argument.String("filename").pipe(
     *   Argument.withDescription("The input file to process")
     * )
     * filename.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, description: string): Argument<A>;
};
/**
 * Provides a default value for a positional argument.
 *
 * **Example** (Providing a default value)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const port = Argument.Int("port").pipe(Argument.withDefault(8080))
 * port.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const withDefault: {
    /**
     * Provides a default value for a positional argument.
     *
     * **Example** (Providing a default value)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(Argument.withDefault(8080))
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <const B>(defaultValue: B | Effect.Effect<B, CliError.CliError, Environment>): <A>(self: Argument<A>) => Argument<A | B>;
    /**
     * Provides a default value for a positional argument.
     *
     * **Example** (Providing a default value)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(Argument.withDefault(8080))
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, const B>(self: Argument<A>, defaultValue: B | Effect.Effect<B, CliError.CliError, Environment>): Argument<A | B>;
};
/**
 * Adds a fallback config that is loaded when a required argument is missing.
 *
 * **Example** (Loading a fallback config)
 *
 * ```ts import.meta.vitest
 * import { Config } from "effect"
 * import { Argument } from "effect/cli"
 *
 * const repository = Argument.String("repository").pipe(
 *   Argument.withFallbackConfig(Config.String("REPOSITORY"))
 * )
 * repository.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const withFallbackConfig: {
    /**
     * Adds a fallback config that is loaded when a required argument is missing.
     *
     * **Example** (Loading a fallback config)
     *
     * ```ts import.meta.vitest
     * import { Config } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const repository = Argument.String("repository").pipe(
     *   Argument.withFallbackConfig(Config.String("REPOSITORY"))
     * )
     * repository.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <B>(config: Config.Config<B>): <A>(self: Argument<A>) => Argument<A | B>;
    /**
     * Adds a fallback config that is loaded when a required argument is missing.
     *
     * **Example** (Loading a fallback config)
     *
     * ```ts import.meta.vitest
     * import { Config } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const repository = Argument.String("repository").pipe(
     *   Argument.withFallbackConfig(Config.String("REPOSITORY"))
     * )
     * repository.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, config: Config.Config<B>): Argument<A | B>;
};
/**
 * Adds a fallback prompt that is shown when a required argument is missing.
 *
 * **Example** (Showing a fallback prompt)
 *
 * ```ts import.meta.vitest
 * import { Argument, Prompt } from "effect/cli"
 *
 * const filename = Argument.String("filename").pipe(
 *   Argument.withFallbackPrompt(Prompt.String({ message: "Filename" }))
 * )
 * filename.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const withFallbackPrompt: {
    /**
     * Adds a fallback prompt that is shown when a required argument is missing.
     *
     * **Example** (Showing a fallback prompt)
     *
     * ```ts import.meta.vitest
     * import { Argument, Prompt } from "effect/cli"
     *
     * const filename = Argument.String("filename").pipe(
     *   Argument.withFallbackPrompt(Prompt.String({ message: "Filename" }))
     * )
     * filename.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <B>(prompt: Param.FallbackPrompt<B>): <A>(self: Argument<A>) => Argument<A | B>;
    /**
     * Adds a fallback prompt that is shown when a required argument is missing.
     *
     * **Example** (Showing a fallback prompt)
     *
     * ```ts import.meta.vitest
     * import { Argument, Prompt } from "effect/cli"
     *
     * const filename = Argument.String("filename").pipe(
     *   Argument.withFallbackPrompt(Prompt.String({ message: "Filename" }))
     * )
     * filename.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, prompt: Param.FallbackPrompt<B>): Argument<A | B>;
};
/**
 * Creates a variadic positional argument that accepts multiple values.
 *
 * **Example** (Accepting multiple values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * // Accept any number of files
 * const anyFiles = Argument.String("files").pipe(Argument.variadic)
 *
 * // Accept at least 1 file
 * const atLeastOneFile = Argument.String("files").pipe(
 *   Argument.variadic({ min: 1 })
 * )
 *
 * // Accept between 1 and 5 files
 * const limitedFiles = Argument.String("files").pipe(
 *   Argument.variadic({ min: 1, max: 5 })
 * )
 *
 * const kinds = [anyFiles.kind, atLeastOneFile.kind, limitedFiles.kind] // => ["argument", "argument", "argument"]
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const variadic: {
    /**
     * Creates a variadic positional argument that accepts multiple values.
     *
     * **Example** (Accepting multiple values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * // Accept any number of files
     * const anyFiles = Argument.String("files").pipe(Argument.variadic)
     *
     * // Accept at least 1 file
     * const atLeastOneFile = Argument.String("files").pipe(
     *   Argument.variadic({ min: 1 })
     * )
     *
     * // Accept between 1 and 5 files
     * const limitedFiles = Argument.String("files").pipe(
     *   Argument.variadic({ min: 1, max: 5 })
     * )
     *
     * const kinds = [anyFiles.kind, atLeastOneFile.kind, limitedFiles.kind] // => ["argument", "argument", "argument"]
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    (options?: Param.VariadicParamOptions | undefined): <A>(self: Argument<A>) => Argument<ReadonlyArray<A>>;
    /**
     * Creates a variadic positional argument that accepts multiple values.
     *
     * **Example** (Accepting multiple values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * // Accept any number of files
     * const anyFiles = Argument.String("files").pipe(Argument.variadic)
     *
     * // Accept at least 1 file
     * const atLeastOneFile = Argument.String("files").pipe(
     *   Argument.variadic({ min: 1 })
     * )
     *
     * // Accept between 1 and 5 files
     * const limitedFiles = Argument.String("files").pipe(
     *   Argument.variadic({ min: 1, max: 5 })
     * )
     *
     * const kinds = [anyFiles.kind, atLeastOneFile.kind, limitedFiles.kind] // => ["argument", "argument", "argument"]
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, options?: Param.VariadicParamOptions | undefined): Argument<ReadonlyArray<A>>;
};
/**
 * Transforms the parsed value of a positional argument.
 *
 * **Example** (Mapping parsed values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const port = Argument.Int("port").pipe(
 *   Argument.map((p) => ({ port: p, url: `http://localhost:${p}` }))
 * )
 * port.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const map: {
    /**
     * Transforms the parsed value of a positional argument.
     *
     * **Example** (Mapping parsed values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(
     *   Argument.map((p) => ({ port: p, url: `http://localhost:${p}` }))
     * )
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => B): (self: Argument<A>) => Argument<B>;
    /**
     * Transforms the parsed value of a positional argument.
     *
     * **Example** (Mapping parsed values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(
     *   Argument.map((p) => ({ port: p, url: `http://localhost:${p}` }))
     * )
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, f: (a: A) => B): Argument<B>;
};
/**
 * Transforms the parsed value of a positional argument using an effectful function.
 *
 * **Example** (Validating values effectfully)
 *
 * ```ts import.meta.vitest
 * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
 * import { Argument, CliError } from "effect/cli"
 * import { ChildProcessSpawner } from "effect/process"
 *
 * const CliTestLayer = Layer.mergeAll(
 *   FileSystem.layerNoop({}),
 *   Path.layer,
 *   Stdio.layerTest({}),
 *   Layer.succeed(Terminal.Terminal, Terminal.make({
 *     columns: Effect.succeed(80),
 *     rows: Effect.succeed(24),
 *     readInput: Effect.die("unused"),
 *     readLine: Effect.die("unused"),
 *     display: () => Effect.void
 *   })),
 *   Layer.succeed(
 *     ChildProcessSpawner.ChildProcessSpawner,
 *     ChildProcessSpawner.make(() => Effect.die("unused"))
 *   )
 * )
 *
 * const files = Argument.String("files").pipe(
 *   Argument.mapEffect((file) =>
 *     file.endsWith(".txt")
 *       ? Effect.succeed(file)
 *       : Effect.fail(
 *         new CliError.UserError({
 *           cause: new Error(`Unsupported file extension: ${file}`),
 *           userMessage: "Only .txt files allowed"
 *         })
 *       )
 *   )
 * )
 *
 * const [, value] = await Effect.runPromise(
 *   files.parse({ arguments: ["notes.txt"], flags: {} }).pipe(Effect.provide(CliTestLayer))
 * )
 * value // => "notes.txt"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const mapEffect: {
    /**
     * Transforms the parsed value of a positional argument using an effectful function.
     *
     * **Example** (Validating values effectfully)
     *
     * ```ts import.meta.vitest
     * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
     * import { Argument, CliError } from "effect/cli"
     * import { ChildProcessSpawner } from "effect/process"
     *
     * const CliTestLayer = Layer.mergeAll(
     *   FileSystem.layerNoop({}),
     *   Path.layer,
     *   Stdio.layerTest({}),
     *   Layer.succeed(Terminal.Terminal, Terminal.make({
     *     columns: Effect.succeed(80),
     *     rows: Effect.succeed(24),
     *     readInput: Effect.die("unused"),
     *     readLine: Effect.die("unused"),
     *     display: () => Effect.void
     *   })),
     *   Layer.succeed(
     *     ChildProcessSpawner.ChildProcessSpawner,
     *     ChildProcessSpawner.make(() => Effect.die("unused"))
     *   )
     * )
     *
     * const files = Argument.String("files").pipe(
     *   Argument.mapEffect((file) =>
     *     file.endsWith(".txt")
     *       ? Effect.succeed(file)
     *       : Effect.fail(
     *         new CliError.UserError({
     *           cause: new Error(`Unsupported file extension: ${file}`),
     *           userMessage: "Only .txt files allowed"
     *         })
     *       )
     *   )
     * )
     *
     * const [, value] = await Effect.runPromise(
     *   files.parse({ arguments: ["notes.txt"], flags: {} }).pipe(Effect.provide(CliTestLayer))
     * )
     * value // => "notes.txt"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => Effect.Effect<B, CliError.CliError, Environment>): (self: Argument<A>) => Argument<B>;
    /**
     * Transforms the parsed value of a positional argument using an effectful function.
     *
     * **Example** (Validating values effectfully)
     *
     * ```ts import.meta.vitest
     * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
     * import { Argument, CliError } from "effect/cli"
     * import { ChildProcessSpawner } from "effect/process"
     *
     * const CliTestLayer = Layer.mergeAll(
     *   FileSystem.layerNoop({}),
     *   Path.layer,
     *   Stdio.layerTest({}),
     *   Layer.succeed(Terminal.Terminal, Terminal.make({
     *     columns: Effect.succeed(80),
     *     rows: Effect.succeed(24),
     *     readInput: Effect.die("unused"),
     *     readLine: Effect.die("unused"),
     *     display: () => Effect.void
     *   })),
     *   Layer.succeed(
     *     ChildProcessSpawner.ChildProcessSpawner,
     *     ChildProcessSpawner.make(() => Effect.die("unused"))
     *   )
     * )
     *
     * const files = Argument.String("files").pipe(
     *   Argument.mapEffect((file) =>
     *     file.endsWith(".txt")
     *       ? Effect.succeed(file)
     *       : Effect.fail(
     *         new CliError.UserError({
     *           cause: new Error(`Unsupported file extension: ${file}`),
     *           userMessage: "Only .txt files allowed"
     *         })
     *       )
     *   )
     * )
     *
     * const [, value] = await Effect.runPromise(
     *   files.parse({ arguments: ["notes.txt"], flags: {} }).pipe(Effect.provide(CliTestLayer))
     * )
     * value // => "notes.txt"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, f: (a: A) => Effect.Effect<B, CliError.CliError, Environment>): Argument<B>;
};
/**
 * Transforms the parsed value of a positional argument using a function that may throw.
 *
 * **Example** (Mapping values that may throw)
 *
 * ```ts import.meta.vitest
 * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
 * import { Argument } from "effect/cli"
 * import { ChildProcessSpawner } from "effect/process"
 *
 * const CliTestLayer = Layer.mergeAll(
 *   FileSystem.layerNoop({}),
 *   Path.layer,
 *   Stdio.layerTest({}),
 *   Layer.succeed(Terminal.Terminal, Terminal.make({
 *     columns: Effect.succeed(80),
 *     rows: Effect.succeed(24),
 *     readInput: Effect.die("unused"),
 *     readLine: Effect.die("unused"),
 *     display: () => Effect.void
 *   })),
 *   Layer.succeed(
 *     ChildProcessSpawner.ChildProcessSpawner,
 *     ChildProcessSpawner.make(() => Effect.die("unused"))
 *   )
 * )
 *
 * const json = Argument.String("data").pipe(
 *   Argument.mapTryCatch(
 *     (str) => JSON.parse(str),
 *     (error) =>
 *       `Invalid JSON: ${error instanceof Error ? error.message : String(error)}`
 *   )
 * )
 *
 * const [, value] = await Effect.runPromise(
 *   json.parse({ arguments: ['{"enabled":true}'], flags: {} }).pipe(Effect.provide(CliTestLayer))
 * )
 * value // => { enabled: true }
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const mapTryCatch: {
    /**
     * Transforms the parsed value of a positional argument using a function that may throw.
     *
     * **Example** (Mapping values that may throw)
     *
     * ```ts import.meta.vitest
     * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
     * import { Argument } from "effect/cli"
     * import { ChildProcessSpawner } from "effect/process"
     *
     * const CliTestLayer = Layer.mergeAll(
     *   FileSystem.layerNoop({}),
     *   Path.layer,
     *   Stdio.layerTest({}),
     *   Layer.succeed(Terminal.Terminal, Terminal.make({
     *     columns: Effect.succeed(80),
     *     rows: Effect.succeed(24),
     *     readInput: Effect.die("unused"),
     *     readLine: Effect.die("unused"),
     *     display: () => Effect.void
     *   })),
     *   Layer.succeed(
     *     ChildProcessSpawner.ChildProcessSpawner,
     *     ChildProcessSpawner.make(() => Effect.die("unused"))
     *   )
     * )
     *
     * const json = Argument.String("data").pipe(
     *   Argument.mapTryCatch(
     *     (str) => JSON.parse(str),
     *     (error) =>
     *       `Invalid JSON: ${error instanceof Error ? error.message : String(error)}`
     *   )
     * )
     *
     * const [, value] = await Effect.runPromise(
     *   json.parse({ arguments: ['{"enabled":true}'], flags: {} }).pipe(Effect.provide(CliTestLayer))
     * )
     * value // => { enabled: true }
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => B, onError: (error: unknown) => string): (self: Argument<A>) => Argument<B>;
    /**
     * Transforms the parsed value of a positional argument using a function that may throw.
     *
     * **Example** (Mapping values that may throw)
     *
     * ```ts import.meta.vitest
     * import { Effect, FileSystem, Layer, Path, Stdio, Terminal } from "effect"
     * import { Argument } from "effect/cli"
     * import { ChildProcessSpawner } from "effect/process"
     *
     * const CliTestLayer = Layer.mergeAll(
     *   FileSystem.layerNoop({}),
     *   Path.layer,
     *   Stdio.layerTest({}),
     *   Layer.succeed(Terminal.Terminal, Terminal.make({
     *     columns: Effect.succeed(80),
     *     rows: Effect.succeed(24),
     *     readInput: Effect.die("unused"),
     *     readLine: Effect.die("unused"),
     *     display: () => Effect.void
     *   })),
     *   Layer.succeed(
     *     ChildProcessSpawner.ChildProcessSpawner,
     *     ChildProcessSpawner.make(() => Effect.die("unused"))
     *   )
     * )
     *
     * const json = Argument.String("data").pipe(
     *   Argument.mapTryCatch(
     *     (str) => JSON.parse(str),
     *     (error) =>
     *       `Invalid JSON: ${error instanceof Error ? error.message : String(error)}`
     *   )
     * )
     *
     * const [, value] = await Effect.runPromise(
     *   json.parse({ arguments: ['{"enabled":true}'], flags: {} }).pipe(Effect.provide(CliTestLayer))
     * )
     * value // => { enabled: true }
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, f: (a: A) => B, onError: (error: unknown) => string): Argument<B>;
};
/**
 * Creates a variadic argument that requires at least n values.
 *
 * **Example** (Requiring a minimum number of values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const files = Argument.String("files").pipe(Argument.atLeast(1))
 * files.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const atLeast: {
    /**
     * Creates a variadic argument that requires at least n values.
     *
     * **Example** (Requiring a minimum number of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.atLeast(1))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(min: number): (self: Argument<A>) => Argument<ReadonlyArray<A>>;
    /**
     * Creates a variadic argument that requires at least n values.
     *
     * **Example** (Requiring a minimum number of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.atLeast(1))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, min: number): Argument<ReadonlyArray<A>>;
};
/**
 * Creates a variadic argument that accepts at most n values.
 *
 * **Example** (Limiting the maximum number of values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const files = Argument.String("files").pipe(Argument.atMost(5))
 * files.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const atMost: {
    /**
     * Creates a variadic argument that accepts at most n values.
     *
     * **Example** (Limiting the maximum number of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.atMost(5))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(max: number): (self: Argument<A>) => Argument<ReadonlyArray<A>>;
    /**
     * Creates a variadic argument that accepts at most n values.
     *
     * **Example** (Limiting the maximum number of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.atMost(5))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, max: number): Argument<ReadonlyArray<A>>;
};
/**
 * Creates a variadic argument that accepts between min and max values.
 *
 * **Example** (Requiring a range of values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const files = Argument.String("files").pipe(Argument.between(1, 5))
 * files.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const between: {
    /**
     * Creates a variadic argument that accepts between min and max values.
     *
     * **Example** (Requiring a range of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.between(1, 5))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(min: number, max: number): (self: Argument<A>) => Argument<ReadonlyArray<A>>;
    /**
     * Creates a variadic argument that accepts between min and max values.
     *
     * **Example** (Requiring a range of values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const files = Argument.String("files").pipe(Argument.between(1, 5))
     * files.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, min: number, max: number): Argument<ReadonlyArray<A>>;
};
/**
 * Validates parsed values against a Schema.
 *
 * **Example** (Validating parsed values with a schema)
 *
 * ```ts import.meta.vitest
 * import { Schema } from "effect"
 * import { Argument } from "effect/cli"
 *
 * const input = Argument.String("input").pipe(
 *   Argument.withSchema(Schema.NonEmptyString)
 * )
 * input.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const withSchema: {
    /**
     * Validates parsed values against a Schema.
     *
     * **Example** (Validating parsed values with a schema)
     *
     * ```ts import.meta.vitest
     * import { Schema } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const input = Argument.String("input").pipe(
     *   Argument.withSchema(Schema.NonEmptyString)
     * )
     * input.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(schema: Schema.ConstraintCodec<B, A, Environment, unknown>): (self: Argument<A>) => Argument<B>;
    /**
     * Validates parsed values against a Schema.
     *
     * **Example** (Validating parsed values with a schema)
     *
     * ```ts import.meta.vitest
     * import { Schema } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const input = Argument.String("input").pipe(
     *   Argument.withSchema(Schema.NonEmptyString)
     * )
     * input.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, schema: Schema.ConstraintCodec<B, A, Environment, unknown>): Argument<B>;
};
/**
 * Creates a positional choice argument with custom value mapping.
 *
 * **Example** (Mapping choices to values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const logLevel = Argument.ChoiceWithValue("level", [
 *   ["debug", 0],
 *   ["info", 1],
 *   ["warn", 2],
 *   ["error", 3]
 * ])
 * logLevel.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category constructors
 * @since 4.0.0
 */
export declare const ChoiceWithValue: <const Choices extends ReadonlyArray<readonly [string, any]>>(name: string, choices: Choices) => Argument<Choices[number][1]>;
/**
 * Sets a custom metavar (placeholder name) for the argument in help documentation.
 *
 * **Details**
 *
 * The metavar is displayed in usage text to indicate what value the user should provide.
 * For example, `<FILE>` shows `FILE` as the metavar.
 *
 * **Example** (Setting a metavar)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const port = Argument.Int("port").pipe(
 *   Argument.withMetavar("PORT")
 * )
 * port.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category metadata
 * @since 4.0.0
 */
export declare const withMetavar: {
    /**
     * Sets a custom metavar (placeholder name) for the argument in help documentation.
     *
     * **Details**
     *
     * The metavar is displayed in usage text to indicate what value the user should provide.
     * For example, `<FILE>` shows `FILE` as the metavar.
     *
     * **Example** (Setting a metavar)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(
     *   Argument.withMetavar("PORT")
     * )
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category metadata
     * @since 4.0.0
     */
    <A>(metavar: string): (self: Argument<A>) => Argument<A>;
    /**
     * Sets a custom metavar (placeholder name) for the argument in help documentation.
     *
     * **Details**
     *
     * The metavar is displayed in usage text to indicate what value the user should provide.
     * For example, `<FILE>` shows `FILE` as the metavar.
     *
     * **Example** (Setting a metavar)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const port = Argument.Int("port").pipe(
     *   Argument.withMetavar("PORT")
     * )
     * port.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category metadata
     * @since 4.0.0
     */
    <A>(self: Argument<A>, metavar: string): Argument<A>;
};
/**
 * Filters parsed values, failing with a custom error message if the predicate returns false.
 *
 * **Example** (Filtering parsed values)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const positiveInt = Argument.Int("count").pipe(
 *   Argument.filter(
 *     (n) => n > 0,
 *     (n) => `Expected positive integer, got ${n}`
 *   )
 * )
 * positiveInt.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const filter: {
    /**
     * Filters parsed values, failing with a custom error message if the predicate returns false.
     *
     * **Example** (Filtering parsed values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const positiveInt = Argument.Int("count").pipe(
     *   Argument.filter(
     *     (n) => n > 0,
     *     (n) => `Expected positive integer, got ${n}`
     *   )
     * )
     * positiveInt.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(predicate: (a: A) => boolean, onFalse: (a: A) => string): (self: Argument<A>) => Argument<A>;
    /**
     * Filters parsed values, failing with a custom error message if the predicate returns false.
     *
     * **Example** (Filtering parsed values)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const positiveInt = Argument.Int("count").pipe(
     *   Argument.filter(
     *     (n) => n > 0,
     *     (n) => `Expected positive integer, got ${n}`
     *   )
     * )
     * positiveInt.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A>(self: Argument<A>, predicate: (a: A) => boolean, onFalse: (a: A) => string): Argument<A>;
};
/**
 * Filters and transforms parsed values, failing with a custom error message
 * if the filter function returns None.
 *
 * **Example** (Filtering and mapping parsed values)
 *
 * ```ts import.meta.vitest
 * import { Option } from "effect"
 * import { Argument } from "effect/cli"
 *
 * const positiveInt = Argument.Int("count").pipe(
 *   Argument.filterMap(
 *     (n) => n > 0 ? Option.some(n) : Option.none(),
 *     (n) => `Expected positive integer, got ${n}`
 *   )
 * )
 * positiveInt.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const filterMap: {
    /**
     * Filters and transforms parsed values, failing with a custom error message
     * if the filter function returns None.
     *
     * **Example** (Filtering and mapping parsed values)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const positiveInt = Argument.Int("count").pipe(
     *   Argument.filterMap(
     *     (n) => n > 0 ? Option.some(n) : Option.none(),
     *     (n) => `Expected positive integer, got ${n}`
     *   )
     * )
     * positiveInt.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(f: (a: A) => Option.Option<B>, onNone: (a: A) => string): (self: Argument<A>) => Argument<B>;
    /**
     * Filters and transforms parsed values, failing with a custom error message
     * if the filter function returns None.
     *
     * **Example** (Filtering and mapping parsed values)
     *
     * ```ts import.meta.vitest
     * import { Option } from "effect"
     * import { Argument } from "effect/cli"
     *
     * const positiveInt = Argument.Int("count").pipe(
     *   Argument.filterMap(
     *     (n) => n > 0 ? Option.some(n) : Option.none(),
     *     (n) => `Expected positive integer, got ${n}`
     *   )
     * )
     * positiveInt.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, f: (a: A) => Option.Option<B>, onNone: (a: A) => string): Argument<B>;
};
/**
 * Provides a fallback argument to use if this argument fails to parse.
 *
 * **Example** (Providing a fallback argument)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const value = Argument.Int("value").pipe(
 *   Argument.orElse(() => Argument.String("value"))
 * )
 * value.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const orElse: {
    /**
     * Provides a fallback argument to use if this argument fails to parse.
     *
     * **Example** (Providing a fallback argument)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const value = Argument.Int("value").pipe(
     *   Argument.orElse(() => Argument.String("value"))
     * )
     * value.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <B>(that: LazyArg<Argument<B>>): <A>(self: Argument<A>) => Argument<A | B>;
    /**
     * Provides a fallback argument to use if this argument fails to parse.
     *
     * **Example** (Providing a fallback argument)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const value = Argument.Int("value").pipe(
     *   Argument.orElse(() => Argument.String("value"))
     * )
     * value.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, that: LazyArg<Argument<B>>): Argument<A | B>;
};
/**
 * Provides a fallback argument, wrapping results in Result to distinguish which succeeded.
 *
 * **Example** (Returning which fallback succeeded)
 *
 * ```ts import.meta.vitest
 * import { Argument } from "effect/cli"
 *
 * const source = Argument.File("source").pipe(
 *   Argument.orElseResult(() => Argument.String("url"))
 * )
 * // Returns Result<string, string>
 * source.kind // => "argument"
 * ```
 *
 * @stability unstable
 * @category combinators
 * @since 4.0.0
 */
export declare const orElseResult: {
    /**
     * Provides a fallback argument, wrapping results in Result to distinguish which succeeded.
     *
     * **Example** (Returning which fallback succeeded)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const source = Argument.File("source").pipe(
     *   Argument.orElseResult(() => Argument.String("url"))
     * )
     * // Returns Result<string, string>
     * source.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <B>(that: LazyArg<Argument<B>>): <A>(self: Argument<A>) => Argument<Result.Result<A, B>>;
    /**
     * Provides a fallback argument, wrapping results in Result to distinguish which succeeded.
     *
     * **Example** (Returning which fallback succeeded)
     *
     * ```ts import.meta.vitest
     * import { Argument } from "effect/cli"
     *
     * const source = Argument.File("source").pipe(
     *   Argument.orElseResult(() => Argument.String("url"))
     * )
     * // Returns Result<string, string>
     * source.kind // => "argument"
     * ```
     *
     * @stability unstable
     * @category combinators
     * @since 4.0.0
     */
    <A, B>(self: Argument<A>, that: LazyArg<Argument<B>>): Argument<Result.Result<A, B>>;
};
//# sourceMappingURL=Argument.d.ts.map