package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Runtime_jsooSource

A js_of_ocaml wrapper around the Runtime.

Log events

Sourceclass type code_location = object ... end

Information about the position of the log inside the Catala source file.

Sourceclass type raw_event = object ... end

Wrapper for the Runtime.raw_event -- directly collected during the program execution.

Sourceclass type event = object ... end

Wrapper for the Runtime.event -- structured log event parsed from the raw_event ones.

Sourceclass type event_manager = object ... end

JS object usable to retrieve and reset log events.

Duration

Sourceclass type duration = object ... end

Simple JSOO wrapper around Runtime.duration.

Date conversion

Date values are encoded to a string in the ISO8601 format: 'YYYY-MM-DD'.

Error management

Sourceval execute_or_throw_error : (unit -> 'a) -> 'a

execute_or_throw_error f calls f () and propagates the Catala_runtime.error.NoValue, Catala_runtime.error.Conflict Catala_runtime.error.AssertionFailed exceptions by raising a JS error if needed.