GZip
Operations and tasks for working with gzip compressed files.
Nested types and modules
Functions and values
Function or value | Description |
CompressFile setParams outFile file
Signature: setParams:(GZipCompressionParams -> GZipCompressionParams) -> outFile:FileInfo -> file:FileInfo -> unit
|
Compresses a file using gzip.
Parameters
setParams - A function which modifies the default compression parameters.
outFile - The compressed output file. If existing, will be overwritten.
file - The file to be compressed.
|
CompressFileWithDefaults outFile file
Signature: outFile:FileInfo -> file:FileInfo -> unit
|
Compresses a file using gzip.
Parameters
outFile - The compressed output file. If existing, will be overwritten.
file - The file to be compressed.
|
compressStream arg1 inner
Signature: GZipCompressionParams -> inner:Stream -> GZipOutputStream
|
Wraps an output stream with a gzip compressor.
|
createFile gzipParams file
Signature: gzipParams:GZipCompressionParams -> file:FileInfo -> GZipOutputStream
|
Creates a GZipOutputStream wrapping a file using the given parameters.
Parameters
gzipParams - The gzip compression parameters.
file - The FileInfo describing the location to which the compressed file should be written. Will be overwritten if it exists.
|
ExtractFile outFile file
Signature: outFile:FileInfo -> file:FileInfo -> unit
|
Extracts a file compressed with gzip.
Parameters
outFile - The extracted output file. If existing, will be overwritten.
file - The compressed file.
|
extractStream inner
Signature: inner:Stream -> GZipInputStream
|
Wraps an input stream with a zip decompressor.
|
GZipCompressionDefaults
Signature: GZipCompressionParams
|
The default gzip archive compression parameters
Defaults
Level - CompressionLevel.Default
|