sexplib 113.33.00+4.03 · OCaml Package

module String = Bytes

include module type of struct include Type end

type t = Type.t =

| Atom of string
| List of t list

Type of S-expressions

exception Of_sexp_error of exn * t

type bigstring =
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

val default_indent : int Pervasives.ref

val must_escape : bytes -> bool

val escaped : bytes -> bytes

val esc_str : bytes -> bytes

val index_of_newline : bytes -> int -> int option

val get_substring : bytes -> int -> int option -> bytes

val is_one_line : bytes -> bool

val pp_hum_maybe_esc_str : Format.formatter -> bytes -> unit

val mach_maybe_esc_str : bytes -> bytes

val pp_hum_indent : int -> Format.formatter -> t -> unit

val pp_hum_rest : int -> Format.formatter -> t list -> unit

val pp_mach_internal : bool -> Format.formatter -> t -> bool

val pp_mach_rest : bool -> Format.formatter -> t list -> unit

val pp_hum : Format.formatter -> t -> unit

val pp_mach : Format.formatter -> t -> unit

val pp : Format.formatter -> t -> unit

val size_loop : (int * int) -> t -> int * int

val size : t -> int * int

val to_buffer_hum : buf:Buffer.t -> ?indent:int -> t -> unit

val to_buffer_mach : buf:Buffer.t -> t -> unit

val to_buffer : buf:Buffer.t -> t -> unit

val to_buffer_gen : 
  buf:'a ->
  add_char:('a -> char -> unit) ->
  add_string:('a -> bytes -> 'b) ->
  t ->
  unit

val buffer : unit -> Buffer.t

val with_new_buffer : Pervasives.out_channel -> (Buffer.t -> 'a) -> unit

val output_hum : Pervasives.out_channel -> t -> unit

val output_hum_indent : int -> Pervasives.out_channel -> t -> unit

val output_mach : Pervasives.out_channel -> t -> unit

val output : Pervasives.out_channel -> t -> unit

module Tmp_file : sig ... end

val save_of_output : 
  ?perm:int ->
  (Pervasives.out_channel -> 'a -> 'b) ->
  string ->
  'a ->
  unit

val output_sexp_nl : 
  (Pervasives.out_channel -> 'a -> 'b) ->
  Pervasives.out_channel ->
  'a ->
  unit

val save_hum : ?perm:int -> string -> t -> unit

val save_mach : ?perm:int -> string -> t -> unit

val save : ?perm:int -> string -> t -> unit

val output_sexps_nl : 
  (Pervasives.out_channel -> 'a -> 'b) ->
  Pervasives.out_channel ->
  'a list ->
  unit

val save_sexps_hum : ?perm:int -> string -> t list -> unit

val save_sexps_mach : ?perm:int -> string -> t list -> unit

val save_sexps : ?perm:int -> string -> t list -> unit

val to_string_hum : ?indent:int -> t -> bytes

val to_string_mach : t -> bytes

val to_string : t -> bytes

val scan_sexp : ?buf:Buffer.t -> Lexing.lexbuf -> Type.t

val scan_sexp_opt : ?buf:Buffer.t -> Lexing.lexbuf -> Type.t option

val scan_sexps : ?buf:Buffer.t -> Lexing.lexbuf -> Type.t list

val scan_rev_sexps : ?buf:Buffer.t -> Lexing.lexbuf -> Type.t list

val get_main_buf : Buffer.t option -> Lexing.lexbuf -> Parser.token

val scan_fold_sexps : 
  ?buf:Buffer.t ->
  f:('a -> Type.t -> 'a) ->
  init:'a ->
  Lexing.lexbuf ->
  'a

val scan_iter_sexps : 
  ?buf:Buffer.t ->
  f:(Type.t -> unit) ->
  Lexing.lexbuf ->
  unit

val scan_sexps_conv : 
  ?buf:Buffer.t ->
  f:(Type.t -> 'a) ->
  Lexing.lexbuf ->
  'a list

module Annot : sig ... end

module Parse_pos : sig ... end

module Cont_state : sig ... end

type ('a, 't) parse_result =

| Done of 't * Parse_pos.t
| Cont of Cont_state.t * ('a, 't) parse_fun

and ('a, 't) parse_fun = pos:int -> len:int -> 'a -> ('a, 't) parse_result

type 't parse_state = {

parse_pos : Parse_pos.t;
mutable pstack : 't;
pbuf : Buffer.t;

}

type parse_error = {

location : string;
err_msg : string;
parse_state : [ `Sexp of t list list parse_state | `Annot of Annot.stack parse_state ];

}

exception Parse_error of parse_error

val bump_text_line : 'a parse_state -> unit

val bump_text_pos : 'a parse_state -> unit

val bump_pos_cont : 
  'a parse_state ->
  'b ->
  max_pos:'c ->
  pos:int ->
  ('a parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) ->
  'd

val bump_line_cont : 
  'a parse_state ->
  'b ->
  max_pos:'c ->
  pos:int ->
  ('a parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) ->
  'd

val add_bump : 
  ('a parse_state -> 'b) ->
  'a parse_state ->
  'c ->
  max_pos:'d ->
  pos:int ->
  char ->
  ('a parse_state -> 'c -> max_pos:'d -> pos:int -> 'e) ->
  'e

val add_bump_pos : 
  'a parse_state ->
  'b ->
  max_pos:'c ->
  pos:int ->
  char ->
  ('a parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) ->
  'd

val add_bump_line : 
  'a parse_state ->
  'b ->
  max_pos:'c ->
  pos:int ->
  char ->
  ('a parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) ->
  'd

val set_parse_pos : Parse_pos.t -> int -> unit

val mk_parse_pos : 'a parse_state -> int -> Parse_pos.t

val raise_parse_error : 
  [ `Annot of Annot.stack parse_state | `Sexp of t list list parse_state ] ->
  string ->
  int ->
  string ->
  'a

val raise_unexpected_char : 
  [ `Annot of Annot.stack parse_state | `Sexp of t list list parse_state ] ->
  string ->
  int ->
  char ->
  'a

val mk_cont_parser : 
  (pos:int -> len:int -> 'a -> 'b) ->
  'c ->
  'a ->
  max_pos:int ->
  pos:int ->
  'b

val parse_str : 
  ?parse_pos:Parse_pos.t ->
  ?len:int ->
  bytes ->
  (bytes, t) parse_result

val parse : 
  ?parse_pos:Parse_pos.t ->
  ?len:int ->
  bytes ->
  (bytes, t) parse_result

val get_glob_ofs : Parse_pos.t -> int -> int

val mk_annot_pos : Parse_pos.t -> int -> Annot.pos

val mk_annot_pos1 : Parse_pos.t -> int -> Annot.pos

val add_annot_pos : Annot.stack parse_state -> int -> unit

val add_annot_pos1 : Annot.stack parse_state -> int -> unit

val get_annot_range : Annot.stack parse_state -> int -> Annot.range

val mk_annot_atom : Annot.stack parse_state -> string -> int -> Annot.t

val mk_annot_list : Annot.stack parse_state -> Annot.t list -> int -> Annot.t

val init_annot_pstate : unit -> Annot.stack

val parse_str_annot : 
  ?parse_pos:Parse_pos.t ->
  ?len:int ->
  bytes ->
  (bytes, Annot.t) parse_result

val parse_bigstring : 
  ?parse_pos:Parse_pos.t ->
  ?len:int ->
  bigstring ->
  (bigstring, t) parse_result

val bump_found_atom : 
  (Annot.stack parse_state -> 'a) ->
  Annot.stack parse_state ->
  'b ->
  max_pos:'c ->
  pos:int ->
  (Annot.stack parse_state ->
    'b ->
    max_pos:'c ->
    pos:int ->
    ('d, Annot.t) parse_result) ->
  ('d, Annot.t) parse_result

val check_str_bounds : string -> pos:int -> len:int -> bigstring -> int

val mk_cont_state : 
  string ->
  ('a -> bigstring -> max_pos:int -> pos:int -> (bigstring, 'b) parse_result) ->
  'a ->
  cont_state:Cont_state.t ->
  (bigstring, 'b) parse_result

val mk_cont : 
  string ->
  (Annot.stack parse_state ->
    bigstring ->
    max_pos:int ->
    pos:int ->
    (bigstring, 'a) parse_result) ->
  Annot.stack parse_state ->
  (bigstring, 'a) parse_result

val parse_nl : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_comment : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val maybe_parse_comment : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val maybe_parse_close_comment : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_sexp_comment : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_block_comment : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_atom : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val maybe_parse_bad_atom_pipe : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val maybe_parse_bad_atom_hash : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val reg_parse_quoted : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_quoted : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_escaped : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_skip_ws : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_skip_ws_nl : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  (bigstring, Annot.t) parse_result

val parse_dec : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  count:int ->
  d:int ->
  (bigstring, Annot.t) parse_result

val parse_hex : 
  Annot.stack parse_state ->
  bigstring ->
  max_pos:int ->
  pos:int ->
  count:int ->
  d:int ->
  (bigstring, Annot.t) parse_result

val parse_bigstring_annot : 
  ?parse_pos:Parse_pos.t ->
  ?len:int ->
  bigstring ->
  (bigstring, Annot.t) parse_result

val mk_this_parse : 
  ?parse_pos:Parse_pos.t ->
  (?parse_pos:Parse_pos.t -> ?len:'a -> 'b -> 'c) ->
  pos:int ->
  len:'a ->
  'b ->
  'c

val gen_input_sexp : 
  (?parse_pos:Parse_pos.t -> ?len:int -> bytes -> (bytes, 'a) parse_result) ->
  ?parse_pos:Parse_pos.t ->
  Pervasives.in_channel ->
  'a

val input_sexp : ?parse_pos:Parse_pos.t -> Pervasives.in_channel -> t

val gen_input_rev_sexps : 
  (?parse_pos:Parse_pos.t -> ?len:int -> bytes -> (bytes, 'a) parse_result) ->
  ?parse_pos:Parse_pos.t ->
  ?buf:bytes ->
  Pervasives.in_channel ->
  'a list

val input_rev_sexps : 
  ?parse_pos:Parse_pos.t ->
  ?buf:bytes ->
  Pervasives.in_channel ->
  t list

val input_sexps : 
  ?parse_pos:Parse_pos.t ->
  ?buf:bytes ->
  Pervasives.in_channel ->
  t list

val of_string_bigstring : 
  string ->
  ('a -> ('b, 'c) parse_result) ->
  'b ->
  ('a -> int) ->
  ('a -> int -> int -> string) ->
  'a ->
  'c

val of_string : bytes -> t

val get_bstr_sub_str : (char, 'a, 'b) Bigarray.Array1.t -> int -> int -> bytes

val bstr_ws_buf : 
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

val of_bigstring : bigstring -> t

val gen_load_rev_sexps : 
  (?parse_pos:'a -> ?buf:'b -> Pervasives.in_channel -> 'c) ->
  ?buf:'b ->
  string ->
  'c

val load_rev_sexps : ?buf:bytes -> string -> t list

val load_sexps : ?buf:bytes -> string -> t list

val gen_load_sexp_loc : string

val gen_load_sexp : 
  (?parse_pos:Parse_pos.t -> ?len:int -> bytes -> (bytes, 'a) parse_result) ->
  ?strict:bool ->
  ?buf:bytes ->
  string ->
  'a

val load_sexp : ?strict:bool -> ?buf:bytes -> string -> t

module Annotated : sig ... end

val load_sexp_conv : 
  ?strict:bool ->
  ?buf:bytes ->
  string ->
  (t -> 'a) ->
  [> `Error of exn * Annotated.t | `Result of 'a ]

val raise_conv_exn : 
  file:string ->
  [< `Error of exn * Annotated.t | `Result of 'a ] ->
  'a

val load_sexp_conv_exn : 
  ?strict:bool ->
  ?buf:bytes ->
  string ->
  (t -> 'a) ->
  'a

val load_sexps_conv : 
  ?buf:bytes ->
  string ->
  (t -> 'a) ->
  [> `Error of exn * Annotated.t | `Result of 'a ] list

val load_sexps_conv_exn : ?buf:bytes -> string -> (t -> 'a) -> 'a list

val gen_of_string_conv : 
  ('a -> Type.t) ->
  ('a -> Annotated.t) ->
  'a ->
  (Type.t -> 'b) ->
  [> `Error of exn * Annotated.t | `Result of 'b ]

val of_string_conv : 
  bytes ->
  (t -> 'a) ->
  [> `Error of exn * Annotated.t | `Result of 'a ]

val of_bigstring_conv : 
  bigstring ->
  (t -> 'a) ->
  [> `Error of exn * Annotated.t | `Result of 'a ]

module Of_string_conv_exn : sig ... end

val gen_of_string_conv_exn : ('a -> Type.t) -> 'a -> (Type.t -> 'b) -> 'b

val of_string_conv_exn : bytes -> (t -> 'a) -> 'a

val of_bigstring_conv_exn : bigstring -> (t -> 'a) -> 'a

val unit : t

val sexp_of_t : t -> t

val t_of_sexp : t -> t

type found = [

| `Found
| `Pos of int * found

]

type search_result = [

| `Not_found
| found

]

val search_physical : 
  t ->
  contained:t ->
  [ `Found | `Not_found | `Pos of int * found ]

val subst_found : t -> subst:t -> [< `Found | `Pos of int * 'a ] as 'a -> t

package sexplib