package catala

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

Module Api_web.To_jsooSource

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

Sourceval to_camel_case : string -> string
Sourceval format_struct_field_name_camel_case : Stdlib.Format.formatter -> Shared_ast.StructField.t -> unit
Sourceval format_tlit : Stdlib.Format.formatter -> Shared_ast.typ_lit -> unit
Sourceval format_typ : Stdlib.Format.formatter -> Shared_ast.typ -> unit
Sourceval format_typ_to_jsoo : Stdlib.Format.formatter -> (Shared_ast.naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed -> unit
Sourceval format_typ_of_jsoo : Stdlib.Format.formatter -> (Shared_ast.naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed -> unit
Sourceval format_var_camel_case : Stdlib.Format.formatter -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.t -> unit
Sourceval format_ctx : Scopelang.Dependency.TVertex.t list -> Stdlib.Format.formatter -> Shared_ast.decl_ctx -> unit
Sourceval fmt_input_struct_name : Stdlib.Format.formatter -> 'a Lcalc.Ast.expr Shared_ast.scope_body -> unit
Sourceval fmt_output_struct_name : Stdlib.Format.formatter -> 'a Lcalc.Ast.expr Shared_ast.scope_body -> unit
Sourceval format_scopes_to_fun : Shared_ast.decl_ctx -> Stdlib.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
Sourceval format_scopes_to_callbacks : Shared_ast.decl_ctx -> Stdlib.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
Sourceval format_program : Stdlib.Format.formatter -> string option -> 'm Lcalc.Ast.program -> Scopelang.Dependency.TVertex.t list -> unit
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