Module Map.Make_applicative_traversalsSource
Creates traversals to reconstruct a map within an applicative. Uses Lazy_applicative so that the map can be traversed within the applicative, rather than needing to be traversed all at once, outside the applicative.
Parameters
module A : sig ... endSignature
val mapi :
('k, 'v1, 'cmp) Core.Map.t ->
f:(key:'k -> data:'v1 -> 'v2 A.t) ->
('k, 'v2, 'cmp) Core.Map.t A.tval filter_mapi :
('k, 'v1, 'cmp) Core.Map.t ->
f:(key:'k -> data:'v1 -> 'v2 Base.Option.t A.t) ->
('k, 'v2, 'cmp) Core.Map.t A.t