Source file `test_tuple.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
open! Base
open Expect_test_helpers_base

type ('a, 'b, 'c) t = ('a, 'b, 'c) N_ary.Tuple3.t
[@@deriving compare, equal, hash, sexp_of]

let create = N_ary.Tuple3.create

let%expect_test _ =
  print_s [%sexp (create 1 2 3 : (int, int, int) t)];
  [%expect {| (1 2 3) |}]
;;

let part0 = N_ary.Tuple3.part0

let%expect_test _ =
  print_s [%sexp (part0 (1, 2, 3) : int)];
  [%expect {| 1 |}]
;;

let part1 = N_ary.Tuple3.part1

let%expect_test _ =
  print_s [%sexp (part1 (1, 2, 3) : int)];
  [%expect {| 2 |}]
;;

let part2 = N_ary.Tuple3.part2

let%expect_test _ =
  print_s [%sexp (part2 (1, 2, 3) : int)];
  [%expect {| 3 |}]
;;

let set_part0 = N_ary.Tuple3.set_part0

let%expect_test _ =
  print_s [%sexp (set_part0 (1, 2, 3) 10 : (int, int, int) t)];
  [%expect {| (10 2 3) |}]
;;

let set_part1 = N_ary.Tuple3.set_part1

let%expect_test _ =
  print_s [%sexp (set_part1 (1, 2, 3) 20 : (int, int, int) t)];
  [%expect {| (1 20 3) |}]
;;

let set_part2 = N_ary.Tuple3.set_part2

let%expect_test _ =
  print_s [%sexp (set_part2 (1, 2, 3) 30 : (int, int, int) t)];
  [%expect {| (1 2 30) |}]
;;

let map = N_ary.Tuple3.map

let%expect_test _ =
  print_s
    [%sexp
      (map (1, 2, 3) ~f0:(( + ) 10) ~f1:(( + ) 20) ~f2:(( + ) 30) : (int, int, int) t)];
  [%expect {| (11 22 33) |}]
;;

let map_part0 = N_ary.Tuple3.map_part0

let%expect_test _ =
  print_s [%sexp (map_part0 (1, 2, 3) ~f:(( + ) 10) : (int, int, int) t)];
  [%expect {| (11 2 3) |}]
;;

let map_part1 = N_ary.Tuple3.map_part1

let%expect_test _ =
  print_s [%sexp (map_part1 (1, 2, 3) ~f:(( + ) 20) : (int, int, int) t)];
  [%expect {| (1 22 3) |}]
;;

let map_part2 = N_ary.Tuple3.map_part2

let%expect_test _ =
  print_s [%sexp (map_part2 (1, 2, 3) ~f:(( + ) 30) : (int, int, int) t)];
  [%expect {| (1 2 33) |}]
;;