Zip
Operations and tasks for working with zip archives.
Nested types and modules
Type | Description |
ZipCompressionParams |
The zip archive compression parameters. |
Functions and values
Function or value | Description |
addZipEntry(outStream)
Signature: outStream:ZipOutputStream -> ArchiveFileSpec -> unit
|
Adds a file, specified by an |
compress(zipParams)
Signature: zipParams:ZipCompressionParams -> FileInfo -> seq<ArchiveFileSpec> -> unit
|
Constructs a function that will create a zip archive from a set of files. |
Compress(...)
Signature: setParams:(ZipCompressionParams -> ZipCompressionParams) -> flatten:bool -> baseDir:DirectoryInfo -> archiveFile:FileInfo -> files:seq<FileInfo> -> unit
|
Creates a zip archive with the given files. Parameters
|
CompressDir(...)
Signature: setParams:(ZipCompressionParams -> ZipCompressionParams) -> flatten:bool -> baseDir:DirectoryInfo -> archiveFile:FileInfo -> unit
|
Creates a zip archive containing all the files in a directory. Parameters
|
CompressDirWithDefaults(...)
Signature: baseDir:DirectoryInfo -> archiveFile:FileInfo -> unit
|
Creates a zip archive containing all the files in a directory. Parameters
|
CompressSpecs(...)
Signature: setParams:(ZipCompressionParams -> ZipCompressionParams) -> archiveFile:FileInfo -> fileSpecs:seq<ArchiveFileSpec> -> unit
|
Creates a zip archive with the given archive file specifications. Parameters
|
compressStream arg1 inner
Signature: ZipCompressionParams -> inner:Stream -> ZipOutputStream
|
Wraps an output stream with a zip compressor. |
CompressWithDefaults(...)
Signature: baseDir:DirectoryInfo -> archiveFile:FileInfo -> files:seq<FileInfo> -> unit
|
Creates a zip archive with the given files with default parameters. Parameters
|
createFile zipParams file
Signature: zipParams:ZipCompressionParams -> file:FileInfo -> ZipOutputStream
|
Creates a Parameters
|
Extract extractDir archiveFile
Signature: extractDir:DirectoryInfo -> archiveFile:FileInfo -> unit
|
Extracts a zip archive to a given directory. Parameters
|
extractStream(inner)
Signature: inner:Stream -> ZipInputStream
|
Wraps an input stream with a zip decompressor. |
ZipCompressionDefaults
Signature: ZipCompressionParams
|
The default zip archive compression parameters Defaults
|