package catala

You can search for identifiers within the package.

in-package search v0.2.0

package catala

The Catala compiler
- Default calculus
- Desugared representation
- Lambda calculus
- Literate programming
- Example backend plugins
- Statement calculus
- The scope language
- Catala surface representation
- Compiler utilities
- Verification
- Library catala.dcalc
  - Dcalc
    
    Ast
    
    Runtime
    
    ScopeName
    
    StructName
    
    StructFieldName
    
    StructMap
    
    EnumName
    
    EnumConstructor
    
    EnumMap
    
    Infer
    
    Any
    
    Var
    
    VarMap
    
    VarSet
    
    Interpreter
    
    Optimizations
    
    Print
    
    Typing
- Library catala.desugared
  - Desugared
    
    Ast
    
    IdentMap
    
    RuleName
    
    RuleMap
    
    RuleSet
    
    LabelName
    
    LabelMap
    
    LabelSet
    
    StateName
    
    ScopeVar
    
    ScopeVarSet
    
    ScopeVarMap
    
    ScopeDef
    
    ScopeDefMap
    
    ScopeDefSet
    
    LocationSet
    
    ExprMap
    
    Var
    
    VarMap
    
    Rule
    
    Dependency
    
    Vertex
    
    Edge
    
    ScopeDependencies
    
    V
    
    E
    
    EdgeExceptions
    
    ExceptionsDependencies
    
    V
    
    E
    
    Desugared_to_scope
- Library catala.driver
  - Driver
    
    Plugin
- Library catala.lcalc
  - Lcalc
    
    Ast
    
    Runtime
    
    Var
    
    VarMap
    
    VarSet
    
    Closure_conversion
    
    Compile_with_exceptions
    
    Compile_without_exceptions
    
    Optimizations
    
    Print
    
    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
- Library catala.scalc
  - Scalc
    
    Ast
    
    D
    
    L
    
    TopLevelName
    
    LocalName
    
    Compile_from_lambda
    
    A
    
    L
    
    D
    
    Print
    
    To_python
- Library catala.scopelang
  - Scopelang
    
    Ast
    
    ScopeName
    
    ScopeNameSet
    
    ScopeMap
    
    SubScopeName
    
    SubScopeNameSet
    
    SubScopeMap
    
    ScopeVar
    
    ScopeVarSet
    
    ScopeVarMap
    
    StructName
    
    StructMap
    
    StructFieldName
    
    StructFieldMap
    
    StructFieldMapLift
    
    EnumName
    
    EnumMap
    
    EnumConstructor
    
    EnumConstructorMap
    
    EnumConstructorMapLift
    
    LocationSet
    
    Typ
    
    Expr
    
    ExprMap
    
    Var
    
    VarMap
    
    Dependency
    
    SDependencies
    
    V
    
    E
    
    TVertex
    
    TVertexSet
    
    TDependencies
    
    V
    
    E
    
    Print
    
    Scope_to_dcalc
- Library catala.surface
  - Surface
    
    Ast
    
    constructor_map
    
    constructor_iter
    
    ident_map
    
    ident_iter
    
    qident_map
    
    qident_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
    
    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
    
    Desugaring
    
    Fill_positions
    
    Lexer_common
    
    LocalisedLexer
    
    Lexer_en
    
    Lexer_fr
    
    Lexer_pl
    
    Name_resolution
    
    Parse_utils
    
    Parser
    
    Make
    
    MenhirInterpreter
    
    Incremental
    
    Parser_driver
    
    Parser_errors
    
    Print
    
    Tokens
- Library catala.utils
  - Utils
    
    Cli
    
    Errors
    
    File
    
    Marked
    
    marked_map
    
    marked_iter
    
    pos_map
    
    pos_iter
    
    Pos
    
    String_common
    
    Uid
    
    Info
    
    MarkedString
    
    Id
    
    Make
- Library catala.verification
  - Verification
    
    Conditions
    
    Io
    
    Backend
    
    BackendIO
    
    MakeBackendIO
    
    Solver
    
    Z3backend
    
    Io
- Sources
  - catala.dcalc
    
    ast.ml
    
    dcalc.ml
    
    interpreter.ml
    
    optimizations.ml
    
    print.ml
    
    typing.ml
  - catala.desugared
    
    ast.ml
    
    dependency.ml
    
    desugared.ml
    
    desugared_to_scope.ml
  - catala.driver
    
    driver.ml
    
    driver__.ml
    
    plugin.ml
  - catala.lcalc
    
    ast.ml
    
    closure_conversion.ml
    
    compile_with_exceptions.ml
    
    compile_without_exceptions.ml
    
    lcalc.ml
    
    optimizations.ml
    
    print.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
    
    compile_from_lambda.ml
    
    print.ml
    
    scalc.ml
    
    to_python.ml
  - catala.scopelang
    
    ast.ml
    
    dependency.ml
    
    print.ml
    
    scope_to_dcalc.ml
    
    scopelang.ml
  - catala.surface
    
    ast.ml
    
    desugaring.ml
    
    fill_positions.ml
    
    lexer_common.ml
    
    lexer_en.ml
    
    lexer_fr.ml
    
    lexer_pl.ml
    
    name_resolution.ml
    
    parse_utils.ml
    
    parser.ml
    
    parser_driver.ml
    
    parser_errors.ml
    
    print.ml
    
    surface.ml
    
    tokens.ml
  - catala.utils
    
    cli.ml
    
    errors.ml
    
    file.ml
    
    marked.ml
    
    pos.ml
    
    string_common.ml
    
    uid.ml
    
    utils.ml
  - catala.verification
    
    conditions.ml
    
    io.ml
    
    solver.ml
    
    verification.ml
    
    z3backend.ml

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

Module `Z3backend.Io`Source

Sourceval init_backend : unit -> unit

Sourcetype backend_context

Source

val make_context : 
  Dcalc.Ast.decl_ctx ->
  Dcalc.Ast.typ Utils.Marked.pos Dcalc.Ast.VarMap.t ->
  backend_context

Sourcetype vc_encoding

Source

val translate_expr : 
  backend_context ->
  'm Dcalc.Ast.marked_expr ->
  backend_context * vc_encoding

Sourcetype model

Sourcetype vc_encoding_result =

| Success of vc_encoding * backend_context
| Fail of string

Sourceval print_positive_result : Conditions.verification_condition -> string

Source

val print_negative_result : 
  Conditions.verification_condition ->
  backend_context ->
  model option ->
  string

Source

val encode_and_check_vc : 
  Dcalc.Ast.decl_ctx ->
  (Conditions.verification_condition * vc_encoding_result) ->
  unit

package catala

Module Z3backend.IoSource

Module `Z3backend.Io`Source