catala 0.9.0 (latest) · 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 : 
  Format.formatter ->
  Shared_ast.StructField.t ->
  unit

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

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

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

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

val format_var_camel_case : 
  Format.formatter ->
  (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr,
    'b Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed
    Shared_ast.Var.t ->
  unit

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

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

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

val format_scopes_to_fun : 
  Shared_ast.decl_ctx ->
  Format.formatter ->
  (< assertions : Shared_ast.yes
     ; custom : Shared_ast.no
     ; defaultTerms : Shared_ast.no
     ; exceptions : Shared_ast.yes
     ; explicitScopes : Shared_ast.no
     ; monomorphic : Shared_ast.yes
     ; overloaded : Shared_ast.no
     ; polymorphic : Shared_ast.yes
     ; resolved : Shared_ast.yes
     ; scopeVarSimpl : Shared_ast.no
     ; scopeVarStates : Shared_ast.no
     ; syntacticNames : Shared_ast.no >
     Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast.any
     Shared_ast.any,
    'a)
    Shared_ast.gexpr
    Shared_ast.code_item_list ->
  unit

val format_scopes_to_callbacks : 
  Shared_ast.decl_ctx ->
  Format.formatter ->
  (< assertions : Shared_ast.yes
     ; custom : Shared_ast.no
     ; defaultTerms : Shared_ast.no
     ; exceptions : Shared_ast.yes
     ; explicitScopes : Shared_ast.no
     ; monomorphic : Shared_ast.yes
     ; overloaded : Shared_ast.no
     ; polymorphic : Shared_ast.yes
     ; resolved : Shared_ast.yes
     ; scopeVarSimpl : Shared_ast.no
     ; scopeVarStates : Shared_ast.no
     ; syntacticNames : Shared_ast.no >
     Shared_ast__.Definitions.any
     Shared_ast__.Definitions.any
     Shared_ast.any
     Shared_ast.any,
    'a)
    Shared_ast.gexpr
    Shared_ast.code_item_list ->
  unit

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

package catala