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
  7. R
    Raphaël Monat

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b

doc/catala.surface/Surface/Ast/index.html

Module Surface.AstSource

Abstract syntax tree built by the Catala parser

To allow for quick traversal and/or modification of this AST structure, we provide a visitor design pattern. This feature is implemented via François Pottier's OCaml visitors library.

Type definitions

Sourcetype uident = string

Constructors are CamelCase

Sourceand lident = string

Idents are snake_case

Sourceand scope_var = lident Catala_utils.Mark.pos list

foo.bar in binding position: used to specify variables of subscopes

Sourceand primitive_typ =
  1. | Integer
  2. | Decimal
  3. | Boolean
  4. | Money
  5. | Duration
  6. | Text
  7. | Date
  8. | Named of path * uident Catala_utils.Mark.pos
Sourceand base_typ_data =
  1. | Primitive of primitive_typ
  2. | Collection of base_typ_data Catala_utils.Mark.pos
  3. | TTuple of base_typ_data Catala_utils.Mark.pos list
Sourceand base_typ =
  1. | Condition
  2. | Data of base_typ_data
Sourceand naked_typ =
  1. | Base of base_typ
  2. | Func of func_typ
Sourceand struct_decl_field = {
  1. struct_decl_field_name : lident Catala_utils.Mark.pos;
  2. struct_decl_field_typ : typ;
}
Sourceand struct_decl = {
  1. struct_decl_name : uident Catala_utils.Mark.pos;
  2. struct_decl_fields : struct_decl_field Catala_utils.Mark.pos list;
}
Sourceand enum_decl_case = {
  1. enum_decl_case_name : uident Catala_utils.Mark.pos;
  2. enum_decl_case_typ : typ option;
}
Sourceand enum_decl = {
  1. enum_decl_name : uident Catala_utils.Mark.pos;
  2. enum_decl_cases : enum_decl_case Catala_utils.Mark.pos list;
}
Sourceand op_kind =
  1. | KPoly
  2. | KInt
  3. | KDec
  4. | KMoney
  5. | KDate
  6. | KDuration
Sourceand binop =
  1. | And
  2. | Or
  3. | Xor
  4. | Add of op_kind
  5. | Sub of op_kind
  6. | Mult of op_kind
  7. | Div of op_kind
  8. | Lt of op_kind
  9. | Lte of op_kind
  10. | Gt of op_kind
  11. | Gte of op_kind
  12. | Eq
  13. | Neq
  14. | Concat
Sourceand unop =
  1. | Not
  2. | Minus of op_kind
Sourceand builtin_expression =
  1. | Cardinal
  2. | ToDecimal
  3. | ToMoney
  4. | GetDay
  5. | GetMonth
  6. | GetYear
  7. | LastDayOfMonth
  8. | FirstDayOfMonth
  9. | Round
Sourceand literal_date = {
  1. literal_date_day : int;
  2. literal_date_month : int;
  3. literal_date_year : int;
}
Sourceand literal_number =
  1. | Int of string
  2. | Dec of string * string
Sourceand literal_unit =
  1. | Percent
  2. | Year
  3. | Month
  4. | Day
Sourceand money_amount = {
  1. money_amount_units : string;
  2. money_amount_cents : string;
}
Sourceand literal =
  1. | LNumber of literal_number Catala_utils.Mark.pos * literal_unit Catala_utils.Mark.pos option
  2. | LBool of bool
  3. | LMoneyAmount of money_amount
  4. | LDate of literal_date
Sourceand collection_op =
  1. | Member of {
    1. element : expression;
    }
  2. | Exists of {
    1. predicate : lident Catala_utils.Mark.pos list * expression;
    }
  3. | Forall of {
    1. predicate : lident Catala_utils.Mark.pos list * expression;
    }
  4. | Map of {
    1. f : lident Catala_utils.Mark.pos list * expression;
    }
  5. | Filter of {
    1. f : lident Catala_utils.Mark.pos list * expression;
    }
  6. | AggregateSum of {
    1. typ : primitive_typ;
    }
  7. | AggregateExtremum of {
    1. max : bool;
    2. default : expression;
    }
  8. | AggregateArgExtremum of {
    1. max : bool;
    2. default : expression;
    3. f : lident Catala_utils.Mark.pos list * expression;
    }
Sourceand explicit_match_case = {
  1. match_case_pattern : match_case_pattern Catala_utils.Mark.pos;
  2. match_case_expr : expression;
}
Sourceand match_case =
  1. | WildCard of expression
  2. | MatchCase of explicit_match_case
Sourceand exception_to =
  1. | NotAnException
  2. | UnlabeledException
  3. | ExceptionToLabel of lident Catala_utils.Mark.pos
Sourceand rule = {
  1. rule_label : lident Catala_utils.Mark.pos option;
  2. rule_exception_to : exception_to;
  3. rule_parameter : lident Catala_utils.Mark.pos list Catala_utils.Mark.pos option;
  4. rule_condition : expression option;
  5. rule_name : scope_var Catala_utils.Mark.pos;
  6. rule_id : Shared_ast.RuleName.t;
  7. rule_consequence : bool Catala_utils.Mark.pos;
  8. rule_state : lident Catala_utils.Mark.pos option;
}
Sourceand definition = {
  1. definition_label : lident Catala_utils.Mark.pos option;
  2. definition_exception_to : exception_to;
  3. definition_name : scope_var Catala_utils.Mark.pos;
  4. definition_parameter : lident Catala_utils.Mark.pos list Catala_utils.Mark.pos option;
  5. definition_condition : expression option;
  6. definition_id : Shared_ast.RuleName.t;
  7. definition_expr : expression;
  8. definition_state : lident Catala_utils.Mark.pos option;
}
Sourceand variation_typ =
  1. | Increasing
  2. | Decreasing
Sourceand assertion = {
  1. assertion_condition : expression option;
  2. assertion_content : expression;
}
Sourceand scope_use_item =
  1. | Rule of rule
  2. | Definition of definition
  3. | Assertion of assertion
  4. | MetaAssertion of meta_assertion
  5. | DateRounding of variation_typ Catala_utils.Mark.pos
Sourceand scope_use = {
  1. scope_use_condition : expression option;
  2. scope_use_name : uident Catala_utils.Mark.pos;
  3. scope_use_items : scope_use_item Catala_utils.Mark.pos list;
}
Sourceand io_input =
  1. | Input
  2. | Context
  3. | Internal
Sourceand scope_decl_context_io = {
  1. scope_decl_context_io_input : io_input Catala_utils.Mark.pos;
  2. scope_decl_context_io_output : bool Catala_utils.Mark.pos;
}
Sourceand scope_decl_context_scope = {
  1. scope_decl_context_scope_name : lident Catala_utils.Mark.pos;
  2. scope_decl_context_scope_sub_scope : (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos;
  3. scope_decl_context_scope_attribute : scope_decl_context_io;
}
Sourceand scope_decl_context_data = {
  1. scope_decl_context_item_name : lident Catala_utils.Mark.pos;
  2. scope_decl_context_item_typ : typ;
  3. scope_decl_context_item_parameters : (lident Catala_utils.Mark.pos * typ) list Catala_utils.Mark.pos option;
  4. scope_decl_context_item_attribute : scope_decl_context_io;
  5. scope_decl_context_item_states : lident Catala_utils.Mark.pos list;
}
Sourceand scope_decl_context_item =
  1. | ContextData of scope_decl_context_data
  2. | ContextScope of scope_decl_context_scope
Sourceand scope_decl = {
  1. scope_decl_name : uident Catala_utils.Mark.pos;
  2. scope_decl_context : scope_decl_context_item Catala_utils.Mark.pos list;
}
Sourceand top_def = {
  1. topdef_name : lident Catala_utils.Mark.pos;
  2. topdef_args : (lident Catala_utils.Mark.pos * base_typ Catala_utils.Mark.pos) list Catala_utils.Mark.pos option;
    (*

    Empty list if this is not a function

    *)
  3. topdef_type : typ;
  4. topdef_expr : expression option;
}
Sourceand code_item =
  1. | ScopeUse of scope_use
  2. | ScopeDecl of scope_decl
  3. | StructDecl of struct_decl
  4. | EnumDecl of enum_decl
  5. | Topdef of top_def
Sourceand source_repr = string Catala_utils.Mark.pos
Sourceand law_heading = {
  1. law_heading_name : string Catala_utils.Mark.pos;
  2. law_heading_id : string option;
  3. law_heading_is_archive : bool;
  4. law_heading_precedence : int;
}
Sourceand law_include =
  1. | PdfFile of string Catala_utils.Mark.pos * int option
  2. | CatalaFile of string Catala_utils.Mark.pos
  3. | LegislativeText of string Catala_utils.Mark.pos
Sourceand law_structure =
  1. | LawInclude of law_include
  2. | ModuleDef of uident Catala_utils.Mark.pos * bool
  3. | ModuleUse of uident Catala_utils.Mark.pos * uident Catala_utils.Mark.pos option
  4. | LawHeading of law_heading * law_structure list
  5. | LawText of string
  6. | CodeBlock of code_block * source_repr * bool
Sourceand interface = {
  1. intf_modname : uident Catala_utils.Mark.pos;
  2. intf_code : code_block;
    (*

    Invariant: an interface shall only contain *Decl elements, or Topdef elements with topdef_expr = None

    *)
  3. intf_submodules : module_use list;
}
Sourceand module_use = {
  1. mod_use_name : uident Catala_utils.Mark.pos;
  2. mod_use_alias : uident Catala_utils.Mark.pos;
}
Sourceand program = {
  1. program_module_name : uident Catala_utils.Mark.pos option;
  2. program_items : law_structure list;
  3. program_source_files : string list;
  4. program_used_modules : module_use list;
  5. program_lang : Catala_utils.Global.backend_lang;
}
Sourceand source_file = law_structure list
include sig ... end
Sourceclass virtual +'b map : object ... end

Helpers

Sourceval rule_to_def : rule -> definition

Translates a rule into the corresponding definition