/
ErlangTerm.mli
59 lines (55 loc) · 1.87 KB
/
ErlangTerm.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
(** Encoding and encoding of Erlang terms.
This module defines functions for encoding and decoding Erlang
terms as described in Erlang External Term format. See link below
for details: http://erlang.org/doc/apps/erts/erl_ext_dist.html.
Not implemented:
- NEW_FLOAT_EXT (generated by term_to_binary/2 with [{minor_version, 1}])
- NEW_CACHE, CACHED_ATOM (used between Erlang nodes only)
*)
(** A single Erlang term. *)
type erlang_term =
ET_Int of int
| ET_Atom of string
| ET_String of string
| ET_List of erlang_term list
| ET_Tuple of erlang_term list
| ET_Float of float
| ET_Binary of Buffer.t
| ET_BitBinary of Buffer.t * int
| ET_Bignum of Num.num
| ET_PID_EXT of string * int * int * int
| ET_PORT_EXT of string * int * int
| ET_EXPORT_EXT of string * string * int
| ET_REFERENCE_EXT of string * int * int
| ET_NEW_REFERENCE_EXT of string * int * int list
| ET_FUN_EXT of fun_ext
| ET_NEW_FUN_EXT of new_fun_ext
and fun_ext = {
fe_pid : erlang_term;
fe_module : string;
fe_index : int;
fe_uniq : int;
fe_freeVars : erlang_term list;
}
and new_fun_ext = {
nf_arity : int;
nf_uniq : string;
nf_index : int;
nf_numFree : int;
nf_module : string;
nf_oldIndex : int;
nf_oldUniq : int;
nf_rest : string;
}
val print_erlang_term : erlang_term -> unit
val buffer_of_erlang_term : erlang_term -> Buffer.t
val string_of_erlang_term : erlang_term -> string
val binary_to_term_in : in_channel -> erlang_term
val binaries_to_terms_in : in_channel -> erlang_term list
val binary_to_term_buf : Buffer.t -> erlang_term
val binaries_to_terms_buf : Buffer.t -> erlang_term list
val term_to_binary_out : out_channel -> erlang_term -> unit
val term_to_binary_buf : Buffer.t -> erlang_term -> unit
val term_to_binary_bufs : erlang_term -> Buffer.t list
val term_to_binary : erlang_term -> Buffer.t
exception ExceptionTerm of erlang_term