System.Linux.Eventfd.Prim

Reexports

Definitions

eventfd : Bits64 -> EventfdFlags -> EPrim Eventfd

  Opens a new `eventfd` file descriptor writing the given value
  to it.
  
  Notes:
  * An `eventfd` should be closed using `close` just like other file
    descriptors.
  * In general, use `readEventfd` instead of the `read` functions
    from `System.Posix.File` to read from an `eventfd`.
  * Likewise, use `writeEventfd` instead of `System.Posix.File.write`

Totality: total
Visibility: export

writeEventfd : Eventfd -> Bits64 -> EPrim ()

  Writes a value to the given event file descriptor.

Totality: total
Visibility: export

readEventfd : Eventfd -> EPrim Bits64

  Reads the current value from an event file descriptor.
  
  If the current value is 0, this will block until a non-zero value
  is ready. If opened with the `EFD_NONBLOCK` flag, this fails with `EAGAIN`
  if no value is ready. If opened with the `EFD_SEMAPHORE` flag, this will
  return 1 if a value is ready and reduce the value by 1.

Totality: total
Visibility: export