package catala

  1. Overview
  2. Docs
Low-level language for tax code specification

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (10)

Authors

  1. D
    Denis Merigoux

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.3.0.tar.gz
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a

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

Class Ast.program_iterSource

method visit_Add : 'monomorphic. 'env -> op_kind -> unit
method visit_Aggregate : 'monomorphic. 'env -> aggregate_func -> unit
method visit_AggregateArgExtremum : 'monomorphic. 'env -> bool -> primitive_typ -> expression Utils.Pos.marked -> unit
method visit_AggregateCount : 'monomorphic. 'env -> unit
method visit_AggregateExtremum : 'monomorphic. 'env -> bool -> primitive_typ -> expression Utils.Pos.marked -> unit
method visit_AggregateSum : 'monomorphic. 'env -> primitive_typ -> unit
method visit_And : 'monomorphic. 'env -> unit
method visit_ArrayLit : 'monomorphic. 'env -> expression Utils.Pos.marked list -> unit
method visit_Assertion : 'monomorphic. 'env -> assertion -> unit
method visit_Base : 'monomorphic. 'env -> base_typ -> unit
method visit_Binop : 'monomorphic. 'env -> binop Utils.Pos.marked -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_Boolean : 'monomorphic. 'env -> unit
method visit_Builtin : 'monomorphic. 'env -> builtin_expression -> unit
method visit_Cardinal : 'monomorphic. 'env -> unit
method visit_CatalaFile : 'monomorphic. 'env -> string Utils.Pos.marked -> unit
method visit_CodeBlock : 'monomorphic. 'env -> code_block -> string Utils.Pos.marked -> unit
method visit_Collection : 'monomorphic. 'env -> base_typ_data Utils.Pos.marked -> unit
method visit_CollectionOp : 'monomorphic. 'env -> collection_op Utils.Pos.marked -> ident Utils.Pos.marked -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_Condition : 'monomorphic. 'env -> unit
method visit_ContextData : 'monomorphic. 'env -> scope_decl_context_data -> unit
method visit_ContextScope : 'monomorphic. 'env -> scope_decl_context_scope -> unit
method visit_Data : 'monomorphic. 'env -> base_typ_data -> unit
method visit_Date : 'monomorphic. 'env -> unit
method visit_Day : 'monomorphic. 'env -> unit
method visit_Dec : 'monomorphic. 'env -> Runtime.integer -> Runtime.integer -> unit
method visit_Decimal : 'monomorphic. 'env -> unit
method visit_Decreasing : 'monomorphic. 'env -> unit
method visit_Definition : 'monomorphic. 'env -> definition -> unit
method visit_Div : 'monomorphic. 'env -> op_kind -> unit
method visit_Dotted : 'monomorphic. 'env -> expression Utils.Pos.marked -> constructor Utils.Pos.marked option -> ident Utils.Pos.marked -> unit
method visit_Duration : 'monomorphic. 'env -> unit
method visit_EnumDecl : 'monomorphic. 'env -> enum_decl -> unit
method visit_EnumInject : 'monomorphic. 'env -> constructor Utils.Pos.marked option -> constructor Utils.Pos.marked -> expression Utils.Pos.marked option -> unit
method visit_Eq : 'monomorphic. 'env -> unit
method visit_ExceptionToLabel : 'monomorphic. 'env -> ident Utils.Pos.marked -> unit
method visit_Exists : 'monomorphic. 'env -> unit
method visit_Filter : 'monomorphic. 'env -> unit
method visit_FixedBy : 'monomorphic. 'env -> qident Utils.Pos.marked -> ident Utils.Pos.marked -> unit
method visit_Forall : 'monomorphic. 'env -> unit
method visit_FunCall : 'monomorphic. 'env -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_Func : 'monomorphic. 'env -> func_typ -> unit
method visit_GetDay : 'monomorphic. 'env -> unit
method visit_GetMonth : 'monomorphic. 'env -> unit
method visit_GetYear : 'monomorphic. 'env -> unit
method visit_Gt : 'monomorphic. 'env -> op_kind -> unit
method visit_Gte : 'monomorphic. 'env -> op_kind -> unit
method visit_Ident : 'monomorphic. 'env -> ident -> unit
method visit_IfThenElse : 'monomorphic. 'env -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_Increasing : 'monomorphic. 'env -> unit
method visit_Int : 'monomorphic. 'env -> Runtime.integer -> unit
method visit_IntToDec : 'monomorphic. 'env -> unit
method visit_Integer : 'monomorphic. 'env -> unit
method visit_IntermediateText : 'monomorphic. 'env -> string -> unit
method visit_KDate : 'monomorphic. 'env -> unit
method visit_KDec : 'monomorphic. 'env -> unit
method visit_KDuration : 'monomorphic. 'env -> unit
method visit_KInt : 'monomorphic. 'env -> unit
method visit_KMoney : 'monomorphic. 'env -> unit
method visit_LBool : 'monomorphic. 'env -> bool -> unit
method visit_LDate : 'monomorphic. 'env -> literal_date -> unit
method visit_LMoneyAmount : 'monomorphic. 'env -> money_amount -> unit
method visit_LNumber : 'monomorphic. 'env -> literal_number Utils.Pos.marked -> literal_unit Utils.Pos.marked option -> unit
method visit_LawArticle : 'monomorphic. 'env -> law_article -> law_article_item list -> unit
method visit_LawHeading : 'monomorphic. 'env -> law_heading -> law_structure list -> unit
method visit_LawInclude : 'monomorphic. 'env -> law_include -> unit
method visit_LawStructure : 'monomorphic. 'env -> law_structure -> unit
method visit_LawText : 'monomorphic. 'env -> string -> unit
method visit_LegislativeText : 'monomorphic. 'env -> string Utils.Pos.marked -> unit
method visit_Literal : 'monomorphic. 'env -> literal -> unit
method visit_Lt : 'monomorphic. 'env -> op_kind -> unit
method visit_Lte : 'monomorphic. 'env -> op_kind -> unit
method visit_Map : 'monomorphic. 'env -> unit
method visit_MatchWith : 'monomorphic. 'env -> expression Utils.Pos.marked -> match_cases Utils.Pos.marked -> unit
method visit_MemCollection : 'monomorphic. 'env -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_MetaAssertion : 'monomorphic. 'env -> meta_assertion -> unit
method visit_MetadataBlock : 'monomorphic. 'env -> code_block -> string Utils.Pos.marked -> unit
method visit_Minus : 'monomorphic. 'env -> op_kind -> unit
method visit_Money : 'monomorphic. 'env -> unit
method visit_Month : 'monomorphic. 'env -> unit
method visit_Mult : 'monomorphic. 'env -> op_kind -> unit
method visit_Named : 'monomorphic. 'env -> constructor -> unit
method visit_Neq : 'monomorphic. 'env -> unit
method visit_Not : 'monomorphic. 'env -> unit
method visit_NotAnException : 'monomorphic. 'env -> unit
method visit_Or : 'monomorphic. 'env -> unit
method visit_PdfFile : 'monomorphic. 'env -> string Utils.Pos.marked -> int option -> unit
method visit_Percent : 'monomorphic. 'env -> unit
method visit_Primitive : 'monomorphic. 'env -> primitive_typ -> unit
method visit_Rule : 'monomorphic. 'env -> rule -> unit
method visit_ScopeDecl : 'monomorphic. 'env -> scope_decl -> unit
method visit_ScopeUse : 'monomorphic. 'env -> scope_use -> unit
method visit_StructDecl : 'monomorphic. 'env -> struct_decl -> unit
method visit_StructLit : 'monomorphic. 'env -> constructor Utils.Pos.marked -> (ident Utils.Pos.marked * expression Utils.Pos.marked) list -> unit
method visit_Sub : 'monomorphic. 'env -> op_kind -> unit
method visit_TestMatchCase : 'monomorphic. 'env -> expression Utils.Pos.marked -> match_case_pattern Utils.Pos.marked -> unit
method visit_Text : 'monomorphic. 'env -> unit
method visit_UnlabeledException : 'monomorphic. 'env -> unit
method visit_Unop : 'monomorphic. 'env -> unop Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_VariesWith : 'monomorphic. 'env -> qident Utils.Pos.marked -> expression Utils.Pos.marked -> variation_typ Utils.Pos.marked option -> unit
method visit_Year : 'monomorphic. 'env -> unit
method visit_aggregate_func : 'monomorphic. 'env -> aggregate_func -> unit
method visit_assertion : 'monomorphic. 'env -> assertion -> unit
method visit_base_typ : 'monomorphic. 'env -> base_typ -> unit
method visit_base_typ_data : 'monomorphic. 'env -> base_typ_data -> unit
method visit_binop : 'monomorphic. 'env -> binop -> unit
method visit_builtin_expression : 'monomorphic. 'env -> builtin_expression -> unit
method visit_code_block : 'monomorphic. 'env -> code_item Utils.Pos.marked list -> unit
method visit_code_item : 'monomorphic. 'env -> code_item -> unit
method visit_collection_op : 'monomorphic. 'env -> collection_op -> unit
method visit_constructor : 'monomorphic. 'env -> constructor -> unit
method visit_definition : 'monomorphic. 'env -> definition -> unit
method visit_enum_decl : 'monomorphic. 'env -> enum_decl -> unit
method visit_enum_decl_case : 'monomorphic. 'env -> enum_decl_case -> unit
method visit_exception_to : 'monomorphic. 'env -> exception_to -> unit
method visit_expression : 'monomorphic. 'env -> expression -> unit
method visit_func_typ : 'monomorphic. 'env -> func_typ -> unit
method visit_ident : 'monomorphic. 'env -> ident -> unit
method visit_law_article : 'monomorphic. 'env -> law_article -> unit
method visit_law_article_item : 'monomorphic. 'env -> law_article_item -> unit
method visit_law_heading : 'monomorphic. 'env -> law_heading -> unit
method visit_law_include : 'monomorphic. 'env -> law_include -> unit
method visit_law_structure : 'monomorphic. 'env -> law_structure -> unit
method visit_literal : 'monomorphic. 'env -> literal -> unit
method visit_literal_date : 'monomorphic. 'env -> literal_date -> unit
method visit_literal_number : 'monomorphic. 'env -> literal_number -> unit
method visit_literal_unit : 'monomorphic. 'env -> literal_unit -> unit
method visit_marked : 'a. ('env -> 'a -> unit) -> 'env -> 'a Utils.Pos.marked -> unit
method visit_match_case : 'monomorphic. 'env -> match_case -> unit
method visit_match_case_pattern : 'monomorphic. 'env -> ((constructor Utils.Pos.marked option * constructor Utils.Pos.marked) list * ident Utils.Pos.marked option) -> unit
method visit_match_cases : 'monomorphic. 'env -> match_cases -> unit
method visit_meta_assertion : 'monomorphic. 'env -> meta_assertion -> unit
method visit_money_amount : 'monomorphic. 'env -> money_amount -> unit
method visit_op_kind : 'monomorphic. 'env -> op_kind -> unit
method visit_primitive_typ : 'monomorphic. 'env -> primitive_typ -> unit
method visit_program : 'monomorphic. 'env -> program -> unit
method visit_program_item : 'monomorphic. 'env -> program_item -> unit
method visit_qident : 'monomorphic. 'env -> ident Utils.Pos.marked list -> unit
method visit_rule : 'monomorphic. 'env -> rule -> unit
method visit_scope_decl : 'monomorphic. 'env -> scope_decl -> unit
method visit_scope_decl_context_data : 'monomorphic. 'env -> scope_decl_context_data -> unit
method visit_scope_decl_context_item : 'monomorphic. 'env -> scope_decl_context_item -> unit
method visit_scope_decl_context_scope : 'monomorphic. 'env -> scope_decl_context_scope -> unit
method visit_scope_use : 'monomorphic. 'env -> scope_use -> unit
method visit_scope_use_item : 'monomorphic. 'env -> scope_use_item -> unit
method visit_source_repr : 'monomorphic. 'env -> string Utils.Pos.marked -> unit
method visit_struct_decl : 'monomorphic. 'env -> struct_decl -> unit
method visit_struct_decl_field : 'monomorphic. 'env -> struct_decl_field -> unit
method visit_typ : 'monomorphic. 'env -> typ -> unit
method visit_unop : 'monomorphic. 'env -> unop -> unit
method visit_variation_typ : 'monomorphic. 'env -> variation_typ -> unit