Module `Catala_utils.Cli`Source

Sourcetype backend_lang =

| En
| Fr
| Pl

Sourcetype backend_option_builtin = [

| `Latex
| `Makefile
| `Html
| `Interpret
| `Typecheck
| `OCaml
| `Python
| `Scalc
| `Lcalc
| `Dcalc
| `Scopelang
| `Proof

]

Sourcetype 'a backend_option = [

| backend_option_builtin
| `Plugin of 'a

]

Sourceval backend_option_to_string : string backend_option -> string

backend_option_to_string backend returns the string representation of the given backend.

Sourceval backend_option_of_string : string -> string backend_option

backend_option_of_string backend returns the backend_option corresponding to the backend string.

Configuration globals

Sourceval source_files : string list ref

Source files to be compiled

Sourceval locale_lang : backend_lang ref

Sourceval contents : string ref

Sourceval debug_flag : bool ref

Sourceval style_flag : bool ref

Styles the terminal output

Sourceval optimize_flag : bool ref

Sourceval max_prec_digits : int ref

Max number of digits to show for decimal results

Sourceval trace_flag : bool ref

Sourceval disable_counterexamples : bool ref

Disables model-generated counterexamples for proofs that fail.

Sourceval avoid_exceptions_flag : bool ref

Avoids using try ... with exceptions when compiling the default calculus.

CLI terms

Sourceval file : string Cmdliner.Term.t

Sourceval debug : bool Cmdliner.Term.t

Sourceval unstyled : bool Cmdliner.Term.t

Sourceval trace_opt : bool Cmdliner.Term.t

Sourceval wrap_weaved_output : bool Cmdliner.Term.t

Sourceval print_only_law : bool Cmdliner.Term.t

Sourceval backend : string Cmdliner.Term.t

Sourceval plugins_dirs : string list Cmdliner.Term.t

Sourceval language : string option Cmdliner.Term.t

Sourceval max_prec_digits_opt : int option Cmdliner.Term.t

Sourceval ex_scope : string option Cmdliner.Term.t

Sourceval output : string option Cmdliner.Term.t

Sourcetype when_enum =

| Auto
| Always
| Never

The usual auto/always/never option argument

Sourcetype options = {

debug : bool;
color : when_enum;
wrap_weaved_output : bool;
avoid_exceptions : bool;
backend : string;
plugins_dirs : string list;
language : string option;
max_prec_digits : int option;
trace : bool;
disable_counterexamples : bool;
optimize : bool;
ex_scope : string option;
output_file : string option;
closure_conversion : bool;
print_only_law : bool;

}

Command-line application

Sourceval options : options Cmdliner.Term.t

Sourceval catala_t : (string -> options -> 'a) -> 'a Cmdliner.Term.t

Main entry point: catala_t file options

Sourceval set_option_globals : options -> unit

Sourceval version : string

Sourceval info : Cmdliner.Cmd.info

Terminal formatting

Markers

Sourceval with_style : ANSITerminal.style list -> ('a, unit, string) format -> 'a

Source

val format_with_style : 
  ANSITerminal.style list ->
  Format.formatter ->
  string ->
  unit

Sourceval call_unstyled : (unit -> 'a) -> 'a

call_unstyled f calls the function f with the style_flag set to false during the execution.

Sourceval debug_marker : unit -> string

Sourceval error_marker : unit -> string

Sourceval warning_marker : unit -> string

Sourceval result_marker : unit -> string

Sourceval log_marker : unit -> string

Printers

All the printers below print their argument after the correct marker

Source

val concat_with_line_depending_prefix_and_suffix : 
  (int -> string) ->
  (int -> string) ->
  string list ->
  string

Sourceval add_prefix_to_each_line : string -> (int -> string) -> string

The int argument of the prefix corresponds to the line number, starting at 0

Sourceval debug_print : ('a, out_channel, unit) format -> 'a

Sourceval debug_format : ('a, Format.formatter, unit) format -> 'a

Sourceval error_print : ('a, out_channel, unit) format -> 'a

Sourceval warning_print : ('a, out_channel, unit) format -> 'a

Sourceval result_print : ('a, out_channel, unit) format -> 'a

Sourceval result_format : ('a, Format.formatter, unit) format -> 'a

Sourceval log_print : ('a, out_channel, unit) format -> 'a

Sourceval log_format : ('a, Format.formatter, unit) format -> 'a

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.catala_utils/Catala_utils/Cli/index.html

Module `Catala_utils.Cli`Source

Configuration globals

CLI terms

Terminal formatting

Markers

Printers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.catala_utils/Catala_utils/Cli/index.html

Module Catala_utils.CliSource

Configuration globals

CLI terms

Terminal formatting

Markers

Printers

Module `Catala_utils.Cli`Source