Idris2Doc : System.Linux.Inotify

System.Linux.Inotify

(source)

Reexports

importpublic System.Linux.Inotify.Flags
importpublic System.Linux.Inotify.Inotify
importpublic System.Posix.File

Definitions

inotifyInit : HasErrnoes=>EIO1f=>InotifyFlags->fesInotify
  Opens a new `inotify` file descriptor.

Totality: total
Visibility: export
inotifyAddWatch : HasErrnoes=>EIO1f=>Inotify->String->InotifyMask->fesWatch
  Watches a file for the given events.

Totality: total
Visibility: export
inotifyRm : HasErrnoes=>EIO1f=>Inotify->Watch->fes ()
Totality: total
Visibility: export
inotifyRead : HasErrnoes=>EIO1f=>Bits32->Inotify->fes (ListInotifyRes)
  Reads at most `buf` from an `inotify` file descriptor.

Totality: total
Visibility: export