Module Tree.Make_applicative_traversals

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