| ||||||||||
| ||||||||||
| ||||||||||
| Description | ||||||||||
| Synopsis | ||||||||||
| ||||||||||
| Types | ||||||||||
| data MonitorHandle | ||||||||||
| ||||||||||
| type MonitorCallback = MonitorHandle -> TextURI -> TextURI -> MonitorEventType -> IO () | ||||||||||
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 | ||||||||||
| monitorAdd | ||||||||||
| ||||||||||
| monitorCancel | ||||||||||
| ||||||||||
| Produced by Haddock version 0.8 | ||||||||||