Idris2Doc : System.Linux.Inotify.Prim

System.Linux.Inotify.Prim

(source)
Reexports
import public System.Linux.Inotify.Flags
import public System.Linux.Inotify.Inotify
import public System.Posix.File.Prim
Definitions
inotifyInit : InotifyFlags -> EPrim Inotify
  Opens a new `inotify` file descriptor.

  Totality: total
  Visibility: export
inotifyAddWatch : Inotify -> String -> InotifyMask -> EPrim Watch
  Watches a file for the given events.

  Totality: total
  Visibility: export
inotifyRm : Inotify -> Watch -> EPrim ()
  Totality: total
  Visibility: export
inotifyRead : Bits32 -> Inotify -> EPrim (List InotifyRes)
  Reads at most `buf` from an `inotify` file descriptor.

  Totality: total
  Visibility: export