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

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.6.0.tar.gz
md5=b22e238d5d5c8452067109e9c7c0f427
sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0

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

Module Scopelang.AstSource

Abstract syntax tree of the scope language

Identifiers

Sourcemodule ScopeName = Dcalc.Ast.ScopeName
Sourcemodule ScopeMap : Map.S with type key = ScopeName.t
Sourcemodule ScopeVarSet : Set.S with type elt = ScopeVar.t
Sourcemodule ScopeVarMap : Map.S with type key = ScopeVar.t
Sourcemodule StructName = Dcalc.Ast.StructName
Sourcemodule StructMap = Dcalc.Ast.StructMap
Sourcemodule StructFieldName = Dcalc.Ast.StructFieldName
Sourcemodule StructFieldMapLift : sig ... end
Sourcemodule EnumName = Dcalc.Ast.EnumName
Sourcemodule EnumMap = Dcalc.Ast.EnumMap
Sourcemodule EnumConstructor = Dcalc.Ast.EnumConstructor
Sourcemodule EnumConstructorMapLift : sig ... end

Abstract syntax tree

Sourcetype typ =
  1. | TLit of Dcalc.Ast.typ_lit
  2. | TStruct of StructName.t
  3. | TEnum of EnumName.t
  4. | TArrow of typ Utils.Pos.marked * typ Utils.Pos.marked
  5. | TArray of typ
  6. | TAny

The expressions use the Bindlib library, based on higher-order abstract syntax

Sourceval locations_used : expr Utils.Pos.marked -> LocationSet.t
Sourcetype io_input =
  1. | NoInput
    (*

    For an internal variable defined only in the scope, and does not appear in the input.

    *)
  2. | OnlyInput
    (*

    For variables that should not be redefined in the scope, because they appear in the input.

    *)
  3. | Reentrant
    (*

    For variables defined in the scope that can also be redefined by the caller as they appear in the input.

    *)

This type characterizes the three levels of visibility for a given scope variable with regards to the scope's input and possible redefinitions inside the scope..

Sourcetype io = {
  1. io_output : bool Utils.Pos.marked;
    (*

    true is present in the output of the scope.

    *)
  2. io_input : io_input Utils.Pos.marked;
}

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

Sourcetype scope_decl = {
  1. scope_decl_name : ScopeName.t;
  2. scope_sig : (typ Utils.Pos.marked * io) ScopeVarMap.t;
  3. scope_decl_rules : rule list;
}
Sourcetype program = {
  1. program_scopes : scope_decl ScopeMap.t;
  2. program_enums : enum_ctx;
  3. program_structs : struct_ctx;
}

Variable helpers

Sourcemodule Var : sig ... end
Sourcemodule VarMap : Map.S with type key = Var.t
Sourcetype vars = expr Bindlib.mvar
Sourceval make_var : Var.t Utils.Pos.marked -> expr Utils.Pos.marked Bindlib.box
Sourceval make_abs : vars -> expr Utils.Pos.marked Bindlib.box -> Utils.Pos.t -> typ Utils.Pos.marked list -> Utils.Pos.t -> expr Utils.Pos.marked Bindlib.box
Sourceval make_app : expr Utils.Pos.marked Bindlib.box -> expr Utils.Pos.marked Bindlib.box list -> Utils.Pos.t -> expr Utils.Pos.marked Bindlib.box
Sourceval make_let_in : Var.t -> typ Utils.Pos.marked -> expr Utils.Pos.marked Bindlib.box -> expr Utils.Pos.marked Bindlib.box -> expr Utils.Pos.marked Bindlib.box