Up

Module With_fold

keys that map to an accumulator value with an associated fold operation

Signature

module Key : sig .. end
val set : t -> ('a, 'b) Key.t -> 'b -> t

reset the accumulator

val find : t -> ('a, 'b) Key.t -> 'b

reset the accumulator

the current accumulator

val add : t -> ('a, 'b) Key.t -> 'a -> t

the current accumulator

fold value into accumulator

val change : t -> ('a, 'b) Key.t -> f:('b -> 'b) -> t

fold value into accumulator

accumulator update