Up

Module Pre_sexp

Signature

module String = Bytes
include Type
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 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 -> unit) -> t -> unit
val buffer : unit -> Buffer.t
val with_new_buffer : Pervasives.out_channel -> (Buffer.t -> unit) -> 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 -> unit) -> string -> 'a -> unit
val output_sexp_nl : (Pervasives.out_channel -> 'a -> unit) -> 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 -> unit) -> 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
type ('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 -> unit) -> 'a parse_state -> 'b -> max_pos:'c -> pos:int -> char -> ('a parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
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 bump_found_atom : (t list list parse_state -> unit) -> t list list parse_state -> 'a -> max_pos:'b -> pos:int -> (t list list parse_state -> 'a -> max_pos:'b -> pos:int -> ('c, t) parse_result) -> ('c, t) parse_result
val check_str_bounds : string -> pos:int -> len:int -> string -> int
val mk_cont_state : string -> ('a -> string -> max_pos:int -> pos:int -> (string, 'b) parse_result) -> 'a -> cont_state:Cont_state.t -> (string, 'b) parse_result
val mk_cont : string -> ('a list parse_state -> string -> max_pos:int -> pos:int -> (string, 'b) parse_result) -> 'a list parse_state -> (string, 'b) parse_result
val parse_str : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_nl : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_comment : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val maybe_parse_comment : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val maybe_parse_close_comment : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_sexp_comment : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_block_comment : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_atom : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val maybe_parse_bad_atom_pipe : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val maybe_parse_bad_atom_hash : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val reg_parse_quoted : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_quoted : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_escaped : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_skip_ws : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_skip_ws_nl : t list list parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, t) parse_result
val parse_dec : t list list parse_state -> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes, t) parse_result
val parse_hex : t list list parse_state -> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes, t) parse_result
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 bump_found_atom : (Annot.stack parse_state -> unit) -> Annot.stack parse_state -> 'a -> max_pos:'b -> pos:int -> (Annot.stack parse_state -> 'a -> max_pos:'b -> pos:int -> ('c, Annot.t) parse_result) -> ('c, Annot.t) parse_result
val check_str_bounds : string -> pos:int -> len:int -> string -> int
val mk_cont_state : string -> ('a -> string -> max_pos:int -> pos:int -> (string, 'b) parse_result) -> 'a -> cont_state:Cont_state.t -> (string, 'b) parse_result
val mk_cont : string -> (Annot.stack parse_state -> string -> max_pos:int -> pos:int -> (string, 'a) parse_result) -> Annot.stack parse_state -> (string, 'a) parse_result
val parse_str_annot : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_nl : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_comment : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val maybe_parse_comment : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val maybe_parse_close_comment : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_sexp_comment : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_block_comment : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_atom : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val maybe_parse_bad_atom_pipe : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val maybe_parse_bad_atom_hash : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val reg_parse_quoted : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_quoted : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_escaped : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_skip_ws : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_skip_ws_nl : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> (bytes, Annot.t) parse_result
val parse_dec : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes, Annot.t) parse_result
val parse_hex : Annot.stack parse_state -> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes, Annot.t) parse_result
val parse_str_annot : ?parse_pos:Parse_pos.t -> ?len:int -> bytes -> (bytes, Annot.t) parse_result
val bump_found_atom : (t list list parse_state -> unit) -> t list list parse_state -> 'a -> max_pos:'b -> pos:int -> (t list list parse_state -> 'a -> max_pos:'b -> pos:int -> ('c, t) parse_result) -> ('c, 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 -> ('a list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, 'b) parse_result) -> 'a list parse_state -> (bigstring, 'b) parse_result
val parse_bigstring : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_nl : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_comment : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val maybe_parse_comment : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val maybe_parse_close_comment : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_sexp_comment : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_block_comment : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_atom : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val maybe_parse_bad_atom_pipe : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val maybe_parse_bad_atom_hash : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val reg_parse_quoted : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_quoted : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_escaped : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_skip_ws : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_skip_ws_nl : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, t) parse_result
val parse_dec : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> count:int -> d:int -> (bigstring, t) parse_result
val parse_hex : t list list parse_state -> bigstring -> max_pos:int -> pos:int -> count:int -> d:int -> (bigstring, 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 -> unit) -> Annot.stack parse_state -> 'a -> max_pos:'b -> pos:int -> (Annot.stack parse_state -> 'a -> max_pos:'b -> pos:int -> ('c, Annot.t) parse_result) -> ('c, 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_bigstring_annot : Annot.stack parse_state -> bigstring -> max_pos:int -> pos:int -> (bigstring, Annot.t) 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
external sexp_of_t : t -> t = "%identity"
external t_of_sexp : t -> t = "%identity"
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