Idris2Doc : System.Posix.Errno.Type

System.Posix.Errno.Type

(source)
Definitions
record Errno : Type
  Totality: total
  Visibility: public export
  Constructor: 
EN : Bits32 -> Errno

  Projection: 
.errno : Errno -> Bits32

  Hints:
  
Eq Errno
  
Interpolation Errno
  
Ord Errno
  
Show Errno
.errno : Errno -> Bits32
  Totality: total
  Visibility: public export
errno : Errno -> Bits32
  Totality: total
  Visibility: public export
EPERM : Errno
  Totality: total
  Visibility: public export
ENOENT : Errno
  Totality: total
  Visibility: public export
ESRCH : Errno
  Totality: total
  Visibility: public export
EINTR : Errno
  Totality: total
  Visibility: public export
EIO : Errno
  Totality: total
  Visibility: public export
ENXIO : Errno
  Totality: total
  Visibility: public export
E2BIG : Errno
  Totality: total
  Visibility: public export
ENOEXEC : Errno
  Totality: total
  Visibility: public export
EBADF : Errno
  Totality: total
  Visibility: public export
ECHILD : Errno
  Totality: total
  Visibility: public export
EAGAIN : Errno
  Totality: total
  Visibility: public export
EWOULDBLOCK : Errno
  Totality: total
  Visibility: public export
ENOMEM : Errno
  Totality: total
  Visibility: public export
EACCES : Errno
  Totality: total
  Visibility: public export
EFAULT : Errno
  Totality: total
  Visibility: public export
ENOTBLK : Errno
  Totality: total
  Visibility: public export
EBUSY : Errno
  Totality: total
  Visibility: public export
EEXIST : Errno
  Totality: total
  Visibility: public export
EXDEV : Errno
  Totality: total
  Visibility: public export
ENODEV : Errno
  Totality: total
  Visibility: public export
ENOTDIR : Errno
  Totality: total
  Visibility: public export
EISDIR : Errno
  Totality: total
  Visibility: public export
EINVAL : Errno
  Totality: total
  Visibility: public export
ENFILE : Errno
  Totality: total
  Visibility: public export
EMFILE : Errno
  Totality: total
  Visibility: public export
ENOTTY : Errno
  Totality: total
  Visibility: public export
ETXTBSY : Errno
  Totality: total
  Visibility: public export
EFBIG : Errno
  Totality: total
  Visibility: public export
ENOSPC : Errno
  Totality: total
  Visibility: public export
ESPIPE : Errno
  Totality: total
  Visibility: public export
EROFS : Errno
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
EPIPE : Errno
  Totality: total
  Visibility: public export
EDOM : Errno
  Totality: total
  Visibility: public export
ERANGE : Errno
  Totality: total
  Visibility: public export
EDEADLK : Errno
  Totality: total
  Visibility: public export
ENAMETOOLONG : Errno
  Totality: total
  Visibility: public export
ENOLCK : Errno
  Totality: total
  Visibility: public export
ENOSYS : Errno
  Totality: total
  Visibility: public export
ENOTEMPTY : Errno
  Totality: total
  Visibility: public export
ELOOP : Errno
  Totality: total
  Visibility: public export
ENOMSG : Errno
  Totality: total
  Visibility: public export
EIDRM : Errno
  Totality: total
  Visibility: public export
ENOSTR : Errno
  Totality: total
  Visibility: public export
ENODATA : Errno
  Totality: total
  Visibility: public export
ETIME : Errno
  Totality: total
  Visibility: public export
ENOSR : Errno
  Totality: total
  Visibility: public export
EREMOTE : Errno
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
EPROTO : Errno
  Totality: total
  Visibility: public export
EMULTIHOP : Errno
  Totality: total
  Visibility: public export
EBADMSG : Errno
  Totality: total
  Visibility: public export
EOVERFLOW : Errno
  Totality: total
  Visibility: public export
EILSEQ : Errno
  Totality: total
  Visibility: public export
EUSERS : Errno
  Totality: total
  Visibility: public export
ENOTSOCK : Errno
  Totality: total
  Visibility: public export
EDESTADDRREQ : Errno
  Totality: total
  Visibility: public export
EMSGSIZE : Errno
  Totality: total
  Visibility: public export
EPROTOTYPE : Errno
  Totality: total
  Visibility: public export
ENOPROTOOPT : Errno
  Totality: total
  Visibility: public export
EPROTONOSUPPORT : Errno
  Totality: total
  Visibility: public export
ESOCKTNOSUPPORT : Errno
  Totality: total
  Visibility: public export
EOPNOTSUPP : Errno
  Totality: total
  Visibility: public export
EPFNOSUPPORT : Errno
  Totality: total
  Visibility: public export
EAFNOSUPPORT : Errno
  Totality: total
  Visibility: public export
EADDRINUSE : Errno
  Totality: total
  Visibility: public export
EADDRNOTAVAIL : Errno
  Totality: total
  Visibility: public export
ENETDOWN : Errno
  Totality: total
  Visibility: public export
ENETUNREACH : Errno
  Totality: total
  Visibility: public export
ENETRESET : Errno
  Totality: total
  Visibility: public export
ECONNABORTED : Errno
  Totality: total
  Visibility: public export
ECONNRESET : Errno
  Totality: total
  Visibility: public export
ENOBUFS : Errno
  Totality: total
  Visibility: public export
EISCONN : Errno
  Totality: total
  Visibility: public export
ENOTCONN : Errno
  Totality: total
  Visibility: public export
ESHUTDOWN : Errno
  Totality: total
  Visibility: public export
ETOOMANYREFS : Errno
  Totality: total
  Visibility: public export
ETIMEDOUT : Errno
  Totality: total
  Visibility: public export
ECONNREFUSED : Errno
  Totality: total
  Visibility: public export
EHOSTDOWN : Errno
  Totality: total
  Visibility: public export
EHOSTUNREACH : Errno
  Totality: total
  Visibility: public export
EALREADY : Errno
  Totality: total
  Visibility: public export
EINPROGRESS : Errno
  Totality: total
  Visibility: public export
ESTALE : Errno
  Totality: total
  Visibility: public export
EDQUOT : Errno
  Totality: total
  Visibility: public export
ECANCELED : Errno
  Totality: total
  Visibility: public export
EOWNERDEAD : Errno
  Totality: total
  Visibility: public export
ENOTRECOVERABLE : Errno
  Totality: total
  Visibility: public export
ECHRNG : Errno
  Totality: total
  Visibility: public export
EL2NSYNC : Errno
  Totality: total
  Visibility: public export
EL3HLT : Errno
  Totality: total
  Visibility: public export
EL3RST : Errno
  Totality: total
  Visibility: public export
ELNRNG : Errno
  Totality: total
  Visibility: public export
EUNATCH : Errno
  Totality: total
  Visibility: public export
ENOCSI : Errno
  Totality: total
  Visibility: public export
EL2HLT : Errno
  Totality: total
  Visibility: public export
EBADE : Errno
  Totality: total
  Visibility: public export
EBADR : Errno
  Totality: total
  Visibility: public export
EXFULL : Errno
  Totality: total
  Visibility: public export
ENOANO : Errno
  Totality: total
  Visibility: public export
EBADRQC : Errno
  Totality: total
  Visibility: public export
EBADSLT : Errno
  Totality: total
  Visibility: public export
EBFONT : Errno
  Totality: total
  Visibility: public export
ENONET : Errno
  Totality: total
  Visibility: public export
ENOPKG : Errno
  Totality: total
  Visibility: public export
EADV : Errno
  Totality: total
  Visibility: public export
ESRMNT : Errno
  Totality: total
  Visibility: public export
ECOMM : Errno
  Totality: total
  Visibility: public export
EDOTDOT : Errno
  Totality: total
  Visibility: public export
ENOTUNIQ : Errno
  Totality: total
  Visibility: public export
EBADFD : Errno
  Totality: total
  Visibility: public export
EREMCHG : Errno
  Totality: total
  Visibility: public export
ELIBACC : Errno
  Totality: total
  Visibility: public export
ELIBBAD : Errno
  Totality: total
  Visibility: public export
ELIBSCN : Errno
  Totality: total
  Visibility: public export
ELIBMAX : Errno
  Totality: total
  Visibility: public export
ELIBEXEC : Errno
  Totality: total
  Visibility: public export
ERESTART : Errno
  Totality: total
  Visibility: public export
ESTRPIPE : Errno
  Totality: total
  Visibility: public export
EUCLEAN : Errno
  Totality: total
  Visibility: public export
ENOTNAM : Errno
  Totality: total
  Visibility: public export
ENAVAIL : Errno
  Totality: total
  Visibility: public export
EISNAM : Errno
  Totality: total
  Visibility: public export
EREMOTEIO : Errno
  Totality: total
  Visibility: public export
ENOMEDIUM : Errno
  Totality: total
  Visibility: public export
EMEDIUMTYPE : Errno
  Totality: total
  Visibility: public export
ENOKEY : Errno
  Totality: total
  Visibility: public export
EKEYEXPIRED : Errno
  Totality: total
  Visibility: public export
EKEYREVOKED : Errno
  Totality: total
  Visibility: public export
EKEYREJECTED : Errno
  Totality: total
  Visibility: public export
ERFKILL : Errno
  Totality: total
  Visibility: public export
EHWPOISON : Errno
  Totality: total
  Visibility: public export
errorText : Errno -> String
  Totality: total
  Visibility: export
errorName : Errno -> String
  Totality: total
  Visibility: export