/usr/lib/swipl/library/ext/archive/archive.pl
All Application Manual Name SummaryHelp

  • archive
    • archive.pl -- Access several archive formats
      • archive_open/3
      • archive_open/4
      • archive_close/1
      • archive_property/2
      • archive_next_header/2
      • archive_open_entry/2
      • archive_set_header_property/2
      • archive_header_property/2
      • archive_extract/3
      • archive_entries/2
      • archive_data_stream/3
      • archive_create/3
      • archive_foldl/4
 archive_foldl(:Goal, +Archive, +State0, -State)
Operates like foldl/4 but for the entries in the archive. For each member of the archive, Goal called as `call(:Goal, +Path, +Handle, +S0, -S1). Here, S0 is current state of the accumulator (starting with State0) and S1 is the next state of the accumulator, producing State after the last member of the archive.
Arguments:
Archive- File name or stream to be given to archive_open/[3,4].
See also
- archive_header_property/2, archive_open/4.