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

Instances details

Eq IncrHash Source #
Instance details Defined in What4.Utils.IncrHash Methods (==) :: IncrHash -> IncrHash -> Bool # (/=) :: IncrHash -> IncrHash -> Bool #
Ord IncrHash Source #
Instance details Defined in What4.Utils.IncrHash Methods compare :: IncrHash -> IncrHash -> Ordering # (<) :: IncrHash -> IncrHash -> Bool # (<=) :: IncrHash -> IncrHash -> Bool # (>) :: IncrHash -> IncrHash -> Bool # (>=) :: IncrHash -> IncrHash -> Bool # max :: IncrHash -> IncrHash -> IncrHash # min :: IncrHash -> IncrHash -> IncrHash #
Semigroup IncrHash Source #
Instance details Defined in What4.Utils.IncrHash Methods (<>) :: IncrHash -> IncrHash -> IncrHash # sconcat :: NonEmpty IncrHash -> IncrHash # stimes :: Integral b => b -> IncrHash -> IncrHash #
Monoid IncrHash Source #
Instance details Defined in What4.Utils.IncrHash Methods mempty :: IncrHash # mappend :: IncrHash -> IncrHash -> IncrHash # mconcat :: [IncrHash] -> IncrHash #
Hashable IncrHash Source #
Instance details Defined in What4.Utils.IncrHash Methods hashWithSalt :: Int -> IncrHash -> Int # hash :: IncrHash -> Int #