
  0 | module System.Linux.Timerfd.Timerfd
  1 | 
  2 | import Data.C.Ptr
  3 | import public System.Posix.File.FileDesc
  4 | 
  5 | %default total
  6 | 
  7 | ||| A file descriptor for signal handling.
  8 | |||
  9 | ||| This can be used for synchronous signal handling using
 10 | ||| (blocking) `readSignalfd` directly, or for asynchronous signal handling
 11 | ||| using `epoll`.
 12 | export
 13 | record Timerfd where
 14 |   constructor TFD
 15 |   fd : Bits32
 16 | 
 17 | export %inline
 18 | Cast Timerfd Fd where cast = MkFd . fd
 19 | 
 20 | export %inline
 21 | Cast Bits32 Timerfd where cast = TFD
 22 | 
 23 | export %inline
 24 | Cast CInt Timerfd where cast = TFD . cast
 25 |