export declare const And: (self: ConfigError, that: ConfigError) => ConfigError

export declare const InvalidData: (path: Array<string>, message: string, options?: Options) => ConfigError

export declare const MissingData: (path: Array<string>, message: string, options?: Options) => ConfigError

export declare const Or: (self: ConfigError, that: ConfigError) => ConfigError

export declare const SourceUnavailable: (
  path: Array<string>,
  message: string,
  cause: Cause.Cause<unknown>,
  options?: Options
) => ConfigError

export declare const Unsupported: (path: Array<string>, message: string, options?: Options) => ConfigError

export declare const reduceWithContext: {
  <C, Z>(context: C, reducer: ConfigErrorReducer<C, Z>): (self: ConfigError) => Z
  <C, Z>(self: ConfigError, context: C, reducer: ConfigErrorReducer<C, Z>): Z
}

export interface And extends ConfigError.Proto {
  readonly _op: "And"
  readonly left: ConfigError
  readonly right: ConfigError
}

export type ConfigError = And | Or | InvalidData | MissingData | SourceUnavailable | Unsupported

export interface ConfigErrorReducer<in C, in out Z> {
  andCase(context: C, left: Z, right: Z): Z
  orCase(context: C, left: Z, right: Z): Z
  invalidDataCase(context: C, path: Array<string>, message: string): Z
  missingDataCase(context: C, path: Array<string>, message: string): Z
  sourceUnavailableCase(context: C, path: Array<string>, message: string, cause: Cause.Cause<unknown>): Z
  unsupportedCase(context: C, path: Array<string>, message: string): Z
}

export interface InvalidData extends ConfigError.Proto {
  readonly _op: "InvalidData"
  readonly path: Array<string>
  readonly message: string
}

export interface MissingData extends ConfigError.Proto {
  readonly _op: "MissingData"
  readonly path: Array<string>
  readonly message: string
}

export interface Options {
  readonly pathDelim: string
}

export interface Or extends ConfigError.Proto {
  readonly _op: "Or"
  readonly left: ConfigError
  readonly right: ConfigError
}

export interface SourceUnavailable extends ConfigError.Proto {
  readonly _op: "SourceUnavailable"
  readonly path: Array<string>
  readonly message: string
  readonly cause: Cause.Cause<unknown>
}

export interface Unsupported extends ConfigError.Proto {
  readonly _op: "Unsupported"
  readonly path: Array<string>
  readonly message: string
}

export declare const isAnd: (self: ConfigError) => self is And

export declare const isConfigError: (u: unknown) => u is ConfigError

export declare const isInvalidData: (self: ConfigError) => self is InvalidData

export declare const isMissingData: (self: ConfigError) => self is MissingData

export declare const isOr: (self: ConfigError) => self is Or

export declare const isSourceUnavailable: (self: ConfigError) => self is SourceUnavailable

export declare const isUnsupported: (self: ConfigError) => self is Unsupported

export declare const ConfigErrorTypeId: typeof ConfigErrorTypeId

export type ConfigErrorTypeId = typeof ConfigErrorTypeId

export interface Proto {
  readonly _tag: "ConfigError"
  readonly [ConfigErrorTypeId]: ConfigErrorTypeId
}

export type Reducer<C, Z> = ConfigErrorReducer<C, Z>

export declare const isMissingDataOnly: (self: ConfigError) => boolean

export declare const prefixed: {
  (prefix: Array<string>): (self: ConfigError) => ConfigError
  (self: ConfigError, prefix: Array<string>): ConfigError
}