install(false) option or de-activated using uninstall_alarm/1.install(false) option or de-activated using uninstall_alarm/1.| crypt.pl | ||
|---|---|---|
| filesex.pl -- Extended operations on files | ||
| hash_stream.pl -- Maintain a hash on a stream | ||
| mallocinfo.pl -- Memory allocation details | ||
| md5.pl -- MD5 hashes | ||
| memfile.pl | ||
| process.pl -- Create processes and redirect I/O | ||
| rlimit.pl | ||
| sha.pl -- SHA secure hashes | ||
| socket.pl -- Network socket (TCP and UDP) library | ||
| streampool.pl -- Input multiplexing | ||
| close_stream_pool/0 | Close all streams in the pool. | |
| delete_stream_from_pool/1 | Retract stream from the pool. | |
| dispatch_stream_pool/1 | Wait for input on one or more streams and handle that. | |
| stream_pool_main_loop/0 | Keep handling input from the streams in the pool until they have all died away. | |
| syslog.pl -- Unix syslog interface | ||
| time.pl -- Time and alarm library | ||
| alarm/3 | Set up an alarm to be signaled Time seconds from now. | |
| alarm/4 | Set up an alarm to be signaled Time seconds from now. | |
| alarm_at/3 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | |
| alarm_at/4 | As alarm/3 and alarm/4, but schedule the alarm at an absolute point in time. | |
| call_with_time_limit/2 | Call Goal, while watching out for a (wall-time) limit. | |
| call_with_time_limit/3 | Call Goal, while watching out for a (wall-time) limit. | |
| current_alarm/4 | Enumerate the alarms in the schedule. | |
| install_alarm/1 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | |
| install_alarm/2 | Install an alarm allocated using alarm/4 with the install(false) option or de-activated using uninstall_alarm/1. | |
| remove_alarm/1 | Remove an alarm. | |
| uninstall_alarm/1 | De-activate an alarm. | |
| uid.pl -- User and group management on Unix systems | ||
| unix.pl -- Unix specific operations | ||
| uri.pl -- Process URIs | ||
| uuid.pl -- Universally Unique Identifier (UUID) Library | ||