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_map/index.html

Class Ast.program_mapSource

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