Map (bonsai.bonsai.arrow_deprecated.Bonsai_arrow

val assoc_input : 
  ('key, 'cmp) Core.Comparator.Module.t ->
  ('data, 'result) t ->
  (('key, 'data, 'cmp) Core.Map.t, ('key, 'result, 'cmp) Core.Map.t) t

assoc_input is used as a mapping function on a Map.t in order to produce a new map.

val associ_input : 
  ('key, 'cmp) Core.Comparator.Module.t ->
  ('key * 'data, 'result) t ->
  (('key, 'data, 'cmp) Core.Map.t, ('key, 'result, 'cmp) Core.Map.t) t

The same as assoc_input but the component has access to the key as well as the data.

val associ_input_with_extra : 
  ('key, 'cmp) Core.Comparator.Module.t ->
  ('key * 'data * 'input, 'result) t ->
  (('key, 'data, 'cmp) Core.Map.t * 'input, ('key, 'result, 'cmp) Core.Map.t) t

The same as associ_input but with some extra stuff to be provided to the component in addition to the key and data.