MinaProtocol / mina / 507

Committed 19 Aug 2025 11:53PM UTC coverage: 33.38% (-28.0%) from 61.334%

Build # 507

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #17640 from MinaProtocol/georgeee/compatible-to-develop-2025-08-19

Merge `compatible` to `develop` (19 August 2025, pt. 2)

Run Details

24170 of 72408 relevant lines covered (33.38%)

24770.87 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

16.67

/src/lib/mina_stdlib/map_set.ml

(** Utilities for dealing with "multimaps" or mapsets. *)

open Core_kernel

(* TODO consider using a lighter interface than Comparable.S *)
module Make (Key : Comparable.S) (Set : Generic_set.S0) = struct
  type t = Set.t Key.Map.t [@@deriving equal]

  (** Remove an element from a mapset. *)
  let remove_exn : t -> Key.t -> Set.el -> t =
   fun map k v ->
    let newset = Map.find_exn map k |> Fn.flip Set.remove v in
    if Set.is_empty newset then Map.remove map k
    else Map.set map ~key:k ~data:newset

  (* Add an element to a mapset. *)
  let insert : t -> Key.t -> Set.el -> t =
   fun map k v ->
    Map.change map k ~f:(fun set_opt ->
        match set_opt with
        | None ->
            Some (Set.singleton v)
        | Some set ->
            Some (Set.add set v) )
end

module Make_with_sexp_of
    (Key : Comparable.S) (Set : sig
      include Generic_set.S0

      val sexp_of_t : t -> Sexp.t
    end) =
struct
  include Make (Key) (Set)

  let sexp_of_t = [%sexp_of: Set.t Key.Map.t]
end

1	(** Utilities for dealing with "multimaps" or mapsets. *)
2		53✔
3	open Core_kernel
4
5	(* TODO consider using a lighter interface than Comparable.S *)
6	module Make (Key : Comparable.S) (Set : Generic_set.S0) = struct
7	type t = Set.t Key.Map.t [@@deriving equal]	×
8
9	(** Remove an element from a mapset. *)
10	let remove_exn : t -> Key.t -> Set.el -> t =
11	fun map k v ->
12	let newset = Map.find_exn map k \|> Fn.flip Set.remove v in	×
13	if Set.is_empty newset then Map.remove map k	×
14	else Map.set map ~key:k ~data:newset	×
15
16	(* Add an element to a mapset. *)
17	let insert : t -> Key.t -> Set.el -> t =
18	fun map k v ->
19	Map.change map k ~f:(fun set_opt ->	×
20	match set_opt with	×
21	\| None ->	×
22	Some (Set.singleton v)	×
23	\| Some set ->	×
24	Some (Set.add set v) )	×
25	end
26
27	module Make_with_sexp_of
28	(Key : Comparable.S) (Set : sig
29	include Generic_set.S0
30
31	val sexp_of_t : t -> Sexp.t
32	end) =
33	struct
34	include Make (Key) (Set)
35
36	let sexp_of_t = [%sexp_of: Set.t Key.Map.t]
37	end	106✔

MinaProtocol / mina / 507

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous