HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | MLtonItimer |
| 2 | =========== | |
| 3 | ||
| 4 | [source,sml] | |
| 5 | ---- | |
| 6 | signature MLTON_ITIMER = | |
| 7 | sig | |
| 8 | datatype t = | |
| 9 | Prof | |
| 10 | | Real | |
| 11 | | Virtual | |
| 12 | ||
| 13 | val set: t * {interval: Time.time, value: Time.time} -> unit | |
| 14 | val signal: t -> Posix.Signal.signal | |
| 15 | end | |
| 16 | ---- | |
| 17 | ||
| 18 | * `set (t, {interval, value})` | |
| 19 | + | |
| 20 | sets the interval timer (using `setitimer`) specified by `t` to the | |
| 21 | given `interval` and `value`. | |
| 22 | ||
| 23 | * `signal t` | |
| 24 | + | |
| 25 | returns the signal corresponding to `t`. |