summaryrefslogtreecommitdiffstats
path: root/bin/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'bin/main.ml')
-rw-r--r--bin/main.ml25
1 files changed, 1 insertions, 24 deletions
diff --git a/bin/main.ml b/bin/main.ml
index 1c6c6c9..f2986ab 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -1,29 +1,6 @@
1open Core 1open Rdcapsis.Prelude
2module Time_ns = Time_ns_unix 2module Time_ns = Time_ns_unix
3 3
4module List = struct
5 include List
6
7 let map_result ~(f : 'a -> ('b, 'c) result) : 'a list -> ('b list, 'c) result
8 =
9 let open Result.Let_syntax in
10 let rec go = function
11 | [] -> return []
12 | x :: xs ->
13 let%map x' = f x and xs' = go xs in
14 x' :: xs'
15 in
16 go
17end
18
19module Result = struct
20 include Result
21
22 let unwrap = function
23 | Error _ -> failwith "Result.unwrap: unexpected (Error _)"
24 | Ok v -> v
25end
26
27let () = 4let () =
28 let ams_tz = Time_ns.Zone.find_exn "Europe/Amsterdam" in 5 let ams_tz = Time_ns.Zone.find_exn "Europe/Amsterdam" in
29 let prim_txs = 6 let prim_txs =