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.tar.gz

md5=42196e9a9c5e12839b38cb3da935f10c

sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b

doc/catala.scalc/Scalc/Utils/index.html

Module `Scalc.Utils`Source

Sourceval subst_expr : Ast.VarName.t -> Ast.expr -> Ast.expr -> Ast.expr

subst_expr var replacement within_expr substitutes replacement for var within within_expr.

Source

val subst_block : 
  Ast.VarName.t ->
  Ast.expr ->
  Shared_ast.typ ->
  Catala_utils.Pos.t ->
  Ast.block ->
  Ast.block

subst_expr var replacement typ pos block substitutes replacement for var within the given block. If not possible (the variable appears in a variable-only position), the block is returned with an initialisation of var with replacement prepended

Source

val find_block : 
  (Ast.stmt Catala_utils.Mark.pos -> bool) ->
  Ast.block ->
  Ast.stmt Catala_utils.Mark.pos option

Recurses into branchings, but not function bodies

Source

val filter_map_block : 
  (Ast.stmt Catala_utils.Mark.pos -> 'a option) ->
  Ast.block ->
  'a list

Recurses into branchings, but not function bodies

Sourceval get_vars : Ast.expr -> Ast.VarName.Set.t

package catala

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/catala.scalc/Scalc/Utils/index.html

Module Scalc.UtilsSource

dune-project
Dependency

Module `Scalc.Utils`Source