Module `Map.Make_applicative_traversals`

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 : Applicative.Lazy_applicative

Signature

val mapi : 
  ('k, 'v1, 'cmp) t ->
  f:(key:'k -> data:'v1 -> 'v2 A.t) ->
  ('k, 'v2, 'cmp) t A.t

val filter_mapi : 
  ('k, 'v1, 'cmp) t ->
  f:(key:'k -> data:'v1 -> 'v2 option A.t) ->
  ('k, 'v2, 'cmp) t A.t