Copyright | (c) Galois Inc 2019-2020 |
---|---|
License | BSD3 |
Maintainer | rdockins@galois.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
What4.Utils.IncrHash
Description
A basic datatype for incremental hashing which supports a monoid instance. Currently this is simply implemented as bitwise xor for simplicity.
If we later wish to experiment with other incremenal hash algorithms, this module abstracts over the implementation details.
Documentation
mkIncrHash :: Int -> IncrHash Source #
toIncrHash :: Hashable a => a -> IncrHash Source #
toIncrHashWithSalt :: Hashable a => Int -> a -> IncrHash Source #