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
    
    Set
    
    Tree
  - Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
  - Mark
    
    marked_iter
    
    marked_map
    
    pos_iter
    
    pos_map
  - Message
    
    Content
  - Pos
  - String
    
    Map
    
    Set
  - Suggestions
  - Uid
    
    Gen
    
    Map
    
    Set
    
    _
    
    Gen_qualified
    
    Map
    
    Set
    
    _
    
    Id
    
    Map
    
    Set
    
    Info
    
    Make
    
    Map
    
    Set
    
    X
    
    _
    
    MarkedString
    
    Module
    
    Map
    
    Set
    
    Path
    
    Style
  - Version
catala.clerk_driver
- Clerk_driver
catala.dcalc
- Dcalc
catala.desugared
- Desugared
  - Ast
    
    AssertionName
    
    Map
    
    Set
    
    ExprMap
    
    LocationSet
    
    Rule
    
    ScopeDef
    
    Map
    
    Set
  - Dependency
    
    Edge
    
    EdgeExceptions
    
    ExceptionVertex
    
    ExceptionsDependencies
    
    E
    
    V
    
    ScopeDependencies
    
    E
    
    V
    
    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
    
    Oper
catala.scalc
- Scalc
  - Ast
    
    FuncName
    
    Map
    
    Set
    
    VarName
    
    Map
    
    Set
  - From_lcalc
  - Print
  - To_python
  - To_r
catala.scopelang
- Scopelang
  - Ast
    
    LocationSet
  - Dependency
    
    SDependencies
    
    E
    
    V
    
    TDependencies
    
    E
    
    V
    
    TVertex
    
    TVertexSet
  - From_desugared
  - Print
catala.shared_ast
- Shared_ast
  - EnumConstructor
    
    Map
    
    Set
  - EnumName
    
    Map
    
    Set
  - Expr
    
    Box
  - Interpreter
  - LabelName
    
    Map
    
    Set
  - Op
  - Operator
  - Optimizations
  - Print
    
    EXPR_PARAM
    
    ExprConciseParam
    
    ExprDebugParam
    
    ExprGen
    
    _
    
    UserFacing
  - Program
  - Qident
    
    Map
    
    Set
  - RuleName
    
    Map
    
    Set
  - Scope
  - ScopeName
    
    Map
    
    Set
  - ScopeVar
    
    Map
    
    Set
  - StateName
    
    Map
    
    Set
  - StructField
    
    Map
    
    Set
  - StructName
    
    Map
    
    Set
  - SubScopeName
    
    Map
    
    Set
  - TopdefName
    
    Map
    
    Set
  - Type
  - 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 : 'e -> lident -> lident

method visit_path : 'f -> path -> path

method visit_scope_var : 'g -> scope_var -> scope_var

method visit_Integer : 'h -> primitive_typ

method visit_Decimal : 'i -> primitive_typ

method visit_Boolean : 'j -> primitive_typ

method visit_Money : 'k -> primitive_typ

method visit_Duration : 'l -> primitive_typ

method visit_Text : 'm -> primitive_typ

method visit_Date : 'n -> primitive_typ

method visit_Named : 'o ->
  path ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  primitive_typ

method visit_primitive_typ : 'p -> primitive_typ -> primitive_typ

method visit_Primitive : 'q -> primitive_typ -> base_typ_data

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

method visit_TTuple : 's ->
  (base_typ_data, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
  base_typ_data

method visit_base_typ_data : 't -> base_typ_data -> base_typ_data

method visit_Condition : 'u -> base_typ

method visit_Data : 'v -> base_typ_data -> base_typ

method visit_base_typ : 'w -> base_typ -> base_typ

method visit_func_typ : 'x -> func_typ -> func_typ

method visit_typ : 'y ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed

method visit_Base : 'z -> base_typ -> naked_typ

method visit_Func : 'a1 -> func_typ -> naked_typ

method visit_naked_typ : 'b1 -> naked_typ -> naked_typ

method visit_struct_decl_field : 'c1 -> struct_decl_field -> struct_decl_field

method visit_struct_decl : 'd1 -> struct_decl -> struct_decl

method visit_enum_decl_case : 'e1 -> enum_decl_case -> enum_decl_case

method visit_enum_decl : 'f1 -> enum_decl -> enum_decl

method visit_match_case_pattern : 'g1 ->
  match_case_pattern ->
  (path * uident Catala_utils.Mark.pos) Catala_utils.Mark.pos list
  * lident Catala_utils.Mark.pos option

method visit_KPoly : 'h1 -> op_kind

method visit_KInt : 'i1 -> op_kind

method visit_KDec : 'j1 -> op_kind

method visit_KMoney : 'k1 -> op_kind

method visit_KDate : 'l1 -> op_kind

method visit_KDuration : 'm1 -> op_kind

method visit_op_kind : 'n1 -> op_kind -> op_kind

method visit_And : 'o1 -> binop

method visit_Or : 'p1 -> binop

method visit_Xor : 'q1 -> binop

method visit_Add : 'r1 -> op_kind -> binop

method visit_Sub : 's1 -> op_kind -> binop

method visit_Mult : 't1 -> op_kind -> binop

method visit_Div : 'u1 -> op_kind -> binop

method visit_Lt : 'v1 -> op_kind -> binop

method visit_Lte : 'w1 -> op_kind -> binop

method visit_Gt : 'x1 -> op_kind -> binop

method visit_Gte : 'y1 -> op_kind -> binop

method visit_Eq : 'z1 -> binop

method visit_Neq : 'a2 -> binop

method visit_Concat : 'b2 -> binop

method visit_binop : 'c2 -> binop -> binop

method visit_Not : 'd2 -> unop

method visit_Minus : 'e2 -> op_kind -> unop

method visit_unop : 'f2 -> unop -> unop

method visit_Cardinal : 'g2 -> builtin_expression

method visit_ToDecimal : 'h2 -> builtin_expression

method visit_ToMoney : 'i2 -> builtin_expression

method visit_GetDay : 'j2 -> builtin_expression

method visit_GetMonth : 'k2 -> builtin_expression

method visit_GetYear : 'l2 -> builtin_expression

method visit_LastDayOfMonth : 'm2 -> builtin_expression

method visit_FirstDayOfMonth : 'n2 -> builtin_expression

method visit_Round : 'o2 -> builtin_expression

method visit_builtin_expression : 'p2 ->
  builtin_expression ->
  builtin_expression

method visit_literal_date : 'q2 -> literal_date -> literal_date

method visit_Int : 'r2 -> string -> literal_number

method visit_Dec : 's2 -> string -> string -> literal_number

method visit_literal_number : 't2 -> literal_number -> literal_number

method visit_Percent : 'u2 -> literal_unit

method visit_Year : 'v2 -> literal_unit

method visit_Month : 'w2 -> literal_unit

method visit_Day : 'x2 -> literal_unit

method visit_literal_unit : 'y2 -> literal_unit -> literal_unit

method visit_money_amount : 'z2 -> money_amount -> money_amount

method visit_LNumber : 'a3 ->
  (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 : 'b3 -> bool -> literal

method visit_LMoneyAmount : 'c3 -> money_amount -> literal

method visit_LDate : 'd3 -> literal_date -> literal

method visit_literal : 'e3 -> literal -> literal

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

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

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

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

method visit_AggregateSum : 'j3 -> primitive_typ -> collection_op

method visit_AggregateExtremum : 'k3 -> bool -> expression -> collection_op

method visit_AggregateArgExtremum : 'l3 ->
  bool ->
  expression ->
  ((lident, Catala_utils.Pos.t) Catala_utils.Mark.ed * expression) ->
  collection_op

method visit_collection_op : 'm3 -> collection_op -> collection_op

method visit_explicit_match_case : 'n3 ->
  explicit_match_case ->
  explicit_match_case

method visit_WildCard : 'o3 -> expression -> match_case

method visit_MatchCase : 'p3 -> explicit_match_case -> match_case

method visit_match_case : 'q3 -> match_case -> match_case

method visit_match_cases : 'r3 -> match_cases -> match_cases

method visit_expression : 's3 -> expression -> expression

method visit_Paren : 't3 -> expression -> naked_expression

method visit_MatchWith : 'u3 ->
  expression ->
  (match_cases, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  naked_expression

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

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

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

method visit_CollectionOp : 'y3 ->
  collection_op ->
  expression ->
  naked_expression

method visit_MemCollection : 'z3 ->
  expression ->
  expression ->
  naked_expression

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

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

method visit_ScopeCall : 'c4 ->
  (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 : 'd4 ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed list ->
  expression ->
  expression ->
  naked_expression

method visit_Builtin : 'e4 -> builtin_expression -> naked_expression

method visit_Literal : 'f4 -> literal -> naked_expression

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

method visit_StructLit : 'h4 ->
  (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_ArrayLit : 'i4 -> expression list -> naked_expression

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

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

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

method visit_naked_expression : 'm4 -> naked_expression -> naked_expression

method visit_NotAnException : 'n4 -> exception_to

method visit_UnlabeledException : 'o4 -> exception_to

method visit_ExceptionToLabel : 'p4 ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  exception_to

method visit_exception_to : 'q4 -> exception_to -> exception_to

method visit_rule : 'r4 -> rule -> rule

method visit_definition : 's4 -> definition -> definition

method visit_Increasing : 't4 -> variation_typ

method visit_Decreasing : 'u4 -> variation_typ

method visit_variation_typ : 'v4 -> variation_typ -> variation_typ

method visit_FixedBy : 'w4 ->
  (scope_var, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (lident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  meta_assertion

method visit_VariesWith : 'x4 ->
  (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 : 'y4 -> meta_assertion -> meta_assertion

method visit_assertion : 'z4 -> assertion -> assertion

method visit_Rule : 'a5 -> rule -> scope_use_item

method visit_Definition : 'b5 -> definition -> scope_use_item

method visit_Assertion : 'c5 -> assertion -> scope_use_item

method visit_MetaAssertion : 'd5 -> meta_assertion -> scope_use_item

method visit_DateRounding : 'e5 ->
  (variation_typ, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  scope_use_item

method visit_scope_use_item : 'f5 -> scope_use_item -> scope_use_item

method visit_scope_use : 'g5 -> scope_use -> scope_use

method visit_Input : 'h5 -> io_input

method visit_Context : 'i5 -> io_input

method visit_Internal : 'j5 -> io_input

method visit_io_input : 'k5 -> io_input -> io_input

method visit_scope_decl_context_io : 'l5 ->
  scope_decl_context_io ->
  scope_decl_context_io

method visit_scope_decl_context_scope : 'm5 ->
  scope_decl_context_scope ->
  scope_decl_context_scope

method visit_scope_decl_context_data : 'n5 ->
  scope_decl_context_data ->
  scope_decl_context_data

method visit_ContextData : 'o5 ->
  scope_decl_context_data ->
  scope_decl_context_item

method visit_ContextScope : 'p5 ->
  scope_decl_context_scope ->
  scope_decl_context_item

method visit_scope_decl_context_item : 'q5 ->
  scope_decl_context_item ->
  scope_decl_context_item

method visit_scope_decl : 'r5 -> scope_decl -> scope_decl

method visit_top_def : 's5 -> top_def -> top_def

method visit_ScopeUse : 't5 -> scope_use -> code_item

method visit_ScopeDecl : 'u5 -> scope_decl -> code_item

method visit_StructDecl : 'v5 -> struct_decl -> code_item

method visit_EnumDecl : 'w5 -> enum_decl -> code_item

method visit_Topdef : 'x5 -> top_def -> code_item

method visit_code_item : 'y5 -> code_item -> code_item

method visit_code_block : 'z5 -> code_block -> code_block

method visit_source_repr : 'a6 ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed

method visit_law_heading : 'b6 -> law_heading -> law_heading

method visit_PdfFile : 'c6 ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  int option ->
  law_include

method visit_CatalaFile : 'd6 ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  law_include

method visit_LegislativeText : 'e6 ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  law_include

method visit_law_include : 'f6 -> law_include -> law_include

method visit_LawInclude : 'g6 -> law_include -> law_structure

method visit_ModuleDef : 'h6 ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  bool ->
  law_structure

method visit_ModuleUse : 'i6 ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  (uident, Catala_utils.Pos.t) Catala_utils.Mark.ed option ->
  law_structure

method visit_LawHeading : 'j6 ->
  law_heading ->
  law_structure list ->
  law_structure

method visit_LawText : 'k6 -> string -> law_structure

method visit_CodeBlock : 'l6 ->
  code_block ->
  (string, Catala_utils.Pos.t) Catala_utils.Mark.ed ->
  bool ->
  law_structure

method visit_law_structure : 'm6 -> law_structure -> law_structure

method visit_interface : 'n6 -> interface -> interface

method visit_module_use : 'o6 -> module_use -> module_use

method visit_program : 'p6 -> program -> program

method visit_source_file : 'q6 -> law_structure list -> law_structure list