| archive.pl -- Access several archive formats | ||
|---|---|---|
| archive_close/1 | Close the archive. | |
| archive_create/3 | Convenience predicate to create an archive in OutputFile with data from a list of InputFiles and the given Options. | |
| archive_data_stream/3 | True when DataStream is a stream to a data object inside Archive. | |
| archive_entries/2 | True when Paths is a list of pathnames appearing in Archive. | |
| archive_extract/3 | Extract files from the given archive into Dir. | |
| archive_foldl/4 | Operates like foldl/4 but for the entries in the archive. | |
| archive_header_property/2 | True when Property is a property of the current header. | |
| archive_next_header/2 | Forward to the next entry of the archive for which Name unifies with the pathname of the entry. | |
| archive_open/3 | Wrapper around archive_open/4 that opens the archive in read mode. | |
| archive_open/4 | Open the archive in Data and unify Archive with a handle to the opened archive. | |
| archive_open_entry/2 | Open the current entry as a stream. | |
| archive_property/2 | True when Property is a property of the archive Handle. | |
| archive_set_header_property/2 | Set Property of the current header. | |