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
|