package core

  1. Overview
  2. Docs

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

Signature

Sourceval mapi : ('k, 'v1, 'cmp) t -> f:(key:'k -> data:'v1 -> 'v2 A.t) -> ('k, 'v2, 'cmp) t A.t
Sourceval filter_mapi : ('k, 'v1, 'cmp) t -> f:(key:'k -> data:'v1 -> 'v2 Base.Option.t A.t) -> ('k, 'v2, 'cmp) t A.t