Index of values

add_watch desc path events sets up desc to watch for events occuring to path, and returns a watch descriptor.

add_watch fd path events starts observing events from events for path path at inotify file descriptor fd and returns a fresh watch descriptor, or raises Unix.Unix_error(errno, "inotify_add_watch", path).

close desc frees desc.

create () returns a new inotify descriptor.

create () returns a fresh inotify file descriptor or raises Unix.Unix_error(errno, "inotify_init", "").

int_of_watch wd returns the underlying integer representation of watch descriptor wd.

read desc waits for an event to occur at desc.

read fd requests a list of events for inotify file descriptor fd.

rm_watch desc watch stops desc from watching watch.

rm_watch fd watch stops observing events corresponding to watch descriptor watch at inotify file descriptor fd, or raises Unix.Unix_error(errno, "inotify_rm_watch", path).

string_of_event event returns the string representation of event ev, e.g.

string_of_event_kind ek returns the string representation of event kind ek, e.g.

try_read desc returns Some event if desc has queued events, or None otherwise.