System.Linux.Error

Definitions

eagain : Bits32

ebadf : Bits32

eexist : Bits32

efault : Bits32

einval : Bits32

eisdir : Bits32

eio : Bits32

eloop : Bits32

enoent : Bits32

enomem : Bits32

enospc : Bits32

eperm : Bits32

ewouldblock : Bits32

eintr : Bits32

edestaddrreq : Bits32

efbig : Bits32

edquot : Bits32

epipe : Bits32

data EpollErr : Type

Totality: total
Visibility: public export
Constructors:

EAGAIN : EpollErr

EBADF : EpollErr

EDESTADDRREQ : EpollErr

EDQUOT : EpollErr

EEXIST : EpollErr

EFAULT : EpollErr

EFBIG : EpollErr

EINTR : EpollErr

EINVAL : EpollErr

EIO : EpollErr

EISDIR : EpollErr

ELOOP : EpollErr

ENOENT : EpollErr

ENOMEM : EpollErr

ENOSPC : EpollErr

EPERM : EpollErr

EPIPE : EpollErr

Hints:

Eq EpollErr

Finite EpollErr

Interpolation EpollErr

Show EpollErr

errCode : EpollErr -> Bits32

Totality: total
Visibility: export

fromCode : Bits32 -> EpollErr

Totality: total
Visibility: export

getErr : PrimIO (Either EpollErr a)

Totality: total
Visibility: export

checkErr : Int32 -> PrimIO (Either EpollErr ())

Totality: total
Visibility: export

checkSize : Int32 -> PrimIO (Either EpollErr Nat)

Totality: total
Visibility: export