effect 4.0.0-beta.85 → 4.0.0-beta.87

package/src/unstable/cli/Param.ts

@@ -12,19 +12,16 @@
  */
 import * as Config from "../../Config.ts"
 import * as Effect from "../../Effect.ts"
-import type * as FileSystem from "../../FileSystem.ts"
 import { dual, identity } from "../../Function.ts"
 import * as Option from "../../Option.ts"
-import type * as Path from "../../Path.ts"
 import { type Pipeable, pipeArguments } from "../../Pipeable.ts"
 import * as Predicate from "../../Predicate.ts"
 import type * as Redacted from "../../Redacted.ts"
 import * as Result from "../../Result.ts"
 import * as Schema from "../../Schema.ts"
-import type * as Terminal from "../../Terminal.ts"
 import type { Covariant } from "../../Types.ts"
-import type { ChildProcessSpawner } from "../process/ChildProcessSpawner.ts"
 import * as CliError from "./CliError.ts"
+import type { Environment } from "./Command.ts"
 import * as Primitive from "./Primitive.ts"
 import * as Prompt from "./Prompt.ts"
 
@@ -56,15 +53,6 @@ export interface Param<Kind extends ParamKind, out A> extends Param.Variance<A>
  */
 export type ParamKind = "argument" | "flag"
 
-/**
- * Services that parameter parsing can require, such as filesystem, path,
- * terminal, and child-process support.
- *
- * @category models
- * @since 4.0.0
- */
-export type Environment = FileSystem.FileSystem | Path.Path | Terminal.Terminal | ChildProcessSpawner
-
 /**
  * Defines the kind discriminator for positional argument parameters.
  *
@@ -287,8 +275,6 @@ const Proto = {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const maybeParam = Param.string(Param.flagKind, "name")
  *
  * if (Param.isParam(maybeParam)) {
@@ -309,8 +295,6 @@ export const isParam = (u: unknown): u is Param<any, ParamKind> => Predicate.has
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const nameParam = Param.string(Param.flagKind, "name")
  * const optionalParam = Param.optional(nameParam)
  *
@@ -377,8 +361,6 @@ export const makeSingle = <const Kind extends ParamKind, A>(params: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a string flag
  * const nameFlag = Param.string(Param.flagKind, "name")
  *
@@ -409,8 +391,6 @@ export const string = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a boolean flag
  * const verboseFlag = Param.boolean(Param.flagKind, "verbose")
  *
@@ -442,8 +422,6 @@ export const boolean = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create an integer flag
  * const portFlag = Param.integer(Param.flagKind, "port")
  *
@@ -474,8 +452,6 @@ export const integer = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a float flag
  * const rateFlag = Param.float(Param.flagKind, "rate")
  *
@@ -506,8 +482,6 @@ export const float = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a date flag
  * const startFlag = Param.date(Param.flagKind, "start-date")
  *
@@ -540,8 +514,6 @@ export const date = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * type Animal = Dog | Cat
  *
  * interface Dog {
@@ -580,8 +552,6 @@ export const choiceWithValue = <
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const logLevel = Param.choice(Param.flagKind, "log-level", [
  *   "debug",
  *   "info",
@@ -609,8 +579,6 @@ export const choice = <
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic path parameter
  * const outputPath = Param.path(Param.flagKind, "output")
  *
@@ -657,8 +625,6 @@ export const path = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic directory parameter
  * const outputDir = Param.directory(Param.flagKind, "output-dir")
  *
@@ -697,8 +663,6 @@ export const directory = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic file parameter
  * const outputFile = Param.file(Param.flagKind, "output")
  *
@@ -733,8 +697,6 @@ export const file = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a password parameter
  * const password = Param.redacted(Param.flagKind, "password")
  *
@@ -765,8 +727,6 @@ export const redacted = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Read a config file as string
  * const configContent = Param.fileText(Param.flagKind, "config")
  *
@@ -799,8 +759,6 @@ export const fileText = <Kind extends ParamKind>(kind: Kind, name: string): Para
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // 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")
@@ -833,8 +791,6 @@ export const fileParse = <Kind extends ParamKind>(
  * ```ts
  * import { Schema } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * // Parse JSON config file
  * const configSchema = Schema.Struct({
  *   port: Schema.Number,
@@ -859,7 +815,7 @@ export const fileParse = <Kind extends ParamKind>(
 export const fileSchema = <Kind extends ParamKind, A>(
   kind: Kind,
   name: string,
-  schema: Schema.Decoder<A>,
+  schema: Schema.ConstraintDecoder<A, Environment>,
   options?: Primitive.FileSchemaOptions | undefined
 ): Param<Kind, A> =>
   makeSingle({
@@ -886,8 +842,6 @@ export const fileSchema = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const env = Param.keyValuePair(Param.flagKind, "env")
  * // --env FOO=bar --env BAZ=qux will parse to { FOO: "bar", BAZ: "qux" }
  *
@@ -927,8 +881,6 @@ export const keyValuePair = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const disabledDebugParam = Param.none(Param.flagKind)
  *
  * const makeDebugParam = (enableDebug: boolean) =>
@@ -968,8 +920,6 @@ const FLAG_DASH_REGEXP = /^-+/
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const force = Param.boolean(Param.flagKind, "force").pipe(
  *   Param.withAlias("-f"),
  *   Param.withAlias("-F")
@@ -1004,8 +954,6 @@ export const withAlias: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const force = Param.boolean(Param.flagKind, "force").pipe(
    *   Param.withAlias("-f"),
    *   Param.withAlias("-F")
@@ -1040,8 +988,6 @@ export const withAlias: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const force = Param.boolean(Param.flagKind, "force").pipe(
    *   Param.withAlias("-f"),
    *   Param.withAlias("-F")
@@ -1079,8 +1025,6 @@ export const withAlias: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
  *   Param.withAlias("-v"),
  *   Param.withDescription("Enable verbose output")
@@ -1104,8 +1048,6 @@ export const withDescription: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output")
@@ -1129,8 +1071,6 @@ export const withDescription: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
    *   Param.withAlias("-v"),
    *   Param.withDescription("Enable verbose output")
@@ -1163,8 +1103,6 @@ export const withDescription: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const experimental = Param.boolean(Param.flagKind, "experimental-foo").pipe(
  *   Param.withHidden
  * )
@@ -1188,8 +1126,6 @@ export const withHidden = <Kind extends ParamKind, A>(self: Param<Kind, A>): Par
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
  * )
@@ -1207,8 +1143,6 @@ export const map: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
    * )
@@ -1226,8 +1160,6 @@ export const map: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
    * )
@@ -1273,8 +1205,6 @@ const transform = <Kind extends ParamKind, A, B>(
  * import { Effect } from "effect"
  * import { CliError, Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
  *   Param.mapEffect((email) =>
  *     email.includes("@")
@@ -1304,8 +1234,6 @@ export const mapEffect: {
    * import { Effect } from "effect"
    * import { CliError, Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
    *   Param.mapEffect((email) =>
    *     email.includes("@")
@@ -1335,8 +1263,6 @@ export const mapEffect: {
    * import { Effect } from "effect"
    * import { CliError, Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
    *   Param.mapEffect((email) =>
    *     email.includes("@")
@@ -1382,8 +1308,6 @@ export const mapEffect: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const parsedJson = Param.string(Param.flagKind, "config").pipe(
  *   Param.mapTryCatch(
  *     (str) => JSON.parse(str),
@@ -1406,8 +1330,6 @@ export const mapTryCatch: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const parsedJson = Param.string(Param.flagKind, "config").pipe(
    *   Param.mapTryCatch(
    *     (str) => JSON.parse(str),
@@ -1430,8 +1352,6 @@ export const mapTryCatch: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const parsedJson = Param.string(Param.flagKind, "config").pipe(
    *   Param.mapTryCatch(
    *     (str) => JSON.parse(str),
@@ -1544,8 +1464,6 @@ export const optional = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Using the pipe operator to make an option optional
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.withDefault(8080)
@@ -1576,8 +1494,6 @@ export const withDefault: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Using the pipe operator to make an option optional
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.withDefault(8080)
@@ -1608,8 +1524,6 @@ export const withDefault: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Using the pipe operator to make an option optional
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.withDefault(8080)
@@ -1879,8 +1793,6 @@ export type VariadicParamOptions = {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic variadic parameter (0 to infinity)
  * const tags = Param.variadic(Param.string(Param.flagKind, "tag"))
  *
@@ -1935,8 +1847,6 @@ export const variadic = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Allow 1-3 file inputs
  * const files = Param.string(Param.flagKind, "file").pipe(
  *   Param.between(1, 3),
@@ -1972,8 +1882,6 @@ export const between: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Allow 1-3 file inputs
    * const files = Param.string(Param.flagKind, "file").pipe(
    *   Param.between(1, 3),
@@ -2009,8 +1917,6 @@ export const between: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Allow 1-3 file inputs
    * const files = Param.string(Param.flagKind, "file").pipe(
    *   Param.between(1, 3),
@@ -2057,8 +1963,6 @@ export const between: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Allow at most 3 warning suppressions
  * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
  *   Param.atMost(3)
@@ -2085,8 +1989,6 @@ export const atMost: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Allow at most 3 warning suppressions
    * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
    *   Param.atMost(3)
@@ -2113,8 +2015,6 @@ export const atMost: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Allow at most 3 warning suppressions
    * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
    *   Param.atMost(3)
@@ -2148,8 +2048,6 @@ export const atMost: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Require at least 2 input files
  * const inputs = Param.string(Param.flagKind, "input").pipe(
  *   Param.atLeast(2),
@@ -2177,8 +2075,6 @@ export const atLeast: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Require at least 2 input files
    * const inputs = Param.string(Param.flagKind, "input").pipe(
    *   Param.atLeast(2),
@@ -2206,8 +2102,6 @@ export const atLeast: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * // Require at least 2 input files
    * const inputs = Param.string(Param.flagKind, "input").pipe(
    *   Param.atLeast(2),
@@ -2243,8 +2137,6 @@ export const atLeast: {
  * ```ts
  * import { Option } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
  *   Param.filterMap(
  *     (n) => n > 0 ? Option.some(n) : Option.none(),
@@ -2271,8 +2163,6 @@ export const filterMap: {
    * ```ts
    * import { Option } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * // @internal - this module is not exported publicly
-   *
    * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
    *   Param.filterMap(
    *     (n) => n > 0 ? Option.some(n) : Option.none(),
@@ -2299,8 +2189,6 @@ export const filterMap: {
    * ```ts
    * import { Option } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * // @internal - this module is not exported publicly
-   *
    * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
    *   Param.filterMap(
    *     (n) => n > 0 ? Option.some(n) : Option.none(),
@@ -2347,8 +2235,6 @@ export const filterMap: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
  *   Param.filter(
  *     (n) => n % 2 === 0,
@@ -2369,8 +2255,6 @@ export const filter: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
    *   Param.filter(
    *     (n) => n % 2 === 0,
@@ -2391,8 +2275,6 @@ export const filter: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
    *   Param.filter(
    *     (n) => n % 2 === 0,
@@ -2428,8 +2310,6 @@ export const filter: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.withMetavar("PORT"),
  *   Param.filter(
@@ -2456,8 +2336,6 @@ export const withMetavar: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.withMetavar("PORT"),
    *   Param.filter(
@@ -2484,8 +2362,6 @@ export const withMetavar: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const port = Param.integer(Param.flagKind, "port").pipe(
    *   Param.withMetavar("PORT"),
    *   Param.filter(
@@ -2517,8 +2393,6 @@ export const withMetavar: {
  * ```ts
  * import { Schema } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * const isEmail = Schema.isPattern(/^[^\s@]+@[^\s@]+\.[^\s@]+$/)
  *
  * const Email = Schema.String.pipe(
@@ -2542,8 +2416,6 @@ export const withSchema: {
    * ```ts
    * import { Schema } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * // @internal - this module is not exported publicly
-   *
    * const isEmail = Schema.isPattern(/^[^\s@]+@[^\s@]+\.[^\s@]+$/)
    *
    * const Email = Schema.String.pipe(
@@ -2558,7 +2430,9 @@ export const withSchema: {
    * @category combinators
    * @since 4.0.0
    */
-  <A, B>(schema: Schema.Codec<B, A>): <Kind extends ParamKind>(self: Param<Kind, A>) => Param<Kind, B>
+  <A, B>(schema: Schema.Codec<B, A, Environment, Environment>): <Kind extends ParamKind>(
+    self: Param<Kind, A>
+  ) => Param<Kind, B>
   /**
    * Validates parsed values against a Schema, providing detailed error messages.
    *
@@ -2567,8 +2441,6 @@ export const withSchema: {
    * ```ts
    * import { Schema } from "effect"
    * import { Param } from "effect/unstable/cli"
-   * // @internal - this module is not exported publicly
-   *
    * const isEmail = Schema.isPattern(/^[^\s@]+@[^\s@]+\.[^\s@]+$/)
    *
    * const Email = Schema.String.pipe(
@@ -2583,7 +2455,7 @@ export const withSchema: {
    * @category combinators
    * @since 4.0.0
    */
-  <Kind extends ParamKind, A, B>(self: Param<Kind, A>, schema: Schema.Codec<B, A>): Param<Kind, B>
+  <Kind extends ParamKind, A, B>(self: Param<Kind, A>, schema: Schema.Codec<B, A, Environment, Environment>): Param<Kind, B>
 } = dual(2, <Kind extends ParamKind, A, B>(
   self: Param<Kind, A>,
   schema: Schema.Codec<B, A>
@@ -2609,8 +2481,6 @@ export const withSchema: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const config = Param.file(Param.flagKind, "config").pipe(
  *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
  * )
@@ -2628,8 +2498,6 @@ export const orElse: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const config = Param.file(Param.flagKind, "config").pipe(
    *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
    * )
@@ -2647,8 +2515,6 @@ export const orElse: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const config = Param.file(Param.flagKind, "config").pipe(
    *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
    * )
@@ -2681,8 +2547,6 @@ export const orElse: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const configSource = Param.file(Param.flagKind, "config").pipe(
  *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
  * )
@@ -2707,8 +2571,6 @@ export const orElseResult: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const configSource = Param.file(Param.flagKind, "config").pipe(
    *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
    * )
@@ -2733,8 +2595,6 @@ export const orElseResult: {
    * ```ts
    * import { Param } from "effect/unstable/cli"
    *
-   * // @internal - this module is not exported publicly
-   *
    * const configSource = Param.file(Param.flagKind, "config").pipe(
    *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
    * )

package/src/unstable/cli/Primitive.ts

@@ -24,6 +24,7 @@ import * as Schema from "../../Schema.ts"
 import type { Formatter } from "../../SchemaIssue.ts"
 import type * as Struct from "../../Struct.ts"
 import type { Covariant } from "../../Types.ts"
+import type { Environment } from "./Command.ts"
 
 const TypeId = "~effect/cli/Primitive"
 
@@ -58,7 +59,7 @@ const TypeId = "~effect/cli/Primitive"
  */
 export interface Primitive<out A> extends Primitive.Variance<A> {
   readonly _tag: string
-  readonly parse: (value: string) => Effect.Effect<A, string, FileSystem.FileSystem | Path.Path>
+  readonly parse: (value: string) => Effect.Effect<A, string, Environment>
 }
 
 /**
@@ -97,9 +98,7 @@ export const isBoolean = (p: Primitive<unknown>): p is Primitive<boolean> => p._
 
 const makePrimitive = <A>(
   tag: string,
-  parse: (
-    value: string
-  ) => Effect.Effect<A, string, FileSystem.FileSystem | Path.Path>
+  parse: (value: string) => Effect.Effect<A, string, Environment>
 ): Primitive<A> =>
   Object.assign(Object.create(Proto), {
     _tag: tag,
@@ -108,7 +107,7 @@ const makePrimitive = <A>(
 
 const makeSchemaPrimitive = <T, E>(
   tag: string,
-  schema: Schema.Codec<T, E>
+  schema: Schema.Codec<T, E, Environment, Environment>
 ): Primitive<T> => {
   const toCodecStringTree = Schema.toCodecStringTree(schema)
   const decode = Schema.decodeUnknownEffect(toCodecStringTree)
@@ -614,7 +613,7 @@ export type FileSchemaOptions = Struct.Simplify<
  * @since 4.0.0
  */
 export const fileSchema = <A>(
-  schema: Schema.Decoder<A>,
+  schema: Schema.ConstraintDecoder<A, Environment>,
   options?: FileSchemaOptions | undefined
 ): Primitive<A> => {
   const decode = Schema.decodeUnknownEffect(schema)