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_map/index.html
Class Ast.expression_mapSource
constraint 'c expression_map = 'c expression_mapinherit VisitorsRuntime.mapinherit primitive_typ_mapinherit match_case_pattern_mapinherit literal_mapinherit binop_mapinherit unop_mapinherit builtin_expression_mapmethod visit_Exists : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
collection_opmethod visit_Forall : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
collection_opmethod visit_Map : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
collection_opmethod visit_Filter : 'd ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
collection_opmethod visit_AggregateSum : 'd -> primitive_typ -> collection_opmethod visit_AggregateExtremum : 'd -> bool -> expression -> collection_opmethod visit_AggregateArgExtremum : 'd ->
bool ->
expression ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) ->
collection_opmethod visit_collection_op : 'd -> collection_op -> collection_opmethod visit_explicit_match_case : 'd ->
explicit_match_case ->
explicit_match_casemethod visit_WildCard : 'd -> expression -> match_casemethod visit_MatchCase : 'd -> explicit_match_case -> match_casemethod visit_match_case : 'd -> match_case -> match_casemethod visit_match_cases : 'd -> match_cases -> match_casesmethod visit_expression : 'd -> expression -> expressionmethod visit_Paren : 'd -> expression -> naked_expressionmethod visit_MatchWith : 'd ->
expression ->
(match_cases, Catala_utils.Pos.t) Catala_utils.Marked.t ->
naked_expressionmethod visit_IfThenElse : 'd ->
expression ->
expression ->
expression ->
naked_expressionmethod visit_Binop : 'd ->
(binop, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
expression ->
naked_expressionmethod visit_Unop : 'd ->
(unop, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
naked_expressionmethod visit_CollectionOp : 'd ->
collection_op ->
expression ->
naked_expressionmethod visit_MemCollection : 'd -> expression -> expression -> naked_expressionmethod visit_TestMatchCase : 'd ->
expression ->
(match_case_pattern, Catala_utils.Pos.t) Catala_utils.Marked.t ->
naked_expressionmethod visit_FunCall : 'd -> expression -> expression list -> naked_expressionmethod visit_ScopeCall : 'd ->
(path * uident Catala_utils.Marked.pos, Catala_utils.Pos.t)
Catala_utils.Marked.t ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) list ->
naked_expressionmethod visit_LetIn : 'd ->
(lident, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
expression ->
naked_expressionmethod visit_Builtin : 'd -> builtin_expression -> naked_expressionmethod visit_Literal : 'd -> literal -> naked_expressionmethod visit_EnumInject : 'd ->
(path * uident Catala_utils.Marked.pos, Catala_utils.Pos.t)
Catala_utils.Marked.t ->
expression option ->
naked_expressionmethod visit_StructLit : 'd ->
(path * uident Catala_utils.Marked.pos, Catala_utils.Pos.t)
Catala_utils.Marked.t ->
((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) list ->
naked_expressionmethod visit_ArrayLit : 'd -> expression list -> naked_expressionmethod visit_Ident : 'd ->
path ->
(lident, Catala_utils.Pos.t) Catala_utils.Marked.t ->
naked_expressionmethod visit_Dotted : 'd ->
expression ->
(path * lident Catala_utils.Marked.pos, Catala_utils.Pos.t)
Catala_utils.Marked.t ->
naked_expressionmethod visit_naked_expression : 'd -> naked_expression -> naked_expression