Data.Compress.Inflate

Definitions

data InflateParserState' : Type

Totality: total
Visibility: public export
Constructors:

InflateInit : InflateParserState'

InflateHuffman : InflateParserState'

InflateUncompressed : InflateParserState'

InflateEnd : InflateParserState'

data InflateParserState : InflateParserState' -> Type

Totality: total
Visibility: public export
Constructors:

AtHeader : InflateParserState InflateInit

AtHuffman : Bool -> HuffmanTree -> InflateParserState InflateHuffman

AtUncompressed : Bool -> Nat -> InflateParserState InflateUncompressed

AtEnd : SnocList Bits8 -> InflateParserState InflateEnd

data InflateState : Type

Totality: total
Visibility: public export
Constructor: 

MkState : Bitstream -> FiniteBuffer Bits8 -> DPair InflateParserState' InflateParserState -> InflateState

Hint: 

Decompressor InflateState