UserFacing (p.catala.0.10.0.doc.catala.shared_ast.Shared

Source

val unit : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.unit ->
  unit

Source

val bool : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.bool ->
  unit

Source

val integer : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.integer ->
  unit

Source

val decimal : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.decimal ->
  unit

Source

val money : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.money ->
  unit

Source

val date : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.date ->
  unit

Source

val duration : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Runtime_ocaml.Runtime.duration ->
  unit

Source

val lit : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  Shared_ast__.Definitions.lit ->
  unit

Source

val lit_to_string : 
  Catala_utils.Global.backend_lang ->
  Shared_ast__.Definitions.lit ->
  string

Source

val value : 
  ?fallback:
    (Format.formatter ->
      (('a, 'a, 't) Shared_ast__.Definitions.base_gexpr,
        't Shared_ast__.Definitions.mark)
        Catala_utils.Mark.ed ->
      unit) ->
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  (('a, 'a, 't) Shared_ast__.Definitions.base_gexpr,
    't Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed ->
  unit

Prints a value in a localised format, intended to be read by an end-user.

parameter fallback
is called upon non-value expressions (by default, Invalid_argument is raised)

Source

val expr : 
  Catala_utils.Global.backend_lang ->
  Format.formatter ->
  ((_, _, _) Shared_ast__.Definitions.base_gexpr,
    _ Shared_ast__.Definitions.mark)
    Catala_utils.Mark.ed ->
  unit

This combines the user-facing value printer and the generic expression printer to handle all AST nodes