package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

md5=1408a1cce45c7d5990b981e83e7589c2

sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d

include Lexer_common.LocalisedLexer

Sourceval token_list : (string * Tokens.token) list

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

Sourceval lex_builtin : string -> Ast.builtin_expression option

Simple lexer for builtins

Sourceval lex_code : Sedlexing.lexbuf -> Tokens.token

Main lexing function used in a code block

Sourceval lex_law : Sedlexing.lexbuf -> Tokens.token

Main lexing function used outside code blocks

Sourceval lexer : Sedlexing.lexbuf -> Tokens.token

Entry point of the lexer, distributes to lex_code or lex_law depending of the current Surface.Lexer_common.context.