What4.Utils.IncrHash

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

data IncrHash

Instances

Eq IncrHash

Defined in What4.Utils.IncrHash

Methods

(==) :: IncrHash -> IncrHash -> Bool

(/=) :: IncrHash -> IncrHash -> Bool

Ord IncrHash

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

Defined in What4.Utils.IncrHash

Methods

(<>) :: IncrHash -> IncrHash -> IncrHash

sconcat :: NonEmpty IncrHash -> IncrHash

stimes :: Integral b => b -> IncrHash -> IncrHash

Monoid IncrHash

Defined in What4.Utils.IncrHash

Methods

mempty :: IncrHash

mappend :: IncrHash -> IncrHash -> IncrHash

mconcat :: [IncrHash] -> IncrHash

Hashable IncrHash

Defined in What4.Utils.IncrHash

Methods

hashWithSalt :: Int -> IncrHash -> Int

hash :: IncrHash -> Int

mkIncrHash :: Int -> IncrHash

toIncrHash :: Hashable a => a -> IncrHash

toIncrHashWithSalt :: Hashable a => Int -> a -> IncrHash