package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type

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