Idris2Doc : Data.Compress.ZLib

Data.Compress.ZLib

(source)
Reexports
import public Data.Compress.Inflate
Definitions
data ZLibParserState' : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ZLibHead : ZLibParserState'
  
ZLibFoot : ZLibParserState'
  
ZLibInflate : ZLibParserState'
data ZLibParserState : ZLibParserState' -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
AtZHeader : ZLibParserState ZLibHead
  
AtInflate : Bits32 -> InflateState -> ZLibParserState ZLibInflate
  
AtZFooter : Bits32 -> ZLibParserState ZLibFoot
data ZLibState : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkState : List Bits8 -> DPair ZLibParserState' ZLibParserState -> ZLibState

  Hint: 
Decompressor ZLibState
parse_zlib_header : Parser (List Bits8) (SimpleError String) ()
  Visibility: export
  Visibility: export