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
- Library catala.dcalc
  - Dcalc
    
    Ast
    
    Pos
    
    Uid
    
    Var
    
    VarMap
    
    Interpreter
    
    Pos
    
    Errors
    
    Cli
    
    A
    
    Print
    
    Pos
    
    Typing
    
    Pos
    
    Errors
    
    A
    
    Cli
- Library catala.desugared
  - Desugared
    
    Ast
    
    Pos
    
    Uid
    
    IdentMap
    
    RuleName
    
    RuleMap
    
    RuleSet
    
    ScopeDef
    
    ScopeDefMap
    
    ScopeDefSet
    
    Dependency
    
    Pos
    
    Errors
    
    Vertex
    
    Edge
    
    ScopeDependencies
    
    V
    
    E
    
    TopologicalTraversal
    
    SCC
    
    Desugared_to_scope
    
    Pos
    
    Errors
    
    Cli
- Library catala.literate
  - Literate
    
    Html
    
    Pos
    
    Cli
    
    Errors
    
    A
    
    P
    
    R
    
    C
    
    Latex
    
    Pos
    
    Cli
    
    Errors
    
    A
    
    R
    
    C
- Library catala.scopelang
  - Scopelang
    
    Ast
    
    Pos
    
    Uid
    
    ScopeName
    
    ScopeNameSet
    
    ScopeMap
    
    SubScopeName
    
    SubScopeNameSet
    
    SubScopeMap
    
    ScopeVar
    
    ScopeVarSet
    
    ScopeVarMap
    
    StructName
    
    StructMap
    
    StructFieldName
    
    StructFieldMap
    
    EnumName
    
    EnumMap
    
    EnumConstructor
    
    EnumConstructorMap
    
    LocationSet
    
    Var
    
    VarMap
    
    Dependency
    
    Pos
    
    Errors
    
    SVertex
    
    SEdge
    
    SDependencies
    
    V
    
    E
    
    STopologicalTraversal
    
    SSCC
    
    TVertex
    
    TVertexSet
    
    TEdge
    
    TDependencies
    
    V
    
    E
    
    TTopologicalTraversal
    
    TSCC
    
    Print
    
    Pos
    
    Scope_to_dcalc
    
    Pos
    
    Errors
    
    Cli
- Library catala.surface
  - Surface
    
    Ast
    
    Pos
    
    Desugaring
    
    Pos
    
    Errors
    
    Cli
    
    LiftStructFieldMap
    
    LiftEnumConstructorMap
    
    Lexer
    
    Pos
    
    Errors
    
    R
    
    Lexer_en
    
    Pos
    
    Errors
    
    L
    
    R
    
    Lexer_fr
    
    Pos
    
    Errors
    
    L
    
    R
    
    Name_resolution
    
    Pos
    
    Errors
    
    Parse_utils
    
    Parser
    
    MenhirInterpreter
    
    Incremental
    
    Parser_driver
    
    Pos
    
    Errors
    
    Cli
    
    I
    
    Parser_errors
- Library catala.utils
  - Utils
    
    Cli
    
    Errors
    
    Pos
    
    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.literate
    
    html.ml
    
    latex.ml
    
    literate.ml
  - catala.scopelang
    
    ast.ml
    
    dependency.ml
    
    print.ml
    
    scope_to_dcalc.ml
    
    scopelang.ml
  - catala.surface
    
    ast.ml
    
    desugaring.ml
    
    lexer.ml
    
    lexer_en.ml
    
    lexer_fr.ml
    
    name_resolution.ml
    
    parse_utils.ml
    
    parser.ml
    
    parser_driver.ml
    
    parser_errors.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 `Ast.Var`Source

Sourcetype t = expr Bindlib.var

Sourceval make : string Pos.marked -> t

Sourceval compare : 'a Bindlib.var -> 'b Bindlib.var -> int

package catala

Module Ast.VarSource

Module `Ast.Var`Source