module Fragments:General literate modulesig
..end
This module provides low-level functions for doing structured data I/O.
exception Error of string
val sf : ('a, unit, string) Pervasives.format -> 'a
type
tag =
| |
T_LParen |
| |
T_RParen |
| |
T_LBrack |
| |
T_RBrack |
| |
T_LBrace |
| |
T_RBrace |
| |
T_Equal |
| |
T_Comma |
| |
T_Semicolon |
| |
T_Array |
| |
T_Hashtbl |
| |
T_Set |
tag list
: val string_of_tag : tag -> string
val tag_of_string : string -> tag
val int_of_tag : tag -> int
max_tag
val tag_of_int : int -> tag
val max_tag : int
val is_start_tag : tag -> bool
val is_end_tag : tag -> bool
type
token =
| |
Bool of |
| |
Char of |
| |
Int of |
| |
Int64 of |
| |
Float of |
| |
String of |
| |
Tag of |
| |
Field of |
| |
Constructor of |
| |
EOF |
val string_of_token : token -> string
type
io_in
type
io_out
val string_of_token : token -> string
val create_io_in : read_token:(unit -> token) ->
peek_token:(unit -> token) ->
?finish:(io_in -> unit -> unit) -> unit -> io_in
val flush : io_out -> unit
val is_word_reserved : string -> bool
val is_tag_voluminous : tag -> bool
val drop_token : io_in -> unit
Remove a token from an input channel
val peek_token : io_in -> token
val read_token : io_in -> token
val read_tag : io_in -> tag
val read_this_tag : io_in -> tag -> unit
val finish : io_in -> unit
val read_int : io_in -> int
val read_int64 : io_in -> int64
val read_float : io_in -> float
val read_bool : io_in -> bool
val read_char : io_in -> char
val read_field : io_in -> string
val read_constructor : io_in -> string
val read_string : io_in -> string
val loss : io_in -> unit
val lost : io_in -> bool
loss
has ever been called on this channel.val create_io_out : write_token:(token -> unit) ->
?flush:(unit -> unit) -> unit -> io_out
val write_token : io_out -> token -> unit
val write_int : io_out -> int -> unit
val write_int64 : io_out -> int64 -> unit
val write_char : io_out -> char -> unit
val write_string : io_out -> string -> unit
val write_bool : io_out -> bool -> unit
val write_float : io_out -> float -> unit
val write_tag : io_out -> tag -> unit
val write_field : io_out -> string -> unit
val write_constructor : io_out -> string -> unit