package catala

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

Module Dcalc.InterpreterSource

Reference interpreter for the default calculus

Sourcemodule Pos = Utils.Pos
Sourcemodule Errors = Utils.Errors
Sourcemodule Cli = Utils.Cli
Sourcemodule A = Ast

Helpers

Sourceval is_empty_error : A.expr Pos.marked -> bool
Sourceval empty_thunked_term : Ast.expr Pos.marked

Evaluation

Sourceval evaluate_operator : A.operator Pos.marked -> A.expr Pos.marked list -> A.expr Pos.marked
Sourceval evaluate_expr : A.expr Pos.marked -> A.expr Pos.marked

API

Sourceval interpret_program : Ast.expr Pos.marked -> (Ast.Var.t * Ast.expr Pos.marked) list

Interpret a program. This function expects an expression typed as a function whose argument are all thunked. The function is executed by providing for each argument a thunked empty default.

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