export declare const BadArgument: (props: Omit<BadArgument, PlatformError.ProvidedFields>) => BadArgument

export interface BadArgument extends PlatformError.Base {
  readonly _tag: "BadArgument"
}

export type PlatformError = BadArgument | SystemError

export declare const RefailError: <const TypeId extends symbol, const Tag extends string>(
  typeId: TypeId,
  tag: Tag
) => new <A extends Record<string, any>>(args: Simplify<A & { readonly error: unknown }>) => any

export declare const SystemError: (props: Omit<SystemError, PlatformError.ProvidedFields>) => SystemError

export declare const TypeIdError: <const TypeId extends symbol, const Tag extends string>(
  typeId: TypeId,
  tag: Tag
) => new <A extends Record<string, any>>(args: Simplify<A>) => any

export type SystemErrorReason =
  | "AlreadyExists"
  | "BadResource"
  | "Busy"
  | "InvalidData"
  | "NotFound"
  | "PermissionDenied"
  | "TimedOut"
  | "UnexpectedEof"
  | "Unknown"
  | "WouldBlock"
  | "WriteZero"

export interface SystemError extends PlatformError.Base {
  readonly _tag: "SystemError"
  readonly reason: SystemErrorReason
  readonly syscall?: string | undefined
  readonly pathOrDescriptor: string | number
}

export declare const isPlatformError: (u: unknown) => u is PlatformError

export declare const PlatformErrorTypeId: typeof PlatformErrorTypeId

export type PlatformErrorTypeId = typeof PlatformErrorTypeId

export interface Base {
  readonly [PlatformErrorTypeId]: typeof PlatformErrorTypeId
  readonly _tag: string
  readonly module: "Clipboard" | "Command" | "FileSystem" | "KeyValueStore" | "Path" | "Stream" | "Terminal"
  readonly method: string
  readonly message: string
}

export type ProvidedFields = PlatformErrorTypeId | "_tag"