Pipes.GZip

This module exports utilities to compress and decompress GZip pipes streams.

Streams

decompress

Arguments

:: MonadIO m

=> Proxy x' x () ByteString m r

Compressed stream

-> Proxy x' x () ByteString m r

Decompressed stream

Decompress bytes flowing from a Producer.

decompress :: MonadIO m
           => Producer ByteString m r
           -> Producer ByteString m r

decompress'

Arguments

:: MonadIO m

=> Producer ByteString m r

Compressed stream

-> Producer ByteString m (Either (Producer ByteString m r) r)

Decompressed stream, returning either a Producer of the leftover input or the return value from the input Producer.

Decompress bytes flowing from a Producer, returning any leftover input that follows the compressed stream.

compress

Arguments

:: MonadIO m

=> CompressionLevel

-> Proxy x' x () ByteString m r

Decompressed stream

-> Proxy x' x () ByteString m r

Compressed stream

Compress bytes flowing from a Producer.

compress :: MonadIO m
         => CompressionLevel
         -> Producer ByteString m r
         -> Producer ByteString m r

Compression level

data CompressionLevel

How hard should we try to compress?

Instances

Eq CompressionLevel

Ord CompressionLevel

Read CompressionLevel

Show CompressionLevel

defaultCompression :: CompressionLevel

noCompression :: CompressionLevel

bestSpeed :: CompressionLevel

bestCompression :: CompressionLevel

compressionLevel :: Int -> CompressionLevel

A specific compression level between 0 and 9.