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 SystemError: (props: Omit<SystemError, PlatformError.ProvidedFields>) => SystemError

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
  readonly pathOrDescriptor: string | number
}

export declare const PlatformErrorTypeId: typeof PlatformErrorTypeId

export type PlatformErrorTypeId = typeof PlatformErrorTypeId

export interface Base extends Data.Case {
  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" | keyof Data.Case