package catala
Install
Dune Dependency
Authors
Maintainers
Sources
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
doc/catala.shared_ast/Shared_ast/Scope/index.html
Module Shared_ast.ScopeSource
Functions handling the code item structures of shared_ast, in particular the scopes
Traversal functions
val map_exprs_in_lets :
?typ:
(Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos) ->
f:('expr1 -> 'expr2 Shared_ast__.Definitions.boxed) ->
varf:('expr1 Var.t -> 'expr2 Var.t) ->
('expr1, 'expr1 Shared_ast__.Definitions.scope_let, 'expr1)
Shared_ast__.Definitions.bound_list ->
('expr2, 'expr2 Shared_ast__.Definitions.scope_let, 'expr2)
Shared_ast__.Definitions.bound_list
Bindlib.boxUsage map_exprs_in_lets ~f:(fun e -> ...) ~varf:(fun var -> ...) scope_body_expr, where e is the right-hand-side of a scope let or the result of the scope body, and var represents the left-hand-side variable of a scope let. ~varf is usually the identity function or Var.translate when the map sends the expression to a new flavor of the shared AST. If ~reset_types is activated, then the resulting types in the scope let left-hand-sides will be reset to TAny.
val map_exprs :
?typ:
(Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos) ->
f:('expr1 -> 'expr2 Shared_ast__.Definitions.boxed) ->
varf:('expr1 Var.t -> 'expr2 Var.t) ->
('expr1, 'expr1 Shared_ast__.Definitions.code_item, unit)
Shared_ast__.Definitions.bound_list ->
('expr2, 'expr2 Shared_ast__.Definitions.code_item, unit)
Shared_ast__.Definitions.bound_list
Bindlib.boxThis is the main map visitor for all the expressions inside all the scopes of the program.
val fold_exprs :
f:
('acc ->
'expr ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
'acc) ->
init:'acc ->
('expr, 'expr Shared_ast__.Definitions.code_item, unit)
Shared_ast__.Definitions.bound_list ->
'accConversions
val to_expr :
Shared_ast__.Definitions.decl_ctx ->
(('a Shared_ast__.Definitions.any, 'a Shared_ast__.Definitions.any, 'm)
Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
Shared_ast__.Definitions.scope_body ->
(('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr Bindlib.box,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.edUsage: to_expr ctx body scope_position where scope_position corresponds to the line of the scope declaration for instance.
val unfold :
Shared_ast__.Definitions.decl_ctx ->
(((_, _, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed as 'e,
((_, _, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed as 'e
Shared_ast__.Definitions.code_item,
unit)
Shared_ast__.Definitions.bound_list ->
Shared_ast__.Definitions.ScopeName.t ->
'e Shared_ast__.Definitions.boxedval typ :
_ Shared_ast__.Definitions.scope_body ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.posbuilds the arrow type for the specified scope
val input_type :
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
Runtime_ocaml.Runtime.io_input Catala_utils.Mark.pos ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.posReturns the correct input type for scope input variables: this is typ for non-reentrant variables, but for reentrant variables, it is nested in a TDefault, which only applies to the return type on functions. Note that this doesn't take thunking into account (thunking is added during the scopelang->dcalc translation)