Idris2Doc : System.Linux.Timerfd

System.Linux.Timerfd

(source)

Reexports

importpublic Data.C.Ptr
importpublic System.Linux.Timerfd.Flags
importpublic System.Linux.Timerfd.Timerfd
importpublic System.Posix.File
importpublic System.Posix.Timer

Definitions

timerfd : HasErrnoes=>EIO1f=>ClockId->TimerfdFlags->fesTimerfd
  Opens a new `timerfd` file descriptor for observing the given clock.

Notes:
* A `timerfd` 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 : HasErrnoes=>EIO1f=>Timerfd->Bits32->IOTimerspec->IOTimerspec->fes ()
  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 : HasIOio=>Timerfd->IOTimerspec->io ()
  Reads the currently set `itimerspec` of a `timerfd` and uses the given
pointer to place the data.

Totality: total
Visibility: export
readTimerfd : HasErrnoes=>EIO1f=>Timerfd->fesBits64
  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 : HasErrnoes=>EIO1f=>Timerfd->Bits32->Timerspec->fes ()
  Like `setitime` but without storing the currently set `itimerspec`.

Totality: total
Visibility: export
getTime : HasErrnoes=>EIO1f=>Timerfd->fesTimerspec
  Convenience alias for `getitime`.

Totality: total
Visibility: export