class type archive_folder = object
.. end
This class type defines a "folder", instances being used as
"functions" to transform archives. The "function" is defined by
parts through the various methods of the object. Any method is
responsible for the calling of its embedded elements.
: string ->
(< bare_entry : Zip.entry -> 'b; class_definition : ClassDefinition.t -> 'b;
class_entry : Zip.entry -> 'b; comment : 'a; data : string -> 'b;
directory_entry : Zip.entry -> 'b; entries : Zip.entry list -> 'b;
entry : Zip.entry -> 'b; package_definition : PackageDefinition.t -> 'b;
package_entry : Zip.entry -> 'b; .. >
as 'b)
as 'a
method entries : Zip.entry list -> 'b
method entry : Zip.entry -> 'b
method directory_entry : Zip.entry -> 'b
method package_entry : Zip.entry -> 'b
method class_entry : Zip.entry -> 'b
method bare_entry : Zip.entry -> 'b
method package_definition : PackageDefinition.t -> 'b
method class_definition : ClassDefinition.t -> 'b
method data : string -> 'b