package obeam

  1. Overview
  2. Docs
module Sf = Simple_term_format
module Z = Aux.Z
type line_t = Base.int
val sexp_of_line_t : line_t -> Ppx_sexp_conv_lib.Sexp.t
type t =
  1. | AbstractCode of form_t
and form_t =
  1. | ModDecl of form_t Base.list
  2. | AttrExport of line_t * (Base.string * Base.int) Base.list
  3. | AttrExportType of line_t * (Base.string * Base.int) Base.list
  4. | AttrImport of line_t * (Base.string * Base.int) Base.list
  5. | AttrMod of line_t * Base.string
  6. | AttrFile of line_t * Base.string * line_t
  7. | DeclFun of line_t * Base.string * Base.int * clause_t Base.list
  8. | SpecFun of line_t * Base.string Base.option * Base.string * Base.int * type_t Base.list
  9. | DeclRecord of line_t * (line_t * Base.string * expr_t Base.option * type_t Base.option) Base.list
  10. | DeclType of line_t * Base.string * (line_t * Base.string) Base.list * type_t
  11. | DeclOpaqueType of line_t * Base.string * (line_t * Base.string) Base.list * type_t
  12. | AttrWild of line_t * Base.string * Sf.t
  13. | FormEof
and literal_t =
  1. | LitAtom of line_t * Base.string
  2. | LitInteger of line_t * Base.int
  3. | LitBigInt of line_t * Z.t
  4. | LitString of line_t * Base.string
and pattern_t =
  1. | PatMap of line_t * pattern_assoc_t Base.list
  2. | PatTuple of line_t * pattern_t Base.list
  3. | PatUniversal of line_t
  4. | PatVar of line_t * Base.string
  5. | PatLit of literal_t
and pattern_assoc_t =
  1. | PatAssocExact of line_t * pattern_t * pattern_t
and expr_t =
  1. | ExprBody of expr_t Base.list
  2. | ExprCase of line_t * expr_t * clause_t Base.list
  3. | ExprLocalFunRef of line_t * Base.string * Base.int
  4. | ExprRemoteFunRef of line_t * atom_or_var_t * atom_or_var_t * integer_or_var_t
  5. | ExprFun of line_t * Base.string Base.option * clause_t Base.list
  6. | ExprLocalCall of line_t * expr_t * expr_t Base.list
  7. | ExprRemoteCall of line_t * line_t * expr_t * expr_t * expr_t Base.list
  8. | ExprMapCreation of line_t * expr_assoc_t Base.list
  9. | ExprMapUpdate of line_t * expr_t * expr_assoc_t Base.list
  10. | ExprMatch of line_t * pattern_t * expr_t
  11. | ExprBinOp of line_t * Base.string * expr_t * expr_t
  12. | ExprTuple of line_t * expr_t Base.list
  13. | ExprVar of line_t * Base.string
  14. | ExprLit of literal_t
and expr_assoc_t =
  1. | ExprAssoc of line_t * expr_t * expr_t
  2. | ExprAssocExact of line_t * expr_t * expr_t
and atom_or_var_t =
  1. | AtomVarAtom of line_t * Base.string
  2. | AtomVarVar of line_t * Base.string
and integer_or_var_t =
  1. | IntegerVarInteger of line_t * Base.int
  2. | IntegerVarVar of line_t * Base.string
and clause_t =
  1. | ClsCase of line_t * pattern_t * guard_sequence_t Base.option * expr_t
  2. | ClsFun of line_t * pattern_t Base.list * guard_sequence_t Base.option * expr_t
and guard_sequence_t =
  1. | GuardSeq of guard_t Base.list
and guard_t =
  1. | Guard of guard_test_t Base.list
and guard_test_t =
  1. | GuardTestCall of line_t * literal_t * guard_test_t Base.list
  2. | GuardTestMapCreation of line_t * guard_test_assoc_t Base.list
  3. | GuardTestMapUpdate of line_t * guard_test_t * guard_test_assoc_t Base.list
  4. | GuardTestBinOp of line_t * Base.string * guard_test_t * guard_test_t
  5. | GuardTestTuple of line_t * guard_test_t Base.list
  6. | GuardTestVar of line_t * Base.string
  7. | GuardTestLit of literal_t
and guard_test_assoc_t =
  1. | GuardTestAssoc of line_t * guard_test_t * guard_test_t
  2. | GuardTestAssocExact of line_t * guard_test_t * guard_test_t
and type_t =
  1. | TyAnn of line_t * type_t * type_t
  2. | TyPredef of line_t * Base.string * type_t Base.list
  3. | TyProduct of line_t * type_t Base.list
  4. | TyAnyMap of line_t
  5. | TyMap of line_t * type_assoc_t Base.list
  6. | TyVar of line_t * Base.string
  7. | TyContFun of line_t * type_t * type_func_cont_t
  8. | TyFun of line_t * type_t * type_t
  9. | TyAnyTuple of line_t
  10. | TyTuple of line_t * type_t Base.list
  11. | TyUser of line_t * Base.string * type_t Base.list
  12. | TyLit of literal_t
and type_assoc_t =
  1. | TyAssoc of line_t * type_t * type_t
  2. | TyAssocExact of line_t * type_t * type_t
and type_func_cont_t =
  1. | TyCont of type_func_cont_t Base.list
  2. | TyContRel of line_t * type_func_cont_t * type_t * type_t
  3. | TyContIsSubType of line_t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_form_t : form_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_literal_t : literal_t -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_pattern_t : pattern_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_pattern_assoc_t : pattern_assoc_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_expr_t : expr_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_expr_assoc_t : expr_assoc_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_atom_or_var_t : atom_or_var_t -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_integer_or_var_t : integer_or_var_t -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_clause_t : clause_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_guard_sequence_t : guard_sequence_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_guard_t : guard_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_guard_test_t : guard_test_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_guard_test_assoc_t : guard_test_assoc_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_type_t : type_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_type_assoc_t : type_assoc_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
val sexp_of_type_func_cont_t : type_func_cont_t -> Base__.Ppx_sexp_conv_lib.Sexp.t
type err_t = Sf.t Err.t
val sexp_of_err_t : err_t -> Ppx_sexp_conv_lib.Sexp.t
val track : loc:Base.Source_code_position.t -> ('a, 'b Err.t) Base.Result.t -> ('a, 'b Err.t) Base.Result.t
val of_sf : Sf.t -> (t, err_t) Base.Result.t
val form_of_sf : Sf.t -> (form_t, err_t) Base.Result.t
val name_and_arity_of_sf : Sf.t -> (Base.string * Base.int, err_t) Base.Result.t
val record_field_of_sf : Sf.t -> (line_t * Base.string * expr_t Base.option * type_t Base.option, err_t) Base.Result.t
val tvar_of_sf : Sf.t -> (line_t * Base.string, err_t) Base.Result.t
val lit_of_sf : Sf.t -> (literal_t, err_t) Base.Result.t
val pat_of_sf : Sf.t -> (pattern_t, err_t) Base.Result.t
val pat_assoc_of_sf : Sf.t -> (pattern_assoc_t, err_t) Base.Result.t
val expr_of_sf : Sf.t -> (expr_t, err_t) Base.Result.t
val atom_or_var_of_sf : Sf.t -> (atom_or_var_t, err_t) Base.Result.t
val integer_or_var_of_sf : Sf.t -> (integer_or_var_t, Sf.t Err.t) Base.Result.t
val expr_assoc_of_sf : Sf.t -> (expr_assoc_t, err_t) Base.Result.t
val cls_of_sf : ?in_function:bool -> Sf.t -> (clause_t, err_t) Base.Result.t
val guard_sequence_of_sf : Sf.t -> (guard_sequence_t, err_t) Base.Result.t
val guard_of_sf : Sf.t -> (guard_t, err_t) Base.Result.t
val guard_test_of_sf : Sf.t -> (guard_test_t, err_t) Base.Result.t
val guard_test_assoc_of_sf : Sf.t -> (guard_test_assoc_t, err_t) Base.Result.t
val type_of_sf : Sf.t -> (type_t, err_t) Base.Result.t
val fun_type_of_sf : Sf.t -> (type_t, err_t) Base.Result.t
val type_fun_cont_of_sf : Sf.t -> (type_func_cont_t, err_t) Base.Result.t
val type_assoc_of_sf : Sf.t -> (type_assoc_t, err_t) Base.Result.t
val of_etf : Obeam__External_term_format.t -> (t, err_t) Base.Result.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct