package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.0.tar.gz
md5=1408a1cce45c7d5990b981e83e7589c2
sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d
doc/catala.surface/Surface/Ast/class-expression_iter/index.html
Class Ast.expression_iterSource
constraint 'c expression_iter = 'c expression_iterinherit VisitorsRuntime.iterinherit primitive_typ_iterinherit match_case_pattern_iterinherit literal_iterinherit binop_iterinherit unop_iterinherit builtin_expression_itermethod visit_Exists : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
unitmethod visit_Forall : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
unitmethod visit_Map : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
unitmethod visit_Filter : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
unitmethod visit_AggregateSum : 'd -> primitive_typ -> unitmethod visit_AggregateExtremum : 'd -> bool -> expression -> unitmethod visit_AggregateArgExtremum : 'd ->
bool ->
expression ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
unitmethod visit_collection_op : 'd -> collection_op -> unitmethod visit_explicit_match_case : 'd -> explicit_match_case -> unitmethod visit_WildCard : 'd -> expression -> unitmethod visit_MatchCase : 'd -> explicit_match_case -> unitmethod visit_match_case : 'd -> match_case -> unitmethod visit_match_cases : 'd -> match_cases -> unitmethod visit_expression : 'd -> expression -> unitmethod visit_Paren : 'd -> expression -> unitmethod visit_MatchWith : 'd ->
expression ->
(match_cases, Catala_utils.Pos.t) Catala_utils.Marked.t ->
unitmethod visit_IfThenElse : 'd -> expression -> expression -> expression -> unitmethod visit_Binop : 'd ->
(binop, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
expression ->
unitmethod visit_Unop : 'd ->
(unop, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
unitmethod visit_CollectionOp : 'd -> collection_op -> expression -> unitmethod visit_MemCollection : 'd -> expression -> expression -> unitmethod visit_TestMatchCase : 'd ->
expression ->
(match_case_pattern, Catala_utils.Pos.t) Catala_utils.Marked.t ->
unitmethod visit_FunCall : 'd -> expression -> expression list -> unitmethod visit_ScopeCall : 'd ->
(path * (uident, Catala_utils.Pos.t) Catala_utils.Marked.t,
Catala_utils.Pos.t)
Catala_utils.Marked.t ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) list ->
unitmethod visit_LetIn : 'd ->
(lident, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
expression ->
unitmethod visit_Builtin : 'd -> builtin_expression -> unitmethod visit_Literal : 'd -> literal -> unitmethod visit_EnumInject : 'd ->
(path * (uident, Catala_utils.Pos.t) Catala_utils.Marked.t,
Catala_utils.Pos.t)
Catala_utils.Marked.t ->
expression option ->
unitmethod visit_StructLit : 'd ->
(path * (uident, Catala_utils.Pos.t) Catala_utils.Marked.t,
Catala_utils.Pos.t)
Catala_utils.Marked.t ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) list ->
unitmethod visit_ArrayLit : 'd -> expression list -> unitmethod visit_Ident : 'd ->
path ->
(lident, Catala_utils.Pos.t) Catala_utils.Marked.t ->
unitmethod visit_Dotted : 'd ->
expression ->
(path * (lident, Catala_utils.Pos.t) Catala_utils.Marked.t,
Catala_utils.Pos.t)
Catala_utils.Marked.t ->
unitmethod visit_naked_expression : 'd -> naked_expression -> unit