export declare const commandMismatch: (error: HelpDoc) => ValidationError

export declare const correctedFlag: (error: HelpDoc) => ValidationError

export declare const helpRequested: <A>(command: Command<A>) => ValidationError

export declare const invalidArgument: (error: HelpDoc) => ValidationError

export declare const invalidValue: (error: HelpDoc) => ValidationError

export declare const keyValuesDetected: (error: HelpDoc, keyValues: ReadonlyArray<string>) => ValidationError

export declare const missingFlag: (error: HelpDoc) => ValidationError

export declare const missingSubcommand: (error: HelpDoc) => ValidationError

export declare const missingValue: (error: HelpDoc) => ValidationError

export declare const noBuiltInMatch: (error: HelpDoc) => ValidationError

export declare const unclusteredFlag: (
  error: HelpDoc,
  unclustered: ReadonlyArray<string>,
  rest: ReadonlyArray<string>
) => ValidationError

export interface CommandMismatch extends ValidationError.Proto {
  readonly _tag: "CommandMismatch"
  readonly error: HelpDoc
}

export interface CorrectedFlag extends ValidationError.Proto {
  readonly _tag: "CorrectedFlag"
  readonly error: HelpDoc
}

export interface HelpRequested extends ValidationError.Proto {
  readonly _tag: "HelpRequested"
  readonly error: HelpDoc
  readonly command: CommandDescriptor.Command<unknown>
}

export interface InvalidArgument extends ValidationError.Proto {
  readonly _tag: "InvalidArgument"
  readonly error: HelpDoc
}

export interface InvalidValue extends ValidationError.Proto {
  readonly _tag: "InvalidValue"
  readonly error: HelpDoc
}

export interface MissingFlag extends ValidationError.Proto {
  readonly _tag: "MissingFlag"
  readonly error: HelpDoc
}

export interface MissingSubcommand extends ValidationError.Proto {
  readonly _tag: "MissingSubcommand"
  readonly error: HelpDoc
}

export interface MissingValue extends ValidationError.Proto {
  readonly _tag: "MissingValue"
  readonly error: HelpDoc
}

export interface MultipleValuesDetected extends ValidationError.Proto {
  readonly _tag: "MultipleValuesDetected"
  readonly error: HelpDoc
  readonly values: ReadonlyArray<string>
}

export interface NoBuiltInMatch extends ValidationError.Proto {
  readonly _tag: "NoBuiltInMatch"
  readonly error: HelpDoc
}

export interface UnclusteredFlag extends ValidationError.Proto {
  readonly _tag: "UnclusteredFlag"
  readonly error: HelpDoc
  readonly unclustered: ReadonlyArray<string>
  readonly rest: ReadonlyArray<string>
}

export type ValidationError =
  | CommandMismatch
  | CorrectedFlag
  | HelpRequested
  | InvalidArgument
  | InvalidValue
  | MissingValue
  | MissingFlag
  | MultipleValuesDetected
  | MissingSubcommand
  | NoBuiltInMatch
  | UnclusteredFlag

export declare const isCommandMismatch: (self: ValidationError) => self is CommandMismatch

export declare const isCorrectedFlag: (self: ValidationError) => self is CorrectedFlag

export declare const isHelpRequested: (self: ValidationError) => self is HelpRequested

export declare const isInvalidArgument: (self: ValidationError) => self is InvalidArgument

export declare const isInvalidValue: (self: ValidationError) => self is InvalidValue

export declare const isMissingFlag: (self: ValidationError) => self is MissingFlag

export declare const isMissingSubcommand: (self: ValidationError) => self is MissingSubcommand

export declare const isMissingValue: (self: ValidationError) => self is MissingValue

export declare const isMultipleValuesDetected: (self: ValidationError) => self is MultipleValuesDetected

export declare const isNoBuiltInMatch: (self: ValidationError) => self is NoBuiltInMatch

export declare const isUnclusteredFlag: (self: ValidationError) => self is UnclusteredFlag

export declare const isValidationError: (u: unknown) => u is ValidationError

export declare const ValidationErrorTypeId: typeof ValidationErrorTypeId

export type ValidationErrorTypeId = typeof ValidationErrorTypeId

export interface Proto {
  readonly [ValidationErrorTypeId]: ValidationErrorTypeId
}