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 (9)

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-alpha.tar.gz
md5=2615968670ac21b1d00386a9b04b3843
sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143

doc/catala.desugared/Desugared/Ast/index.html

Module Desugared.AstSource

Abstract syntax tree of the desugared representation

Sourcemodule ScopeDef : sig ... end

Inside a scope, a definition can refer to a variable (possibly an intermediate state thereof) or an input of a subscope.

AST

Expressions

See Shared_ast.naked_gexpr for the complete definition

Rules and scopes

Sourcetype exception_situation =
  1. | BaseCase
  2. | ExceptionToLabel of Shared_ast.LabelName.t Catala_utils.Mark.pos
  3. | ExceptionToRule of Shared_ast.RuleName.t Catala_utils.Mark.pos
Sourcetype label_situation =
  1. | ExplicitlyLabeled of Shared_ast.LabelName.t Catala_utils.Mark.pos
  2. | Unlabeled
Sourcetype rule = {
  1. rule_id : Shared_ast.RuleName.t;
  2. rule_just : expr Shared_ast.boxed;
  3. rule_cons : expr Shared_ast.boxed;
  4. rule_parameter : (expr Shared_ast.Var.t Catala_utils.Mark.pos * Shared_ast.typ) list Catala_utils.Mark.pos option;
  5. rule_exception : exception_situation;
  6. rule_label : label_situation;
}
Sourcemodule Rule : Set.OrderedType with type t = rule
Sourcetype assertion = expr Shared_ast.boxed
Sourcetype variation_typ =
  1. | Increasing
  2. | Decreasing
Sourcetype reference_typ =
  1. | Decree
  2. | Law
Sourcetype catala_option =
  1. | DateRounding of variation_typ
Sourcetype meta_assertion =
  1. | FixedBy of reference_typ Catala_utils.Mark.pos
  2. | VariesWith of unit * variation_typ Catala_utils.Mark.pos option
Sourcetype io = {
  1. io_output : bool Catala_utils.Mark.pos;
    (*

    true is present in the output of the scope.

    *)
  2. io_input : Catala_runtime.io_input Catala_utils.Mark.pos;
}

Characterization of the input/output status of a scope variable.

Sourcetype scope_def = {
  1. scope_def_rules : rule Shared_ast.RuleName.Map.t;
    (*

    empty outside of the root module

    *)
  2. scope_def_typ : Shared_ast.typ;
  3. scope_def_parameters : (Catala_utils.Uid.MarkedString.info * Shared_ast.typ) list Catala_utils.Mark.pos option;
  4. scope_def_is_condition : bool;
  5. scope_def_io : io;
}
Sourcetype var_or_states =
  1. | WholeVar
  2. | States of Shared_ast.StateName.t list
Sourcetype scope = {
  1. scope_vars : var_or_states Shared_ast.ScopeVar.Map.t;
  2. scope_sub_scopes : Shared_ast.ScopeName.t Shared_ast.ScopeVar.Map.t;
  3. scope_uid : Shared_ast.ScopeName.t;
  4. scope_defs : scope_def ScopeDef.Map.t;
  5. scope_assertions : assertion AssertionName.Map.t;
    (*

    empty outside of the root module

    *)
  6. scope_options : catala_option Catala_utils.Mark.pos list;
  7. scope_meta_assertions : meta_assertion list;
  8. scope_visibility : Shared_ast.visibility;
}
Sourcetype topdef = {
  1. topdef_expr : expr option;
    (*

    Always None outside of the root module

    *)
  2. topdef_type : Shared_ast.typ;
  3. topdef_arg_names : string Catala_utils.Mark.pos list;
  4. topdef_visibility : Shared_ast.visibility;
    (*

    Necessarily Public outside of the root module

    *)
  5. topdef_external : bool;
}
Sourcetype modul = {
  1. module_scopes : scope Shared_ast.ScopeName.Map.t;
  2. module_topdefs : topdef Shared_ast.TopdefName.Map.t;
}
Sourcetype program = {
  1. program_module_name : (Shared_ast.ModuleName.t * Shared_ast.module_intf_id) option;
  2. program_ctx : Shared_ast.decl_ctx;
  3. program_modules : modul Shared_ast.ModuleName.Map.t;
    (*

    Contains all submodules of the program, in a flattened structure

    *)
  4. program_root : modul;
  5. program_lang : Catala_utils.Global.backend_lang;
}

Interface hash computations

Sourcemodule Hash : sig ... end

These hashes are computed on interfaces: only signatures are considered.

Helpers

Sourceval locations_used : expr -> LocationSet.t
Sourceval fold_exprs : f:('a -> expr -> 'a) -> init:'a -> program -> 'a

Usage: fold_exprs ~f ~init program applies ~f to all the expressions inside rules (justifications and consequences), expressions and top-level definitions of the program. Note that there may be free variables in these expressions.