Idris2Doc : System.UV.Data.Error

System.UV.Data.Error

(source)
Definitions
data UVError : Type
  Totality: total
  Visibility: public export
  Constructors:
  
E2BIG : UVError
  
EACCES : UVError
  
EADDRINUSE : UVError
  
EADDRNOTAVAIL : UVError
  
EAFNOSUPPORT : UVError
  
EAGAIN : UVError
  
EAI_ADDRFAMILY : UVError
  
EAI_AGAIN : UVError
  
EAI_BADFLAGS : UVError
  
EAI_BADHINTS : UVError
  
EAI_CANCELED : UVError
  
EAI_FAIL : UVError
  
EAI_FAMILY : UVError
  
EAI_MEMORY : UVError
  
EAI_NODATA : UVError
  
EAI_NONAME : UVError
  
EAI_OVERFLOW : UVError
  
EAI_PROTOCOL : UVError
  
EAI_SERVICE : UVError
  
EAI_SOCKTYPE : UVError
  
EALREADY : UVError
  
EBADF : UVError
  
EBUSY : UVError
  
ECANCELED : UVError
  
ECHARSET : UVError
  
ECONNABORTED : UVError
  
ECONNREFUSED : UVError
  
ECONNRESET : UVError
  
EDESTADDRREQ : UVError
  
EEXIST : UVError
  
EFAULT : UVError
  
EFBIG : UVError
  
EHOSTUNREACH : UVError
  
EINTR : UVError
  
EINVAL : UVError
  
EIO : UVError
  
EISCONN : UVError
  
EISDIR : UVError
  
ELOOP : UVError
  
EMFILE : UVError
  
EMSGSIZE : UVError
  
ENAMETOOLONG : UVError
  
ENETDOWN : UVError
  
ENETUNREACH : UVError
  
ENFILE : UVError
  
ENOBUFS : UVError
  
ENODEV : UVError
  
ENOENT : UVError
  
ENOMEM : UVError
  
ENONET : UVError
  
ENOPROTOOPT : UVError
  
ENOSPC : UVError
  
ENOSYS : UVError
  
ENOTCONN : UVError
  
ENOTDIR : UVError
  
ENOTEMPTY : UVError
  
ENOTSOCK : UVError
  
ENOTSUP : UVError
  
EOVERFLOW : UVError
  
EPERM : UVError
  
EPIPE : UVError
  
EPROTO : UVError
  
EPROTONOSUPPORT : UVError
  
EPROTOTYPE : UVError
  
ERANGE : UVError
  
EROFS : UVError
  
ESHUTDOWN : UVError
  
ESPIPE : UVError
  
ESRCH : UVError
  
ETIMEDOUT : UVError
  
ETXTBSY : UVError
  
EXDEV : UVError
  
UNKNOWN : UVError
  
EOF : UVError
  
ENXIO : UVError
    
EHOSTDOWN : UVError
  
EREMOTEIO : UVError
  
ENOTTY : UVError
  
EFTYPE : UVError
  
EILSEQ : UVError
  
ESOCKTNOSUPPORT : UVError
  
ENODATA : UVError
  
EUNATCH : UVError

  Hints:
  
Eq UVError
  
Interpolation UVError
  
Show UVError
toCode : UVError -> Int32
  Totality: total
  Visibility: export
fromCode : Int32 -> UVError
  Totality: total
  Visibility: export
errorMsg : UVError -> String
  Totality: total
  Visibility: export