package catala

You can search for identifiers within the package.

in-package search v0.2.0

package catala

catala.catala_utils
- Catala_utils
  - Cli
    
    Flags
    
    Global
  - File
    
    Map
    
    Tree
  - Global
  - Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Mark
    
    marked_iter
    
    marked_map
    
    pos_iter
    
    pos_map
  - Message
    
    Content
  - Pos
  - String
    
    Map
  - Suggestions
  - Uid
    
    Gen
    
    Map
    
    _
    
    Gen_qualified
    
    Map
    
    _
    
    Id
    
    Map
    
    Info
    
    Make
    
    Map
    
    X
    
    _
    
    MarkedString
    
    Module
    
    Map
    
    Path
    
    Style
  - Version
catala.clerk_driver
- Clerk_driver
catala.dcalc
- Dcalc
catala.desugared
- Desugared
  - Ast
    
    AssertionName
    
    Map
    
    ExprMap
    
    ScopeDef
    
    Map
  - Dependency
    
    ExceptionVertex
    
    Vertex
  - Disambiguate
  - From_surface
  - Linting
  - Name_resolution
  - Print
catala.driver
- Driver
  - Commands
  - Passes
  - Plugin
catala.lcalc
- Lcalc
catala.literate
- Literate
  - Html
  - Latex
  - Literate_common
  - Pygment_lexers
    
    Internal
  - Pygmentize
catala.plugins.api_web
- Api_web
  - To_jsoo
catala.plugins.explain
- Explain
  - E
  - Env
  - G
    
    E
    
    V
  - GTopo
  - V
catala.plugins.json_schema
- Json_schema
  - To_json
catala.plugins.lazy-interpreter
- Lazy_interpreter
  - Lazy_interp
    
    Env
catala.plugins.python
- Python
catala.runtime_jsoo
- Runtime_jsoo
  - Runtime
    
    duration
    
    event
    
    event_manager
    
    raw_event
    
    source_position
catala.runtime_ocaml
- Runtime_ocaml
  - Runtime
    
    Eoption
    
    EventParser
    
    Json
    
    Oper
catala.scalc
- Scalc
  - Ast
    
    FuncName
    
    Map
    
    Set
    
    VarName
    
    Map
    
    Set
  - From_lcalc
  - Print
  - To_c
  - To_python
  - To_r
catala.scopelang
- Scopelang
  - Ast
  - Dependency
    
    TVertex
  - From_desugared
  - Print
catala.shared_ast
- Shared_ast
  - BoundList
  - EnumConstructor
    
    Map
    
    Set
  - EnumName
    
    Map
    
    Set
  - Expr
    
    Box
  - Interpreter
  - LabelName
    
    Map
    
    Set
  - Op
  - Operator
  - Optimizations
  - Print
    
    EXPR_PARAM
    
    ExprConciseParam
    
    ExprDebugParam
    
    ExprGen
    
    _
    
    UserFacing
  - Program
  - Qident
  - RuleName
    
    Map
    
    Set
  - Scope
  - ScopeName
    
    Map
    
    Set
  - ScopeVar
    
    Map
    
    Set
  - StateName
    
    Map
    
    Set
  - StructField
    
    Map
    
    Set
  - StructName
    
    Map
    
    Set
  - TopdefName
    
    Map
    
    Set
  - Type
    
    Map
  - Typing
    
    Env
  - Var
    
    Map
    
    Set
catala.surface
- Surface
  - Ast
    
    map
  - Fill_positions
  - Lexer_common
    
    LocalisedLexer
  - Lexer_en
  - Lexer_fr
  - Lexer_pl
  - Parser
    
    Make
    
    Incremental
    
    Localisation
    
    MenhirInterpreter
  - Parser_driver
  - Parser_errors
  - Print
  - Tokens
catala.verification
- Verification
  - Conditions
  - Globals
  - Io
    
    Backend
    
    BackendIO
    
    MakeBackendIO
    
    B
  - Solver
  - Z3backend
    
    Io

Legend:
Library
Module
Module type
Parameter
Class
Class type

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_Named : 'd ->
  path ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  primitive_typ

method visit_primitive_typ : 'd -> primitive_typ -> primitive_typ

method visit_Primitive : 'd -> primitive_typ -> base_typ_data

method visit_Collection : 'd ->
  (base_typ_data, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  base_typ_data

method visit_TTuple : 'd ->
  (base_typ_data, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
  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_typ : 'd ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed

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_LNumber : 'd ->
  (literal_number, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (literal_unit, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
  literal

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_Member : 'd -> expression -> collection_op

method visit_Exists : 'd ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
  collection_op

method visit_Forall : 'd ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
  collection_op

method visit_Map : 'd ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
  collection_op

method visit_Filter : 'd ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list * expression) ->
  collection_op

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 list * 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_MatchWith : 'd ->
  expression ->
  (match_cases, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  naked_expression

method visit_IfThenElse : 'd ->
  expression ->
  expression ->
  expression ->
  naked_expression

method visit_Binop : 'd ->
  (binop, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  expression ->
  expression ->
  naked_expression

method visit_Unop : 'd ->
  (unop, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  expression ->
  naked_expression

method visit_CollectionOp : 'd ->
  (collection_op, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  expression ->
  naked_expression

method visit_TestMatchCase : 'd ->
  expression ->
  (match_case_pattern, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  naked_expression

method visit_FunCall : 'd -> expression -> expression list -> naked_expression

method 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_expression

method visit_LetIn : 'd ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
  expression ->
  expression ->
  naked_expression

method visit_Builtin : 'd -> builtin_expression -> naked_expression

method visit_Literal : 'd -> literal -> naked_expression

method visit_EnumInject : 'd ->
  (path * uident Catala_utils.Mark.pos, Catala_utils.Pos.t)
    Catala_utils.Mark.ed ->
  expression option ->
  naked_expression

method 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_expression

method visit_StructReplace : 'd ->
  expression ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) list ->
  naked_expression

method visit_ArrayLit : 'd -> expression list -> naked_expression

method visit_Tuple : 'd -> expression list -> naked_expression

method visit_Ident : 'd ->
  path ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
  naked_expression

method visit_Dotted : 'd ->
  expression ->
  (path * lident Catala_utils.Mark.pos, Catala_utils.Pos.t)
    Catala_utils.Mark.ed ->
  naked_expression

method visit_TupleAccess : 'd ->
  expression ->
  (int, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  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_FixedBy : 'd ->
  (scope_var, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  meta_assertion

method 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_assertion

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_DateRounding : 'd ->
  (variation_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  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_ModuleUse : 'd ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
  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