val assoc_model :
?comparator:('k, 'cmp) Core_kernel.Map.comparator ->
('input, 'model, 'result) t ->
('input,
('k, 'model, 'cmp) Core_kernel.Map.t,
('k, 'result, 'cmp) Core_kernel.Map.t)
tTransforms a component into a new component whose model and result are maps.
val associ_model :
?comparator:('k, 'cmp) Core_kernel.Map.comparator ->
('k * 'input, 'model, 'result) t ->
('input,
('k, 'model, 'cmp) Core_kernel.Map.t,
('k, 'result, 'cmp) Core_kernel.Map.t)
tTransforms a component into a new component whose model and result are maps. The input for the transformed component also receives its key as an input.
val assoc_input :
?comparator:('k, 'cmp) Core_kernel.Map.comparator ->
('input, 'model, 'result) t ->
(('k, 'input, 'cmp) Core_kernel.Map.t,
'model,
('k, 'result, 'cmp) Core_kernel.Map.t)
tTransforms a component into a new component whose input and result are maps.
val associ_input :
?comparator:('k, 'cmp) Core_kernel.Map.comparator ->
('k * 'input, 'model, 'result) t ->
(('k, 'input, 'cmp) Core_kernel.Map.t,
'model,
('k, 'result, 'cmp) Core_kernel.Map.t)
tTransforms a component into a new component whose input and result are maps. The input for the transformed component also receives its key as an input.
val merge :
('input, 'model, ('k, 'r1, 'cmp) Base.Map.t) t ->
('input, 'model, ('k, 'r2, 'cmp) Base.Map.t) t ->
f:
(key:'k ->
[ `Both of 'r1 * 'r2 | `Left of 'r1 | `Right of 'r2 ] ->
'result option) ->
('input, 'model, ('k, 'result, 'cmp) Base.Map.t) tGiven two components that produce maps, create a new component that produces a map that is merged according provided function f.