bundles/sexplib/sexplib-7.0.5/lib/conv.mli

   1 type sexp_bool = bool
   2 type 'a sexp_option = 'a option
   3 type 'a sexp_list = 'a list
   4 type 'a sexp_array = 'a array
   5 type 'a sexp_opaque = 'a
   6 type bigstring = Sexp.bigstring
   7 type float32_vec =
   8     (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array1.t
   9 type float64_vec =
  10     (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array1.t
  11 type vec = float64_vec
  12 type float32_mat =
  13     (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array2.t
  14 type float64_mat =
  15     (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array2.t
  16 type mat = float64_mat
  17 val default_string_of_float : (float -> string) ref
  18 val read_old_option_format : bool ref
  19 val write_old_option_format : bool ref
  20 val list_map : ('a -> 'b) -> 'a list -> 'b list
  21 val sexp_of_unit : unit -> Sexp.t
  22 val sexp_of_bool : bool -> Sexp.t
  23 val sexp_of_string : string -> Sexp.t
  24 val sexp_of_char : char -> Sexp.t
  25 val sexp_of_int : int -> Sexp.t
  26 val sexp_of_float : float -> Sexp.t
  27 val sexp_of_int32 : int32 -> Sexp.t
  28 val sexp_of_int64 : int64 -> Sexp.t
  29 val sexp_of_nativeint : nativeint -> Sexp.t
  30 val sexp_of_big_int : Big_int.big_int -> Sexp.t
  31 val sexp_of_nat : Nat.nat -> Sexp.t
  32 val sexp_of_num : Num.num -> Sexp.t
  33 val sexp_of_ratio : Ratio.ratio -> Sexp.t
  34 val sexp_of_ref : ('a -> 'b) -> 'a ref -> 'b
  35 val sexp_of_lazy_t : ('a -> 'b) -> 'a Lazy.t -> 'b
  36 val sexp_of_option : ('a -> Sexp.t) -> 'a option -> Sexp.t
  37 val sexp_of_pair : ('a -> Sexp.t) -> ('b -> Sexp.t) -> 'a * 'b -> Sexp.t
  38 val sexp_of_triple :
  39   ('a -> Sexp.t) ->
  40   ('b -> Sexp.t) -> ('c -> Sexp.t) -> 'a * 'b * 'c -> Sexp.t
  41 val sexp_of_list : ('a -> Sexp.t) -> 'a list -> Sexp.t
  42 val sexp_of_array : ('a -> Sexp.t) -> 'a array -> Sexp.t
  43 val sexp_of_hashtbl :
  44   ('a -> Sexp.t) -> ('b -> Sexp.t) -> ('a, 'b) Hashtbl.t -> Sexp.t
  45 val sexp_of_float_vec : (float, 'a, 'b) Bigarray.Array1.t -> Sexp.t
  46 val sexp_of_bigstring : bigstring -> Sexp.t
  47 val sexp_of_float32_vec : float32_vec -> Sexp.t
  48 val sexp_of_float64_vec : float64_vec -> Sexp.t
  49 val sexp_of_vec : vec -> Sexp.t
  50 val sexp_of_float_mat :
  51   (float, 'a, Bigarray.fortran_layout) Bigarray.Array2.t -> Sexp.t
  52 val sexp_of_float32_mat : float32_mat -> Sexp.t
  53 val sexp_of_float64_mat : float64_mat -> Sexp.t
  54 val sexp_of_mat : mat -> Sexp.t
  55 val sexp_of_opaque : 'a -> Sexp.t
  56 val sexp_of_fun : 'a -> Sexp.t
  57 val string_of__of__sexp_of : ('a -> Sexp.t) -> 'a -> string
  58 module Exn_converter :
  59   sig
  60     type t = int64
  61     module Ids :
  62       sig
  63         type key = Int64.t
  64         type 'a t = 'a Map.Make(Int64).t
  65         val empty : 'a t
  66         val is_empty : 'a t -> bool
  67         val mem : key -> 'a t -> bool
  68         val add : key -> 'a -> 'a t -> 'a t
  69         val singleton : key -> 'a -> 'a t
  70         val remove : key -> 'a t -> 'a t
  71         val merge :
  72           (key -> 'a option -> 'b option -> 'c option) ->
  73           'a t -> 'b t -> 'c t
  74         val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
  75         val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
  76         val iter : (key -> 'a -> unit) -> 'a t -> unit
  77         val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
  78         val for_all : (key -> 'a -> bool) -> 'a t -> bool
  79         val exists : (key -> 'a -> bool) -> 'a t -> bool
  80         val filter : (key -> 'a -> bool) -> 'a t -> 'a t
  81         val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
  82         val cardinal : 'a t -> int
  83         val bindings : 'a t -> (key * 'a) list
  84         val min_binding : 'a t -> key * 'a
  85         val max_binding : 'a t -> key * 'a
  86         val choose : 'a t -> key * 'a
  87         val split : key -> 'a t -> 'a t * 'a option * 'a t
  88         val find : key -> 'a t -> 'a
  89         val map : ('a -> 'b) -> 'a t -> 'b t
  90         val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
  91       end
  92     val exn_id_cnt : Ids.key ref
  93     val exn_handlers : (exn -> Sexp.t option) Ids.t ref
  94     val add_slow : (exn -> Sexp.t option) -> Ids.key
  95     val del_slow : Ids.key -> unit
  96     exception Found_sexp_opt of Sexp.t option
  97     val find_slow : exn -> Sexp.t option
  98     module Int : sig type t = int val compare : int -> int -> int end
  99     module Addrs :
 100       sig
 101         type key = Int.t
 102         type 'a t = 'a Map.Make(Int).t
 103         val empty : 'a t
 104         val is_empty : 'a t -> bool
 105         val mem : key -> 'a t -> bool
 106         val add : key -> 'a -> 'a t -> 'a t
 107         val singleton : key -> 'a -> 'a t
 108         val remove : key -> 'a t -> 'a t
 109         val merge :
 110           (key -> 'a option -> 'b option -> 'c option) ->
 111           'a t -> 'b t -> 'c t
 112         val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
 113         val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
 114         val iter : (key -> 'a -> unit) -> 'a t -> unit
 115         val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
 116         val for_all : (key -> 'a -> bool) -> 'a t -> bool
 117         val exists : (key -> 'a -> bool) -> 'a t -> bool
 118         val filter : (key -> 'a -> bool) -> 'a t -> 'a t
 119         val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
 120         val cardinal : 'a t -> int
 121         val bindings : 'a t -> (key * 'a) list
 122         val min_binding : 'a t -> key * 'a
 123         val max_binding : 'a t -> key * 'a
 124         val choose : 'a t -> key * 'a
 125         val split : key -> 'a t -> 'a t * 'a option * 'a t
 126         val find : key -> 'a t -> 'a
 127         val map : ('a -> 'b) -> 'a t -> 'b t
 128         val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
 129       end
 130     type weak_repr = (Obj.t Weak.t * (exn -> Sexp.t)) Ids.t
 131     val exn_addr_map :
 132       (int * (Obj.t Weak.t * (exn -> Sexp.t)) Ids.t) Addrs.t ref
 133     val get_exn_tag : exn -> Obj.t
 134     val get_exn_tag_str_addr : Obj.t -> int
 135     val get_exn_str_addr : exn -> int
 136     val clean_up_handler : Ids.key -> Obj.t -> unit
 137     val fast_id_cnt : Ids.key ref
 138     exception Found_sexp of Sexp.t
 139     val max_exn_tags : int ref
 140     val set_max_exn_tags : int -> unit
 141     val get_max_exn_tags : unit -> int
 142     val add_auto : ?finalise:bool -> exn -> (exn -> Sexp.t) -> unit
 143     val find_auto : exn -> Sexp.t option
 144   end
 145 val sexp_of_exn_opt : exn -> Sexp.t option
 146 val sexp_of_exn : exn -> Sexp.t
 147 val exn_to_string : exn -> string
 148 exception Of_sexp_error of exn * Pre_sexp.t
 149 val record_check_extra_fields : bool ref
 150 val of_sexp_error_exn : exn -> Pre_sexp.t -> 'a
 151 val of_sexp_error : string -> Pre_sexp.t -> 'a
 152 val unit_of_sexp : Sexp.t -> unit
 153 val bool_of_sexp : Sexp.t -> bool
 154 val string_of_sexp : Sexp.t -> string
 155 val char_of_sexp : Sexp.t -> char
 156 val int_of_sexp : Sexp.t -> int
 157 val float_of_sexp : Sexp.t -> float
 158 val int32_of_sexp : Sexp.t -> int32
 159 val int64_of_sexp : Sexp.t -> int64
 160 val nativeint_of_sexp : Sexp.t -> nativeint
 161 val big_int_of_sexp : Sexp.t -> Big_int.big_int
 162 val nat_of_sexp : Sexp.t -> Nat.nat
 163 val num_of_sexp : Sexp.t -> Num.num
 164 val ratio_of_sexp : Sexp.t -> Ratio.ratio
 165 val ref_of_sexp : ('a -> 'b) -> 'a -> 'b ref
 166 val lazy_t_of_sexp : ('a -> 'b) -> 'a -> 'b Lazy.t
 167 val option_of_sexp : (Sexp.t -> 'a) -> Sexp.t -> 'a option
 168 val pair_of_sexp : (Sexp.t -> 'a) -> (Sexp.t -> 'b) -> Sexp.t -> 'a * 'b
 169 val triple_of_sexp :
 170   (Sexp.t -> 'a) ->
 171   (Sexp.t -> 'b) -> (Sexp.t -> 'c) -> Sexp.t -> 'a * 'b * 'c
 172 val list_of_sexp : (Sexp.t -> 'a) -> Sexp.t -> 'a list
 173 val array_of_sexp : (Sexp.t -> 'a) -> Sexp.t -> 'a array
 174 val hashtbl_of_sexp :
 175   (Sexp.t -> 'a) -> (Sexp.t -> 'b) -> Sexp.t -> ('a, 'b) Hashtbl.t
 176 val bigstring_of_sexp :
 177   Sexp.t ->
 178   (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
 179 val float_vec_of_sexp :
 180   (float, 'a, 'b) Bigarray.Array1.t ->
 181   (int -> (float, 'a, 'b) Bigarray.Array1.t) ->
 182   Sexp.t -> (float, 'a, 'b) Bigarray.Array1.t
 183 val create_float32_vec :
 184   int ->
 185   (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 186 val create_float64_vec :
 187   int ->
 188   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 189 val empty_float32_vec :
 190   (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 191 val empty_float64_vec :
 192   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 193 val float32_vec_of_sexp :
 194   Sexp.t ->
 195   (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 196 val float64_vec_of_sexp :
 197   Sexp.t ->
 198   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 199 val vec_of_sexp :
 200   Sexp.t ->
 201   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array1.t
 202 val check_too_much_data : Pre_sexp.t -> 'a list -> 'b -> 'b
 203 val float_mat_of_sexp :
 204   (int -> int -> (float, 'a, Bigarray.fortran_layout) Bigarray.Array2.t) ->
 205   Sexp.t -> (float, 'a, Bigarray.fortran_layout) Bigarray.Array2.t
 206 val create_float32_mat :
 207   int ->
 208   int ->
 209   (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array2.t
 210 val create_float64_mat :
 211   int ->
 212   int ->
 213   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array2.t
 214 val float32_mat_of_sexp :
 215   Sexp.t ->
 216   (float, Bigarray.float32_elt, Bigarray.fortran_layout) Bigarray.Array2.t
 217 val float64_mat_of_sexp :
 218   Sexp.t ->
 219   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array2.t
 220 val mat_of_sexp :
 221   Sexp.t ->
 222   (float, Bigarray.float64_elt, Bigarray.fortran_layout) Bigarray.Array2.t
 223 val opaque_of_sexp : Pre_sexp.t -> 'a
 224 val fun_of_sexp : Pre_sexp.t -> 'a
 225 val of_string__of__of_sexp : (Sexp.t -> 'a) -> string -> 'a
 226 val get_flc_error : string -> string * int * int -> Sexp.t