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.9.0.tar.gz
md5=8f891209d18b6540df9c34b2d1a6a783
sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

doc/catala.surface/Surface/Ast/class-map/index.html

Class Ast.mapSource

constraint 'c map = 'c map
inherit VisitorsRuntime.map
inherit Catala_utils.Mark.pos_map
method visit_uident : 'd -> uident -> uident
method visit_lident : 'd -> lident -> lident
method visit_path : 'd -> path -> path
method visit_scope_var : 'd -> scope_var -> scope_var
method visit_Integer : 'd -> primitive_typ
method visit_Decimal : 'd -> primitive_typ
method visit_Boolean : 'd -> primitive_typ
method visit_Money : 'd -> primitive_typ
method visit_Duration : 'd -> primitive_typ
method visit_Text : 'd -> primitive_typ
method visit_Date : 'd -> primitive_typ
method visit_primitive_typ : 'd -> primitive_typ -> primitive_typ
method visit_Primitive : 'd -> primitive_typ -> base_typ_data
method visit_base_typ_data : 'd -> base_typ_data -> base_typ_data
method visit_Condition : 'd -> base_typ
method visit_Data : 'd -> base_typ_data -> base_typ
method visit_base_typ : 'd -> base_typ -> base_typ
method visit_func_typ : 'd -> func_typ -> func_typ
method visit_Base : 'd -> base_typ -> naked_typ
method visit_Func : 'd -> func_typ -> naked_typ
method visit_naked_typ : 'd -> naked_typ -> naked_typ
method visit_struct_decl_field : 'd -> struct_decl_field -> struct_decl_field
method visit_struct_decl : 'd -> struct_decl -> struct_decl
method visit_enum_decl_case : 'd -> enum_decl_case -> enum_decl_case
method visit_enum_decl : 'd -> enum_decl -> enum_decl
method visit_match_case_pattern : 'd -> match_case_pattern -> (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos list * lident Catala_utils.Mark.pos option
method visit_KPoly : 'd -> op_kind
method visit_KInt : 'd -> op_kind
method visit_KDec : 'd -> op_kind
method visit_KMoney : 'd -> op_kind
method visit_KDate : 'd -> op_kind
method visit_KDuration : 'd -> op_kind
method visit_op_kind : 'd -> op_kind -> op_kind
method visit_And : 'd -> binop
method visit_Or : 'd -> binop
method visit_Xor : 'd -> binop
method visit_Add : 'd -> op_kind -> binop
method visit_Sub : 'd -> op_kind -> binop
method visit_Mult : 'd -> op_kind -> binop
method visit_Div : 'd -> op_kind -> binop
method visit_Lt : 'd -> op_kind -> binop
method visit_Lte : 'd -> op_kind -> binop
method visit_Gt : 'd -> op_kind -> binop
method visit_Gte : 'd -> op_kind -> binop
method visit_Eq : 'd -> binop
method visit_Neq : 'd -> binop
method visit_Concat : 'd -> binop
method visit_binop : 'd -> binop -> binop
method visit_Not : 'd -> unop
method visit_Minus : 'd -> op_kind -> unop
method visit_unop : 'd -> unop -> unop
method visit_Cardinal : 'd -> builtin_expression
method visit_ToDecimal : 'd -> builtin_expression
method visit_ToMoney : 'd -> builtin_expression
method visit_GetDay : 'd -> builtin_expression
method visit_GetMonth : 'd -> builtin_expression
method visit_GetYear : 'd -> builtin_expression
method visit_LastDayOfMonth : 'd -> builtin_expression
method visit_FirstDayOfMonth : 'd -> builtin_expression
method visit_Round : 'd -> builtin_expression
method visit_builtin_expression : 'd -> builtin_expression -> builtin_expression
method visit_literal_date : 'd -> literal_date -> literal_date
method visit_Int : 'd -> string -> literal_number
method visit_Dec : 'd -> string -> string -> literal_number
method visit_literal_number : 'd -> literal_number -> literal_number
method visit_Percent : 'd -> literal_unit
method visit_Year : 'd -> literal_unit
method visit_Month : 'd -> literal_unit
method visit_Day : 'd -> literal_unit
method visit_literal_unit : 'd -> literal_unit -> literal_unit
method visit_money_amount : 'd -> money_amount -> money_amount
method visit_LBool : 'd -> bool -> literal
method visit_LMoneyAmount : 'd -> money_amount -> literal
method visit_LDate : 'd -> literal_date -> literal
method visit_literal : 'd -> literal -> literal
method visit_AggregateSum : 'd -> primitive_typ -> collection_op
method visit_AggregateExtremum : 'd -> bool -> expression -> collection_op
method visit_AggregateArgExtremum : 'd -> bool -> expression -> ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) -> collection_op
method visit_collection_op : 'd -> collection_op -> collection_op
method visit_explicit_match_case : 'd -> explicit_match_case -> explicit_match_case
method visit_WildCard : 'd -> expression -> match_case
method visit_MatchCase : 'd -> explicit_match_case -> match_case
method visit_match_case : 'd -> match_case -> match_case
method visit_match_cases : 'd -> match_cases -> match_cases
method visit_expression : 'd -> expression -> expression
method visit_Paren : 'd -> expression -> naked_expression
method visit_IfThenElse : 'd -> expression -> expression -> expression -> naked_expression
method visit_CollectionOp : 'd -> collection_op -> expression -> naked_expression
method visit_MemCollection : 'd -> expression -> expression -> naked_expression
method visit_FunCall : 'd -> expression -> expression list -> naked_expression
method visit_Builtin : 'd -> builtin_expression -> naked_expression
method visit_Literal : 'd -> literal -> naked_expression
method visit_ArrayLit : 'd -> expression list -> naked_expression
method visit_Tuple : 'd -> expression list -> naked_expression
method visit_naked_expression : 'd -> naked_expression -> naked_expression
method visit_NotAnException : 'd -> exception_to
method visit_UnlabeledException : 'd -> exception_to
method visit_ExceptionToLabel : 'd -> (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed -> exception_to
method visit_exception_to : 'd -> exception_to -> exception_to
method visit_rule : 'd -> rule -> rule
method visit_definition : 'd -> definition -> definition
method visit_Increasing : 'd -> variation_typ
method visit_Decreasing : 'd -> variation_typ
method visit_variation_typ : 'd -> variation_typ -> variation_typ
method visit_meta_assertion : 'd -> meta_assertion -> meta_assertion
method visit_assertion : 'd -> assertion -> assertion
method visit_Rule : 'd -> rule -> scope_use_item
method visit_Definition : 'd -> definition -> scope_use_item
method visit_Assertion : 'd -> assertion -> scope_use_item
method visit_MetaAssertion : 'd -> meta_assertion -> scope_use_item
method visit_scope_use_item : 'd -> scope_use_item -> scope_use_item
method visit_scope_use : 'd -> scope_use -> scope_use
method visit_Input : 'd -> io_input
method visit_Context : 'd -> io_input
method visit_Internal : 'd -> io_input
method visit_io_input : 'd -> io_input -> io_input
method visit_scope_decl_context_io : 'd -> scope_decl_context_io -> scope_decl_context_io
method visit_scope_decl_context_scope : 'd -> scope_decl_context_scope -> scope_decl_context_scope
method visit_scope_decl_context_data : 'd -> scope_decl_context_data -> scope_decl_context_data
method visit_ContextData : 'd -> scope_decl_context_data -> scope_decl_context_item
method visit_ContextScope : 'd -> scope_decl_context_scope -> scope_decl_context_item
method visit_scope_decl_context_item : 'd -> scope_decl_context_item -> scope_decl_context_item
method visit_scope_decl : 'd -> scope_decl -> scope_decl
method visit_top_def : 'd -> top_def -> top_def
method visit_ScopeUse : 'd -> scope_use -> code_item
method visit_ScopeDecl : 'd -> scope_decl -> code_item
method visit_StructDecl : 'd -> struct_decl -> code_item
method visit_EnumDecl : 'd -> enum_decl -> code_item
method visit_Topdef : 'd -> top_def -> code_item
method visit_code_item : 'd -> code_item -> code_item
method visit_code_block : 'd -> code_block -> code_block
method visit_source_repr : 'd -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed
method visit_law_heading : 'd -> law_heading -> law_heading
method visit_PdfFile : 'd -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed -> int option -> law_include
method visit_CatalaFile : 'd -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed -> law_include
method visit_LegislativeText : 'd -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed -> law_include
method visit_law_include : 'd -> law_include -> law_include
method visit_LawInclude : 'd -> law_include -> law_structure
method visit_ModuleDef : 'd -> (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed -> bool -> law_structure
method visit_LawHeading : 'd -> law_heading -> law_structure list -> law_structure
method visit_LawText : 'd -> string -> law_structure
method visit_CodeBlock : 'd -> code_block -> (string, Catala_utils.Pos.t) Catala_utils.Mark.ed -> bool -> law_structure
method visit_law_structure : 'd -> law_structure -> law_structure
method visit_interface : 'd -> interface -> interface
method visit_module_use : 'd -> module_use -> module_use
method visit_program : 'd -> program -> program
method visit_source_file : 'd -> law_structure list -> law_structure list