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

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