package catala

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

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (13)

Authors

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

Maintainers

  1. C
    contact@catala-lang.org

Sources

1.0.0.tar.gz
md5=42196e9a9c5e12839b38cb3da935f10c
sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b

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

Module Shared_ast.OpSource

Classification of operators on how they should be typed

Sourcetype monomorphic = < monomorphic : Shared_ast__.Definitions.yes >

Operands and return types of the operator are fixed

Sourcetype polymorphic = < polymorphic : Shared_ast__.Definitions.yes >

The operator is truly polymorphic: it's the same runtime function that may work on multiple types. We require that resolving the argument types from right to left trivially resolves all type variables declared in the operator type.

Sourcetype overloaded = < overloaded : Shared_ast__.Definitions.yes >

The operator is ambiguous and requires the types of its arguments to be known before it can be typed, using a pre-defined table

Sourcetype resolved = < resolved : Shared_ast__.Definitions.yes >

Explicit monomorphic versions of the overloaded operators

Sourcetype _ t =
  1. | Not : < monomorphic.. > t
  2. | Length : < polymorphic.. > t
  3. | Log : Shared_ast__.Definitions.log_entry * Catala_utils.Uid.MarkedString.info list -> < polymorphic.. > t
  4. | ToClosureEnv : < polymorphic.. > t
  5. | FromClosureEnv : < polymorphic.. > t
  6. | Minus : < overloaded.. > t
  7. | Minus_int : < resolved.. > t
  8. | Minus_rat : < resolved.. > t
  9. | Minus_mon : < resolved.. > t
  10. | Minus_dur : < resolved.. > t
  11. | ToInt : < overloaded.. > t
  12. | ToInt_rat : < resolved.. > t
  13. | ToInt_mon : < resolved.. > t
  14. | ToRat : < overloaded.. > t
  15. | ToRat_int : < resolved.. > t
  16. | ToRat_mon : < resolved.. > t
  17. | ToMoney : < overloaded.. > t
  18. | ToMoney_rat : < resolved.. > t
  19. | ToMoney_int : < resolved.. > t
  20. | Round : < overloaded.. > t
  21. | Round_rat : < resolved.. > t
  22. | Round_mon : < resolved.. > t
  23. | And : < monomorphic.. > t
  24. | Or : < monomorphic.. > t
  25. | Xor : < monomorphic.. > t
  26. | Eq : < polymorphic.. > t
  27. | Map : < polymorphic.. > t
  28. | Map2 : < polymorphic.. > t
  29. | Concat : < polymorphic.. > t
  30. | Filter : < polymorphic.. > t
  31. | Add : < overloaded.. > t
  32. | Add_int_int : < resolved.. > t
  33. | Add_rat_rat : < resolved.. > t
  34. | Add_mon_mon : < resolved.. > t
  35. | Add_dat_dur : Catala_runtime.date_rounding -> < resolved.. > t
  36. | Add_dur_dur : < resolved.. > t
  37. | Sub : < overloaded.. > t
  38. | Sub_int_int : < resolved.. > t
  39. | Sub_rat_rat : < resolved.. > t
  40. | Sub_mon_mon : < resolved.. > t
  41. | Sub_dat_dat : < resolved.. > t
  42. | Sub_dat_dur : Catala_runtime.date_rounding -> < resolved.. > t
  43. | Sub_dur_dur : < resolved.. > t
  44. | Mult : < overloaded.. > t
  45. | Mult_int_int : < resolved.. > t
  46. | Mult_rat_rat : < resolved.. > t
  47. | Mult_mon_int : < resolved.. > t
  48. | Mult_mon_rat : < resolved.. > t
  49. | Mult_dur_int : < resolved.. > t
  50. | Div : < overloaded.. > t
  51. | Div_int_int : < resolved.. > t
  52. | Div_rat_rat : < resolved.. > t
  53. | Div_mon_int : < resolved.. > t
  54. | Div_mon_rat : < resolved.. > t
  55. | Div_mon_mon : < resolved.. > t
  56. | Div_dur_dur : < resolved.. > t
  57. | Lt : < overloaded.. > t
  58. | Lt_int_int : < resolved.. > t
  59. | Lt_rat_rat : < resolved.. > t
  60. | Lt_mon_mon : < resolved.. > t
  61. | Lt_dat_dat : < resolved.. > t
  62. | Lt_dur_dur : < resolved.. > t
  63. | Lte : < overloaded.. > t
  64. | Lte_int_int : < resolved.. > t
  65. | Lte_rat_rat : < resolved.. > t
  66. | Lte_mon_mon : < resolved.. > t
  67. | Lte_dat_dat : < resolved.. > t
  68. | Lte_dur_dur : < resolved.. > t
  69. | Gt : < overloaded.. > t
  70. | Gt_int_int : < resolved.. > t
  71. | Gt_rat_rat : < resolved.. > t
  72. | Gt_mon_mon : < resolved.. > t
  73. | Gt_dat_dat : < resolved.. > t
  74. | Gt_dur_dur : < resolved.. > t
  75. | Gte : < overloaded.. > t
  76. | Gte_int_int : < resolved.. > t
  77. | Gte_rat_rat : < resolved.. > t
  78. | Gte_mon_mon : < resolved.. > t
  79. | Gte_dat_dat : < resolved.. > t
  80. | Gte_dur_dur : < resolved.. > t
  81. | Eq_boo_boo : < resolved.. > t
  82. | Eq_int_int : < resolved.. > t
  83. | Eq_rat_rat : < resolved.. > t
  84. | Eq_mon_mon : < resolved.. > t
  85. | Eq_dur_dur : < resolved.. > t
  86. | Eq_dat_dat : < resolved.. > t
  87. | Reduce : < polymorphic.. > t
  88. | Fold : < polymorphic.. > t
  89. | HandleExceptions : < polymorphic.. > t