MinaProtocol / mina / 596

Committed 18 Sep 2025 12:10AM UTC coverage: 32.297% (-29.1%) from 61.359%

Build # 596

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #17790 from MinaProtocol/lyh/various-sig-kind-push-sep15

Various sig kind pushing

Run Details

1 of 7 new or added lines in 3 files covered. (14.29%)

19286 existing lines in 393 files now uncovered.

23363 of 72339 relevant lines covered (32.3%)

23562.61 hits per line

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

53.33

/src/lib/codable/codable.ml

open Core_kernel

module type Iso_intf = sig
  type original

  type standardized [@@deriving yojson]

  val encode : original -> standardized

  val decode : standardized -> original
end

module type S = sig
  type t

  val to_yojson : t -> Yojson.Safe.t

  val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
end

module Make (Iso : Iso_intf) = struct
  let to_yojson t = Iso.encode t |> Iso.standardized_to_yojson

  let of_yojson json =
    Result.map ~f:Iso.decode (Iso.standardized_of_yojson json)

  module For_tests = struct
    let check_encoding t ~equal =
      match of_yojson (to_yojson t) with
      | Ok result ->
          equal t result
      | Error e ->
          failwithf !"%s" e ()
  end
end

module For_tests = struct
  let check_encoding (type t) (module M : S with type t = t) t ~equal =
    match M.of_yojson (M.to_yojson t) with
    | Ok result ->
        equal t result
    | Error e ->
        failwithf !"%s" e ()
end

module Make_of_int (Iso : sig
  type t

  val to_int : t -> int

  val of_int : int -> t
end) =
Make (struct
  type original = Iso.t

  type standardized = int [@@deriving yojson]

  let encode = Iso.to_int

  let decode = Iso.of_int
end)

module Make_of_string (Iso : sig
  type t

  val to_string : t -> string

  val of_string : string -> t
end) =
Make (struct
  type original = Iso.t

  type standardized = string [@@deriving yojson]

  let encode = Iso.to_string

  let decode = Iso.of_string
end)

module Make_base58_check (T : sig
  type t [@@deriving bin_io]

  val description : string

  val version_byte : char
end) =
struct
  module Base58_check = Base58_check.Make (T)

  let to_base58_check t = Base58_check.encode (Binable.to_string (module T) t)

  let of_base58_check s =
    let open Or_error.Let_syntax in
    let%bind decoded = Base58_check.decode s in
    Or_error.try_with (fun () -> Binable.of_string (module T) decoded)

  let of_base58_check_exn s = of_base58_check s |> Or_error.ok_exn

  let to_yojson t = `String (to_base58_check t)

  let of_yojson = function
    | `String s ->
        Result.map_error (of_base58_check s) ~f:Error.to_string_hum
    | json ->
        failwithf "of_yojson: expect JSON string, got %s"
          (Yojson.Safe.to_string json)
          ()
end

module type Base58_check_base_intf = sig
  type t

  (** Base58Check decoding *)
  val of_base58_check : string -> t Base.Or_error.t

  (** Base58Check decoding *)
  val of_base58_check_exn : string -> t
end

module type Base58_check_intf = sig
  type t

  (** explicit Base58Check encoding *)
  val to_base58_check : t -> string

  include Base58_check_base_intf with type t := t
end

module Make_base64 (T : sig
  type t [@@deriving bin_io]
end) =
struct
  let to_base64 (t : T.t) : string =
    Binable.to_string (module T) t
    |> (* raises only on errors from invalid optional arguments *)
    Base64.encode_exn

  let of_base64 b64 : T.t Or_error.t =
    match Base64.decode b64 with
    | Ok s -> (
        try Ok (Binable.of_string (module T) s)
        with Bin_prot.Common.Read_error _ as e ->
          Error (Error.of_exn ~backtrace:`Get e) )
    | Error (`Msg msg) ->
        Error (Error.of_string msg)
end

module type Base64_intf = sig
  type t

  val to_base64 : t -> string

  val of_base64 : string -> t Or_error.t
end

1	open Core_kernel	167✔
2
3	module type Iso_intf = sig
4	type original
5
6	type standardized [@@deriving yojson]
7
8	val encode : original -> standardized
9
10	val decode : standardized -> original
11	end
12
13	module type S = sig
14	type t
15
16	val to_yojson : t -> Yojson.Safe.t
17
18	val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
19	end
20
21	module Make (Iso : Iso_intf) = struct
22	let to_yojson t = Iso.encode t \|> Iso.standardized_to_yojson	46,320✔
23
24	let of_yojson json =
25	Result.map ~f:Iso.decode (Iso.standardized_of_yojson json)	45,177✔
26
27	module For_tests = struct
28	let check_encoding t ~equal =
29	match of_yojson (to_yojson t) with	×
30	\| Ok result ->	×
31	equal t result
32	\| Error e ->	×
33	failwithf !"%s" e ()
34	end
35	end
36
37	module For_tests = struct
38	let check_encoding (type t) (module M : S with type t = t) t ~equal =
UNCOV 39	match M.of_yojson (M.to_yojson t) with	×
UNCOV 40	\| Ok result ->	×
41	equal t result
42	\| Error e ->	×
43	failwithf !"%s" e ()
44	end
45
46	module Make_of_int (Iso : sig
47	type t
48
49	val to_int : t -> int
50
51	val of_int : int -> t
52	end) =
53	Make (struct
54	type original = Iso.t
55
56	type standardized = int [@@deriving yojson]	×
57
58	let encode = Iso.to_int
59
60	let decode = Iso.of_int
61	end)
62
63	module Make_of_string (Iso : sig
64	type t
65
66	val to_string : t -> string
67
68	val of_string : string -> t
69	end) =
70	Make (struct
71	type original = Iso.t
72
73	type standardized = string [@@deriving yojson]	×
74
75	let encode = Iso.to_string
76
77	let decode = Iso.of_string
78	end)
79
80	module Make_base58_check (T : sig
81	type t [@@deriving bin_io]
82
83	val description : string
84
85	val version_byte : char
86	end) =
87	struct
88	module Base58_check = Base58_check.Make (T)
89
90	let to_base58_check t = Base58_check.encode (Binable.to_string (module T) t)	387,386✔
91
92	let of_base58_check s =
93	let open Or_error.Let_syntax in	62,205✔
94	let%bind decoded = Base58_check.decode s in	62,205✔
95	Or_error.try_with (fun () -> Binable.of_string (module T) decoded)	62,205✔
96
97	let of_base58_check_exn s = of_base58_check s \|> Or_error.ok_exn	51,895✔
98
99	let to_yojson t = `String (to_base58_check t)	7,413✔
100
101	let of_yojson = function
102	\| `String s ->	9,886✔
103	Result.map_error (of_base58_check s) ~f:Error.to_string_hum	9,886✔
104	\| json ->	×
105	failwithf "of_yojson: expect JSON string, got %s"
106	(Yojson.Safe.to_string json)	×
107	()
108	end
109
110	module type Base58_check_base_intf = sig
111	type t
112
113	(** Base58Check decoding *)
114	val of_base58_check : string -> t Base.Or_error.t
115
116	(** Base58Check decoding *)
117	val of_base58_check_exn : string -> t
118	end
119
120	module type Base58_check_intf = sig
121	type t
122
123	(** explicit Base58Check encoding *)
124	val to_base58_check : t -> string
125
126	include Base58_check_base_intf with type t := t
127	end
128
129	module Make_base64 (T : sig
130	type t [@@deriving bin_io]
131	end) =
132	struct
133	let to_base64 (t : T.t) : string =
134	Binable.to_string (module T) t	79✔
135	\|> (* raises only on errors from invalid optional arguments *)
136	Base64.encode_exn
137
138	let of_base64 b64 : T.t Or_error.t =
139	match Base64.decode b64 with	47✔
140	\| Ok s -> (	47✔
141	try Ok (Binable.of_string (module T) s)	47✔
142	with Bin_prot.Common.Read_error _ as e ->	×
143	Error (Error.of_exn ~backtrace:`Get e) )	×
144	\| Error (`Msg msg) ->	×
145	Error (Error.of_string msg)	×
146	end
147
148	module type Base64_intf = sig
149	type t
150
151	val to_base64 : t -> string
152
153	val of_base64 : string -> t Or_error.t
154	end	334✔

MinaProtocol / mina / 596

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