package catala

  1. Overview
  2. Docs
Low-level language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

  1. D
    Denis Merigoux

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.3.0.tar.gz
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a

doc/catala.utils/Utils/Cli/index.html

Module Utils.CliSource

Sourcetype frontend_lang = [
  1. | `En
  2. | `Fr
  3. | `NonVerbose
]
Sourcetype backend_lang = [
  1. | `En
  2. | `Fr
]
Sourceval to_backend_lang : frontend_lang -> backend_lang

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 max_prec_digits : int ref

Max number of digits to show for decimal results

Sourceval trace_flag : bool ref

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 backend : string Cmdliner.Term.t
Sourcetype backend_option =
  1. | Latex
  2. | Makefile
  3. | Html
  4. | Run
  5. | OCaml
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
Sourceval catala_t : (string -> bool -> bool -> bool -> bool -> string -> string option -> int option -> bool -> string option -> string option -> 'a) -> 'a Cmdliner.Term.t

Main entry point: catala_t file debug unstyled wrap_weaved_output backend language max_prec_digits_opt trace_opt ex_scope output

Sourceval version : string

Terminal formatting

Markers

Sourceval print_with_style : ANSITerminal.style list -> ('a, unit, string) format -> 'a
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

Sourceval 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 : string -> unit
Sourceval error_print : string -> unit
Sourceval warning_print : string -> unit
Sourceval result_print : string -> unit
Sourceval log_print : string -> 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