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
- Literate programming
- The scope language
- Catala surface representation
- Compiler utilities
- Library catala
  - Catala
    
    Driver
    
    Cli
    
    Errors
    
    Pos
- Library catala.dcalc
  - Dcalc
    
    Ast
    
    ScopeName
    
    StructName
    
    StructFieldName
    
    StructMap
    
    EnumName
    
    EnumConstructor
    
    EnumMap
    
    Var
    
    VarMap
    
    Interpreter
    
    Print
    
    Typing
- Library catala.desugared
  - Desugared
    
    Ast
    
    IdentMap
    
    RuleName
    
    RuleMap
    
    RuleSet
    
    ScopeDef
    
    ScopeDefMap
    
    ScopeDefSet
    
    Dependency
    
    Vertex
    
    Edge
    
    ScopeDependencies
    
    V
    
    E
    
    ExceptionsDependencies
    
    V
    
    E
    
    Desugared_to_scope
- Library catala.law_source
  - Law_source
    
    Allocations_familiales
- Library catala.lcalc
  - Lcalc
    
    Ast
    
    Var
    
    VarMap
    
    Compile_with_exceptions
    
    To_ocaml
- Library catala.literate
  - Literate
    
    Html
    
    Latex
- Library catala.runtime
  - Runtime
- Library catala.scopelang
  - Scopelang
    
    Ast
    
    ScopeName
    
    ScopeNameSet
    
    ScopeMap
    
    SubScopeName
    
    SubScopeNameSet
    
    SubScopeMap
    
    ScopeVar
    
    ScopeVarSet
    
    ScopeVarMap
    
    StructName
    
    StructMap
    
    StructFieldName
    
    StructFieldMap
    
    EnumName
    
    EnumMap
    
    EnumConstructor
    
    EnumConstructorMap
    
    LocationSet
    
    Var
    
    VarMap
    
    Dependency
    
    SDependencies
    
    V
    
    E
    
    TVertex
    
    TVertexSet
    
    TDependencies
    
    V
    
    E
    
    Print
    
    Scope_to_dcalc
- Library catala.surface
  - Surface
    
    Ast
    
    program_map
    
    program_iter
    
    Desugaring
    
    Fill_positions
    
    Lexer
    
    Lexer_common
    
    Lexer_en
    
    Lexer_fr
    
    Name_resolution
    
    Parse_utils
    
    Parser
    
    MenhirInterpreter
    
    Incremental
    
    Parser_driver
    
    Parser_errors
    
    Print
- Library catala.utils
  - Utils
    
    Cli
    
    Errors
    
    Pos
    
    marked_map
    
    marked_iter
    
    Uid
    
    Info
    
    MarkedString
    
    Id
    
    Make
- Sources
  - catala
    
    catala.ml
    
    driver.ml
  - catala.dcalc
    
    ast.ml
    
    dcalc.ml
    
    interpreter.ml
    
    print.ml
    
    typing.ml
  - catala.desugared
    
    ast.ml
    
    dependency.ml
    
    desugared.ml
    
    desugared_to_scope.ml
  - catala.law_source
    
    allocations_familiales.ml
    
    law_source.ml
  - catala.lcalc
    
    ast.ml
    
    compile_with_exceptions.ml
    
    lcalc.ml
    
    to_ocaml.ml
  - catala.literate
    
    html.ml
    
    latex.ml
    
    literate.ml
  - catala.runtime
    
    runtime.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.ml
    
    lexer_common.ml
    
    lexer_en.ml
    
    lexer_fr.ml
    
    name_resolution.ml
    
    parse_utils.ml
    
    parser.ml
    
    parser_driver.ml
    
    parser_errors.ml
    
    print.ml
    
    surface.ml
  - catala.utils
    
    cli.ml
    
    errors.ml
    
    pos.ml
    
    uid.ml
    
    utils.ml

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

Module `Surface.Desugaring`Source

Translation from Surface.Ast to Desugaring.Ast.

Removes syntactic sugars
Separate code from legislation

Source

val desugar_program : 
  Name_resolution.context ->
  Ast.program ->
  Desugared.Ast.program

Main function of this module

package catala

Module Surface.DesugaringSource

Module `Surface.Desugaring`Source