visitors 20210608 · OCaml Package

inherit monoid

method private visit_array : 'env 'a 'b 'c. ('env -> 'a -> 'b -> 'c * 's) ->
  'env ->
  'a array ->
  'b array ->
  'c array * 's

method private visit_bool : 'env. 'env -> bool -> bool -> bool * 's0

method private visit_bytes : 'env. 'env -> bytes -> bytes -> bytes * 's0

method private visit_char : 'env. 'env -> char -> char -> char * 's0

method private visit_float : 'env. 'env -> float -> float -> float * 's0

method private visit_int : 'env. 'env -> int -> int -> int * 's0

method private visit_int32 : 'env. 'env -> int32 -> int32 -> int32 * 's0

method private visit_int64 : 'env. 'env -> int64 -> int64 -> int64 * 's0

method private visit_lazy_t : 'env 'a0 'b 'c. ('env -> 'a0 -> 'b -> 'c * 's1) ->
  'env ->
  'a0 Stdlib.Lazy.t ->
  'b Stdlib.Lazy.t ->
  'c Stdlib.Lazy.t * 's1

method private visit_list : 'env 'a_0 'a_1 'a_2. ('env ->
                                                   'a_0 ->
                                                   'a_1 ->
                                                   'a_2 * 's2) ->
  'env ->
  'a_0 list ->
  'a_1 list ->
  'a_2 list * 's2

method private visit_nativeint : 'env. 'env ->
  nativeint ->
  nativeint ->
  nativeint * 's0

method private visit_option : 'env 'a_0 'a_1 'a_2. ('env ->
                                                     'a_0 ->
                                                     'a_1 ->
                                                     'a_2 * 's3) ->
  'env ->
  'a_0 option ->
  'a_1 option ->
  'a_2 option * 's3

method private visit_ref : 'env 'a_0 'a_1 'a_2. ('env ->
                                                  'a_0 ->
                                                  'a_1 ->
                                                  'a_2 * 's4) ->
  'env ->
  'a_0 Stdlib.ref ->
  'a_1 Stdlib.ref ->
  'a_2 Stdlib.ref * 's4

method private visit_result : 'env 'a_0 'a_1 'a_2 'b_0 'b_1 'b_2. ('env ->
                                                                    'a_0 ->
                                                                    'a_1 ->
                                                                    'a_2 * 's5) ->
  ('env -> 'b_0 -> 'b_1 -> 'b_2 * 's5) ->
  'env ->
  ('a_0, 'b_0) Result.result ->
  ('a_1, 'b_1) Result.result ->
  ('a_2, 'b_2) Result.result * 's5

method private visit_string : 'env. 'env -> string -> string -> string * 's0

method private visit_unit : 'env. 'env -> unit -> unit -> unit * 's6

package visitors