obeam 0.1.0 · OCaml Package

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 =

| AbstractCode of form_t

and form_t =

| ModDecl of form_t Base.list
| AttrExport of line_t * (Base.string * Base.int) Base.list
| AttrExportType of line_t * (Base.string * Base.int) Base.list
| AttrImport of line_t * (Base.string * Base.int) Base.list
| AttrMod of line_t * Base.string
| AttrFile of line_t * Base.string * line_t
| DeclFun of line_t * Base.string * Base.int * clause_t Base.list
| SpecFun of line_t * Base.string Base.option * Base.string * Base.int * type_t Base.list
| DeclRecord of line_t * (line_t * Base.string * expr_t Base.option * type_t Base.option) Base.list
| DeclType of line_t * Base.string * (line_t * Base.string) Base.list * type_t
| DeclOpaqueType of line_t * Base.string * (line_t * Base.string) Base.list * type_t
| AttrWild of line_t * Base.string * Sf.t
| FormEof

and literal_t =

| LitAtom of line_t * Base.string
| LitInteger of line_t * Base.int
| LitBigInt of line_t * Z.t
| LitString of line_t * Base.string

and pattern_t =

| PatMap of line_t * pattern_assoc_t Base.list
| PatUniversal of line_t
| PatVar of line_t * Base.string
| PatLit of literal_t

and pattern_assoc_t =

| PatAssocExact of line_t * pattern_t * pattern_t

and expr_t =

| ExprBody of expr_t Base.list
| ExprCase of line_t * expr_t * clause_t Base.list
| ExprLocalCall of line_t * expr_t * expr_t Base.list
| ExprRemoteCall of line_t * line_t * expr_t * expr_t * expr_t Base.list
| ExprMapCreation of line_t * expr_assoc_t Base.list
| ExprMapUpdate of line_t * expr_t * expr_assoc_t Base.list
| ExprBinOp of line_t * Base.string * expr_t * expr_t
| ExprVar of line_t * Base.string
| ExprLit of literal_t

and expr_assoc_t =

| ExprAssoc of line_t * expr_t * expr_t
| ExprAssocExact of line_t * expr_t * expr_t

and clause_t =

| ClsCase of line_t * pattern_t * guard_sequence_t Base.option * expr_t
| ClsFun of line_t * pattern_t Base.list * guard_sequence_t Base.option * expr_t

and guard_sequence_t =

| GuardSeq of guard_t Base.list

and guard_t =

| Guard of guard_test_t Base.list

and guard_test_t =

| GuardTestCall of line_t * literal_t * guard_test_t Base.list
| GuardTestMapCreation of line_t * guard_test_assoc_t Base.list
| GuardTestMapUpdate of line_t * guard_test_t * guard_test_assoc_t Base.list
| GuardTestBinOp of line_t * Base.string * guard_test_t * guard_test_t
| GuardTestVar of line_t * Base.string
| GuardTestLit of literal_t

and guard_test_assoc_t =

| GuardTestAssoc of line_t * guard_test_t * guard_test_t
| GuardTestAssocExact of line_t * guard_test_t * guard_test_t

and type_t =

| TyAnn of line_t * type_t * type_t
| TyPredef of line_t * Base.string * type_t Base.list
| TyProduct of line_t * type_t Base.list
| TyVar of line_t * Base.string
| TyContFun of line_t * type_t * type_func_cont_t
| TyFun of line_t * type_t * type_t

and type_func_cont_t =

| TyCont of type_func_cont_t Base.list
| TyContRel of line_t * type_func_cont_t * type_t * type_t
| 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_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_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 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 of_etf : Obeam__External_term_format.t -> (t, err_t) Base.Result.t

package obeam