effect 4.0.0-rc.111 → 4.0.0-rc.113

package/src/unstable/cli/Param.ts

@@ -16,7 +16,7 @@ import { dual, identity, type LazyArg } from "../../Function.ts"
 import * as Option from "../../Option.ts"
 import { type Pipeable, pipeArguments } from "../../Pipeable.ts"
 import * as Predicate from "../../Predicate.ts"
-import type * as Redacted from "../../Redacted.ts"
+import type * as Redacted_ from "../../Redacted.ts"
 import * as Result from "../../Result.ts"
 import * as Schema from "../../Schema.ts"
 import type { Covariant } from "../../Types.ts"
@@ -279,7 +279,7 @@ const Proto = {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const maybeParam = Param.string(Param.flagKind, "name")
+ * const maybeParam = Param.String(Param.flagKind, "name")
  *
  * Param.isParam(maybeParam) // => true
  * ```
@@ -297,7 +297,7 @@ export const isParam = (u: unknown): u is Param<any, ParamKind> => Predicate.has
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const nameParam = Param.string(Param.flagKind, "name")
+ * const nameParam = Param.String(Param.flagKind, "name")
  * const optionalParam = Param.optional(nameParam)
  *
  * Param.isSingle(nameParam) // => true
@@ -364,10 +364,10 @@ export const makeSingle = <const Kind extends ParamKind, A>(params: {
  * import { Param } from "effect/unstable/cli"
  *
  * // Create a string flag
- * const nameFlag = Param.string(Param.flagKind, "name")
+ * const nameFlag = Param.String(Param.flagKind, "name")
  *
  * // Create a string argument
- * const fileArg = Param.string(Param.argumentKind, "file")
+ * const fileArg = Param.String(Param.argumentKind, "file")
  *
  * // Usage in CLI: --name "John Doe" or as positional argument
  * const kinds = [nameFlag.kind, fileArg.kind] // => ["flag", "argument"]
@@ -376,13 +376,13 @@ export const makeSingle = <const Kind extends ParamKind, A>(params: {
  * @category constructors
  * @since 4.0.0
  */
-export const string = <const Kind extends ParamKind>(
+export const String = <const Kind extends ParamKind>(
   kind: Kind,
   name: string
 ): Param<Kind, string> =>
   makeSingle({
     name,
-    primitiveType: Primitive.string,
+    primitiveType: Primitive.String,
     kind
   })
 
@@ -395,10 +395,10 @@ export const string = <const Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Create a boolean flag
- * const verboseFlag = Param.boolean(Param.flagKind, "verbose")
+ * const verboseFlag = Param.Boolean(Param.flagKind, "verbose")
  *
  * // Create a boolean argument
- * const enableArg = Param.boolean(Param.argumentKind, "enable")
+ * const enableArg = Param.Boolean(Param.argumentKind, "enable")
  *
  * // Usage in CLI: --verbose (true) or --no-verbose (false).
  * // The flag is required unless made optional or given a fallback.
@@ -409,13 +409,13 @@ export const string = <const Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const boolean = <const Kind extends ParamKind>(
+export const Boolean = <const Kind extends ParamKind>(
   kind: Kind,
   name: string
 ): Param<Kind, boolean> =>
   makeSingle({
     name,
-    primitiveType: Primitive.boolean,
+    primitiveType: Primitive.Boolean,
     kind
   })
 
@@ -428,10 +428,10 @@ export const boolean = <const Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Create an integer flag
- * const portFlag = Param.integer(Param.flagKind, "port")
+ * const portFlag = Param.Int(Param.flagKind, "port")
  *
  * // Create an integer argument
- * const countArg = Param.integer(Param.argumentKind, "count")
+ * const countArg = Param.Int(Param.argumentKind, "count")
  *
  * // Usage in CLI: --port 8080 or as positional argument: 42
  * const kinds = [portFlag.kind, countArg.kind] // => ["flag", "argument"]
@@ -440,44 +440,41 @@ export const boolean = <const Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const integer = <const Kind extends ParamKind>(
+export const Int = <const Kind extends ParamKind>(
   kind: Kind,
   name: string
 ): Param<Kind, number> =>
   makeSingle({
     name,
-    primitiveType: Primitive.integer,
+    primitiveType: Primitive.Int,
     kind
   })
 
 /**
- * Creates a floating-point number parameter.
+ * Creates a finite number parameter.
  *
- * **Example** (Creating float parameters)
+ * **Example** (Creating finite number parameters)
  *
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * // Create a float flag
- * const rateFlag = Param.float(Param.flagKind, "rate")
+ * const rateFlag = Param.Finite(Param.flagKind, "rate")
  *
- * // Create a float argument
- * const thresholdArg = Param.float(Param.argumentKind, "threshold")
+ * const thresholdArg = Param.Finite(Param.argumentKind, "threshold")
  *
- * // Usage in CLI: --rate 0.95 or as positional argument: 3.14159
  * const kinds = [rateFlag.kind, thresholdArg.kind] // => ["flag", "argument"]
  * ```
  *
  * @category constructors
  * @since 4.0.0
  */
-export const float = <const Kind extends ParamKind>(
+export const Finite = <const Kind extends ParamKind>(
   kind: Kind,
   name: string
 ): Param<Kind, number> =>
   makeSingle({
     name,
-    primitiveType: Primitive.float,
+    primitiveType: Primitive.Finite,
     kind
   })
 
@@ -490,10 +487,10 @@ export const float = <const Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Create a date flag
- * const startFlag = Param.date(Param.flagKind, "start-date")
+ * const startFlag = Param.Date(Param.flagKind, "start-date")
  *
  * // Create a date argument
- * const dueDateArg = Param.date(Param.argumentKind, "due-date")
+ * const dueDateArg = Param.Date(Param.argumentKind, "due-date")
  *
  * // Usage in CLI: --start-date "2023-12-25" or as positional: "2023-01-01"
  * // Parses to JavaScript Date object
@@ -503,13 +500,13 @@ export const float = <const Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const date = <const Kind extends ParamKind>(
+export const Date = <const Kind extends ParamKind>(
   kind: Kind,
   name: string
-): Param<Kind, Date> =>
+): Param<Kind, globalThis.Date> =>
   makeSingle({
     name,
-    primitiveType: Primitive.date,
+    primitiveType: Primitive.Date,
     kind
   })
 
@@ -532,7 +529,7 @@ export const date = <const Kind extends ParamKind>(
  *   readonly _tag: "Cat"
  * }
  *
- * const animal = Param.choiceWithValue(Param.flagKind, "animal", [
+ * const animal = Param.ChoiceWithValue(Param.flagKind, "animal", [
  *   ["dog", { _tag: "Dog" }],
  *   ["cat", { _tag: "Cat" }]
  * ])
@@ -542,13 +539,13 @@ export const date = <const Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const choiceWithValue = <
+export const ChoiceWithValue = <
   const Kind extends ParamKind,
   const Choices extends ReadonlyArray<readonly [string, any]>
 >(kind: Kind, name: string, choices: Choices): Param<Kind, Choices[number][1]> =>
   makeSingle({
     name,
-    primitiveType: Primitive.choice(choices),
+    primitiveType: Primitive.Choice(choices),
     kind
   })
 
@@ -561,7 +558,7 @@ export const choiceWithValue = <
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const logLevel = Param.choice(Param.flagKind, "log-level", [
+ * const logLevel = Param.Literals(Param.flagKind, "log-level", [
  *   "debug",
  *   "info",
  *   "warn",
@@ -573,12 +570,12 @@ export const choiceWithValue = <
  * @category constructors
  * @since 4.0.0
  */
-export const choice = <
+export const Literals = <
   const Kind extends ParamKind,
   const Choices extends ReadonlyArray<string>
 >(kind: Kind, name: string, choices: Choices): Param<Kind, Choices[number]> => {
   const mappedChoices = choices.map((value) => [value, value] as const)
-  return choiceWithValue(kind, name, mappedChoices)
+  return ChoiceWithValue(kind, name, mappedChoices)
 }
 
 /**
@@ -590,13 +587,13 @@ export const choice = <
  * import { Param } from "effect/unstable/cli"
  *
  * // Basic path parameter
- * const outputPath = Param.path(Param.flagKind, "output")
+ * const outputPath = Param.Path(Param.flagKind, "output")
  *
  * // Path that must exist
- * const inputPath = Param.path(Param.flagKind, "input", { mustExist: true })
+ * const inputPath = Param.Path(Param.flagKind, "input", { mustExist: true })
  *
  * // File-only path
- * const configFile = Param.path(Param.flagKind, "config", {
+ * const configFile = Param.Path(Param.flagKind, "config", {
  *   pathType: "file",
  *   mustExist: true,
  *   typeName: "config-file"
@@ -607,7 +604,7 @@ export const choice = <
  * @category constructors
  * @since 4.0.0
  */
-export const path = <Kind extends ParamKind>(
+export const Path = <Kind extends ParamKind>(
   kind: Kind,
   name: string,
   options?: {
@@ -619,7 +616,7 @@ export const path = <Kind extends ParamKind>(
   makeSingle({
     name,
     kind,
-    primitiveType: Primitive.path(options?.pathType ?? "either", options?.mustExist),
+    primitiveType: Primitive.Path(options?.pathType ?? "either", options?.mustExist),
     typeName: options?.typeName
   })
 
@@ -637,10 +634,10 @@ export const path = <Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Basic directory parameter
- * const outputDir = Param.directory(Param.flagKind, "output-dir")
+ * const outputDir = Param.Directory(Param.flagKind, "output-dir")
  *
  * // Directory that must exist
- * const sourceDir = Param.directory(Param.flagKind, "source", { mustExist: true })
+ * const sourceDir = Param.Directory(Param.flagKind, "source", { mustExist: true })
  *
  * // Usage: --output-dir /path/to/dir --source /existing/dir
  * const kinds = [outputDir.kind, sourceDir.kind] // => ["flag", "flag"]
@@ -649,14 +646,14 @@ export const path = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const directory = <Kind extends ParamKind>(
+export const Directory = <Kind extends ParamKind>(
   kind: Kind,
   name: string,
   options?: {
     readonly mustExist?: boolean | undefined
   }
 ): Param<Kind, string> =>
-  path(kind, name, {
+  Path(kind, name, {
     pathType: "directory",
     typeName: "directory",
     mustExist: options?.mustExist
@@ -676,10 +673,10 @@ export const directory = <Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Basic file parameter
- * const outputFile = Param.file(Param.flagKind, "output")
+ * const outputFile = Param.File(Param.flagKind, "output")
  *
  * // File that must exist
- * const inputFile = Param.file(Param.flagKind, "input", { mustExist: true })
+ * const inputFile = Param.File(Param.flagKind, "input", { mustExist: true })
  *
  * // Usage: --output result.txt --input existing-file.txt
  * const kinds = [outputFile.kind, inputFile.kind] // => ["flag", "flag"]
@@ -688,14 +685,14 @@ export const directory = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const file = <Kind extends ParamKind>(
+export const File = <Kind extends ParamKind>(
   kind: Kind,
   name: string,
   options?: {
     readonly mustExist?: boolean | undefined
   }
 ): Param<Kind, string> =>
-  path(kind, name, {
+  Path(kind, name, {
     pathType: "file",
     typeName: "file",
     mustExist: options?.mustExist
@@ -711,10 +708,10 @@ export const file = <Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Create a password parameter
- * const password = Param.redacted(Param.flagKind, "password")
+ * const password = Param.Redacted(Param.flagKind, "password")
  *
  * // Create an API key argument
- * const apiKey = Param.redacted(Param.argumentKind, "api-key")
+ * const apiKey = Param.Redacted(Param.argumentKind, "api-key")
  *
  * // Usage: --password (value will be hidden in help/logs)
  * const kinds = [password.kind, apiKey.kind] // => ["flag", "argument"]
@@ -723,13 +720,13 @@ export const file = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const redacted = <Kind extends ParamKind>(
+export const Redacted = <Kind extends ParamKind>(
   kind: Kind,
   name: string
-): Param<Kind, Redacted.Redacted<string>> =>
+): Param<Kind, Redacted_.Redacted<string>> =>
   makeSingle({
     name,
-    primitiveType: Primitive.redacted,
+    primitiveType: Primitive.Redacted,
     kind
   })
 
@@ -742,10 +739,10 @@ export const redacted = <Kind extends ParamKind>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Read a config file as string
- * const configContent = Param.fileText(Param.flagKind, "config")
+ * const configContent = Param.FileText(Param.flagKind, "config")
  *
  * // Read a template file as argument
- * const templateContent = Param.fileText(Param.argumentKind, "template")
+ * const templateContent = Param.FileText(Param.argumentKind, "template")
  *
  * // Usage: --config config.txt (reads file content into string)
  * const kinds = [configContent.kind, templateContent.kind] // => ["flag", "argument"]
@@ -754,10 +751,10 @@ export const redacted = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const fileText = <Kind extends ParamKind>(kind: Kind, name: string): Param<Kind, string> =>
+export const FileText = <Kind extends ParamKind>(kind: Kind, name: string): Param<Kind, string> =>
   makeSingle({
     name,
-    primitiveType: Primitive.fileText,
+    primitiveType: Primitive.FileText,
     kind
   })
 
@@ -776,10 +773,10 @@ export const fileText = <Kind extends ParamKind>(kind: Kind, name: string): Para
  *
  * // Will use the extension of the file passed on the command line to determine
  * // the parser to use
- * const config = Param.fileParse(Param.flagKind, "config")
+ * const config = Param.FileParse(Param.flagKind, "config")
  *
  * // Will use the JSON parser
- * const jsonConfig = Param.fileParse(Param.flagKind, "json-config", {
+ * const jsonConfig = Param.FileParse(Param.flagKind, "json-config", {
  *   format: "json"
  * })
  * const kinds = [config.kind, jsonConfig.kind] // => ["flag", "flag"]
@@ -788,14 +785,14 @@ export const fileText = <Kind extends ParamKind>(kind: Kind, name: string): Para
  * @category constructors
  * @since 4.0.0
  */
-export const fileParse = <Kind extends ParamKind>(
+export const FileParse = <Kind extends ParamKind>(
   kind: Kind,
   name: string,
   options?: Primitive.FileParseOptions | undefined
 ): Param<Kind, unknown> =>
   makeSingle({
     name,
-    primitiveType: Primitive.fileParse(options),
+    primitiveType: Primitive.FileParse(options),
     kind
   })
 
@@ -813,12 +810,12 @@ export const fileParse = <Kind extends ParamKind>(
  *   host: Schema.String
  * })
  *
- * const config = Param.fileSchema(Param.flagKind, "config", configSchema, {
+ * const config = Param.FileSchema(Param.flagKind, "config", configSchema, {
  *   format: "json"
  * })
  *
  * // Parse YAML file
- * const yamlConfig = Param.fileSchema(Param.flagKind, "config", configSchema, {
+ * const yamlConfig = Param.FileSchema(Param.flagKind, "config", configSchema, {
  *   format: "yaml"
  * })
  *
@@ -829,7 +826,7 @@ export const fileParse = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const fileSchema = <Kind extends ParamKind, A>(
+export const FileSchema = <Kind extends ParamKind, A>(
   kind: Kind,
   name: string,
   schema: Schema.ConstraintDecoder<A, Environment>,
@@ -837,7 +834,7 @@ export const fileSchema = <Kind extends ParamKind, A>(
 ): Param<Kind, A> =>
   makeSingle({
     name,
-    primitiveType: Primitive.fileSchema(schema, options),
+    primitiveType: Primitive.FileSchema(schema, options),
     kind
   })
 
@@ -859,10 +856,10 @@ export const fileSchema = <Kind extends ParamKind, A>(
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const env = Param.keyValuePair(Param.flagKind, "env")
+ * const env = Param.KeyValuePair(Param.flagKind, "env")
  * // --env FOO=bar --env BAZ=qux will parse to { FOO: "bar", BAZ: "qux" }
  *
- * const props = Param.keyValuePair(Param.flagKind, "property")
+ * const props = Param.KeyValuePair(Param.flagKind, "property")
  * // --property name=value --property debug=true
  * const kinds = [env.kind, props.kind] // => ["flag", "flag"]
  * ```
@@ -870,7 +867,7 @@ export const fileSchema = <Kind extends ParamKind, A>(
  * @category constructors
  * @since 4.0.0
  */
-export const keyValuePair = <Kind extends ParamKind>(
+export const KeyValuePair = <Kind extends ParamKind>(
   kind: Kind,
   name: string
 ): Param<Kind, Record<string, string>> =>
@@ -878,7 +875,7 @@ export const keyValuePair = <Kind extends ParamKind>(
     variadic(
       makeSingle({
         name,
-        primitiveType: Primitive.keyValuePair,
+        primitiveType: Primitive.KeyValuePair,
         kind
       }),
       { min: 1 }
@@ -887,22 +884,17 @@ export const keyValuePair = <Kind extends ParamKind>(
   )
 
 /**
- * Creates an empty sentinel parameter that always fails to parse.
- *
- * **When to use**
- *
- * Use when you need an empty CLI parameter sentinel for optional parameter
- * construction or internal combinators.
+ * A parameter that always fails to parse.
  *
  * **Example** (Creating sentinel parameters)
  *
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const disabledDebugParam = Param.none(Param.flagKind)
+ * const disabledDebugParam = Param.Never(Param.flagKind)
  *
  * const makeDebugParam = (enableDebug: boolean) =>
- *   enableDebug ? Param.string(Param.flagKind, "debug") : disabledDebugParam
+ *   enableDebug ? Param.String(Param.flagKind, "debug") : disabledDebugParam
  *
  * makeDebugParam(true) === disabledDebugParam // => false
  * makeDebugParam(false) === disabledDebugParam // => true
@@ -911,10 +903,10 @@ export const keyValuePair = <Kind extends ParamKind>(
  * @category constructors
  * @since 4.0.0
  */
-export const none = <Kind extends ParamKind>(kind: Kind): Param<Kind, never> =>
+export const Never = <Kind extends ParamKind>(kind: Kind): Param<Kind, never> =>
   makeSingle({
-    name: "__none__",
-    primitiveType: Primitive.none,
+    name: "__never__",
+    primitiveType: Primitive.Never,
     kind
   })
 
@@ -938,13 +930,13 @@ const FLAG_DASH_REGEXP = /^-+/
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const force = Param.boolean(Param.flagKind, "force").pipe(
+ * const force = Param.Boolean(Param.flagKind, "force").pipe(
  *   Param.withAlias("-f"),
  *   Param.withAlias("-F")
  * )
  *
  * // Also works on composed params:
- * const count = Param.integer(Param.flagKind, "count").pipe(
+ * const count = Param.Int(Param.flagKind, "count").pipe(
  *   Param.optional,
  *   Param.withAlias("-c") // finds the underlying Single and adds alias
  * )
@@ -973,13 +965,13 @@ export const withAlias: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const force = Param.boolean(Param.flagKind, "force").pipe(
+   * const force = Param.Boolean(Param.flagKind, "force").pipe(
    *   Param.withAlias("-f"),
    *   Param.withAlias("-F")
    * )
    *
    * // Also works on composed params:
-   * const count = Param.integer(Param.flagKind, "count").pipe(
+   * const count = Param.Int(Param.flagKind, "count").pipe(
    *   Param.optional,
    *   Param.withAlias("-c") // finds the underlying Single and adds alias
    * )
@@ -1008,13 +1000,13 @@ export const withAlias: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const force = Param.boolean(Param.flagKind, "force").pipe(
+   * const force = Param.Boolean(Param.flagKind, "force").pipe(
    *   Param.withAlias("-f"),
    *   Param.withAlias("-F")
    * )
    *
    * // Also works on composed params:
-   * const count = Param.integer(Param.flagKind, "count").pipe(
+   * const count = Param.Int(Param.flagKind, "count").pipe(
    *   Param.optional,
    *   Param.withAlias("-c") // finds the underlying Single and adds alias
    * )
@@ -1046,7 +1038,7 @@ export const withAlias: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+ * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
  *   Param.withAlias("-v"),
  *   Param.withDescription("Enable verbose output")
  * )
@@ -1070,7 +1062,7 @@ export const withDescription: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+   * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output")
    * )
@@ -1094,7 +1086,7 @@ export const withDescription: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+   * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output")
    * )
@@ -1127,7 +1119,7 @@ export const withDescription: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const experimental = Param.boolean(Param.flagKind, "experimental-foo").pipe(
+ * const experimental = Param.Boolean(Param.flagKind, "experimental-foo").pipe(
  *   Param.withHidden
  * )
  * experimental.kind // => "flag"
@@ -1151,7 +1143,7 @@ export const withHidden = <Kind extends ParamKind, A>(self: Param<Kind, A>): Par
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const port = Param.integer(Param.flagKind, "port").pipe(
+ * const port = Param.Int(Param.flagKind, "port").pipe(
  *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
  * )
  * port.kind // => "flag"
@@ -1169,7 +1161,7 @@ export const map: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
    * )
    * port.kind // => "flag"
@@ -1187,7 +1179,7 @@ export const map: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
    * )
    * port.kind // => "flag"
@@ -1258,7 +1250,7 @@ const transform = <Kind extends ParamKind, A, B>(
  *   )
  * )
  *
- * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
+ * const validatedEmail = Param.String(Param.flagKind, "email").pipe(
  *   Param.mapEffect((email) =>
  *     email.includes("@")
  *       ? Effect.succeed(email)
@@ -1313,7 +1305,7 @@ export const mapEffect: {
    *   )
    * )
    *
-   * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
+   * const validatedEmail = Param.String(Param.flagKind, "email").pipe(
    *   Param.mapEffect((email) =>
    *     email.includes("@")
    *       ? Effect.succeed(email)
@@ -1368,7 +1360,7 @@ export const mapEffect: {
    *   )
    * )
    *
-   * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
+   * const validatedEmail = Param.String(Param.flagKind, "email").pipe(
    *   Param.mapEffect((email) =>
    *     email.includes("@")
    *       ? Effect.succeed(email)
@@ -1440,7 +1432,7 @@ export const mapEffect: {
  *   )
  * )
  *
- * const parsedJson = Param.string(Param.flagKind, "config").pipe(
+ * const parsedJson = Param.String(Param.flagKind, "config").pipe(
  *   Param.mapTryCatch(
  *     (str) => JSON.parse(str),
  *     (error) =>
@@ -1489,7 +1481,7 @@ export const mapTryCatch: {
    *   )
    * )
    *
-   * const parsedJson = Param.string(Param.flagKind, "config").pipe(
+   * const parsedJson = Param.String(Param.flagKind, "config").pipe(
    *   Param.mapTryCatch(
    *     (str) => JSON.parse(str),
    *     (error) =>
@@ -1538,7 +1530,7 @@ export const mapTryCatch: {
    *   )
    * )
    *
-   * const parsedJson = Param.string(Param.flagKind, "config").pipe(
+   * const parsedJson = Param.String(Param.flagKind, "config").pipe(
    *   Param.mapTryCatch(
    *     (str) => JSON.parse(str),
    *     (error) =>
@@ -1578,7 +1570,7 @@ export const mapTryCatch: {
             (error) =>
               new CliError.InvalidValue({
                 option: single.name,
-                value: String(a),
+                value: globalThis.String(a),
                 expected: error,
                 kind: single.kind
               })
@@ -1605,7 +1597,7 @@ export const mapTryCatch: {
  * // Create an optional port option
  * // - When not provided: returns Option.none()
  * // - When provided: returns Option.some(parsedValue)
- * const port = Param.optional(Param.integer(Param.flagKind, "port"))
+ * const port = Param.optional(Param.Int(Param.flagKind, "port"))
  * port.kind // => "flag"
  * ```
  *
@@ -1615,10 +1607,8 @@ export const mapTryCatch: {
 export const optional = <Kind extends ParamKind, A>(
   param: Param<Kind, A>
 ): Param<Kind, Option.Option<A>> => {
-  const parse: Parse<Option.Option<A>> = Effect.fnUntraced(function*(args) {
-    getUnderlyingSingleOrThrow(param)
-
-    return yield* param.parse(args).pipe(
+  const parse: Parse<Option.Option<A>> = (args) =>
+    param.parse(args).pipe(
       Effect.map(([leftover, value]) => [leftover, Option.some(value)] as const),
       // Catch both MissingOption (for flags) and MissingArgument (for positional arguments)
       Effect.catchTags({
@@ -1626,7 +1616,6 @@ export const optional = <Kind extends ParamKind, A>(
         MissingArgument: () => Effect.succeed([args.arguments, Option.none()] as const)
       })
     )
-  })
   return Object.assign(Object.create(Proto), {
     _tag: "Optional",
     kind: param.kind,
@@ -1649,12 +1638,12 @@ export const optional = <Kind extends ParamKind, A>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Using the pipe operator to make an option optional
- * const port = Param.integer(Param.flagKind, "port").pipe(
+ * const port = Param.Int(Param.flagKind, "port").pipe(
  *   Param.withDefault(8080)
  * )
  *
  * // Can also be used with other combinators
- * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+ * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
  *   Param.withAlias("-v"),
  *   Param.withDescription("Enable verbose output"),
  *   Param.withDefault(false)
@@ -1680,12 +1669,12 @@ export const withDefault: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Using the pipe operator to make an option optional
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.withDefault(8080)
    * )
    *
    * // Can also be used with other combinators
-   * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+   * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output"),
    *   Param.withDefault(false)
@@ -1711,12 +1700,12 @@ export const withDefault: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Using the pipe operator to make an option optional
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.withDefault(8080)
    * )
    *
    * // Can also be used with other combinators
-   * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
+   * const verbose = Param.Boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output"),
    *   Param.withDefault(false)
@@ -1981,16 +1970,16 @@ export type VariadicParamOptions = {
  * import { Param } from "effect/unstable/cli"
  *
  * // Basic variadic parameter (0 to infinity)
- * const tags = Param.variadic(Param.string(Param.flagKind, "tag"))
+ * const tags = Param.variadic(Param.String(Param.flagKind, "tag"))
  *
  * // Variadic with minimum count
  * const inputs = Param.variadic(
- *   Param.string(Param.flagKind, "input"),
+ *   Param.String(Param.flagKind, "input"),
  *   { min: 1 } // at least 1 required
  * )
  *
  * // Variadic with both min and max
- * const limited = Param.variadic(Param.string(Param.flagKind, "item"), {
+ * const limited = Param.variadic(Param.String(Param.flagKind, "item"), {
  *   min: 2, // at least 2 times
  *   max: 2 // at most 2 times
  * })
@@ -2036,7 +2025,7 @@ export const variadic = <Kind extends ParamKind, A>(
  * import { Param } from "effect/unstable/cli"
  *
  * // Allow 1-3 file inputs
- * const files = Param.string(Param.flagKind, "file").pipe(
+ * const files = Param.String(Param.flagKind, "file").pipe(
  *   Param.between(1, 3),
  *   Param.withAlias("-f")
  * )
@@ -2045,7 +2034,7 @@ export const variadic = <Kind extends ParamKind, A>(
  * // Result: ["a.txt", "b.txt"]
  *
  * // Allow 0 or more tags
- * const tags = Param.string(Param.flagKind, "tag").pipe(
+ * const tags = Param.String(Param.flagKind, "tag").pipe(
  *   Param.between(0, Number.MAX_SAFE_INTEGER)
  * )
  *
@@ -2072,7 +2061,7 @@ export const between: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Allow 1-3 file inputs
-   * const files = Param.string(Param.flagKind, "file").pipe(
+   * const files = Param.String(Param.flagKind, "file").pipe(
    *   Param.between(1, 3),
    *   Param.withAlias("-f")
    * )
@@ -2081,7 +2070,7 @@ export const between: {
    * // Result: ["a.txt", "b.txt"]
    *
    * // Allow 0 or more tags
-   * const tags = Param.string(Param.flagKind, "tag").pipe(
+   * const tags = Param.String(Param.flagKind, "tag").pipe(
    *   Param.between(0, Number.MAX_SAFE_INTEGER)
    * )
    *
@@ -2108,7 +2097,7 @@ export const between: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Allow 1-3 file inputs
-   * const files = Param.string(Param.flagKind, "file").pipe(
+   * const files = Param.String(Param.flagKind, "file").pipe(
    *   Param.between(1, 3),
    *   Param.withAlias("-f")
    * )
@@ -2117,7 +2106,7 @@ export const between: {
    * // Result: ["a.txt", "b.txt"]
    *
    * // Allow 0 or more tags
-   * const tags = Param.string(Param.flagKind, "tag").pipe(
+   * const tags = Param.String(Param.flagKind, "tag").pipe(
    *   Param.between(0, Number.MAX_SAFE_INTEGER)
    * )
    *
@@ -2155,7 +2144,7 @@ export const between: {
  * import { Param } from "effect/unstable/cli"
  *
  * // Allow at most 3 warning suppressions
- * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
+ * const suppressions = Param.String(Param.flagKind, "suppress").pipe(
  *   Param.atMost(3)
  * )
  *
@@ -2182,7 +2171,7 @@ export const atMost: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Allow at most 3 warning suppressions
-   * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
+   * const suppressions = Param.String(Param.flagKind, "suppress").pipe(
    *   Param.atMost(3)
    * )
    *
@@ -2209,7 +2198,7 @@ export const atMost: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Allow at most 3 warning suppressions
-   * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
+   * const suppressions = Param.String(Param.flagKind, "suppress").pipe(
    *   Param.atMost(3)
    * )
    *
@@ -2243,7 +2232,7 @@ export const atMost: {
  * import { Param } from "effect/unstable/cli"
  *
  * // Require at least 2 input files
- * const inputs = Param.string(Param.flagKind, "input").pipe(
+ * const inputs = Param.String(Param.flagKind, "input").pipe(
  *   Param.atLeast(2),
  *   Param.withAlias("-i")
  * )
@@ -2271,7 +2260,7 @@ export const atLeast: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Require at least 2 input files
-   * const inputs = Param.string(Param.flagKind, "input").pipe(
+   * const inputs = Param.String(Param.flagKind, "input").pipe(
    *   Param.atLeast(2),
    *   Param.withAlias("-i")
    * )
@@ -2299,7 +2288,7 @@ export const atLeast: {
    * import { Param } from "effect/unstable/cli"
    *
    * // Require at least 2 input files
-   * const inputs = Param.string(Param.flagKind, "input").pipe(
+   * const inputs = Param.String(Param.flagKind, "input").pipe(
    *   Param.atLeast(2),
    *   Param.withAlias("-i")
    * )
@@ -2334,7 +2323,7 @@ export const atLeast: {
  * ```ts import.meta.vitest
  * import { Option } from "effect"
  * import { Param } from "effect/unstable/cli"
- * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
+ * const positiveInt = Param.Int(Param.flagKind, "count").pipe(
  *   Param.filterMap(
  *     (n) => n > 0 ? Option.some(n) : Option.none(),
  *     (n) => `Expected positive integer, got ${n}`
@@ -2361,7 +2350,7 @@ export const filterMap: {
    * ```ts import.meta.vitest
    * import { Option } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
+   * const positiveInt = Param.Int(Param.flagKind, "count").pipe(
    *   Param.filterMap(
    *     (n) => n > 0 ? Option.some(n) : Option.none(),
    *     (n) => `Expected positive integer, got ${n}`
@@ -2388,7 +2377,7 @@ export const filterMap: {
    * ```ts import.meta.vitest
    * import { Option } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
+   * const positiveInt = Param.Int(Param.flagKind, "count").pipe(
    *   Param.filterMap(
    *     (n) => n > 0 ? Option.some(n) : Option.none(),
    *     (n) => `Expected positive integer, got ${n}`
@@ -2420,7 +2409,7 @@ export const filterMap: {
       const single = getUnderlyingSingleOrThrow(self)
       return yield* new CliError.InvalidValue({
         option: single.name,
-        value: String(a),
+        value: globalThis.String(a),
         expected: onNone(a),
         kind: single.kind
       })
@@ -2435,7 +2424,7 @@ export const filterMap: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
+ * const evenNumber = Param.Int(Param.flagKind, "num").pipe(
  *   Param.filter(
  *     (n) => n % 2 === 0,
  *     (n) => `Expected even number, got ${n}`
@@ -2456,7 +2445,7 @@ export const filter: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
+   * const evenNumber = Param.Int(Param.flagKind, "num").pipe(
    *   Param.filter(
    *     (n) => n % 2 === 0,
    *     (n) => `Expected even number, got ${n}`
@@ -2477,7 +2466,7 @@ export const filter: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
+   * const evenNumber = Param.Int(Param.flagKind, "num").pipe(
    *   Param.filter(
    *     (n) => n % 2 === 0,
    *     (n) => `Expected even number, got ${n}`
@@ -2513,7 +2502,7 @@ export const filter: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const port = Param.integer(Param.flagKind, "port").pipe(
+ * const port = Param.Int(Param.flagKind, "port").pipe(
  *   Param.withMetavar("PORT"),
  *   Param.filter(
  *     (p) => p >= 1 && p <= 65535,
@@ -2540,7 +2529,7 @@ export const withMetavar: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.withMetavar("PORT"),
    *   Param.filter(
    *     (p) => p >= 1 && p <= 65535,
@@ -2567,7 +2556,7 @@ export const withMetavar: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const port = Param.integer(Param.flagKind, "port").pipe(
+   * const port = Param.Int(Param.flagKind, "port").pipe(
    *   Param.withMetavar("PORT"),
    *   Param.filter(
    *     (p) => p >= 1 && p <= 65535,
@@ -2605,7 +2594,7 @@ export const withMetavar: {
  *   Schema.check(isEmail)
  * )
  *
- * const email = Param.string(Param.flagKind, "email").pipe(
+ * const email = Param.String(Param.flagKind, "email").pipe(
  *   Param.withSchema(Email)
  * )
  * email.kind // => "flag"
@@ -2629,7 +2618,7 @@ export const withSchema: {
    *   Schema.check(isEmail)
    * )
    *
-   * const email = Param.string(Param.flagKind, "email").pipe(
+   * const email = Param.String(Param.flagKind, "email").pipe(
    *   Param.withSchema(Email)
    * )
    * email.kind // => "flag"
@@ -2655,7 +2644,7 @@ export const withSchema: {
    *   Schema.check(isEmail)
    * )
    *
-   * const email = Param.string(Param.flagKind, "email").pipe(
+   * const email = Param.String(Param.flagKind, "email").pipe(
    *   Param.withSchema(Email)
    * )
    * email.kind // => "flag"
@@ -2678,7 +2667,7 @@ export const withSchema: {
       const single = getUnderlyingSingleOrThrow(self)
       return new CliError.InvalidValue({
         option: single.name,
-        value: String(value),
+        value: globalThis.String(value),
         expected: `Schema validation failed: ${error.message}`,
         kind: single.kind
       })
@@ -2693,8 +2682,8 @@ export const withSchema: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const config = Param.file(Param.flagKind, "config").pipe(
- *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
+ * const config = Param.File(Param.flagKind, "config").pipe(
+ *   Param.orElse(() => Param.String(Param.flagKind, "config-url"))
  * )
  * config.kind // => "flag"
  * ```
@@ -2711,8 +2700,8 @@ export const orElse: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const config = Param.file(Param.flagKind, "config").pipe(
-   *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
+   * const config = Param.File(Param.flagKind, "config").pipe(
+   *   Param.orElse(() => Param.String(Param.flagKind, "config-url"))
    * )
    * config.kind // => "flag"
    * ```
@@ -2729,8 +2718,8 @@ export const orElse: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const config = Param.file(Param.flagKind, "config").pipe(
-   *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
+   * const config = Param.File(Param.flagKind, "config").pipe(
+   *   Param.orElse(() => Param.String(Param.flagKind, "config-url"))
    * )
    * config.kind // => "flag"
    * ```
@@ -2764,8 +2753,8 @@ export const orElse: {
  * ```ts import.meta.vitest
  * import { Param } from "effect/unstable/cli"
  *
- * const configSource = Param.file(Param.flagKind, "config").pipe(
- *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
+ * const configSource = Param.File(Param.flagKind, "config").pipe(
+ *   Param.orElseResult(() => Param.String(Param.flagKind, "config-url"))
  * )
  * // Returns Result<string, string>
  * configSource.kind // => "flag"
@@ -2789,8 +2778,8 @@ export const orElseResult: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const configSource = Param.file(Param.flagKind, "config").pipe(
-   *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
+   * const configSource = Param.File(Param.flagKind, "config").pipe(
+   *   Param.orElseResult(() => Param.String(Param.flagKind, "config-url"))
    * )
    * // Returns Result<string, string>
    * configSource.kind // => "flag"
@@ -2814,8 +2803,8 @@ export const orElseResult: {
    * ```ts import.meta.vitest
    * import { Param } from "effect/unstable/cli"
    *
-   * const configSource = Param.file(Param.flagKind, "config").pipe(
-   *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
+   * const configSource = Param.File(Param.flagKind, "config").pipe(
+   *   Param.orElseResult(() => Param.String(Param.flagKind, "config-url"))
    * )
    * // Returns Result<string, string>
    * configSource.kind // => "flag"
@@ -2939,12 +2928,14 @@ const parsePositionalVariadic: <Kind extends ParamKind, A>(
   }
 
   if (count < minValue) {
-    return yield* new CliError.InvalidValue({
-      option: single.name,
-      value: `${count} values`,
-      expected: `at least ${minValue} value${minValue === 1 ? "" : "s"}`,
-      kind: single.kind
-    })
+    return yield* count === 0
+      ? new CliError.MissingArgument({ argument: single.name })
+      : new CliError.InvalidValue({
+        option: single.name,
+        value: `${count} values`,
+        expected: `at least ${minValue} value${minValue === 1 ? "" : "s"}`,
+        kind: single.kind
+      })
   }
 
   return [currentArgs, results] as const