package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
doc/catala.surface/Surface/Ast/class-map/index.html
Class Ast.mapSource
inherit VisitorsRuntime.mapinherit Catala_utils.Mark.pos_mapmethod visit_Integer : 'd -> primitive_typmethod visit_Decimal : 'd -> primitive_typmethod visit_Boolean : 'd -> primitive_typmethod visit_Money : 'd -> primitive_typmethod visit_Duration : 'd -> primitive_typmethod visit_Text : 'd -> primitive_typmethod visit_Date : 'd -> primitive_typmethod visit_Named : 'd ->
path ->
(uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
primitive_typmethod visit_primitive_typ : 'd -> primitive_typ -> primitive_typmethod visit_Primitive : 'd -> primitive_typ -> base_typ_datamethod visit_Collection : 'd ->
(base_typ_data, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
base_typ_datamethod visit_TTuple : 'd ->
(base_typ_data, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
base_typ_datamethod visit_base_typ_data : 'd -> base_typ_data -> base_typ_datamethod visit_Condition : 'd -> base_typmethod visit_Data : 'd -> base_typ_data -> base_typmethod visit_typ : 'd ->
(naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.edmethod visit_struct_decl_field : 'd -> struct_decl_field -> struct_decl_fieldmethod visit_struct_decl : 'd -> struct_decl -> struct_declmethod visit_enum_decl_case : 'd -> enum_decl_case -> enum_decl_casemethod visit_match_case_pattern : 'd ->
match_case_pattern ->
(path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos list
* lident Catala_utils.Mark.pos optionmethod visit_KPoly : 'd -> op_kindmethod visit_KInt : 'd -> op_kindmethod visit_KDec : 'd -> op_kindmethod visit_KMoney : 'd -> op_kindmethod visit_KDate : 'd -> op_kindmethod visit_KDuration : 'd -> op_kindmethod visit_And : 'd -> binopmethod visit_Or : 'd -> binopmethod visit_Xor : 'd -> binopmethod visit_Eq : 'd -> binopmethod visit_Neq : 'd -> binopmethod visit_Concat : 'd -> binopmethod visit_Not : 'd -> unopmethod visit_Cardinal : 'd -> builtin_expressionmethod visit_ToDecimal : 'd -> builtin_expressionmethod visit_ToMoney : 'd -> builtin_expressionmethod visit_GetDay : 'd -> builtin_expressionmethod visit_GetMonth : 'd -> builtin_expressionmethod visit_GetYear : 'd -> builtin_expressionmethod visit_LastDayOfMonth : 'd -> builtin_expressionmethod visit_FirstDayOfMonth : 'd -> builtin_expressionmethod visit_Round : 'd -> builtin_expressionmethod visit_builtin_expression : 'd ->
builtin_expression ->
builtin_expressionmethod visit_literal_date : 'd -> literal_date -> literal_datemethod visit_Int : 'd -> string -> literal_numbermethod visit_Dec : 'd -> string -> string -> literal_numbermethod visit_literal_number : 'd -> literal_number -> literal_numbermethod visit_Percent : 'd -> literal_unitmethod visit_Year : 'd -> literal_unitmethod visit_Month : 'd -> literal_unitmethod visit_Day : 'd -> literal_unitmethod visit_literal_unit : 'd -> literal_unit -> literal_unitmethod visit_money_amount : 'd -> money_amount -> money_amountmethod visit_LNumber : 'd ->
(literal_number, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(literal_unit, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
literalmethod visit_LBool : 'd -> bool -> literalmethod visit_LMoneyAmount : 'd -> money_amount -> literalmethod visit_LDate : 'd -> literal_date -> literalmethod visit_Member : 'd -> expression -> collection_opmethod visit_Exists : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
collection_opmethod visit_Forall : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
collection_opmethod visit_Map : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
collection_opmethod visit_Filter : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
collection_opmethod visit_AggregateSum : 'd -> primitive_typ -> collection_opmethod visit_AggregateExtremum : 'd -> bool -> expression -> collection_opmethod visit_AggregateArgExtremum : 'd ->
bool ->
expression ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
collection_opmethod visit_collection_op : 'd -> collection_op -> collection_opmethod visit_explicit_match_case : 'd ->
explicit_match_case ->
explicit_match_casemethod visit_WildCard : 'd -> expression -> match_casemethod visit_MatchCase : 'd -> explicit_match_case -> match_casemethod visit_match_case : 'd -> match_case -> match_casemethod visit_match_cases : 'd -> match_cases -> match_casesmethod visit_expression : 'd -> expression -> expressionmethod visit_Paren : 'd -> expression -> naked_expressionmethod visit_MatchWith : 'd ->
expression ->
(match_cases, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
naked_expressionmethod visit_IfThenElse : 'd ->
expression ->
expression ->
expression ->
naked_expressionmethod visit_Binop : 'd ->
(binop, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
expression ->
expression ->
naked_expressionmethod visit_Unop : 'd ->
(unop, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
expression ->
naked_expressionmethod visit_CollectionOp : 'd ->
(collection_op, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
expression ->
naked_expressionmethod visit_TestMatchCase : 'd ->
expression ->
(match_case_pattern, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
naked_expressionmethod visit_FunCall : 'd -> expression -> expression list -> naked_expressionmethod visit_ScopeCall : 'd ->
(path * uident Catala_utils.Mark.pos, Catala_utils.Pos.t)
Catala_utils.Mark.ed ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) list ->
naked_expressionmethod visit_LetIn : 'd ->
(lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
expression ->
expression ->
naked_expressionmethod visit_Builtin : 'd -> builtin_expression -> naked_expressionmethod visit_Literal : 'd -> literal -> naked_expressionmethod visit_EnumInject : 'd ->
(path * uident Catala_utils.Mark.pos, Catala_utils.Pos.t)
Catala_utils.Mark.ed ->
expression option ->
naked_expressionmethod visit_StructLit : 'd ->
(path * uident Catala_utils.Mark.pos, Catala_utils.Pos.t)
Catala_utils.Mark.ed ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) list ->
naked_expressionmethod visit_StructReplace : 'd ->
expression ->
((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) list ->
naked_expressionmethod visit_ArrayLit : 'd -> expression list -> naked_expressionmethod visit_Tuple : 'd -> expression list -> naked_expressionmethod visit_Ident : 'd ->
path ->
(lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(lident, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
naked_expressionmethod visit_Dotted : 'd ->
expression ->
(path * lident Catala_utils.Mark.pos, Catala_utils.Pos.t)
Catala_utils.Mark.ed ->
naked_expressionmethod visit_TupleAccess : 'd ->
expression ->
(int, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
naked_expressionmethod visit_naked_expression : 'd -> naked_expression -> naked_expressionmethod visit_NotAnException : 'd -> exception_tomethod visit_UnlabeledException : 'd -> exception_tomethod visit_ExceptionToLabel : 'd ->
(lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
exception_tomethod visit_exception_to : 'd -> exception_to -> exception_tomethod visit_definition : 'd -> definition -> definitionmethod visit_Increasing : 'd -> variation_typmethod visit_Decreasing : 'd -> variation_typmethod visit_variation_typ : 'd -> variation_typ -> variation_typmethod visit_FixedBy : 'd ->
(scope_var, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
meta_assertionmethod visit_VariesWith : 'd ->
(scope_var, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
expression ->
(variation_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
meta_assertionmethod visit_meta_assertion : 'd -> meta_assertion -> meta_assertionmethod visit_Rule : 'd -> rule -> scope_use_itemmethod visit_Definition : 'd -> definition -> scope_use_itemmethod visit_Assertion : 'd -> assertion -> scope_use_itemmethod visit_MetaAssertion : 'd -> meta_assertion -> scope_use_itemmethod visit_DateRounding : 'd ->
(variation_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
scope_use_itemmethod visit_scope_use_item : 'd -> scope_use_item -> scope_use_itemmethod visit_Input : 'd -> io_inputmethod visit_Context : 'd -> io_inputmethod visit_Internal : 'd -> io_inputmethod visit_scope_decl_context_io : 'd ->
scope_decl_context_io ->
scope_decl_context_iomethod visit_scope_decl_context_scope : 'd ->
scope_decl_context_scope ->
scope_decl_context_scopemethod visit_scope_decl_context_data : 'd ->
scope_decl_context_data ->
scope_decl_context_datamethod visit_ContextData : 'd ->
scope_decl_context_data ->
scope_decl_context_itemmethod visit_ContextScope : 'd ->
scope_decl_context_scope ->
scope_decl_context_itemmethod visit_scope_decl_context_item : 'd ->
scope_decl_context_item ->
scope_decl_context_itemmethod visit_scope_decl : 'd -> scope_decl -> scope_declmethod visit_ScopeDecl : 'd -> scope_decl -> code_itemmethod visit_StructDecl : 'd -> struct_decl -> code_itemmethod visit_code_block : 'd -> code_block -> code_blockmethod visit_source_repr : 'd ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.edmethod visit_law_heading : 'd -> law_heading -> law_headingmethod visit_PdfFile : 'd ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
int option ->
law_includemethod visit_CatalaFile : 'd ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
law_includemethod visit_LegislativeText : 'd ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
law_includemethod visit_law_include : 'd -> law_include -> law_includemethod visit_LawInclude : 'd -> law_include -> law_structuremethod visit_ModuleDef : 'd ->
(uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
bool ->
law_structuremethod visit_ModuleUse : 'd ->
(uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
(uident, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
law_structuremethod visit_LawHeading : 'd ->
law_heading ->
law_structure list ->
law_structuremethod visit_LawText : 'd -> string -> law_structuremethod visit_CodeBlock : 'd ->
code_block ->
(string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
bool ->
law_structuremethod visit_law_structure : 'd -> law_structure -> law_structuremethod visit_module_use : 'd -> module_use -> module_usemethod visit_source_file : 'd -> law_structure list -> law_structure list