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

dune-project

Dependency

github.com Readme Edit opam file Versions (13)

Authors

Maintainers

C

contact@catala-lang.org

Sources

1.0.0-beta.tar.gz

md5=c41cbc1fa003e167bbc0bb1cd7723ab3

sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999

doc/catala.surface/Surface/Lexer_pl/index.html

Module `Surface.Lexer_pl`Source

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 (from an lident)

Sourceval lex_primitive_type : string -> Ast.primitive_typ option

Simple lexer for builtin primitive types (from an lident)

Sourceval lex_builtin_constr : string -> Ast.builtin_constr option

Simple lexer for builtin constructors (from an uident)

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.

Source

val lex_line : 
  context:[ `Law | `Code | `Test | `Raw ] ref ->
  Sedlexing.lexbuf ->
  (string * Lexer_common.line_token) option

Low-level lexer intended for dependency extraction. The whole line (including "\n" is always returned together with the token. None for EOF. The call updates the passed context reference as expected