erlang 0.0.14 (latest) · OCaml Package

type atom = string

val atom_of_sexp : Sexplib0.Sexp.t -> atom

val sexp_of_atom : atom -> Sexplib0.Sexp.t

type var_name = string

val var_name_of_sexp : Sexplib0.Sexp.t -> var_name

val sexp_of_var_name : var_name -> Sexplib0.Sexp.t

type literal =

| Lit_integer of int
| Lit_float of float
| Lit_char of char
| Lit_string of string
| Lit_atom of atom
| Lit_nil
| Lit_cons of literal * literal
| Lit_tuple of literal list

and pattern =

| Pat_var_name of var_name
| Pat_tuple of pattern list
| Pat_list of pattern list
| Pat_bitstring of pattern list

and let_binding = {

lb_lhs : pattern;
lb_expr : expr;
lb_rhs : expr;

}

and letrec_binding = {

lrb_lhs : (pattern * expr) list;
lrb_rhs : expr;

}

and clause = {

cp_lhs : pattern;
cp_guard : expr option;
cp_rhs : expr;

}

and case_expr = {

case_exp : expr;
case_pat : clause list;

}

and fun_expr = {

fe_vars : var_name list;
fe_arity : int;
fe_body : expr;

}

and receive_expr = {

rcv_pat : clause list;
tm_after : expr;
tm_body : expr;

}

and try_catch_expr = {

tc_exp : expr;
tc_vars : var_name list;
tc_in : expr;
tc_catch_vars : var_name list;
tc_catch : expr;

}

and expr =

| Expr_var of var_name
| Expr_literal of literal
| Expr_let of let_binding
| Expr_letrec of letrec_binding
| Expr_case of case_expr
| Expr_apply of {
1. fn_name : expr;
2. fn_args : expr list;
}
| Expr_qualified_call of {
1. qc_mod : expr;
2. qc_fun : expr;
3. qc_args : expr list;
}
| Expr_fun of fun_expr
| Expr_receive of receive_expr
| Expr_primop of {
1. pop_name : atom;
2. pop_args : expr list;
}
| Expr_try of try_catch_expr
| Expr_do of expr list
| Expr_catch of expr

val literal_of_sexp : Sexplib0__.Sexp.t -> literal

val pattern_of_sexp : Sexplib0__.Sexp.t -> pattern

val let_binding_of_sexp : Sexplib0.Sexp.t -> let_binding

val letrec_binding_of_sexp : Sexplib0.Sexp.t -> letrec_binding

val clause_of_sexp : Sexplib0__.Sexp.t -> clause

val case_expr_of_sexp : Sexplib0.Sexp.t -> case_expr

val fun_expr_of_sexp : Sexplib0.Sexp.t -> fun_expr

val receive_expr_of_sexp : Sexplib0.Sexp.t -> receive_expr

val try_catch_expr_of_sexp : Sexplib0.Sexp.t -> try_catch_expr

val expr_of_sexp : Sexplib0__.Sexp.t -> expr

val sexp_of_literal : literal -> Sexplib0__.Sexp.t

val sexp_of_pattern : pattern -> Sexplib0__.Sexp.t

val sexp_of_let_binding : let_binding -> Sexplib0.Sexp.t

val sexp_of_letrec_binding : letrec_binding -> Sexplib0.Sexp.t

val sexp_of_clause : clause -> Sexplib0__.Sexp.t

val sexp_of_case_expr : case_expr -> Sexplib0.Sexp.t

val sexp_of_fun_expr : fun_expr -> Sexplib0.Sexp.t

val sexp_of_receive_expr : receive_expr -> Sexplib0.Sexp.t

val sexp_of_try_catch_expr : try_catch_expr -> Sexplib0.Sexp.t

val sexp_of_expr : expr -> Sexplib0__.Sexp.t

type fname = {

fn_name : atom;
fn_arity : int;

}

val fname_of_sexp : Sexplib0.Sexp.t -> fname

val sexp_of_fname : fname -> Sexplib0.Sexp.t

type fun_def = {

fd_name : fname;
fd_body : fun_expr;

}

val fun_def_of_sexp : Sexplib0.Sexp.t -> fun_def

val sexp_of_fun_def : fun_def -> Sexplib0.Sexp.t

type attribute = {

atr_name : atom;
atr_value : literal;

}

val attribute_of_sexp : Sexplib0.Sexp.t -> attribute

val sexp_of_attribute : attribute -> Sexplib0.Sexp.t

type t = {

m_filename : string;
m_name : atom;
m_fnames : fname list;
m_attributes : attribute list;
m_defs : fun_def list;

}

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

package erlang