Module `V1.Make`

Parameters

module M : sig ... end

Signature

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t @ local) ->
  from:'a M.t ->
  to_:'a M.t ->
  (M.Key.t, 'a, 'a_diff) Diffable.Map_diff.Stable.V1.t Diffable.Optional_diff.t @ local

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a M.t ->
  (M.Key.t, 'a, 'a_diff) Diffable.Map_diff.Stable.V1.t ->
  'a M.t

val of_list_exn : 
  ('a_diff list -> 'a_diff Diffable.Optional_diff.t @ local) ->
  ('a -> 'a_diff -> 'a) ->
  (M.Key.t, 'a, 'a_diff) Diffable.Map_diff.Stable.V1.t list ->
  (M.Key.t, 'a, 'a_diff) Diffable.Map_diff.Stable.V1.t Diffable.Optional_diff.t @ local