package catala

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Abstract syntax tree
Language terms construction
Special symbols

package catala

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 `Lcalc.Ast`Source

Abstract syntax tree for the lambda calculus

Abstract syntax tree

Sourcetype lit = Shared_ast.lcalc Shared_ast.glit

Source

type 'm naked_expr =
  (Shared_ast.lcalc, 'm Shared_ast.mark) Shared_ast.naked_gexpr

Sourceand 'm expr = (Shared_ast.lcalc, 'm Shared_ast.mark) Shared_ast.gexpr

Sourcetype 'm program = 'm expr Shared_ast.program

Language terms construction

Sourceval option_enum : Shared_ast.EnumName.t

Sourceval none_constr : Shared_ast.EnumConstructor.t

Sourceval some_constr : Shared_ast.EnumConstructor.t

Sourceval option_enum_config : Shared_ast.typ Shared_ast.EnumConstructor.Map.t

Sourceval make_none : 'm Shared_ast.mark -> 'm expr Shared_ast.boxed

Sourceval make_some : 'm expr Shared_ast.boxed -> 'm expr Shared_ast.boxed

Source

val make_matchopt_with_abs_arms : 
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed

Source

val make_matchopt : 
  Catala_utils.Pos.t ->
  'm expr Shared_ast.Var.t ->
  Shared_ast.typ ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed

e' = make_matchopt'' pos v e e_none e_some Builds the term corresponding to match e with | None -> fun () -> e_none |Some -> fun v -> e_some.

Special symbols

Sourceval handle_default : Shared_ast.untyped expr Shared_ast.Var.t

Sourceval handle_default_opt : Shared_ast.untyped expr Shared_ast.Var.t

package catala

Module Lcalc.AstSource

Abstract syntax tree

Language terms construction

Special symbols

Module `Lcalc.Ast`Source