package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil
  7. R
    Raphaël Monat

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.9.0.tar.gz
md5=8f891209d18b6540df9c34b2d1a6a783
sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

doc/catala.runtime_ocaml/Runtime_ocaml/Runtime/Oper/index.html

Module Runtime.OperSource

Sourceval o_not : bool -> bool
Sourceval o_length : 'a array -> integer
Sourceval o_torat_int : integer -> decimal
Sourceval o_torat_mon : money -> decimal
Sourceval o_tomoney_rat : decimal -> money
Sourceval o_getDay : date -> integer
Sourceval o_getMonth : date -> integer
Sourceval o_getYear : date -> integer
Sourceval o_firstDayOfMonth : date -> date
Sourceval o_lastDayOfMonth : date -> date
Sourceval o_round_mon : money -> money
Sourceval o_round_rat : decimal -> decimal
Sourceval o_minus_int : integer -> integer
Sourceval o_minus_rat : decimal -> decimal
Sourceval o_minus_mon : money -> money
Sourceval o_minus_dur : duration -> duration
Sourceval o_and : bool -> bool -> bool
Sourceval o_or : bool -> bool -> bool
Sourceval o_xor : bool -> bool -> bool
Sourceval o_eq : 'a -> 'a -> bool
Sourceval o_map : ('a -> 'b) -> 'a array -> 'b array
Sourceval o_reduce : ('a -> 'a -> 'a) -> 'a -> 'a array -> 'a
Sourceval o_concat : 'a array -> 'a array -> 'a array
Sourceval o_filter : ('a -> bool) -> 'a array -> 'a array
Sourceval o_add_int_int : integer -> integer -> integer
Sourceval o_add_rat_rat : decimal -> decimal -> decimal
Sourceval o_add_mon_mon : money -> money -> money
Sourceval o_add_dat_dur : date_rounding -> date -> duration -> date
Sourceval o_add_dur_dur : duration -> duration -> duration
Sourceval o_sub_int_int : integer -> integer -> integer
Sourceval o_sub_rat_rat : decimal -> decimal -> decimal
Sourceval o_sub_mon_mon : money -> money -> money
Sourceval o_sub_dat_dat : date -> date -> duration
Sourceval o_sub_dat_dur : date -> duration -> date
Sourceval o_sub_dur_dur : duration -> duration -> duration
Sourceval o_mult_int_int : integer -> integer -> integer
Sourceval o_mult_rat_rat : decimal -> decimal -> decimal
Sourceval o_mult_mon_rat : money -> decimal -> money
Sourceval o_mult_dur_int : duration -> integer -> duration
Sourceval o_div_int_int : integer -> integer -> decimal
Sourceval o_div_rat_rat : decimal -> decimal -> decimal
Sourceval o_div_mon_mon : money -> money -> decimal
Sourceval o_div_mon_rat : money -> decimal -> money
Sourceval o_div_dur_dur : duration -> duration -> decimal
Sourceval o_lt_int_int : integer -> integer -> bool
Sourceval o_lt_rat_rat : decimal -> decimal -> bool
Sourceval o_lt_mon_mon : money -> money -> bool
Sourceval o_lt_dur_dur : duration -> duration -> bool
Sourceval o_lt_dat_dat : date -> date -> bool
Sourceval o_lte_int_int : integer -> integer -> bool
Sourceval o_lte_rat_rat : decimal -> decimal -> bool
Sourceval o_lte_mon_mon : money -> money -> bool
Sourceval o_lte_dur_dur : duration -> duration -> bool
Sourceval o_lte_dat_dat : date -> date -> bool
Sourceval o_gt_int_int : integer -> integer -> bool
Sourceval o_gt_rat_rat : decimal -> decimal -> bool
Sourceval o_gt_mon_mon : money -> money -> bool
Sourceval o_gt_dur_dur : duration -> duration -> bool
Sourceval o_gt_dat_dat : date -> date -> bool
Sourceval o_gte_int_int : integer -> integer -> bool
Sourceval o_gte_rat_rat : decimal -> decimal -> bool
Sourceval o_gte_mon_mon : money -> money -> bool
Sourceval o_gte_dur_dur : duration -> duration -> bool
Sourceval o_gte_dat_dat : date -> date -> bool
Sourceval o_eq_int_int : integer -> integer -> bool
Sourceval o_eq_rat_rat : decimal -> decimal -> bool
Sourceval o_eq_mon_mon : money -> money -> bool
Sourceval o_eq_dur_dur : duration -> duration -> bool
Sourceval o_eq_dat_dat : date -> date -> bool
Sourceval o_fold : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a
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