export declare const make: <A>(config: CliApp.ConstructorArgs<A>) => CliApp<A>

export declare const run: {
  <R, E, A>(
    args: ReadonlyArray<string>,
    execute: (a: A) => Effect<void, E, R>
  ): (self: CliApp<A>) => Effect<void | E, CliApp.Environment | R, ValidationError>
  <R, E, A>(
    self: CliApp<A>,
    args: ReadonlyArray<string>,
    execute: (a: A) => Effect<void, E, R>
  ): Effect<void | E, CliApp.Environment | R, ValidationError>
}

export interface CliApp<A> extends Pipeable {
  readonly name: string
  readonly version: string
  readonly executable: string
  readonly command: Command<A>
  readonly summary: Span
  readonly footer: HelpDoc
}

export interface ConstructorArgs<A> {
  readonly name: string
  readonly version: string
  readonly command: Command<A>
  readonly executable?: string | undefined
  readonly summary?: Span | undefined
  readonly footer?: HelpDoc | undefined
}

export type Environment = FileSystem | Path | Terminal