package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c expression_iter = 'c expression_iter
inherit VisitorsRuntime.iter
inherit primitive_typ_iter
inherit match_case_pattern_iter
inherit literal_iter
inherit binop_iter
inherit unop_iter
inherit builtin_expression_iter
method visit_Exists : 'd -> ((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) -> unit
method visit_Forall : 'e -> ((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) -> unit
method visit_Map : 'f -> ((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) -> unit
method visit_Filter : 'g -> ((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) -> unit
method visit_AggregateSum : 'h -> primitive_typ -> unit
method visit_AggregateExtremum : 'i -> bool -> expression -> unit
method visit_AggregateArgExtremum : 'j -> bool -> expression -> ((lident, Catala_utils.Pos.t) Catala_utils.Marked.t * expression) -> unit
method visit_collection_op : 'k -> collection_op -> unit
method visit_explicit_match_case : 'l -> explicit_match_case -> unit
method visit_WildCard : 'm -> expression -> unit
method visit_MatchCase : 'n -> explicit_match_case -> unit
method visit_match_case : 'o -> match_case -> unit
method visit_match_cases : 'p -> match_cases -> unit
method visit_expression : 'q -> expression -> unit
method visit_Paren : 'r -> expression -> unit
method visit_MatchWith : 's -> expression -> (match_cases, Catala_utils.Pos.t) Catala_utils.Marked.t -> unit
method visit_IfThenElse : 't -> expression -> expression -> expression -> unit
method visit_Binop : 'u -> (binop, Catala_utils.Pos.t) Catala_utils.Marked.t -> expression -> expression -> unit
method visit_Unop : 'v -> (unop, Catala_utils.Pos.t) Catala_utils.Marked.t -> expression -> unit
method visit_CollectionOp : 'w -> collection_op -> expression -> unit
method visit_MemCollection : 'x -> expression -> expression -> unit
method visit_TestMatchCase : 'y -> expression -> (match_case_pattern, Catala_utils.Pos.t) Catala_utils.Marked.t -> unit
method visit_FunCall : 'z -> expression -> expression list -> unit
method visit_LetIn : 'b1 -> (lident, Catala_utils.Pos.t) Catala_utils.Marked.t -> expression -> expression -> unit
method visit_Builtin : 'c1 -> builtin_expression -> unit
method visit_Literal : 'd1 -> literal -> unit
method visit_ArrayLit : 'g1 -> expression list -> unit
method visit_Ident : 'h1 -> path -> (lident, Catala_utils.Pos.t) Catala_utils.Marked.t -> unit
method visit_naked_expression : 'j1 -> naked_expression -> unit