Data type for zip entries.
Data type for zip entries.
file name
The last modification time of the entry in milliseconds since the epoch, or -1 if not specified
Factory for ZipInputStreamSource instances wrapped into Source.
Factory for ZipInputStreamSource instances wrapped into Source.
a function that builds a ZipInputStream
the size of the chunks
collection of allowed extensions for zipped containers, as zip or jar files. Only ".zip" extension allowed by default.
ZipInputStreamSource instance
Java API: Factory for ZipInputStreamSource instances wrapped into Source.
Java API: Factory for ZipInputStreamSource instances wrapped into Source.
a function that builds a ZipInputStream
the size of the chunks
collection of allowed extensions for zipped containers, as zip or jar files. Only ".zip" extension allowed by default.
ZipInputStreamSource instance
This companion defines a factory for ZipInputStreamSource instances, see ZipInputStreamSource.apply.