package serde

  1. Overview
  2. Docs

Source file visitor.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
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