Idris2Doc : System.Linux.Inotify

System.Linux.Inotify

(source)
Reexports
import public System.Linux.Inotify.Flags
import public System.Linux.Inotify.Inotify
import public System.Posix.File
Definitions
inotifyInit : Has Errno es => EIO1 f => InotifyFlags -> f es Inotify
  Opens a new `inotify` file descriptor.

  Totality: total
  Visibility: export
inotifyAddWatch : Has Errno es => EIO1 f => Inotify -> String -> InotifyMask -> f es Watch
  Watches a file for the given events.

  Totality: total
  Visibility: export
inotifyRm : Has Errno es => EIO1 f => Inotify -> Watch -> f es ()
  Totality: total
  Visibility: export
inotifyRead : Has Errno es => EIO1 f => Bits32 -> Inotify -> f es (List InotifyRes)
  Reads at most `buf` from an `inotify` file descriptor.

  Totality: total
  Visibility: export