Idris2Doc : Data.Compress.Inflate

Data.Compress.Inflate

(source)

Definitions

dataInflateParserState' : Type
Totality: total
Visibility: public export
Constructors:
InflateInit : InflateParserState'
InflateHuffman : InflateParserState'
InflateUncompressed : InflateParserState'
InflateEnd : InflateParserState'
dataInflateParserState : InflateParserState'->Type
Totality: total
Visibility: public export
Constructors:
AtHeader : InflateParserStateInflateInit
AtHuffman : Bool->HuffmanTree->InflateParserStateInflateHuffman
AtUncompressed : Bool->Nat->InflateParserStateInflateUncompressed
AtEnd : SnocListBits8->InflateParserStateInflateEnd
dataInflateState : Type
Totality: total
Visibility: public export
Constructor: 
MkState : Bitstream->FiniteBufferBits8->DPairInflateParserState'InflateParserState->InflateState

Hint: 
DecompressorInflateState