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 `Scopelang.Scope_to_dcalc`Source

Sourcemodule Pos = Utils.Pos

Sourcemodule Errors = Utils.Errors

Sourcemodule Cli = Utils.Cli

Source

type scope_sigs_ctx =
  ((Ast.ScopeVar.t * Dcalc.Ast.typ) list * Dcalc.Ast.Var.t) Ast.ScopeMap.t

Sourcetype ctx = {

structs : Ast.struct_ctx;
enums : Ast.enum_ctx;
scope_name : Ast.ScopeName.t;
scopes_parameters : scope_sigs_ctx;
scope_vars : (Dcalc.Ast.Var.t * Dcalc.Ast.typ) Ast.ScopeVarMap.t;
subscope_vars : (Dcalc.Ast.Var.t * Dcalc.Ast.typ) Ast.ScopeVarMap.t Ast.SubScopeMap.t;
local_vars : Dcalc.Ast.Var.t Ast.VarMap.t;

}

Source

val empty_ctx : 
  Ast.struct_ctx ->
  Ast.enum_ctx ->
  scope_sigs_ctx ->
  Ast.ScopeName.t ->
  ctx

Sourcetype scope_ctx = Dcalc.Ast.Var.t Ast.ScopeMap.t

Sourceval hole_var : Dcalc.Ast.Var.t

Sourceval translate_typ : ctx -> Ast.typ Pos.marked -> Dcalc.Ast.typ Pos.marked

Source

val merge_defaults : 
  Dcalc.Ast.expr Pos.marked Bindlib.box ->
  Dcalc.Ast.expr Pos.marked Bindlib.box ->
  Dcalc.Ast.expr Pos.marked Bindlib.box

Source

val translate_expr : 
  ctx ->
  Ast.expr Pos.marked ->
  Dcalc.Ast.expr Dcalc.Ast.Pos.marked Bindlib.box

Source

val translate_rule : 
  ctx ->
  Ast.rule ->
  Ast.rule list ->
  Utils.Uid.MarkedString.info ->
  Dcalc.Ast.expr Pos.marked Bindlib.box * ctx

Source

val translate_rules : 
  ctx ->
  Ast.rule list ->
  Utils.Uid.MarkedString.info ->
  Dcalc.Ast.expr Dcalc.Ast.Pos.marked Bindlib.box * ctx

Source

val translate_scope_decl : 
  Ast.struct_ctx ->
  Ast.enum_ctx ->
  scope_sigs_ctx ->
  Ast.ScopeName.t ->
  Ast.scope_decl ->
  Dcalc.Ast.expr Pos.marked Bindlib.box

Source

val build_scope_typ_from_sig : 
  (Ast.ScopeVar.t * Dcalc.Ast.typ) list ->
  Pos.t ->
  Dcalc.Ast.typ Pos.marked

Source

val translate_program : 
  Ast.program ->
  Ast.ScopeName.t ->
  Dcalc.Ast.expr Pos.marked

package catala

Module Scopelang.Scope_to_dcalcSource

Module `Scopelang.Scope_to_dcalc`Source