fold_<T> state v
incorporates a value v
of type <T> into the hash-state,
returning a modified hash-state. Implementations of the fold_<T>
functions may
mutate the state
argument in place, and return a reference to it. Implementations
of the fold_<T> functions should not allocate.
reset ?seed state
initializes/resets a hash-state with the given seed
, or else a
default-seed. Argument state
may be mutated. Should not allocate.
module For_tests : sig ... end
val of_fold : (state ‑> 'a ‑> state) ‑> 'a ‑> hash_value
of_fold fold
constructs a standard hash function from an existing fold
function.
module Builtin : Base__.Hash_intf.Builtin_intf with type state := state and type a folder := a folder and type hash_value := hash_value
val run : ?seed:seed ‑> 'a folder ‑> 'a ‑> hash_value
run ?seed folder x
runs folder
on x
in a newly allocated hash-state,
initialized using optional seed
or a default-seed.
The following identity exists: run [%hash_fold: T]
== [%hash: T]
run
can be used if we wish to run a hash-folder with a non-default seed.