| Portability | portable (depends on GHC) |
|---|---|
| Stability | alpha |
| Maintainer | gtk2hs-devel@lists.sourceforge.net |
System.Gnome.VFS.Monitor
Contents
Description
- data MonitorHandle
- type MonitorCallback = MonitorHandle -> TextURI -> TextURI -> MonitorEventType -> IO ()
- monitorAdd :: String -> MonitorType -> MonitorCallback -> IO MonitorHandle
- monitorCancel :: MonitorHandle -> IO ()
Types
data MonitorHandle Source
A handle to a file-system monitor.
type MonitorCallback = MonitorHandle -> TextURI -> TextURI -> MonitorEventType -> IO ()Source
A callback that must be passed to monitorAdd. It will be
called any time a file or directory is changed.
The parameters, from left to right, are: * the handle to a filesystem monitor, * the URI being monitored, * the actual file that was modified, * the event that occured.
Operations
Arguments
| :: String |
|
| -> MonitorType |
|
| -> MonitorCallback |
|
| -> IO MonitorHandle | a handle to the new monitor |
Watch the object at textURI for changes, and call callback
when a change occurs.
Arguments
| :: MonitorHandle | monitorHandle |
| -> IO () |
Cancels the monitor referred to by monitorHandle.