atdgen 1.12.0 · OCaml Package

exception Error of string

val error : string -> 'a

val error_with_line : Yojson.Lexer_state.t -> string -> 'a

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

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

val write_comma : Bi_outbuf.t -> unit

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

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

val write_assoc_list : 
  (Bi_outbuf.t -> 'a -> 'b) ->
  (Bi_outbuf.t -> 'c -> 'd) ->
  Bi_outbuf.t ->
  ('a * 'c) list ->
  unit

val write_assoc_array : 
  (Bi_outbuf.t -> 'a -> 'b) ->
  (Bi_outbuf.t -> 'c -> 'd) ->
  Bi_outbuf.t ->
  ('a * 'c) array ->
  unit

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

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

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

val write_int8 : Bi_outbuf.t -> char -> unit

val write_int32 : Bi_outbuf.t -> int32 -> unit

val write_int64 : Bi_outbuf.t -> int64 -> unit

val min_float : float

val max_float : float

val write_float_as_int : Bi_outbuf.t -> float -> unit

val read_null : Yojson.Safe.lexer_state -> Lexing.lexbuf -> unit

val read_bool : Yojson.Safe.lexer_state -> Lexing.lexbuf -> bool

val read_int : Yojson.Safe.lexer_state -> Lexing.lexbuf -> int

val read_int8 : Yojson.Safe.lexer_state -> Lexing.lexbuf -> char

val read_int32 : Yojson.Safe.lexer_state -> Lexing.lexbuf -> int32

val read_int64 : Yojson.Safe.lexer_state -> Lexing.lexbuf -> int64

val read_number : Yojson.Safe.lexer_state -> Lexing.lexbuf -> float

val read_string : Yojson.Safe.lexer_state -> Lexing.lexbuf -> string

val read_list : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  'a list

val read_array : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  'a array

val read_assoc_list_rev : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a) ->
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'b) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  ('a * 'b) list

val read_assoc_list : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a) ->
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'b) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  ('a * 'b) list

val array_of_rev_list : 'a list -> 'a array

val read_assoc_array : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'a) ->
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'b) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  ('a * 'b) array

val read_until_field_value : Yojson.Safe.lexer_state -> Lexing.lexbuf -> unit

val missing_tuple_fields : Yojson.Lexer_state.t -> int -> int list -> 'a

val missing_fields : Yojson.Lexer_state.t -> int array -> string array -> 'a

val invalid_variant_tag : Yojson.Lexer_state.t -> string -> 'a

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