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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
module One_thing : sig
type t =
{ x : int
; mutable y : bool
}
[@@deriving_inline fields ~setters]
include sig
[@@@ocaml.warning "-32"]
val set_y : t -> bool -> unit
end
[@@ocaml.doc "@inline"]
[@@@end]
end
module Everything : sig
type t =
{ x : int
; mutable y : bool
}
[@@deriving_inline
fields
~getters
~setters
~names
~fields
~iterators:
( create
, make_creator
, exists
, fold
, fold_right
, for_all
, iter
, map
, to_list
, map_poly )
~direct_iterators:
(exists, fold, fold_right, for_all, iter, map, to_list, set_all_mutable_fields)]
include sig
[@@@ocaml.warning "-32-60"]
val y : t -> bool
val set_y : t -> bool -> unit
val x : t -> int
module Fields : sig
val names : string list
val y : (t, bool) Fieldslib.Field.t
val x : (t, int) Fieldslib.Field.t
val fold
: init:'acc__0
-> x:('acc__0 -> (t, int) Fieldslib.Field.t -> 'acc__1)
-> y:('acc__1 -> (t, bool) Fieldslib.Field.t -> 'acc__2)
-> 'acc__2
val fold_right
: x:((t, int) Fieldslib.Field.t -> 'acc__1 -> 'acc__2)
-> y:((t, bool) Fieldslib.Field.t -> 'acc__0 -> 'acc__1)
-> init:'acc__0
-> 'acc__2
val make_creator
: x:((t, int) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> int) * 'acc__1)
-> y:((t, bool) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> bool) * 'acc__2)
-> 'acc__0
-> ('input__ -> t) * 'acc__2
val create : x:int -> y:bool -> t
val map
: x:((t, int) Fieldslib.Field.t -> int)
-> y:((t, bool) Fieldslib.Field.t -> bool)
-> t
val iter
: x:((t, int) Fieldslib.Field.t -> unit)
-> y:((t, bool) Fieldslib.Field.t -> unit)
-> unit
val for_all
: x:((t, int) Fieldslib.Field.t -> bool)
-> y:((t, bool) Fieldslib.Field.t -> bool)
-> bool
val exists
: x:((t, int) Fieldslib.Field.t -> bool)
-> y:((t, bool) Fieldslib.Field.t -> bool)
-> bool
val to_list
: x:((t, int) Fieldslib.Field.t -> 'elem__)
-> y:((t, bool) Fieldslib.Field.t -> 'elem__)
-> 'elem__ list
val map_poly
: ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user
-> 'x0 list
module Direct : sig
val iter
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> unit)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> unit)
-> unit
val fold
: t
-> init:'acc__0
-> x:('acc__0 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__1)
-> y:('acc__1 -> (t, bool) Fieldslib.Field.t -> t -> bool -> 'acc__2)
-> 'acc__2
val for_all
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> bool)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> bool)
-> bool
val exists
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> bool)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> bool)
-> bool
val to_list
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> 'elem__)
-> 'elem__ list
val fold_right
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> 'acc__1 -> 'acc__2)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> 'acc__0 -> 'acc__1)
-> init:'acc__0
-> 'acc__2
val map
: t
-> x:((t, int) Fieldslib.Field.t -> t -> int -> int)
-> y:((t, bool) Fieldslib.Field.t -> t -> bool -> bool)
-> t
val set_all_mutable_fields : t -> y:bool -> unit
end
end
end
[@@ocaml.doc "@inline"]
[@@@end]
end
|
