Module `Shared_ast.Print`Source

Printing functions for the default calculus AST

Common syntax highlighting helpers

Sourceval base_type : Format.formatter -> string -> unit

Sourceval keyword : Format.formatter -> string -> unit

Sourceval punctuation : Format.formatter -> string -> unit

Sourceval op_style : Format.formatter -> string -> unit

Sourceval lit_style : Format.formatter -> string -> unit

Formatters

Source

val uid_list : 
  Format.formatter ->
  Catala_utils.Uid.MarkedString.info list ->
  unit

Source

val enum_constructor : 
  Format.formatter ->
  Shared_ast__.Definitions.EnumConstructor.t ->
  unit

Sourceval tlit : Format.formatter -> Shared_ast__.Definitions.typ_lit -> unit

Source

val location : 
  Format.formatter ->
  'a Shared_ast__.Definitions.glocation ->
  unit

Source

val typ : 
  Shared_ast__.Definitions.decl_ctx ->
  Format.formatter ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos ->
  unit

Sourceval lit : Format.formatter -> 'a Shared_ast__.Definitions.glit -> unit

Source

val operator : 
  Format.formatter ->
  ('a Shared_ast__.Definitions.any Shared_ast__.Definitions.any, 'k)
    Shared_ast__.Definitions.Op.t ->
  unit

Sourceval log_entry : Format.formatter -> Shared_ast__.Definitions.log_entry -> unit

Sourceval except : Format.formatter -> Shared_ast__.Definitions.except -> unit

Sourceval var : Format.formatter -> 'e Var.t -> unit

Sourceval var_debug : Format.formatter -> 'e Var.t -> unit

Source

val expr : 
  ?debug:bool ->
  Shared_ast__.Definitions.decl_ctx ->
  Format.formatter ->
  (('a, 'm Shared_ast__.Definitions.mark) Shared_ast__.Definitions.naked_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Marked.t ->
  unit

Debugging versions that don't require a context

Source

val expr_debug : 
  ?debug:bool ->
  Format.formatter ->
  (('a, 'm Shared_ast__.Definitions.mark) Shared_ast__.Definitions.naked_gexpr,
    'm Shared_ast__.Definitions.mark)
    Catala_utils.Marked.t ->
  unit

Source

val typ_debug : 
  Format.formatter ->
  Shared_ast__.Definitions.naked_typ Catala_utils.Marked.pos ->
  unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/Print/index.html

Module `Shared_ast.Print`Source

Common syntax highlighting helpers

Formatters

Debugging versions that don't require a context

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.shared_ast/Shared_ast/Print/index.html

Module Shared_ast.PrintSource

Common syntax highlighting helpers

Formatters

Debugging versions that don't require a context

Module `Shared_ast.Print`Source