3409

Committed 26 Feb 2025 01:10PM UTC coverage: 32.353% (-28.4%) from 60.756%

Build # 3409

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16687 from MinaProtocol/dw/merge-compatible-into-develop-20250225

Merge compatible into develop [20250224]

Run Details

23144 of 71535 relevant lines covered (32.35%)

16324.05 hits per line

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

16.67

/src/lib/rosetta_lib/validation.ml

open Core_kernel

(* Applicative validation -- like https://hackage.haskell.org/package/validation-1.1/docs/Data-Validation.html   *)
module T = struct
  type ('a, 'b) t = ('a, 'b list) Result.t

  let map = `Custom (fun t ~f -> Result.map ~f t)

  let return a = Result.return a

  let fail e = Result.fail [ e ]

  let apply ft t =
    match (ft, t) with
    | Ok f, Ok a ->
        Ok (f a)
    | Error es, Ok _ ->
        Error es
    | Ok _, Error es ->
        Error es
    | Error es, Error es' ->
        Error (es @ es')
end

include T
include Applicative.Make2 (T)

module Let_syntax = struct
  let return = return

  module Let_syntax = struct
    let return = return

    let map = map

    let both t1 t2 = apply (map t1 ~f:(fun x y -> (x, y))) t2

    module Open_on_rhs = struct end
  end
end

1	open Core_kernel	7✔
2
3	(* Applicative validation -- like https://hackage.haskell.org/package/validation-1.1/docs/Data-Validation.html *)
4	module T = struct
5	type ('a, 'b) t = ('a, 'b list) Result.t
6
7	let map = `Custom (fun t ~f -> Result.map ~f t)	×
8
9	let return a = Result.return a	×
10
11	let fail e = Result.fail [ e ]	×
12
13	let apply ft t =
14	match (ft, t) with	×
15	\| Ok f, Ok a ->	×
16	Ok (f a)	×
17	\| Error es, Ok _ ->	×
18	Error es
19	\| Ok _, Error es ->	×
20	Error es
21	\| Error es, Error es' ->	×
22	Error (es @ es')
23	end
24
25	include T
26	include Applicative.Make2 (T)
27
28	module Let_syntax = struct
29	let return = return
30
31	module Let_syntax = struct
32	let return = return
33
34	let map = map
35
36	let both t1 t2 = apply (map t1 ~f:(fun x y -> (x, y))) t2	×
37
38	module Open_on_rhs = struct end
39	end
40	end	7✔

MinaProtocol / mina / 3409

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