module Pre_sexp: sig
.. end
Line position in parsed text
include Type
val default_indent : int Pervasives.ref
val is_special_char : char -> bool
val must_escape : string -> bool
val maybe_esc_str : string -> string
val pp_maybe_esc_str : Format.formatter -> string -> unit
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 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
val save_of_output : (Pervasives.out_channel -> 'a -> 'b) -> string -> 'a -> unit
val save_hum : string -> t -> unit
val save_mach : string -> t -> unit
val save : string -> t -> unit
val save_sexps : string -> t list -> unit
val to_string_hum : ?indent:int -> t -> string
val to_string_mach : t -> string
val to_string : t -> string
val scan_sexp : ?buf:Buffer.t -> Lexing.lexbuf -> Type.t
val scan_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_cnv_sexps : ?buf:Buffer.t -> f:(Type.t -> 'a) -> Lexing.lexbuf -> 'a list
type
parse_pos = {
|
mutable text_line : int ; |
|
mutable text_char : int ; |
|
mutable buf_pos : int ; |
}
type 'a
parse_result =
type 'a
parse_fun = pos:int -> len:int -> 'a -> 'a parse_result
type
parse_state = {
}
type
parse_error = {
|
location : string ; |
|
err_msg : string ; |
|
parse_state : parse_state ; |
}
exception Parse_error of parse_error
val bump_text_line : parse_state -> unit
val bump_text_pos : parse_state -> unit
val bump_pos_cont : parse_state ->
'a ->
max_pos:'b ->
pos:int -> (parse_state -> 'a -> max_pos:'b -> pos:int -> 'c) -> 'c
val bump_line_cont : parse_state ->
'a ->
max_pos:'b ->
pos:int -> (parse_state -> 'a -> max_pos:'b -> pos:int -> 'c) -> 'c
val add_bump : (parse_state -> 'a) ->
parse_state ->
'b ->
max_pos:'c ->
pos:int ->
char -> (parse_state -> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val add_bump_pos : parse_state ->
'a ->
max_pos:'b ->
pos:int ->
char -> (parse_state -> 'a -> max_pos:'b -> pos:int -> 'c) -> 'c
val add_bump_line : parse_state ->
'a ->
max_pos:'b ->
pos:int ->
char -> (parse_state -> 'a -> max_pos:'b -> pos:int -> 'c) -> 'c
val mk_parse_pos : parse_state -> int -> parse_pos
val bump_found_atom : (parse_state -> 'a) ->
parse_state ->
'b ->
max_pos:'c ->
pos:int ->
(parse_state ->
'b -> max_pos:'c -> pos:int -> 'd parse_result) ->
'd parse_result
val raise_parse_error : parse_state -> string -> string -> 'a
val raise_unexpected_char : parse_state -> loc:string -> int -> char -> 'a
val check_str_bounds : string -> pos:int -> len:int -> bstr -> int
val mk_cont : string ->
(parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result) ->
parse_state -> bstr parse_result
val parse_str : ?text_line:int ->
?text_char:int ->
?pos:int -> ?len:int -> string -> string parse_result
val parse_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_comment : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_atom : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_quoted : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_quoted_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_escaped : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_skip_ws : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_skip_ws_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_dec : parse_state ->
bstr ->
max_pos:int ->
pos:int -> count:int -> d:int -> bstr parse_result
val parse_hex : parse_state ->
bstr ->
max_pos:int ->
pos:int -> count:int -> d:int -> bstr parse_result
val parse_str : ?text_line:int ->
?text_char:int ->
?pos:int -> ?len:int -> string -> string parse_result
val parse : ?text_line:int ->
?text_char:int ->
?pos:int -> ?len:int -> string -> string parse_result
val plain_parse : pos:int -> len:int -> string -> string parse_result
type
bstr = (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
val check_str_bounds : string -> pos:int -> len:int -> bstr -> int
val mk_cont : string ->
(parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result) ->
parse_state -> bstr parse_result
val parse_bstr : ?text_line:int ->
?text_char:int ->
?pos:int -> ?len:int -> bstr -> bstr parse_result
val parse_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_comment : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_atom : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_quoted : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_quoted_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_escaped : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_skip_ws : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_skip_ws_nl : parse_state ->
bstr ->
max_pos:int -> pos:int -> bstr parse_result
val parse_dec : parse_state ->
bstr ->
max_pos:int ->
pos:int -> count:int -> d:int -> bstr parse_result
val parse_hex : parse_state ->
bstr ->
max_pos:int ->
pos:int -> count:int -> d:int -> bstr parse_result
val parse_bstr : ?text_line:int ->
?text_char:int ->
?pos:int -> ?len:int -> bstr -> bstr parse_result
val reraise_parse_error : parse_error -> int -> 'a
val input_sexp : ?text_line:int ->
?text_char:int -> ?buf_pos:int -> Pervasives.in_channel -> t
val input_rev_sexps : ?text_line:int ->
?text_char:int ->
?buf_pos:int -> ?buf:string -> Pervasives.in_channel -> t list
val input_sexps : ?text_line:int ->
?text_char:int ->
?buf_pos:int -> ?buf:string -> Pervasives.in_channel -> t list
val of_string_bstr : string ->
('a -> 'b parse_result) ->
'b -> ('a -> int) -> ('a -> int -> int -> string) -> 'a -> t
val of_string : string -> t
val get_bstr_sub_str : (char, 'a, 'b) Bigarray.Array1.t -> int -> int -> string
val bstr_ws_buf : (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
val of_bstr : bstr -> t
val load_sexp : ?buf:string -> string -> t
val load_rev_sexps : ?buf:string -> string -> t list
val load_sexps : ?buf:string -> string -> t list
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 = [ `Found | `Not_found | `Pos of int * 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