atdgen 1.12.0 · OCaml Package

exception Error of string

val error : string -> 'a

val read_error : unit -> 'a

val read_error_at : Bi_inbuf.t -> 'a

val tag_error : int -> string -> 'a

val unsupported_variant : int -> bool -> 'a

val missing_tuple_fields : int -> int list -> 'a

val missing_fields : int array -> string array -> 'a

val get_unit_reader : Bi_io.node_tag -> Bi_inbuf.t -> unit

val read_unit : Bi_inbuf.t -> unit

val get_bool_reader : Bi_io.node_tag -> Bi_inbuf.t -> bool

val read_bool : Bi_inbuf.t -> bool

val get_int_reader : int -> Bi_inbuf.t -> int

val read_int : Bi_inbuf.t -> int

val get_char_reader : Bi_io.node_tag -> Bi_inbuf.t -> char

val read_char : Bi_inbuf.t -> char

val get_int16_reader : Bi_io.node_tag -> Bi_inbuf.t -> int

val read_int16 : Bi_inbuf.t -> int

val get_int32_reader : Bi_io.node_tag -> Bi_inbuf.t -> int32

val read_int32 : Bi_inbuf.t -> int32

val get_int64_reader : Bi_io.node_tag -> Bi_inbuf.t -> int64

val read_int64 : Bi_inbuf.t -> int64

val get_float32_reader : Bi_io.node_tag -> Bi_inbuf.t -> float

val get_float64_reader : Bi_io.node_tag -> Bi_inbuf.t -> float

val get_float_reader : Bi_io.node_tag -> Bi_inbuf.t -> float

val read_float32 : Bi_inbuf.t -> float

val read_float64 : Bi_inbuf.t -> float

val read_float : Bi_inbuf.t -> float

val get_string_reader : Bi_io.node_tag -> Bi_inbuf.t -> string

val read_string : Bi_inbuf.t -> string

val read_array_value : 
  (Bi_io.node_tag -> Bi_inbuf.t -> 'a) ->
  Bi_inbuf.t ->
  'a array

val read_list_value : 
  (Bi_io.node_tag -> Bi_inbuf.t -> 'a) ->
  Bi_inbuf.t ->
  'a list

val get_array_reader : 
  (Bi_io.node_tag -> Bi_inbuf.t -> 'a) ->
  Bi_io.node_tag ->
  Bi_inbuf.t ->
  'a array

val get_list_reader : 
  (Bi_io.node_tag -> Bi_inbuf.t -> 'a) ->
  Bi_io.node_tag ->
  Bi_inbuf.t ->
  'a list

val read_array : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a array

val read_list : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a list

val write_tagged : 
  Bi_io.node_tag ->
  (Bi_outbuf.t -> 'a -> 'b) ->
  Bi_outbuf.t ->
  'a ->
  'b

val write_untagged_option : 
  (Bi_outbuf.t -> 'a -> unit) ->
  Bi_outbuf.t ->
  'a option ->
  unit

val write_option : 
  (Bi_outbuf.t -> 'a -> unit) ->
  Bi_outbuf.t ->
  'a option ->
  unit

val array_init2 : int -> 'a -> (int -> 'a -> 'b) -> 'b array

val array_init3 : int -> 'a -> 'b -> (int -> 'a -> 'b -> 'c) -> 'c array

val array_iter2 : ('a -> 'b -> 'c) -> 'a -> 'b array -> unit

val array_iter3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c array -> unit

val list_iter2 : ('a -> 'b -> 'c) -> 'a -> 'b list -> unit

val list_iter3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c list -> unit

val write_untagged_array : 
  Bi_io.node_tag ->
  (Bi_outbuf.t -> 'a -> 'b) ->
  Bi_outbuf.t ->
  'a array ->
  unit

val write_array : 
  Bi_io.node_tag ->
  (Bi_outbuf.t -> 'a -> 'b) ->
  Bi_outbuf.t ->
  'a array ->
  unit

val write_untagged_list : 
  Bi_io.node_tag ->
  (Bi_outbuf.t -> 'a -> 'b) ->
  Bi_outbuf.t ->
  'a list ->
  unit

val write_list : 
  Bi_io.node_tag ->
  (Bi_outbuf.t -> 'a -> 'b) ->
  Bi_outbuf.t ->
  'a list ->
  unit

val get_poly_tag : [> ] -> int

type identity_t = {

mutable _identity : 'a. 'a -> 'a;

}

val identity_ref : identity_t

val identity : 'a -> 'a

type t = {

_a : int option;
_b : int;

}

val create : unit -> t

val test : unit -> unit

package atdgen