Data.Compress.Interface

Definitions

interface Decompressor : Type -> Type

Parameters: a
Methods:

feed : a -> List Bits8 -> Either String (List Bits8, a)

  decompress a part of the compressed stream

done : a -> Either String (List Bits8)

  signify the compressed stream has been completely consumed
  return the leftover data

init : a

  init state

Implementations:

Decompressor IdentityState

Decompressor InflateState

Decompressor GZipState

feed : Decompressor a => a -> List Bits8 -> Either String (List Bits8, a)

  decompress a part of the compressed stream

Visibility: public export

done : Decompressor a => a -> Either String (List Bits8)

  signify the compressed stream has been completely consumed
  return the leftover data

Visibility: public export

init : Decompressor a => a

  init state

Visibility: public export

data IdentityState : Type

Totality: total
Visibility: public export
Constructor: 

Id : IdentityState

Hint: 

Decompressor IdentityState

decompress : a -> Decompressor a => List Bits8 -> Either String (List Bits8)

Visibility: export