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

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

type PlatformError = BadArgument | SystemError

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

declare const TypeIdError: <const TypeId extends symbol, const Tag extends string>(
  typeId: TypeId,
  tag: Tag
) => new <A extends Record<string, any>>(
  args: Simplify<A>
) => Cause.YieldableError & Record<TypeId, TypeId> & { readonly _tag: Tag } & Readonly<A>

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
}

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

declare const PlatformErrorTypeId: unique symbol

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
}

type ProvidedFields = PlatformErrorTypeId | "_tag"