Up – Package index » incr_map » Library incr_map.collate » Incr_map_collate » Fold

Module `Incr_map_collate.Fold`Source

Sourcetype ('k, 'v, 'acc) t

val create : 
  ?revert_to_init_when_empty:bool ->
  init:'acc ->
  add:(key:'k -> data:'v -> 'acc -> 'acc) ->
  ?update:(key:'k -> old_data:'v -> new_data:'v -> 'acc -> 'acc) ->
  remove:(key:'k -> data:'v -> 'acc -> 'acc) ->
  ?finalize:('acc -> 'acc) ->
  unit ->
  ('k, 'v, 'acc) t