package catala

You can search for identifiers within the package.

in-package search v0.2.0

The Catala compiler
- Compiler utilities
- Default calculus
- Desugared representation
- Lambda calculus
- Literate programming
- Example backend plugins
- Statement calculus
- The scope language
- Catala surface representation
- Verification
- Library api_web
  - Api_web
    
    D
    
    To_jsoo
- Library catala.catala_utils
  - Catala_utils
    
    Cli
    
    Errors
    
    File
    
    Marked
    
    marked_map
    
    marked_iter
    
    pos_map
    
    pos_iter
    
    Pos
    
    String
    
    Set
    
    Map
    
    Uid
    
    Info
    
    MarkedString
    
    Id
    
    Set
    
    Map
    
    Make
    
    Set
    
    Map
    
    Gen
    
    Set
    
    Map
- Library catala.dcalc
  - Dcalc
    
    Ast
    
    From_scopelang
    
    Interpreter
    
    Optimizations
- Library catala.desugared
  - Desugared
    
    Ast
    
    ScopeDef
    
    ScopeDefMap
    
    ScopeDefSet
    
    LocationSet
    
    ExprMap
    
    Rule
    
    Dependency
    
    Vertex
    
    Edge
    
    ScopeDependencies
    
    V
    
    E
    
    EdgeExceptions
    
    ExceptionsDependencies
    
    V
    
    E
    
    Disambiguate
    
    From_surface
    
    Name_resolution
- Library catala.driver
  - Driver
    
    Plugin
- Library catala.lcalc
  - Lcalc
    
    Ast
    
    Closure_conversion
    
    Compile_with_exceptions
    
    Compile_without_exceptions
    
    From_dcalc
    
    Optimizations
    
    To_ocaml
- Library catala.literate
  - Literate
    
    Html
    
    Latex
    
    Literate_common
- Library catala.runtime_jsoo
  - Runtime_jsoo
    
    Runtime
    
    source_position
    
    raw_event
    
    event
    
    event_manager
    
    duration
- Library catala.runtime_ocaml
  - Runtime_ocaml
    
    Runtime
    
    EventParser
    
    Oper
- Library catala.scalc
  - Scalc
    
    Ast
    
    D
    
    L
    
    FuncName
    
    Set
    
    Map
    
    VarName
    
    Set
    
    Map
    
    From_lcalc
    
    Print
    
    To_python
- Library catala.scopelang
  - Scopelang
    
    Ast
    
    LocationSet
    
    Dependency
    
    SDependencies
    
    V
    
    E
    
    TVertex
    
    TVertexSet
    
    TDependencies
    
    V
    
    E
    
    From_desugared
    
    Print
- Library catala.shared_ast
  - Shared_ast
    
    Runtime
    
    ScopeName
    
    Set
    
    Map
    
    TopdefName
    
    Set
    
    Map
    
    StructName
    
    Set
    
    Map
    
    StructField
    
    Set
    
    Map
    
    EnumName
    
    Set
    
    Map
    
    EnumConstructor
    
    Set
    
    Map
    
    RuleName
    
    Set
    
    Map
    
    LabelName
    
    Set
    
    Map
    
    IdentName
    
    ScopeVar
    
    Set
    
    Map
    
    SubScopeName
    
    Set
    
    Map
    
    StateName
    
    Set
    
    Map
    
    Op
    
    Var
    
    Set
    
    Map
    
    Type
    
    Operator
    
    Expr
    
    Box
    
    Scope
    
    Program
    
    Print
    
    Typing
    
    Env
- Library catala.surface
  - Surface
    
    Ast
    
    uident_map
    
    uident_iter
    
    lident_map
    
    lident_iter
    
    path_map
    
    path_iter
    
    scope_var_map
    
    scope_var_iter
    
    primitive_typ_map
    
    primitive_typ_iter
    
    base_typ_data_map
    
    base_typ_data_iter
    
    base_typ_map
    
    base_typ_iter
    
    func_typ_map
    
    func_typ_iter
    
    typ_map
    
    typ_iter
    
    struct_decl_field_map
    
    struct_decl_field_iter
    
    struct_decl_map
    
    struct_decl_iter
    
    enum_decl_case_map
    
    enum_decl_case_iter
    
    enum_decl_map
    
    enum_decl_iter
    
    match_case_pattern_map
    
    match_case_pattern_iter
    
    op_kind_map
    
    op_kind_iter
    
    binop_map
    
    binop_iter
    
    unop_map
    
    unop_iter
    
    builtin_expression_map
    
    builtin_expression_iter
    
    literal_date_map
    
    literal_date_iter
    
    literal_number_map
    
    literal_number_iter
    
    literal_unit_map
    
    literal_unit_iter
    
    money_amount_map
    
    money_amount_iter
    
    literal_map
    
    literal_iter
    
    expression_map
    
    expression_iter
    
    exception_to_map
    
    exception_to_iter
    
    rule_map
    
    rule_iter
    
    definition_map
    
    definition_iter
    
    variation_typ_map
    
    variation_typ_iter
    
    meta_assertion_map
    
    meta_assertion_iter
    
    assertion_map
    
    assertion_iter
    
    scope_use_item_map
    
    scope_use_item_iter
    
    scope_use_map
    
    scope_use_iter
    
    io_input_map
    
    io_input_iter
    
    scope_decl_context_io_map
    
    scope_decl_context_io_iter
    
    scope_decl_context_scope_map
    
    scope_decl_context_scope_iter
    
    scope_decl_context_data_map
    
    scope_decl_context_data_iter
    
    scope_decl_context_item_map
    
    scope_decl_context_item_iter
    
    scope_decl_map
    
    scope_decl_iter
    
    top_def_map
    
    top_def_iter
    
    code_item_map
    
    code_item_iter
    
    code_block_map
    
    code_block_iter
    
    source_repr_map
    
    source_repr_iter
    
    law_heading_map
    
    law_heading_iter
    
    law_include_map
    
    law_include_iter
    
    law_structure_map
    
    law_structure_iter
    
    program_map
    
    program_iter
    
    Fill_positions
    
    Lexer_common
    
    LocalisedLexer
    
    Lexer_en
    
    Lexer_fr
    
    Lexer_pl
    
    Parse_utils
    
    Parser
    
    Make
    
    MenhirInterpreter
    
    Incremental
    
    Parser_driver
    
    Parser_errors
    
    Print
    
    Tokens
- Library catala.verification
  - Verification
    
    Conditions
    
    Io
    
    Backend
    
    BackendIO
    
    MakeBackendIO
    
    Solver
    
    Z3backend
    
    Io
- Library json_schema
  - Json_schema
    
    D
    
    To_json
- Library python
  - Python
- Sources
  - api_web
    
    api_web.ml
  - catala.catala_utils
    
    catala_utils.ml
    
    cli.ml
    
    errors.ml
    
    file.ml
    
    marked.ml
    
    pos.ml
    
    string.ml
    
    uid.ml
  - catala.dcalc
    
    ast.ml
    
    dcalc.ml
    
    from_scopelang.ml
    
    interpreter.ml
    
    optimizations.ml
  - catala.desugared
    
    ast.ml
    
    dependency.ml
    
    desugared.ml
    
    disambiguate.ml
    
    from_surface.ml
    
    name_resolution.ml
  - catala.driver
    
    driver.ml
    
    driver__.ml
    
    plugin.ml
  - catala.lcalc
    
    ast.ml
    
    closure_conversion.ml
    
    compile_with_exceptions.ml
    
    compile_without_exceptions.ml
    
    from_dcalc.ml
    
    lcalc.ml
    
    optimizations.ml
    
    to_ocaml.ml
  - catala.literate
    
    html.ml
    
    latex.ml
    
    literate.ml
    
    literate_common.ml
  - catala.runtime_jsoo
    
    runtime.ml
    
    runtime_jsoo.ml
  - catala.runtime_ocaml
    
    runtime.ml
    
    runtime_ocaml.ml
  - catala.scalc
    
    ast.ml
    
    from_lcalc.ml
    
    print.ml
    
    scalc.ml
    
    to_python.ml
  - catala.scopelang
    
    ast.ml
    
    dependency.ml
    
    from_desugared.ml
    
    print.ml
    
    scopelang.ml
  - catala.shared_ast
    
    definitions.ml
    
    expr.ml
    
    operator.ml
    
    print.ml
    
    program.ml
    
    scope.ml
    
    shared_ast.ml
    
    shared_ast__.ml
    
    type.ml
    
    typing.ml
    
    var.ml
  - catala.surface
    
    ast.ml
    
    fill_positions.ml
    
    lexer_common.ml
    
    lexer_en.ml
    
    lexer_fr.ml
    
    lexer_pl.ml
    
    parse_utils.ml
    
    parser.ml
    
    parser_driver.ml
    
    parser_errors.ml
    
    print.ml
    
    surface.ml
    
    tokens.ml
  - catala.verification
    
    conditions.ml
    
    io.ml
    
    solver.ml
    
    verification.ml
    
    z3backend.ml
  - json_schema
    
    json_schema.ml
  - python
    
    python.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Verification.Z3backend`Source

Interfacing with the Z3 SMT solver

Sourcemodule Io : Io.BackendIO