package catala

You can search for identifiers within the package.

in-package search v0.2.0

package catala

catala
- Catala
  - Driver
catala.dcalc
- Dcalc
  - Ast
    
    EnumConstructor
    
    EnumName
    
    ScopeName
    
    StructFieldName
    
    StructName
    
    Var
  - Interpreter
  - Print
  - Typing
catala.desugared
- Desugared
  - Ast
    
    RuleName
    
    ScopeDef
  - Dependency
    
    Vertex
  - Desugared_to_scope
catala.law_source
- Law_source
  - Allocations_familiales
catala.lcalc
- Lcalc
catala.literate
- Literate
  - Html
  - Latex
catala.runtime
- Runtime
catala.scopelang
- Scopelang
  - Ast
    
    ScopeVar
    
    SubScopeName
    
    Var
  - Dependency
    
    TVertex
  - Print
  - Scope_to_dcalc
catala.surface
- Surface
  - Ast
    
    program_iter
    
    program_map
  - Desugaring
  - Fill_positions
  - Lexer
  - Lexer_common
  - Lexer_en
  - Lexer_fr
  - Name_resolution
  - Parse_utils
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Parser_driver
  - Parser_errors
  - Print
catala.utils
- Utils
  - Cli
  - Errors
  - Pos
    
    marked_iter
    
    marked_map
  - Uid
    
    Id
    
    Info
    
    Make
    
    X
    
    MarkedString

Legend:
Library
Module
Module type
Parameter
Class
Class type

Concise syntax with English abbreviated keywords.

val is_code : bool Stdlib.ref

Boolean reference, used by the lexer as the mutable state to distinguish whether it is lexing code or law.

val code_string_acc : string Stdlib.ref

Mutable string reference that accumulates the string representation of the body of code being lexed. This string representation is used in the literate programming backends to faithfully capture the spacing pattern of the original program

val update_acc : Sedlexing.lexbuf -> unit

Updates code_string_acc with the current lexeme

val raise_lexer_error : Utils.Pos.t -> string -> 'a

Error-generating helper

val token_list_language_agnostic : (string * Parser.token) list

Associative list matching each punctuation string part of the Catala syntax with its Surface.Parser token. Same for all the input languages (English, French, etc.)

val token_list : (string * Parser.token) list

Same as token_list_language_agnostic, but with tokens whose string varies with the input language.

val lex_code : Sedlexing.lexbuf -> Parser.token

Main lexing function used in a code block

val lex_law : Sedlexing.lexbuf -> Parser.token

Main lexing function used outside code blocks

val lexer : Sedlexing.lexbuf -> Parser.token

Entry point of the lexer, distributes to lex_code or lex_law depending of is_code.