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
module type Intf = Intf.Visitor_intf
type 'value t = (module Intf with type value = 'value)
type ('value, 'tag) with_tag =
(module Intf with type value = 'value and type tag = 'tag)
module Unimplemented = struct
let visit_bool : bool -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_bool"
let visit_unit : unit -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_unit"
let visit_char : char -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_char"
let visit_int : int -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_int"
let visit_float : float -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_float"
let visit_string : string -> ('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_string"
let visit_seq :
'state.
'value t ->
'state' Deserializer.t ->
('value, 'error) Sequence_access.t ->
('value, 'error Error.de_error) result =
fun _ _ _ -> Error.unimplemented "visit_seq"
let visit_variant :
('tag, 'value, 'error) Variant_access.t ->
('value, 'error Error.de_error) result =
fun _ -> Error.unimplemented "visit_variant"
let visit_map :
'state.
'value t ->
'state Deserializer.t ->
('value, 'error) Map_access.t ->
('value, 'error Error.de_error) result =
fun _ _ _ -> Error.unimplemented "visit_map"
end
module Make (B : Intf) = struct
include B
end