Idris2Doc : System.Linux.Epoll.Flags

System.Linux.Epoll.Flags

(source)

Reexports

import public System.Posix.Poll.Types

Definitions

record EpollFlags : Type
Totality: total
Visibility: public export
Constructor: 
F : Bits32 -> EpollFlags

Projection: 
.flags : EpollFlags -> Bits32

Hints:
Eq EpollFlags
Monoid EpollFlags
Ord EpollFlags
Semigroup EpollFlags
Show EpollFlags
.flags : EpollFlags -> Bits32
Totality: total
Visibility: public export
flags : EpollFlags -> Bits32
Totality: total
Visibility: public export
data EpollOp : Type
Totality: total
Visibility: public export
Constructors:
Add : EpollOp
Del : EpollOp
Mod : EpollOp

Hints:
Eq EpollOp
Ord EpollOp
Show EpollOp
opCode : EpollOp -> Bits32
Totality: total
Visibility: public export
EPOLLRDHUP : PollEvent
Totality: total
Visibility: public export
EPOLLET : PollEvent
Totality: total
Visibility: public export
EPOLLONESHOT : PollEvent
Totality: total
Visibility: public export
EPOLLWAKEUP : PollEvent
Totality: total
Visibility: public export
EPOLLEXCLUSIVE : PollEvent
Totality: total
Visibility: public export
EPOLL_CLOEXEC : EpollFlags
Totality: total
Visibility: public export
epoll_event_size : Bits32
Totality: total
Visibility: public export