Idris2Doc : Data.Hashable.SipHashV2

Data.Hashable.SipHashV2

(source)
SipHash24 copied from C [reference implementation](https://github.com/veorq/SipHash/blob/master/siphash.c)
and rust https://doc.rust-lang.org/src/core/hash/sip.rs.html

Definitions

finish : PartialHash -> Bits64
Totality: total
Visibility: export
addBits8 : PartialHash -> Bits8 -> PartialHash
Totality: total
Visibility: export
addBits16 : PartialHash -> Bits16 -> PartialHash
Totality: total
Visibility: export
addBits32 : PartialHash -> Bits32 -> PartialHash
Totality: total
Visibility: export
addBits64 : PartialHash -> Bits64 -> PartialHash
Totality: total
Visibility: export