2903

Committed 15 Nov 2024 01:59PM UTC coverage: 36.723% (-25.0%) from 61.682%

Build # 2903

Build Type

buildkite

Committed by

Commit Message

Merge branch 'dkijania/remove_publish_job_from_pr_comp' into dkijania/remove_publish_job_from_pr_dev

Run Details

15 of 40 new or added lines in 14 files covered. (37.5%)

15175 existing lines in 340 files now uncovered.

24554 of 66863 relevant lines covered (36.72%)

20704.91 hits per line

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

16.67

/src/lib/rosetta_lib/validation.ml

1	open Core_kernel	5✔
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
UNCOV 7	let map = `Custom (fun t ~f -> Result.map ~f t)	×
8
UNCOV 9	let return a = Result.return a	×
10
UNCOV 11	let fail e = Result.fail [ e ]	×
12
13	let apply ft t =
UNCOV 14	match (ft, t) with	×
UNCOV 15	\| Ok f, Ok a ->	×
UNCOV 16	Ok (f a)	×
UNCOV 17	\| Error es, Ok _ ->	×
18	Error es
UNCOV 19	\| Ok _, Error es ->	×
20	Error es
UNCOV 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
UNCOV 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	5✔