Module `Accessors_generic.Make_applicative_traversals`

Parameters

module A : Base.Applicative.Lazy_applicative

Signature

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

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