System.Linux.Timerfd.Prim

Reexports

Definitions

timerfd : ClockId -> TimerfdFlags -> EPrim Timerfd

  Opens a new `timerfd` file descriptor for observing the given clock.
  
  
  Notes:
  * A `signalfd` should be closed using `close` just like other file
    descriptors.
  * In general, use `readTimerfd` instead of the `read` functions
    from `System.Posix.File` to read from a `timerfd`.

Totality: total
Visibility: export

setitime : Timerfd -> Bits32 -> IOTimerspec -> IOTimerspec -> EPrim ()

  Sets the time of a `timerfd`.
  
  The currently set time will be stored in `old`.
  Use the `TFD_TIMER_ABSTIME` flag if the time should be interpreted as
  an absolute wall clock time.

Totality: total
Visibility: export

getitime : Timerfd -> IOTimerspec -> PrimIO ()

  Reads the currently set `itimerspec` of a `timerfd` and uses the given
  pointer to place the data.

Totality: total
Visibility: export

readTimerfd : Timerfd -> EPrim Bits64

  Reads data from a `timerfd`.
  
  This will block until the next time the timer expires unless `TFD_NONBLOCK`
  was set when creating the timer.
  
  The value returned is the number of times the timer expired since
  the last read.

Totality: total
Visibility: export

setTime : Timerfd -> Bits32 -> Timerspec -> EPrim ()

  Like `setitime` but without storing the currently set `itimerspec`.

Totality: total
Visibility: export

getTime : Timerfd -> EPrim Timerspec

  Convenience alias for `getitime`.

Totality: total
Visibility: export