file_error.gleam

import file_streams/file_encoding.{type FileEncoding}

/// The reasons why a file system operation could fail in Erlang. Most of these
/// map to underlying POSIX errors.
///
pub type FileError {
  /// Permission denied.
  Eacces

  /// Resource temporarily unavailable.
  Eagain

  /// Bad file number
  Ebadf

  /// Bad message.
  Ebadmsg

  /// File busy.
  Ebusy

  /// Resource deadlock avoided.
  Edeadlk

  /// On most architectures, same as `Edeadlk`. On some architectures, it
  /// 
  /// means "File locking deadlock error."
  Edeadlock

  /// Disk quota exceeded.
  Edquot

  /// File already exists.
  Eexist

  /// Bad address in system call argument.
  Efault

  /// File too large.
  Efbig

  /// Inappropriate file type or format. Usually caused by trying to set the
  /// 
  /// "sticky bit" on a regular file (not a directory).
  Eftype

  /// Interrupted system call.
  Eintr

  /// Invalid argument.
  Einval

  /// I/O error.
  Eio

  /// Illegal operation on a directory.
  Eisdir

  /// Too many levels of symbolic links.
  Eloop

  /// Too many open files.
  Emfile

  /// Too many links.
  Emlink

  /// Multihop attempted.
  Emultihop

  /// Filename too long
  Enametoolong

  /// File table overflow
  Enfile

  /// No buffer space available.
  Enobufs

  /// No such device.
  Enodev

  /// No locks available.
  Enolck

  /// Link has been severed.
  Enolink

  /// No such file or directory.
  Enoent

  /// Not enough memory.
  Enomem

  /// No space left on device.
  Enospc

  /// No STREAM resources.
  Enosr

  /// Not a STREAM.
  Enostr

  /// Function not implemented.
  Enosys

  /// Block device required.
  Enotblk

  /// Not a directory.
  Enotdir

  /// Operation not supported.
  Enotsup

  /// No such device or address.
  Enxio

  /// Operation not supported on socket.
  Eopnotsupp

  /// Value too large to be stored in data type.
  Eoverflow

  /// Not owner.
  Eperm

  /// Broken pipe.
  Epipe

  /// Result too large.
  Erange

  /// Read-only file system.
  Erofs

  /// Invalid seek.
  Espipe

  /// No such process.
  Esrch

  /// Stale remote file handle.
  Estale

  /// Text file busy.
  Etxtbsy

  /// Cross-domain link.
  Exdev

  /// Invalid Unicode data was encountered when reading text.
  InvalidUnicode

  /// Unicode data that can't be converted to/from the relevant encoding was
  /// encountered when reading text.
  NoTranslation(a: FileEncoding, b: FileEncoding)
}