| ||||||||||
| ||||||||||
| ||||||||||
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 |