package catala

You can search for identifiers within the package.

in-package search v0.2.0

The Catala compiler
- CHANGELOG
- README
- Compiler utilities
- Default calculus
- Desugared representation
- Lambda calculus
- Literate programming
- Example backend plugins
- Statement calculus
- The scope language
- Default calculus
- Catala surface representation
- Library catala.catala_utils
  - Catala_utils
    
    Cli
    
    Flags
    
    Global
    
    File
    
    Set
    
    Map
    
    Tree
    
    Global
    
    Graphs
    
    JSON_Graph
    
    Hash
    
    Op
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Mark
    
    Message
    
    Content
    
    Path
    
    Pos
    
    Set
    
    Map
    
    String
    
    Set
    
    Map
    
    Suggestions
    
    Uid
    
    Info
    
    MarkedString
    
    Map
    
    Id
    
    Set
    
    Map
    
    Style
    
    Make
    
    Set
    
    Map
    
    Gen
    
    Set
    
    Map
    
    Module
    
    Set
    
    Map
    
    Path
    
    Qualified
    
    Set
    
    Map
    
    Gen_qualified
    
    Set
    
    Map
    
    Version
- Library catala.clerk_backend
  - Clerk_backend
    
    S
    
    Make_backend
    
    OCaml
    
    C
    
    Java
    
    Python
    
    Backend_paths
    
    Flags
- Library catala.clerk_driver
  - Clerk_driver
- Library catala.clerk_lib
- Library catala.clerk_utils
  - Clerk_utils
    
    Diff
    
    Comparable
    
    S
    
    Make
    
    Module_graph
    
    Poll
    
    Scan
    
    Var
    
    Op
- Library catala.dates_calc
  - Dates_calc
- Library catala.dcalc
  - Dcalc
    
    Ast
    
    Autotest
    
    From_scopelang
    
    Invariants
- Library catala.desugared
  - Desugared
    
    Ast
    
    ScopeDef
    
    Map
    
    Set
    
    AssertionName
    
    Set
    
    Map
    
    LocationSet
    
    ExprMap
    
    Rule
    
    Hash
    
    Dependency
    
    Vertex
    
    Edge
    
    ScopeDependencies
    
    V
    
    E
    
    EdgeExceptions
    
    ExceptionVertex
    
    ExceptionsDependencies
    
    V
    
    E
    
    Disambiguate
    
    From_surface
    
    Linting
    
    Name_resolution
    
    Print
- Library catala.driver
  - Driver
    
    Passes
    
    Commands
    
    Plugin
- Library catala.lcalc
  - Lcalc
    
    Ast
    
    Closure_conversion
    
    From_dcalc
    
    Lift_positions
    
    Monomorphize
    
    Split
    
    To_ocaml
- Library catala.literate
  - Literate
    
    Html
    
    Latex
    
    Literate_common
    
    Pygment_lexers
    
    Internal
    
    Pygmentize
- Library catala.runtime_ocaml
  - Catala_runtime
    
    Value
    
    External
    
    CatalaType
    
    Optional
    
    ExternalTypeSpec
    
    ExternalType
    
    Print
    
    Json
    
    Oper
- Library catala.scalc
  - Scalc
    
    Ast
    
    L
    
    FuncName
    
    Set
    
    Map
    
    VarName
    
    Set
    
    Map
    
    From_lcalc
    
    Print
    
    To_c
    
    To_java
    
    To_python
    
    Utils
- Library catala.scopelang
  - Scopelang
    
    Ast
    
    LocationSet
    
    Dependency
    
    SDependencies
    
    V
    
    E
    
    TDependencies
    
    V
    
    E
    
    From_desugared
    
    Print
- Library catala.shared_ast
  - Shared_ast
    
    ModuleName
    
    ScopeName
    
    Set
    
    Map
    
    TopdefName
    
    Set
    
    Map
    
    StructName
    
    Set
    
    Map
    
    StructField
    
    Set
    
    Map
    
    EnumName
    
    Set
    
    Map
    
    EnumConstructor
    
    Set
    
    Map
    
    AbstractType
    
    Set
    
    Map
    
    RuleName
    
    Set
    
    Map
    
    LabelName
    
    Set
    
    Map
    
    Ident
    
    MarkedIdent
    
    ScopeVar
    
    Set
    
    Map
    
    StateName
    
    Set
    
    Map
    
    ConstantNames
    
    TypeIdent
    
    Set
    
    Map
    
    Op
    
    Var
    
    Set
    
    Map
    
    Type
    
    Map
    
    Var
    
    Map
    
    Set
    
    Hashtbl
    
    Operator
    
    Expr
    
    Box
    
    BoundList
    
    Scope
    
    Program
    
    Renaming
    
    Print
    
    EXPR_PARAM
    
    ExprGen
    
    ExprConciseParam
    
    ExprDebugParam
    
    UserFacing
    
    Typing
    
    Env
    
    Interpreter
    
    Optimizations
    
    Coverage
    
    FileMap
    
    ScopeSet
    
    Encoding
- Library catala.stdlib_internals
  - Stdlib_internals
    
    Date_internal
    
    Decimal_internal
    
    List_internal
    
    Money_internal
    
    Period_internal
- Library catala.surface
  - Surface
    
    Ast
    
    Lexer_common
    
    LocalisedLexer
    
    Lexer_en
    
    Lexer_fr
    
    Lexer_pl
    
    Parser
    
    Make
    
    MenhirInterpreter
    
    Incremental
    
    Parser_driver
    
    Parser_errors
    
    Parser_state
    
    Print
    
    Tokens
- Sources
  - catala.catala_utils
    
    catala_utils.ml
    
    cli.ml
    
    file.ml
    
    global.ml
    
    graphs.ml
    
    hash.ml
    
    map.ml
    
    mark.ml
    
    message.ml
    
    path.ml
    
    pos.ml
    
    string.ml
    
    suggestions.ml
    
    uid.ml
    
    version.ml
  - catala.clerk_backend
    
    backend.ml
    
    backend_paths.ml
    
    c.ml
    
    clerk_backend.ml
    
    clerk_backend__.ml
    
    common.ml
    
    flags.ml
    
    java.ml
    
    java_project_file.ml
    
    ocaml.ml
    
    python.ml
    
    sig.ml
  - catala.clerk_driver
    
    clerk_coverage.ml
    
    clerk_driver.ml
    
    clerk_driver__.ml
    
    clerk_report.ml
    
    clerk_rules.ml
    
    clerk_runtest.ml
  - catala.clerk_lib
    
    clerk_cli.ml
    
    clerk_config.ml
    
    clerk_toml_encoding.ml
  - catala.clerk_utils
    
    clerk_utils.ml
    
    diff.ml
    
    module_graph.ml
    
    poll.ml
    
    scan.ml
    
    var.ml
  - catala.dates_calc
    
    dates_calc.ml
  - catala.dcalc
    
    ast.ml
    
    autotest.ml
    
    dcalc.ml
    
    from_scopelang.ml
    
    invariants.ml
  - catala.desugared
    
    ast.ml
    
    dependency.ml
    
    desugared.ml
    
    disambiguate.ml
    
    from_surface.ml
    
    linting.ml
    
    name_resolution.ml
    
    print.ml
  - catala.driver
    
    driver.ml
    
    driver__.ml
    
    plugin.ml
  - catala.lcalc
    
    ast.ml
    
    closure_conversion.ml
    
    from_dcalc.ml
    
    lcalc.ml
    
    lift_positions.ml
    
    monomorphize.ml
    
    split.ml
    
    to_ocaml.ml
  - catala.literate
    
    html.ml
    
    latex.ml
    
    literate.ml
    
    literate_common.ml
    
    pygment_lexers.ml
    
    pygmentize.ml
  - catala.runtime_ocaml
    
    catala_runtime.ml
  - catala.scalc
    
    ast.ml
    
    from_lcalc.ml
    
    print.ml
    
    scalc.ml
    
    to_c.ml
    
    to_java.ml
    
    to_python.ml
    
    utils.ml
  - catala.scopelang
    
    ast.ml
    
    dependency.ml
    
    from_desugared.ml
    
    print.ml
    
    scopelang.ml
  - catala.shared_ast
    
    boundList.ml
    
    coverage.ml
    
    definitions.ml
    
    encoding.ml
    
    expr.ml
    
    interpreter.ml
    
    operator.ml
    
    optimizations.ml
    
    print.ml
    
    program.ml
    
    renaming.ml
    
    scope.ml
    
    shared_ast.ml
    
    shared_ast__.ml
    
    type.ml
    
    typing.ml
    
    var.ml
  - catala.stdlib_internals
    
    date_internal.ml
    
    decimal_internal.ml
    
    list_internal.ml
    
    money_internal.ml
    
    period_internal.ml
    
    stdlib_internals.ml
  - catala.surface
    
    ast.ml
    
    lexer_common.ml
    
    lexer_en.ml
    
    lexer_fr.ml
    
    lexer_pl.ml
    
    parser.ml
    
    parser_driver.ml
    
    parser_errors.ml
    
    parser_state.ml
    
    print.ml
    
    surface.ml
    
    tokens.ml

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

Module `Lcalc.From_dcalc`Source

Translation from the default calculus to the lambda calculus.

Sourceval translate_program : 'm Dcalc.Ast.program -> 'm Ast.program