Module Shared_ast.EncodingSource

JSON encoding functions for Catala values

Runtime values to JSON encodings correspondence

- Unit: {} (empty JSON object)

- Bool: true | false (JSON boolean)

- Money: 123 (JSON integer) | 123.45 (JSON number) | "123" (JSON string)
  Note:
    - integer and string representations map to monetary units and not cents
    - floats are truncated to the second decimal

- Integer: 123 (JSON integer) | "123" (JSON string)

- Decimal: 123 (JSON integer) | 123.45 (JSON number) | "1/3" (JSON string)
  Note: we rely on [Q.of_string] for decoding strings

- Date: "1970-01-31" (JSON string)
  Note: we rely on [Dates_calc.date_of_string]

- Duration: "1 years", "2 months" or "12 days" (JSON string)

- Enum:
  - Unit constructors: "A" (JSON string)
  - Non-unit constructors: {"B": <json value>} (JSON object)

- Struct: { "x": <json value>, "y": <json value>, ...} (JSON object)

- Array: [ <json value>, <json value>, ...] (JSON array)

- Tuple: [ <json value>, <json value>, ...] (JSON array)