package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Classification of operators on how they should be typed

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

Operands and return types of the operator are fixed

type 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.

type 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

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

Explicit monomorphic versions of the overloaded operators

type _ t =
  1. | Not : < monomorphic.. > t
  2. | GetDay : < monomorphic.. > t
  3. | GetMonth : < monomorphic.. > t
  4. | GetYear : < monomorphic.. > t
  5. | FirstDayOfMonth : < monomorphic.. > t
  6. | LastDayOfMonth : < monomorphic.. > t
  7. | Length : < polymorphic.. > t
  8. | ToClosureEnv : < polymorphic.. > t
  9. | FromClosureEnv : < polymorphic.. > t
  10. | Minus : < overloaded.. > t
  11. | Minus_int : < resolved.. > t
  12. | Minus_rat : < resolved.. > t
  13. | Minus_mon : < resolved.. > t
  14. | Minus_dur : < resolved.. > t
  15. | ToRat : < overloaded.. > t
  16. | ToRat_int : < resolved.. > t
  17. | ToRat_mon : < resolved.. > t
  18. | ToMoney : < overloaded.. > t
  19. | ToMoney_rat : < 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 : Runtime_ocaml.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 : < 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_rat : < resolved.. > t
  48. | Mult_dur_int : < resolved.. > t
  49. | Div : < overloaded.. > t
  50. | Div_int_int : < resolved.. > t
  51. | Div_rat_rat : < resolved.. > t
  52. | Div_mon_rat : < resolved.. > t
  53. | Div_mon_mon : < resolved.. > t
  54. | Div_dur_dur : < resolved.. > t
  55. | Lt : < overloaded.. > t
  56. | Lt_int_int : < resolved.. > t
  57. | Lt_rat_rat : < resolved.. > t
  58. | Lt_mon_mon : < resolved.. > t
  59. | Lt_dat_dat : < resolved.. > t
  60. | Lt_dur_dur : < resolved.. > t
  61. | Lte : < overloaded.. > t
  62. | Lte_int_int : < resolved.. > t
  63. | Lte_rat_rat : < resolved.. > t
  64. | Lte_mon_mon : < resolved.. > t
  65. | Lte_dat_dat : < resolved.. > t
  66. | Lte_dur_dur : < resolved.. > t
  67. | Gt : < overloaded.. > t
  68. | Gt_int_int : < resolved.. > t
  69. | Gt_rat_rat : < resolved.. > t
  70. | Gt_mon_mon : < resolved.. > t
  71. | Gt_dat_dat : < resolved.. > t
  72. | Gt_dur_dur : < resolved.. > t
  73. | Gte : < overloaded.. > t
  74. | Gte_int_int : < resolved.. > t
  75. | Gte_rat_rat : < resolved.. > t
  76. | Gte_mon_mon : < resolved.. > t
  77. | Gte_dat_dat : < resolved.. > t
  78. | Gte_dur_dur : < resolved.. > t
  79. | Eq_int_int : < resolved.. > t
  80. | Eq_rat_rat : < resolved.. > t
  81. | Eq_mon_mon : < resolved.. > t
  82. | Eq_dur_dur : < resolved.. > t
  83. | Eq_dat_dat : < resolved.. > t
  84. | Reduce : < polymorphic.. > t
  85. | Fold : < polymorphic.. > t
  86. | HandleDefault : < polymorphic.. > t
  87. | HandleDefaultOpt : < polymorphic.. > t
OCaml

Innovation. Community. Security.