diff options
| author | Camil Staps | 2016-05-21 14:13:01 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-05-21 14:13:01 +0200 |
| commit | 2971bf46bbed158f9622d83fdeb7fb4fc04689f0 (patch) | |
| tree | 1a769b5d212f64e9b98ad539aea4e8c46e12aa96 /Inotify.dcl | |
| parent | Documentation; inotify_is_event; timeout for polling (diff) | |
Readme; 80 chars
Diffstat (limited to 'Inotify.dcl')
| -rw-r--r-- | Inotify.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Inotify.dcl b/Inotify.dcl index c3a3e05..82c83c1 100644 --- a/Inotify.dcl +++ b/Inotify.dcl @@ -73,7 +73,8 @@ inotify_is_event :: INMask INEvent -> Bool * Combination of inotify_poll and inotify_check that will return only if no * events were given when a timeout occurred. */ -inotify_loop_with_timeout :: !(Maybe Int) !*(Inotify st) !*World -> *(!*Inotify st, !*World) +inotify_loop_with_timeout :: !(Maybe Int) !*(Inotify st) !*World + -> *(!*Inotify st, !*World) /** * inotify_loop_with_timeout with Nothing as timeout (will never return) |