package catala

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Identifiers
Abstract syntax tree

Compiler and library for the literate programming language for tax code specification

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (13)

Authors

Maintainers

C

contact@catala-lang.org

Sources

1.1.0.tar.gz

md5=ec7dda88c5f7f371d2a35874cdae2a10

sha512=7cedccfbe5330992d5730441d6ba7b97446237ff5bb4579498a167f2319ec03e8fae50b7f80e3abe96833744b61ffd10719ce0c3e4c144893a4b7adc77e91b56

doc/catala.scopelang/Scopelang/Ast/index.html

Module `Scopelang.Ast`Source

Abstract syntax tree of the scope language

Identifiers

Sourcetype location = Shared_ast.scopelang Shared_ast.glocation

Sourcemodule LocationSet : Set.S with type elt = location Catala_utils.Mark.pos

Abstract syntax tree

Sourcetype 'm expr = (Shared_ast.scopelang, 'm) Shared_ast.gexpr

Sourceval locations_used : 'm expr -> LocationSet.t

Sourcetype 'm rule =

| ScopeVarDefinition of {
1. var : Shared_ast.ScopeVar.t * Catala_utils.Pos.t list;
  (*
  Scope variable and its list of definitions' positions
  *)
2. typ : Shared_ast.typ;
3. io : Desugared.Ast.io;
4. e : 'm expr;
}
| SubScopeVarDefinition of {
1. var : Shared_ast.ScopeVar.t * Catala_utils.Pos.t list;
  (*
  Variable within the current scope
  *)
2. var_within_origin_scope : Shared_ast.ScopeVar.t;
3. typ : Shared_ast.typ;
4. e : 'm expr;
}
| Assertion of {
1. e : 'm expr;
2. pos : Catala_utils.Pos.t;
}

Sourcetype scope_var_ty = {

svar_in_ty : Shared_ast.typ;
svar_out_ty : Shared_ast.typ;
svar_io : Desugared.Ast.io;

}

Sourcetype 'm scope_decl = {

scope_decl_name : Shared_ast.ScopeName.t;
scope_sig : scope_var_ty Shared_ast.ScopeVar.Map.t;
scope_decl_rules : 'm rule list;
scope_options : Desugared.Ast.catala_option Catala_utils.Mark.pos list;
scope_visibility : Shared_ast.visibility;

}

Sourcetype 'm program = {

program_module_name : (Shared_ast.ModuleName.t * Shared_ast.module_intf_id) option;
program_ctx : Shared_ast.decl_ctx;
program_modules : 'm scope_decl Catala_utils.Mark.pos Shared_ast.ScopeName.Map.t Shared_ast.ModuleName.Map.t;
program_scopes : 'm scope_decl Catala_utils.Mark.pos Shared_ast.ScopeName.Map.t;
program_topdefs : ('m expr * Shared_ast.typ * Shared_ast.visibility * bool) Shared_ast.TopdefName.Map.t;
program_lang : Catala_utils.Global.backend_lang;

}

Sourceval type_program : 'm program -> Shared_ast.typed program