catala 0.8.0 · OCaml Package

Contains all format functions used to generating the js_of_ocaml wrapper of the corresponding Catala program.

val to_camel_case : string -> string

val format_struct_field_name_camel_case : 
  Stdlib.Format.formatter ->
  Shared_ast.StructField.t ->
  unit

val format_tlit : Stdlib.Format.formatter -> Shared_ast.typ_lit -> unit

val format_typ : Stdlib.Format.formatter -> Shared_ast.typ -> unit

val format_typ_to_jsoo : 
  Stdlib.Format.formatter ->
  (Shared_ast.naked_typ, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  unit

val format_typ_of_jsoo : 
  Stdlib.Format.formatter ->
  (Shared_ast.naked_typ, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  unit

val format_var_camel_case : 
  Stdlib.Format.formatter ->
  (([< `Dcalc | `Desugared | `Lcalc | `Scopelang ] Shared_ast__.Definitions.any,
     'a)
     Shared_ast__.Definitions.naked_gexpr,
    'a)
    Catala_utils.Marked.t
    Shared_ast.Var.t ->
  unit

val format_ctx : 
  Scopelang.Dependency.TVertex.t list ->
  Stdlib.Format.formatter ->
  Shared_ast.decl_ctx ->
  unit

val fmt_input_struct_name : 
  Stdlib.Format.formatter ->
  'a Lcalc.Ast.expr Shared_ast.scope_body ->
  unit

val fmt_output_struct_name : 
  Stdlib.Format.formatter ->
  'a Lcalc.Ast.expr Shared_ast.scope_body ->
  unit

val format_scopes_to_fun : 
  Shared_ast.decl_ctx ->
  Stdlib.Format.formatter ->
  (Shared_ast.lcalc Shared_ast__.Definitions.any Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast.any
     Shared_ast.any,
    'a Shared_ast.mark)
    Shared_ast.gexpr
    Shared_ast.code_item_list ->
  unit

val format_scopes_to_callbacks : 
  Shared_ast.decl_ctx ->
  Stdlib.Format.formatter ->
  (Shared_ast.lcalc Shared_ast__.Definitions.any Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast.any
     Shared_ast.any,
    'a Shared_ast.mark)
    Shared_ast.gexpr
    Shared_ast.code_item_list ->
  unit

val format_program : 
  Stdlib.Format.formatter ->
  string option ->
  'm Lcalc.Ast.program ->
  Scopelang.Dependency.TVertex.t list ->
  unit

package catala