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