Idris2Doc : Data.Compress.GZip

Data.Compress.GZip

(source)
Reexports
import public Data.Compress.Inflate
Definitions
data GZipParserState' : Type
  Totality: total
  Visibility: public export
  Constructors:
  
GZipHead : GZipParserState'
  
GZipFoot : GZipParserState'
  
GZipInflate : GZipParserState'
data GZipParserState : GZipParserState' -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
AtGHeader : GZipParserState GZipHead
  
AtInflate : Bits32 -> Bits32 -> InflateState -> GZipParserState GZipInflate
  
AtGFooter : Bits32 -> Bits32 -> GZipParserState GZipFoot
data GZipState : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkState : List Bits8 -> DPair GZipParserState' GZipParserState -> GZipState

  Hint: 
Decompressor GZipState
parse_gzip_header : Parser (List Bits8) (SimpleError String) ()
  Visibility: export
  Visibility: export