/**
Copyright: Copyright (c) 2020, Joakim Brännström. All rights reserved.
License: $(LINK2 http://www.boost.org/LICENSE_1_0.txt, Boost Software License 1.0)
Author: Joakim Brännström (joakim.brannstrom@gmx.com)

This is based on webfreak's
[fswatch](git@github.com:WebFreak001/FSWatch.git). I had problems with the
API as it where because I needed to be able to watch multiple directories,
filter what files are to be watched and to be robust against broken symlinks.

Lets say you want to watch a directory for changes and add all directories to
be watched too.

---
auto fw = fileWatch();
fw.watchRecurse("my_dir");
while (true) {
    auto ev = fw.wait;
    foreach (e; ev) {
        e.match!(
        (Event.Access x) => writeln(x),
        (Event.Attribute x) => writeln(x),
        (Event.CloseWrite x) => writeln(x),
        (Event.CloseNoWrite x) => writeln(x),
        (Event.Create x) { fw.watchRecurse(x.path); },
        (Event.Delete x) => writeln(x),
        (Event.DeleteSelf x) => writeln(x),
        (Event.Modify x) => writeln(x),
        (Event.MoveSelf x) => writeln(x),
        (Event.Rename x) => writeln(x),
        (Event.Open x) => writeln(x),
        );
    }
}
---
*/
module my.fswatch;

import core.sys.linux.errno : errno;
import core.sys.linux.fcntl : fcntl, F_SETFD, FD_CLOEXEC;
import core.sys.linux.sys.inotify : inotify_rm_watch, inotify_init1, inotify_add_watch, inotify_event, IN_CLOEXEC,
    IN_NONBLOCK, IN_ACCESS, IN_MODIFY, IN_ATTRIB, IN_CLOSE_WRITE,
    IN_CLOSE_NOWRITE, IN_OPEN, IN_MOVED_FROM, IN_MOVED_TO,
    IN_CREATE, IN_DELETE, IN_DELETE_SELF, IN_MOVE_SELF, IN_UNMOUNT, IN_IGNORED, IN_EXCL_UNLINK;
import core.sys.linux.unistd : close, read;
import core.sys.posix.poll : pollfd, poll, POLLIN, POLLNVAL;
import core.thread : Thread;
import core.time : dur, Duration;
import logger = std.experimental.logger;
import std.array : appender, empty, array;
import std.conv : to;
import std.file : DirEntry, isDir, dirEntries, rmdirRecurse, write, append,
    rename, remove, exists, SpanMode, mkdir, rmdir;
import std.path : buildPath;
import std.range : isInputRange;
import std..string : toStringz, fromStringz;
import std.exception : collectException;

import sumtype;

import my.named_type;
import my.optional;
import my.path : AbsolutePath, Path;
import my.set;

struct Event {
    /// An overflow occured. Unknown what events actually triggered.
    static struct Overflow {
    }

    /// File was accessed (e.g., read(2), execve(2)).
    static struct Access {
        AbsolutePath path;
    }

    /** Metadata changed—for example, permissions (e.g., chmod(2)), timestamps
     * (e.g., utimensat(2)), extended attributes (setxattr(2)), link count
     * (since Linux 2.6.25; e.g., for the target of link(2) and for unlink(2)),
     * and user/group ID (e.g., chown(2)).
     */
    static struct Attribute {
        AbsolutePath path;
    }

    /// File opened for writing was closed.
    static struct CloseWrite {
        AbsolutePath path;
    }

    /// File or directory not opened for writing was closed.
    static struct CloseNoWrite {
        AbsolutePath path;
    }

    /** File/directory created in watched directory (e.g., open(2) O_CREAT,
     * mkdir(2), link(2), symlink(2), bind(2) on a UNIX domain socket).
     */
    static struct Create {
        AbsolutePath path;
    }

    /// File/directory deleted from watched directory.
    static struct Delete {
        AbsolutePath path;
    }

    /** Watched file/directory was itself deleted. (This event also occurs if
     * an object is moved to another filesystem, since mv(1) in effect copies
     * the file to the other filesystem and then deletes it from the original
     * filesys‐ tem.)  In addition, an IN_IGNORED event will subsequently be
     * generated for the watch descriptor.
     */
    static struct DeleteSelf {
        AbsolutePath path;
    }

    /// File was modified (e.g., write(2), truncate(2)).
    static struct Modify {
        AbsolutePath path;
    }

    /// Watched file/directory was itself moved.
    static struct MoveSelf {
        AbsolutePath path;
    }

    /// Occurs when a file or folder inside a folder is renamed.
    static struct Rename {
        AbsolutePath from;
        AbsolutePath to;
    }

    /// File or directory was opened.
    static struct Open {
        AbsolutePath path;
    }
}

alias FileChangeEvent = SumType!(Event.Access, Event.Attribute, Event.CloseWrite,
        Event.CloseNoWrite, Event.Create, Event.Delete, Event.DeleteSelf,
        Event.Modify, Event.MoveSelf, Event.Rename, Event.Open, Event.Overflow);

/// Construct a FileWatch.
auto fileWatch(FileWatch.FollowSymlink follow = FileWatch.FollowSymlink.init) {
    int fd = inotify_init1(IN_NONBLOCK | IN_CLOEXEC);
    if (fd == -1) {
        throw new Exception(
                "inotify_init1 returned invalid file descriptor. Error code " ~ errno.to!string);
    }
    return FileWatch(fd, follow);
}

/// Listens for create/modify/removal of files and directories.
enum ContentEvents = IN_CREATE | IN_DELETE | IN_DELETE_SELF | IN_MODIFY
    | IN_MOVE_SELF | IN_MOVED_FROM | IN_MOVED_TO | IN_EXCL_UNLINK | IN_CLOSE_WRITE;

/// Listen for events that change the metadata.
enum MetadataEvents = IN_ACCESS | IN_ATTRIB | IN_OPEN | IN_CLOSE_NOWRITE | IN_EXCL_UNLINK;

/** An instance of a FileWatcher
 */
struct FileWatch {
    import std.functional : toDelegate;

    alias FollowSymlink = NamedType!(bool, Tag!"FollowSymlink", bool.init, TagStringable);

    private {
        FdPoller poller;
        int fd;
        ubyte[1024 * 4] eventBuffer; // 4kb buffer for events
        struct FDInfo {
            int wd;
            bool watched;
            Path path;

            this(this) {
            }
        }

        FDInfo[int] directoryMap; // map every watch descriptor to a directory

        FollowSymlink follow;
    }

    private this(int fd, FollowSymlink follow) {
        this.fd = fd;
        this.follow = follow;
        poller.put(FdPoll(fd), [PollEvent.in_]);
    }

    ~this() {
        if (fd) {
            foreach (fdinfo; directoryMap.byValue) {
                if (fdinfo.watched)
                    inotify_rm_watch(fd, fdinfo.wd);
            }
            close(fd);
        }
    }

    /** Add a path to watch for events.
     *
     * Params:
     *  path = path to watch
     *  events = events to watch for. See man inotify and core.sys.linux.sys.inotify.
     *
     * Returns: true if the path was successfully added.
     */
    bool watch(Path path, uint events = ContentEvents) {
        import my.file : followSymlink;
        import my.optional;

        if (follow)
            path = followSymlink(path).orElse(path);

        const wd = inotify_add_watch(fd, path.toStringz, events);
        if (wd != -1) {
            const fc = fcntl(fd, F_SETFD, FD_CLOEXEC);
            if (fc != -1) {
                directoryMap[wd] = FDInfo(wd, true, path);
                return true;
            }
        }

        return false;
    }

    ///
    bool watch(string p, uint events = ContentEvents) {
        return watch(Path(p));
    }

    private static bool allFiles(string p) {
        return true;
    }

    /** Recursively add the path and all its subdirectories and files to be watched.
     *
     * Params:
     *  pred = only those files and directories that `pred` returns true for are watched, by default every file/directory.
     *  root = directory to watch together with its content and subdirectories.
     *  events = events to watch for. See man inotify and core.sys.linux.sys.inotify.
     *
     * Returns: paths that failed to be added.
     */
    AbsolutePath[] watchRecurse(Path root, uint events = ContentEvents,
            bool delegate(string) pred = toDelegate(&allFiles)) {
        import std.algorithm : filter;
        import my.file : existsAnd;

        auto failed = appender!(AbsolutePath[])();

        if (!watch(root, events)) {
            failed.put(AbsolutePath(root));
        }

        if (!existsAnd!isDir(root)) {
            return failed.data;
        }

        auto dirs = [AbsolutePath(root)];
        Set!AbsolutePath visited;
        while (!dirs.empty) {
            auto front = dirs[0];
            dirs = dirs[1 .. $];
            if (front in visited)
                continue;
            visited.add(front);

            try {
                foreach (p; dirEntries(front, SpanMode.shallow).filter!(a => pred(a.name))) {
                    if (!watch(Path(p.name), events)) {
                        failed.put(AbsolutePath(p.name));
                    }
                    if (existsAnd!isDir(Path(p.name))) {
                        dirs ~= AbsolutePath(p.name);
                    }
                }
            } catch (Exception e) {
                () @trusted { logger.trace(e); }();
                logger.trace(e.msg);
                failed.put(AbsolutePath(front));
            }
        }

        return failed.data;
    }

    ///
    AbsolutePath[] watchRecurse(string root, uint events = ContentEvents,
            bool delegate(string) pred = toDelegate(&allFiles)) {
        return watchRecurse(Path(root), events, pred);
    }

    /** The events that have occured since last query.
     *
     * Params:
     *  timeout = max time to wait for events.
     *
     * Returns: the events that has occured to the watched paths.
     */
    FileChangeEvent[] getEvents(Duration timeout = Duration.zero) {
        import std.algorithm : min;

        FileChangeEvent[] events;
        if (!fd)
            return events;

        auto res = poller.wait(timeout);

        if (res.empty) {
            return events;
        }

        if (res[0].status[PollStatus.nval]) {
            throw new Exception("Failed to poll events. File descriptor not open " ~ fd.to!string);
        }

        if (!res[0].status[PollStatus.in_]) {
            // no events to read
            return events;
        }

        const receivedBytes = read(fd, eventBuffer.ptr, eventBuffer.length);
        int i = 0;
        AbsolutePath[uint] cookie;
        while (true) {
            auto info = cast(inotify_event*)(eventBuffer.ptr + i);

            if (info.wd == -1) {
                events ~= FileChangeEvent(Event.Overflow.init);
            }
            if (info.wd !in directoryMap)
                continue;

            auto fname = () {
                string fileName = info.name.ptr.fromStringz.idup;
                return AbsolutePath(buildPath(directoryMap[info.wd].path, fileName));
            }();

            if ((info.mask & IN_MOVED_TO) == 0) {
                if (auto v = info.cookie in cookie) {
                    events ~= FileChangeEvent(Event.Delete(*v));
                    cookie.remove(info.cookie);
                }
            }

            if ((info.mask & IN_ACCESS) != 0) {
                events ~= FileChangeEvent(Event.Access(fname));
            }

            if ((info.mask & IN_ATTRIB) != 0) {
                events ~= FileChangeEvent(Event.Attribute(fname));
            }

            if ((info.mask & IN_CLOSE_WRITE) != 0) {
                events ~= FileChangeEvent(Event.CloseWrite(fname));
            }

            if ((info.mask & IN_CLOSE_NOWRITE) != 0) {
                events ~= FileChangeEvent(Event.CloseNoWrite(fname));
            }

            if ((info.mask & IN_CREATE) != 0) {
                events ~= FileChangeEvent(Event.Create(fname));
            }

            if ((info.mask & IN_DELETE) != 0) {
                events ~= FileChangeEvent(Event.Delete(fname));
            }

            if ((info.mask & IN_DELETE_SELF) != 0) {
                // must go via the mapping or there may be trailing junk in fname.
                events ~= FileChangeEvent(Event.DeleteSelf(directoryMap[info.wd].path.AbsolutePath));
            }

            if ((info.mask & IN_MODIFY) != 0) {
                events ~= FileChangeEvent(Event.Modify(fname));
            }

            if ((info.mask & IN_MOVE_SELF) != 0) {
                // must go via the mapping or there may be trailing junk in fname.
                events ~= FileChangeEvent(Event.MoveSelf(directoryMap[info.wd].path.AbsolutePath));
            }

            if ((info.mask & IN_MOVED_FROM) != 0) {
                cookie[info.cookie] = fname;
            }

            if ((info.mask & IN_MOVED_TO) != 0) {
                if (auto v = info.cookie in cookie) {
                    events ~= FileChangeEvent(Event.Rename(*v, fname));
                    cookie.remove(info.cookie);
                } else {
                    events ~= FileChangeEvent(Event.Create(fname));
                }
            }

            if ((info.mask & IN_DELETE_SELF) != 0 || (info.mask & IN_MOVE_SELF) != 0) {
                inotify_rm_watch(fd, info.wd);
                directoryMap[info.wd].watched = false;
            }

            i += inotify_event.sizeof + info.len;

            if (i >= receivedBytes)
                break;
        }

        foreach (c; cookie.byValue) {
            events ~= FileChangeEvent(Event.Delete(AbsolutePath(c)));
        }

        return events;
    }
}

///
unittest {
    import core.thread;

    if (exists("test"))
        rmdirRecurse("test");
    scope (exit) {
        if (exists("test"))
            rmdirRecurse("test");
    }

    auto watcher = fileWatch();

    mkdir("test");
    assert(watcher.watch("test"));

    write("test/a.txt", "abc");
    auto ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length > 0);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test/a.txt"));
            return true;
        }));

    append("test/a.txt", "def");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length > 0);
    assert(ev[0].tryMatch!((Event.Modify x) {
            assert(x.path == AbsolutePath("test/a.txt"));
            return true;
        }));

    rename("test/a.txt", "test/b.txt");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length > 0);
    assert(ev[0].tryMatch!((Event.Rename x) {
            assert(x.from == AbsolutePath("test/a.txt"));
            assert(x.to == AbsolutePath("test/b.txt"));
            return true;
        }));

    remove("test/b.txt");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length > 0);
    assert(ev[0].tryMatch!((Event.Delete x) {
            assert(x.path == AbsolutePath("test/b.txt"));
            return true;
        }));

    rmdirRecurse("test");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length > 0);
    assert(ev[0].tryMatch!((Event.DeleteSelf x) {
            assert(x.path == AbsolutePath("test"));
            return true;
        }));
}

///
unittest {
    import std.algorithm : canFind;

    if (exists("test2"))
        rmdirRecurse("test2");
    if (exists("test3"))
        rmdirRecurse("test3");
    scope (exit) {
        if (exists("test2"))
            rmdirRecurse("test2");
        if (exists("test3"))
            rmdirRecurse("test3");
    }

    auto watcher = fileWatch();
    mkdir("test2");
    assert(watcher.watchRecurse("test2").length == 0);

    write("test2/a.txt", "abc");
    auto ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 3);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test2/a.txt"));
            return true;
        }));
    assert(ev[1].tryMatch!((Event.Modify x) {
            assert(x.path == AbsolutePath("test2/a.txt"));
            return true;
        }));
    assert(ev[2].tryMatch!((Event.CloseWrite x) {
            assert(x.path == AbsolutePath("test2/a.txt"));
            return true;
        }));

    rename("test2/a.txt", "./testfile-a.txt");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 1);
    assert(ev[0].tryMatch!((Event.Delete x) {
            assert(x.path == AbsolutePath("test2/a.txt"));
            return true;
        }));

    rename("./testfile-a.txt", "test2/b.txt");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 1);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test2/b.txt"));
            return true;
        }));

    remove("test2/b.txt");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 1);
    assert(ev[0].tryMatch!((Event.Delete x) {
            assert(x.path == AbsolutePath("test2/b.txt"));
            return true;
        }));

    mkdir("test2/mydir");
    rmdir("test2/mydir");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 2);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test2/mydir"));
            return true;
        }));
    assert(ev[1].tryMatch!((Event.Delete x) {
            assert(x.path == AbsolutePath("test2/mydir"));
            return true;
        }));

    // test for creation, modification, removal of subdirectory
    mkdir("test2/subdir");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 1);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test2/subdir"));
            // add the created directory to be watched
            watcher.watchRecurse(x.path);
            return true;
        }));

    write("test2/subdir/c.txt", "abc");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 3);
    assert(ev[0].tryMatch!((Event.Create x) {
            assert(x.path == AbsolutePath("test2/subdir/c.txt"));
            return true;
        }));

    write("test2/subdir/c.txt", "\nabc");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 2);
    assert(ev[0].tryMatch!((Event.Modify x) {
            assert(x.path == AbsolutePath("test2/subdir/c.txt"));
            return true;
        }));

    rmdirRecurse("test2/subdir");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 3);
    foreach (e; ev) {
        assert(ev[0].tryMatch!((Event.Delete x) {
                assert(canFind([
                    AbsolutePath("test2/subdir/c.txt"),
                    AbsolutePath("test2/subdir")
                ], x.path));
                return true;
            }, (Event.DeleteSelf x) {
                assert(x.path == AbsolutePath("test2/subdir"));
                return true;
            }));
    }

    // removal of watched folder
    rmdirRecurse("test2");
    ev = watcher.getEvents(5.dur!"seconds");
    assert(ev.length == 1);
    assert(ev[0].tryMatch!((Event.DeleteSelf x) {
            assert(x.path == AbsolutePath("test2"));
            return true;
        }));
}

struct MonitorResult {
    enum Kind {
        Access,
        Attribute,
        CloseWrite,
        CloseNoWrite,
        Create,
        Delete,
        DeleteSelf,
        Modify,
        MoveSelf,
        Rename,
        Open,
        Overflow,
    }

    Kind kind;
    AbsolutePath path;
}

/** Monitor root's for filesystem changes which create/remove/modify
 * files/directories.
 */
struct Monitor {
    import std.array : appender;
    import std.file : isDir;
    import std.typecons : Tuple, tuple;
    import std.utf : UTFException;
    import my.filter : GlobFilter;
    import my.fswatch;

    private {
        Set!AbsolutePath roots;
        FileWatch fw;
        // global additives to subFilters.
        GlobFilter fileFilter;
        GlobFilter[AbsolutePath] subFilters;
        uint events;

        // roots that has been removed that may be re-added later on. the user
        // expects them to trigger events.
        Set!AbsolutePath monitorRoots;
    }

    /**
     * Params:
     *  roots = directories to recursively monitor
     */
    this(AbsolutePath[] roots, GlobFilter fileFilter,
            FileWatch.FollowSymlink follow = FileWatch.FollowSymlink.init,
            uint events = ContentEvents) {
        this(roots, fileFilter, null, follow, events);
    }

    this(AbsolutePath[] roots, GlobFilter fileFilter, GlobFilter[AbsolutePath] subFilters,
            FileWatch.FollowSymlink follow, uint events = ContentEvents) {
        this.roots = toSet(roots);
        this.fileFilter = fileFilter;
        this.subFilters = subFilters;
        this.events = events;

        auto app = appender!(AbsolutePath[])();
        fw = fileWatch(follow);
        foreach (r; roots) {
            app.put(fw.watchRecurse(r, events, (a) {
                    return isInteresting(fileFilter, subFilters, a);
                }));
        }

        logger.trace(!app.data.empty, "unable to watch ", app.data);
    }

    static bool isInteresting(GlobFilter rootFilter, ref GlobFilter[AbsolutePath] subFilters,
            string p) nothrow {
        import my.file : existsAnd;
        import my.filter : closest, GlobFilterClosestMatch, merge;

        try {
            const ap = AbsolutePath(p);

            if (existsAnd!isDir(ap))
                return true;
            auto f = closest(subFilters, ap).orElse(GlobFilterClosestMatch(rootFilter,
                    AbsolutePath(".")));
            f.filter = merge(f.filter, rootFilter);
            return f.match(ap.toString);
        } catch (Exception e) {
            collectException(logger.trace(e.msg));
        }

        return false;
    }

    /** Wait up to `timeout` for an event to occur for the monitored `roots`.
     *
     * Params:
     *  timeout = how long to wait for the event
     */
    MonitorResult[] wait(Duration timeout) {
        import std.array : array;
        import std.algorithm : canFind, startsWith, filter;

        auto rval = appender!(MonitorResult[])();

        {
            auto rm = appender!(AbsolutePath[])();
            foreach (a; monitorRoots.toRange.filter!(a => exists(a))) {
                fw.watchRecurse(a, events, a => isInteresting(fileFilter, subFilters, a));
                rm.put(a);
                rval.put(MonitorResult(MonitorResult.Kind.Create, a));
            }
            foreach (a; rm.data) {
                monitorRoots.remove(a);
            }
        }

        if (!rval.data.empty) {
            // collect whatever events that happend to have queued up together
            // with the artifically created.
            timeout = Duration.zero;
        }

        try {
            foreach (e; fw.getEvents(timeout)) {
                e.match!((Event.Overflow x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Overflow));
                }, (Event.Access x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Access, x.path));
                }, (Event.Attribute x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Attribute, x.path));
                }, (Event.CloseWrite x) {
                    rval.put(MonitorResult(MonitorResult.Kind.CloseWrite, x.path));
                }, (Event.CloseNoWrite x) {
                    rval.put(MonitorResult(MonitorResult.Kind.CloseNoWrite, x.path));
                }, (Event.Create x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Create, x.path));
                    fw.watchRecurse(x.path, events, a => isInteresting(fileFilter, subFilters, a));
                }, (Event.Modify x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Modify, x.path));
                }, (Event.MoveSelf x) {
                    rval.put(MonitorResult(MonitorResult.Kind.MoveSelf, x.path));
                    fw.watchRecurse(x.path, events, a => isInteresting(fileFilter, subFilters, a));

                    if (x.path in roots) {
                        monitorRoots.add(x.path);
                    }
                }, (Event.Delete x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Delete, x.path));
                }, (Event.DeleteSelf x) {
                    rval.put(MonitorResult(MonitorResult.Kind.DeleteSelf, x.path));

                    if (x.path in roots) {
                        monitorRoots.add(x.path);
                    }
                }, (Event.Rename x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Rename, x.to));
                }, (Event.Open x) {
                    rval.put(MonitorResult(MonitorResult.Kind.Open, x.path));
                },);
            }
        } catch (Exception e) {
            logger.trace(e.msg);
        }

        return rval.data.filter!(a => isInteresting(fileFilter, subFilters, a.path)).array;
    }

    /** Collects events from the monitored `roots` over a period.
     *
     * Params:
     *  collectTime = for how long to clear the queue
     */
    MonitorResult[] collect(Duration collectTime) {
        import std.algorithm : max, min;
        import std.datetime : Clock;

        auto rval = appender!(MonitorResult[])();
        const stopAt = Clock.currTime + collectTime;

        do {
            collectTime = max(stopAt - Clock.currTime, 1.dur!"msecs");
            if (!monitorRoots.empty) {
                // must use a hybrid approach of poll + inotify because if a
                // root is added it will only be detected by polling.
                collectTime = min(10.dur!"msecs", collectTime);
            }

            rval.put(wait(collectTime));
        }
        while (Clock.currTime < stopAt);

        return rval.data;
    }
}

@("shall re-apply monitoring for a file that is removed")
unittest {
    import my.filter : GlobFilter;
    import my.test;

    auto ta = makeTestArea("re-apply monitoring");
    const testTxt = ta.inSandbox("test.txt").AbsolutePath;

    write(testTxt, "abc");
    auto fw = Monitor([testTxt], GlobFilter(["*"], null));
    write(testTxt, "abcc");
    assert(!fw.wait(Duration.zero).empty);

    remove(testTxt);
    assert(!fw.wait(Duration.zero).empty);

    write(testTxt, "abcc");
    assert(!fw.wait(Duration.zero).empty);
}

/** A file descriptor to poll.
 */
struct FdPoll {
    int value;
}

/// Uses the linux poll syscall to wait for activity on the file descriptors.
struct FdPoller {
    import std.algorithm : min, filter;

    private {
        pollfd[] fds;
        PollResult[] results;
    }

    void put(FdPoll fd, PollEvent[] evs) {
        import core.sys.posix.poll;

        pollfd pfd;
        pfd.fd = fd.value;
        foreach (e; evs) {
            final switch (e) with (PollEvent) {
            case in_:
                pfd.events |= POLLIN;
                break;
            case out_:
                pfd.events |= POLLOUT;
                break;
            }
        }
        fds ~= pfd;

        // they must be the same length or else `wait` will fail.
        results.length = fds.length;
    }

    void remove(FdPoll fd) {
        fds = fds.filter!(a => a.fd != fd.value).array;

        results.length = fds.length;
    }

    PollResult[] wait(Duration timeout = Duration.zero) {
        import core.sys.posix.poll;
        import std.bitmanip : BitArray;

        const code = poll(&fds[0], fds.length, cast(int) min(int.max, timeout.total!"msecs"));

        if (code < 0) {
            import core.stdc.errno : errno, EINTR;

            if (errno == EINTR) {
                // poll just interrupted. try again.
                return (PollResult[]).init;
            }

            throw new Exception("Failed to poll events. Error code " ~ errno.to!string);
        } else if (code == 0) {
            // timeout triggered
            return (PollResult[]).init;
        }

        size_t idx;
        foreach (a; fds.filter!(a => a.revents != 0)) {
            PollResult res;
            res.status = BitArray([
                    (a.revents & POLLIN) != 0, (a.revents & POLLOUT) != 0,
                    (a.revents & POLLPRI) != 0, (a.revents & POLLERR) != 0,
                    (a.revents & POLLHUP) != 0, (a.revents & POLLNVAL) != 0,
                    ]);
            res.fd = FdPoll(a.fd);
            results[idx] = res;
            idx++;
        }

        return results[0 .. idx];
    }
}

/// Type of event to poll for.
enum PollEvent {
    in_,
    out_,
}

/// What each bit in `PollResult.status` represent.
enum PollStatus {
    // There is data to read.
    in_,
    // Writing  is  now  possible,  though a write larger that the available
    // space in a socket or pipe will still block (unless O_NONBLOCK is set).
    out_,
    // There is some exceptional condition on the file descriptor.  Possibilities include:
    // *  There is out-of-band data on a TCP socket (see tcp(7)).
    // *  A pseudoterminal master in packet mode has seen a state change on the slave (see ioctl_tty(2)).
    // *  A cgroup.events file has been modified (see cgroups(7)).
    pri,
    // Error condition (only returned in revents; ignored in events). This bit
    // is also set for a file descriptor referring to the write end of a pipe
    // when the read end has been closed.
    error,
    // Hang up (only returned in revents; ignored in events). Note that when
    // reading from a channel such as a pipe or a stream socket, this event
    // merely indicates that the peer closed its end of the channel.
    // Subsequent reads from the channel will re‐ turn 0 (end of file) only
    // after all outstanding data in the channel has been consumed.
    hup,
    /// Invalid request: fd not open (only returned in revents; ignored in events).
    nval,
}

/// File descriptors that triggered.
struct PollResult {
    import std.bitmanip : BitArray;

    BitArray status;
    FdPoll fd;
}