Idris2Doc : Data.Compress.CRC

Data.Compress.CRC

(source)
Definitions
update_crc32 : Bits32 -> List Bits8 -> Bits32
  Visibility: export
crc32 : List Bits8 -> Bits32
  Visibility: export